Trace number 4107486

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.11 1800.51

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/
10orplus/normalized-synaptic.cudf.paranoid.opb
MD5SUM9104a87636aa37487bc5941d7dca0a7d
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark141778
Best CPU time to get the best result obtained on this benchmark24.4613
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19768
Total number of constraints96403
Number of constraints which are clauses94838
Number of constraints which are cardinality constraints (but not clauses)1565
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint2962
Number of terms in the objective function 7253
Biggest coefficient in the objective function 4295
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 12717493
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 4295
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 12717493
Number of bits of the biggest sum of numbers24
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T23:30:44+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4107486-1466285444.opb"]
0.00/0.01	c use --random-gen="2689639939 1543776822 2846649766 2798494597 3095011313 2851921473 3800243068 1201609642 1485084143 404985410 3039207702 1540740538 210503084 266800140 1056685076 3032384770 3572354236 608854625 1230577002 1293207522 2559635922 4059912576 921857927 2487145827 59262943 495111595 549679280 2556870212 2306983604 266468154 1381241180 2088010295 2440432229 431943421 969079550 3515161626 1288122023 933381723 1435464700 404467814 2623657844 1832101300 2018035603 2265638822 2867429052 430934103 813615969 2248179804 459420051 1390919150 1410743852 51458867 3117014842 4019135989 621378349 2616465097 100774568 1825692271 3477288617 3735774514 2137808762 1636823809 2992670884 1014724941 2422241714 676655418 866167297 2473897458 2289041826 2807040789 3906961595 2158844569 1022449063 3574809014 3425932631 1272229379 675724856 496058800 998410323 4145229528 1151444400 1613199156 1044582751 573156233 1995241857 2935338381 764188781 3656519175 783273916 744369311 1566065610 3679437498 1506901025 1454167305 3742091318 3162803338 1554446510 3010871415 421082444 186186215 3177645839 2339247360 2579880802 795010542 3437270230 3000512785 2428138103 1033447374 3187416968 609567291 4202256824 4121364102 4048351328 1357816807 968374679 4226372181 695875365 2883422554 550910915 551557793 2274351613 131809873 2474290283 1741162704 2335934718 3442004396 1948789368 3236298713 3677945159 211288649 2143540986 4053337719 4028391075 628158406 3583614314 1424110314 2024286084 1070427691 1231732529 3731738631 941704419 1768955930 3153302333 1560268646 650587852 2732296929 2421562751 1123029523 2559095537 1071952594 2556021784 1965308874 778553559 1967904665 2685581829 473132488 123337828 1618506320 2896826977 3250767747 3829552399 474179569 1089948225 915630032 2336020185 1383652762 149025718 2876539505 2309905209 3933857889 210585509 3640450235 2284507390 3740504092 929623501 1627952322 2101294993 2828302495 574837709 3928250917 3228313165 1068728647 2758941005 2366847881 4100130867 3547199477 2604393065 1274238694 414883818 407879538 1979117223 3547496628 2948587320 3404037130 1426023237 510770885 1819590982 2338616986 2595833593 2766541929 845871384 1157503367 3237448549 746889674 2827020499 2192738582 2067202194 1584889282 3494617196 2950128864 47336184 3926265274 3690902422 678881056 4175695815 2342920186 1885451669 1416582054 1462741485 1818308455 171254046 561065246 1241825936 4105984673 2912727027 2246477902 2133380706 1476171811 486816292 682452450 2380880198 1946003102 4231461329 2456120600 2583418853 281372344 3711215261 3014582080 250684815 3124410083 10839582 39210655 2324206832 3116214417 3883432065 3089773272 2339928668 2119685815 3533397267 558074325 1747583639 559562814 3096284531 553959029 3161303366 1695370877 255 362436" option to reproduce the execution
0.69/0.72	c #vars 19768
0.69/0.72	c #constraints 96403
2.20/2.24	c BCD2: Hardening is enabled.
2.20/2.24	c BCD2: BiasedSearch is enabled.
2.20/2.24	c Solving starts ...
2.20/2.24	c ============================[ Search Statistics ]============================
2.20/2.24	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.20/2.24	c       |         |          |          |    Limit     GC | Var      | Constra 
2.20/2.24	c =============================================================================
2.20/2.25	c  0.0s |       0 |        0 |        0 |    38664      0 |       52 |        0
2.79/2.80	c  0.6s |       1 |    81924 |      100 |    38664      0 |       52 |      141
4.29/4.32	c  2.1s |       2 |   273962 |      250 |    42531      0 |       52 |      141
6.89/6.98	c  4.7s |       2 |   570157 |      405 |    46785      0 |       52 |      141
6.89/6.98	c #cpu_time = 4.711s
6.89/6.98	c #wall_clock_time = 4.724s
6.89/6.98	c #decision = 570157
6.89/6.98	c #random_decision = 1671
6.89/6.98	c #conflict = 405
6.89/6.98	c #restart = 2
6.89/6.98	o 6862575
171.16/171.24	c BCD2: updating upper bound: 12717493 -> 6862574
341.53/341.61	c BCD2: 0 <= obj <= 6862574
341.53/341.61	c BCD2: #cores=0, #unrelaxed=7253, #relaxed=0, #hardened=0
341.53/341.61	c BCD2: #sat=1 #unsat=1 bias=1/2
341.53/341.61	c Solving starts ...
341.53/341.61	c ============================[ Search Statistics ]============================
341.53/341.61	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
341.53/341.61	c       |         |          |          |    Limit     GC | Var      | Constra 
341.53/341.61	c =============================================================================
341.53/341.61	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
341.53/341.66	c  0.1s |       0 |      382 |        0 |    46785      0 |       52 |      141
341.53/341.66	c #cpu_time = 0.052s
341.53/341.66	c #wall_clock_time = 0.052s
341.53/341.66	c #decision = 382
341.53/341.66	c #random_decision = 0
341.53/341.66	c #conflict = 0
341.53/341.66	c #restart = 0
341.53/341.66	c BCD2: found a new core of size 2: cost of the new core is >=1
341.53/341.66	c lower bound updated to 1
512.81/512.97	c BCD2: 1 <= obj <= 6862574
512.81/512.97	c BCD2: #cores=1, #unrelaxed=7251, #relaxed=2, #hardened=0
512.81/512.97	c BCD2: #sat=1 #unsat=2 bias=2/3
512.81/512.97	c Solving starts ...
512.81/512.97	c ============================[ Search Statistics ]============================
512.81/512.97	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
512.81/512.97	c       |         |          |          |    Limit     GC | Var      | Constra 
512.81/512.97	c =============================================================================
512.81/512.98	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
512.91/513.04	c  0.1s |       0 |      750 |        0 |    46785      0 |       52 |      141
512.91/513.04	c #cpu_time = 0.059s
512.91/513.04	c #wall_clock_time = 0.060s
512.91/513.04	c #decision = 750
512.91/513.04	c #random_decision = 0
512.91/513.04	c #conflict = 0
512.91/513.04	c #restart = 0
512.91/513.04	c BCD2: found a new core of size 2: cost of the new core is >=1
512.91/513.04	c lower bound updated to 2
686.29/686.45	c BCD2: 2 <= obj <= 6862574
686.29/686.45	c BCD2: #cores=2, #unrelaxed=7249, #relaxed=4, #hardened=0
686.29/686.45	c BCD2: #sat=1 #unsat=3 bias=3/4
686.29/686.45	c Solving starts ...
686.29/686.45	c ============================[ Search Statistics ]============================
686.29/686.45	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
686.29/686.45	c       |         |          |          |    Limit     GC | Var      | Constra 
686.29/686.45	c =============================================================================
686.29/686.45	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
686.39/686.51	c  0.1s |       0 |      780 |        0 |    46785      0 |       52 |      141
686.39/686.51	c #cpu_time = 0.057s
686.39/686.51	c #wall_clock_time = 0.057s
686.39/686.51	c #decision = 780
686.39/686.51	c #random_decision = 0
686.39/686.51	c #conflict = 0
686.39/686.51	c #restart = 0
686.39/686.51	c BCD2: found a new core of size 2: cost of the new core is >=1
686.39/686.51	c lower bound updated to 3
857.35/857.59	c BCD2: 3 <= obj <= 6862574
857.35/857.59	c BCD2: #cores=3, #unrelaxed=7247, #relaxed=6, #hardened=0
857.35/857.59	c BCD2: #sat=1 #unsat=4 bias=4/5
857.35/857.59	c Solving starts ...
857.35/857.59	c ============================[ Search Statistics ]============================
857.35/857.59	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
857.35/857.59	c       |         |          |          |    Limit     GC | Var      | Constra 
857.35/857.59	c =============================================================================
857.35/857.59	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
857.45/857.65	c  0.1s |       0 |      827 |        0 |    46785      0 |       52 |      141
857.45/857.65	c #cpu_time = 0.059s
857.45/857.65	c #wall_clock_time = 0.059s
857.45/857.65	c #decision = 827
857.45/857.65	c #random_decision = 0
857.45/857.65	c #conflict = 0
857.45/857.65	c #restart = 0
857.45/857.65	c BCD2: found a new core of size 2: cost of the new core is >=1
857.45/857.65	c lower bound updated to 4
1053.17/1053.48	c BCD2: 4 <= obj <= 6862574
1053.17/1053.48	c BCD2: #cores=4, #unrelaxed=7245, #relaxed=8, #hardened=0
1053.17/1053.48	c BCD2: #sat=1 #unsat=5 bias=5/6
1053.17/1053.48	c Solving starts ...
1053.17/1053.48	c ============================[ Search Statistics ]============================
1053.17/1053.48	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1053.17/1053.48	c       |         |          |          |    Limit     GC | Var      | Constra 
1053.17/1053.48	c =============================================================================
1053.17/1053.48	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
1053.27/1053.55	c  0.1s |       0 |      916 |        0 |    46785      0 |       52 |      141
1053.27/1053.55	c #cpu_time = 0.064s
1053.27/1053.55	c #wall_clock_time = 0.065s
1053.27/1053.55	c #decision = 916
1053.27/1053.55	c #random_decision = 0
1053.27/1053.55	c #conflict = 0
1053.27/1053.55	c #restart = 0
1053.27/1053.55	c BCD2: found a new core of size 1: cost of the new core is >=1
1053.27/1053.55	c lower bound updated to 5
1247.51/1247.80	c BCD2: 5 <= obj <= 6862574
1247.51/1247.80	c BCD2: #cores=5, #unrelaxed=7244, #relaxed=9, #hardened=0
1247.51/1247.80	c BCD2: #sat=1 #unsat=6 bias=6/7
1247.51/1247.80	c Solving starts ...
1247.51/1247.80	c ============================[ Search Statistics ]============================
1247.51/1247.80	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1247.51/1247.80	c       |         |          |          |    Limit     GC | Var      | Constra 
1247.51/1247.80	c =============================================================================
1247.51/1247.80	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
1247.51/1247.88	c  0.1s |       0 |     1047 |        0 |    46785      0 |       52 |      141
1247.51/1247.88	c #cpu_time = 0.075s
1247.51/1247.88	c #wall_clock_time = 0.075s
1247.51/1247.88	c #decision = 1047
1247.51/1247.88	c #random_decision = 0
1247.51/1247.88	c #conflict = 0
1247.51/1247.88	c #restart = 0
1247.51/1247.88	c BCD2: found a new core of size 2: cost of the new core is >=1
1247.51/1247.88	c lower bound updated to 6
1470.74/1471.17	c BCD2: 6 <= obj <= 6862574
1470.74/1471.17	c BCD2: #cores=6, #unrelaxed=7242, #relaxed=11, #hardened=0
1470.74/1471.17	c BCD2: #sat=1 #unsat=7 bias=7/8
1470.74/1471.17	c Solving starts ...
1470.74/1471.17	c ============================[ Search Statistics ]============================
1470.74/1471.17	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1470.74/1471.17	c       |         |          |          |    Limit     GC | Var      | Constra 
1470.74/1471.17	c =============================================================================
1470.74/1471.17	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
1470.84/1471.25	c  0.1s |       0 |     1201 |        0 |    46785      0 |       52 |      141
1470.84/1471.25	c #cpu_time = 0.081s
1470.84/1471.25	c #wall_clock_time = 0.081s
1470.84/1471.25	c #decision = 1201
1470.84/1471.25	c #random_decision = 0
1470.84/1471.25	c #conflict = 0
1470.84/1471.25	c #restart = 0
1470.84/1471.25	c BCD2: found a new core of size 2: cost of the new core is >=1
1470.84/1471.25	c lower bound updated to 7
1687.01/1687.49	c BCD2: 7 <= obj <= 6862574
1687.01/1687.49	c BCD2: #cores=7, #unrelaxed=7240, #relaxed=13, #hardened=0
1687.01/1687.49	c BCD2: #sat=1 #unsat=8 bias=8/9
1687.01/1687.49	c Solving starts ...
1687.01/1687.49	c ============================[ Search Statistics ]============================
1687.01/1687.49	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1687.01/1687.49	c       |         |          |          |    Limit     GC | Var      | Constra 
1687.01/1687.49	c =============================================================================
1687.01/1687.49	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
1687.11/1687.59	c  0.1s |       0 |     2171 |        1 |    46785      0 |       52 |      141
1687.11/1687.59	c #cpu_time = 0.099s
1687.11/1687.59	c #wall_clock_time = 0.100s
1687.11/1687.59	c #decision = 2171
1687.11/1687.59	c #random_decision = 0
1687.11/1687.59	c #conflict = 1
1687.11/1687.59	c #restart = 0
1687.11/1687.59	c BCD2: found a new core of size 2: cost of the new core is >=1
1687.11/1687.59	c lower bound updated to 8

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4107486-1466285444/watcher-4107486-1466285444 -o /tmp/evaluation-result-4107486-1466285444/solver-4107486-1466285444 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26752 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107486-1466285444.opb 

pid=30985
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.26 2.26 2.20 3/180 30988
/proc/meminfo: memFree=29650960/32872528 swapFree=1191052/1305516
[pid=30988] ppid=30985 vsize=728508 CPUtime=0 cores=0,2,4,6
/proc/30988/stat : 30988 (toysat) R 30985 30988 26736 0 -1 4202496 2717 0 0 0 0 0 0 0 20 0 4 0 30591022 745992192 3589 33554432000 4194304 16246674 140734728474176 140734728473600 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30988/statm: 182639 3597 441 2943 0 179533 0
[pid=30988/tid=30989] ppid=30985 vsize=745916 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30989/stat : 30989 (toysat) S 30985 30988 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30591022 763817984 3656 33554432000 4194304 16246674 140734728474176 140729263303920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30988/tid=30990] ppid=30985 vsize=748988 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30990/stat : 30990 (toysat) S 30985 30988 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30591022 766963712 3670 33554432000 4194304 16246674 140734728474176 140729252814064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30988/tid=30991] ppid=30985 vsize=754108 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30991/stat : 30991 (toysat) S 30985 30988 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30591022 772206592 3688 33554432000 4194304 16246674 140734728474176 140729166851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.26 2.26 2.20 3/180 30988
/proc/meminfo: memFree=29650960/32872528 swapFree=1191052/1305516
[pid=30988] ppid=30985 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/30988/stat : 30988 (toysat) R 30985 30988 26736 0 -1 4202496 28647 0 0 0 5 4 0 0 20 0 4 0 30591022 1333334016 29456 33554432000 4194304 16246674 140734728474176 140734728473488 12752373 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30988/statm: 325521 29470 800 2943 0 322415 0
[pid=30988/tid=30989] ppid=30985 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30989/stat : 30989 (toysat) S 30985 30988 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30591022 1333334016 29482 33554432000 4194304 16246674 140734728474176 140729263303920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30988/tid=30990] ppid=30985 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30990/stat : 30990 (toysat) S 30985 30988 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30591022 1333334016 29493 33554432000 4194304 16246674 140734728474176 140729252814064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30988/tid=30991] ppid=30985 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30991/stat : 30991 (toysat) S 30985 30988 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30591022 1333334016 29503 33554432000 4194304 16246674 140734728474176 140729166851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200515 s]
/proc/loadavg: 2.26 2.26 2.20 3/180 30988
/proc/meminfo: memFree=29650960/32872528 swapFree=1191052/1305516
[pid=30988] ppid=30985 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/30988/stat : 30988 (toysat) R 30985 30988 26736 0 -1 4202496 48574 0 0 0 13 6 0 0 20 0 4 0 30591022 1344868352 49894 33554432000 4194304 16246674 140734728474176 140734728473488 7378179 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30988/statm: 328337 49894 800 2943 0 325231 0
[pid=30988/tid=30989] ppid=30985 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30989/stat : 30989 (toysat) S 30985 30988 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30591022 1344868352 49894 33554432000 4194304 16246674 140734728474176 140729263303920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30988/tid=30990] ppid=30985 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30990/stat : 30990 (toysat) S 30985 30988 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30591022 1344868352 49894 33554432000 4194304 16246674 140734728474176 140729252814064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30988/tid=30991] ppid=30985 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30991/stat : 30991 (toysat) S 30985 30988 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30591022 1344868352 49894 33554432000 4194304 16246674 140734728474176 140729166851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300447 s]
/proc/loadavg: 2.26 2.26 2.20 3/180 30988
/proc/meminfo: memFree=29650960/32872528 swapFree=1191052/1305516
[pid=30988] ppid=30985 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/30988/stat : 30988 (toysat) R 30985 30988 26736 0 -1 4202496 63289 0 0 0 21 8 0 0 20 0 4 0 30591022 1344868352 64609 33554432000 4194304 16246674 140734728474176 140734728473488 7364404 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30988/statm: 328337 64609 800 2943 0 325231 0
[pid=30988/tid=30989] ppid=30985 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30989/stat : 30989 (toysat) S 30985 30988 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30591022 1344868352 64609 33554432000 4194304 16246674 140734728474176 140729263303920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30988/tid=30990] ppid=30985 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30990/stat : 30990 (toysat) S 30985 30988 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30591022 1344868352 64609 33554432000 4194304 16246674 140734728474176 140729252814064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30988/tid=30991] ppid=30985 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30991/stat : 30991 (toysat) S 30985 30988 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30591022 1344868352 64609 33554432000 4194304 16246674 140734728474176 140729166851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700408 s]
/proc/loadavg: 2.26 2.26 2.20 3/180 30988
/proc/meminfo: memFree=29650960/32872528 swapFree=1191052/1305516
[pid=30988] ppid=30985 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/30988/stat : 30988 (toysat) R 30985 30988 26736 0 -1 4202496 73132 0 0 0 59 10 0 0 20 0 4 0 30591022 1344868352 74452 33554432000 4194304 16246674 140734728474176 140734728457168 7374725 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30988/statm: 328337 74452 800 2943 0 325231 0
[pid=30988/tid=30989] ppid=30985 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30989/stat : 30989 (toysat) S 30985 30988 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30591022 1344868352 74452 33554432000 4194304 16246674 140734728474176 140729263303920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30988/tid=30990] ppid=30985 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30990/stat : 30990 (toysat) S 30985 30988 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30591022 1344868352 74452 33554432000 4194304 16246674 140734728474176 140729252814064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30988/tid=30991] ppid=30985 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30991/stat : 30991 (toysat) S 30985 30988 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30591022 1344868352 74452 33554432000 4194304 16246674 140734728474176 140729166851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.5004 s]
/proc/loadavg: 2.24 2.25 2.19 3/184 30992
/proc/meminfo: memFree=29200152/32872528 swapFree=1191052/1305516
[pid=30988] ppid=30985 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/30988/stat : 30988 (toysat) R 30985 30988 26736 0 -1 4202496 191836 0 0 0 123 26 0 0 20 0 4 0 30591022 1344868352 193156 33554432000 4194304 16246674 140734728474176 140734728456064 5590097 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30988/statm: 328337 193164 838 2943 0 325231 0
[pid=30988/tid=30989] ppid=30985 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30989/stat : 30989 (toysat) S 30985 30988 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30591022 1344868352 193171 33554432000 4194304 16246674 140734728474176 140729263303920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30988/tid=30990] ppid=30985 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30990/stat : 30990 (toysat) S 30985 30988 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30591022 1344868352 193176 33554432000 4194304 16246674 140734728474176 140729252814064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30988/tid=30991] ppid=30985 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30991/stat : 30991 (toysat) S 30985 30988 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30591022 1344868352 193181 33554432000 4194304 16246674 140734728474176 140729166851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.1004 s]
/proc/loadavg: 2.24 2.25 2.19 3/184 30992
/proc/meminfo: memFree=28560064/32872528 swapFree=1191052/1305516
[pid=30988] ppid=30985 vsize=1357380 CPUtime=3.09 cores=0,2,4,6
/proc/30988/stat : 30988 (toysat) R 30985 30988 26736 0 -1 4202496 272073 0 0 0 271 38 0 0 20 0 4 0 30591022 1389957120 273393 33554432000 4194304 16246674 140734728474176 140734728456064 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30988/statm: 339345 273400 887 2943 0 336239 0
[pid=30988/tid=30989] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30989/stat : 30989 (toysat) S 30985 30988 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 273403 33554432000 4194304 16246674 140734728474176 140729263303920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30988/tid=30990] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30990/stat : 30990 (toysat) S 30985 30988 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 273406 33554432000 4194304 16246674 140734728474176 140729252814064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30988/tid=30991] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30991/stat : 30991 (toysat) S 30985 30988 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 273411 33554432000 4194304 16246674 140734728474176 140729166851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1357380

[startup+6.30038 s]
/proc/loadavg: 2.24 2.25 2.19 3/184 30992
/proc/meminfo: memFree=28526956/32872528 swapFree=1191052/1305516
[pid=30988] ppid=30985 vsize=1357380 CPUtime=6.29 cores=0,2,4,6
/proc/30988/stat : 30988 (toysat) R 30985 30988 26736 0 -1 4202496 280024 0 0 0 590 39 0 0 20 0 4 0 30591022 1389957120 281344 33554432000 4194304 16246674 140734728474176 140734728456064 5754924 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30988/statm: 339345 281344 894 2943 0 336239 0
[pid=30988/tid=30989] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30989/stat : 30989 (toysat) S 30985 30988 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281344 33554432000 4194304 16246674 140734728474176 140729263303920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30988/tid=30990] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30990/stat : 30990 (toysat) S 30985 30988 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281344 33554432000 4194304 16246674 140734728474176 140729252814064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30988/tid=30991] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30991/stat : 30991 (toysat) S 30985 30988 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281344 33554432000 4194304 16246674 140734728474176 140729166851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1357380

[startup+12.7004 s]
/proc/loadavg: 2.20 2.24 2.19 3/184 30992
/proc/meminfo: memFree=28527216/32872528 swapFree=1191052/1305516
[pid=30988] ppid=30985 vsize=1357380 CPUtime=12.69 cores=0,2,4,6
/proc/30988/stat : 30988 (toysat) R 30985 30988 26736 0 -1 4202496 280033 0 0 0 1230 39 0 0 20 0 4 0 30591022 1389957120 281353 33554432000 4194304 16246674 140734728474176 140734728456064 12654542 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30988/statm: 339345 281353 903 2943 0 336239 0
[pid=30988/tid=30989] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30989/stat : 30989 (toysat) S 30985 30988 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281353 33554432000 4194304 16246674 140734728474176 140729263303920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30988/tid=30990] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30990/stat : 30990 (toysat) S 30985 30988 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281353 33554432000 4194304 16246674 140734728474176 140729252814064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30988/tid=30991] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30991/stat : 30991 (toysat) S 30985 30988 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281353 33554432000 4194304 16246674 140734728474176 140729166851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1357380

[startup+25.5005 s]
/proc/loadavg: 2.33 2.27 2.20 3/183 30992
/proc/meminfo: memFree=28528068/32872528 swapFree=1191052/1305516
[pid=30988] ppid=30985 vsize=1357380 CPUtime=25.49 cores=0,2,4,6
/proc/30988/stat : 30988 (toysat) R 30985 30988 26736 0 -1 4202496 280033 0 0 0 2510 39 0 0 20 0 4 0 30591022 1389957120 281353 33554432000 4194304 16246674 140734728474176 140734728456064 12449269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30988/statm: 339345 281353 903 2943 0 336239 0
[pid=30988/tid=30989] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30989/stat : 30989 (toysat) S 30985 30988 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281353 33554432000 4194304 16246674 140734728474176 140729263303920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30988/tid=30990] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30990/stat : 30990 (toysat) S 30985 30988 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281353 33554432000 4194304 16246674 140734728474176 140729252814064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30988/tid=30991] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30991/stat : 30991 (toysat) S 30985 30988 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281353 33554432000 4194304 16246674 140734728474176 140729166851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1357380

[startup+51.1005 s]
/proc/loadavg: 2.34 2.28 2.20 3/183 30992
/proc/meminfo: memFree=28526612/32872528 swapFree=1191052/1305516
[pid=30988] ppid=30985 vsize=1357380 CPUtime=51.08 cores=0,2,4,6
/proc/30988/stat : 30988 (toysat) R 30985 30988 26736 0 -1 4202496 280033 0 0 0 5069 39 0 0 20 0 4 0 30591022 1389957120 281353 33554432000 4194304 16246674 140734728474176 140734728456064 12655122 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30988/statm: 339345 281353 903 2943 0 336239 0
[pid=30988/tid=30989] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30989/stat : 30989 (toysat) S 30985 30988 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281353 33554432000 4194304 16246674 140734728474176 140729263303920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30988/tid=30990] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30990/stat : 30990 (toysat) S 30985 30988 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281353 33554432000 4194304 16246674 140734728474176 140729252814064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30988/tid=30991] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30991/stat : 30991 (toysat) S 30985 30988 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281353 33554432000 4194304 16246674 140734728474176 140729166851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1357380

[startup+102.3 s]
/proc/loadavg: 2.25 2.26 2.20 3/183 30993
/proc/meminfo: memFree=28525916/32872528 swapFree=1191052/1305516
[pid=30988] ppid=30985 vsize=1357380 CPUtime=102.28 cores=0,2,4,6
/proc/30988/stat : 30988 (toysat) R 30985 30988 26736 0 -1 4202496 280033 0 0 0 10189 39 0 0 20 0 4 0 30591022 1389957120 281353 33554432000 4194304 16246674 140734728474176 140734728456064 12414092 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30988/statm: 339345 281353 903 2943 0 336239 0
[pid=30988/tid=30989] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30989/stat : 30989 (toysat) S 30985 30988 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281353 33554432000 4194304 16246674 140734728474176 140729263303920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30988/tid=30990] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30990/stat : 30990 (toysat) S 30985 30988 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281353 33554432000 4194304 16246674 140734728474176 140729252814064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30988/tid=30991] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30991/stat : 30991 (toysat) S 30985 30988 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281353 33554432000 4194304 16246674 140734728474176 140729166851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1357380


################
# More data... #
################

/proc/30988/task/30991/stat : 30991 (toysat) S 30985 30988 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140729166851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 1357380

[startup+1362.3 s]
/proc/loadavg: 2.25 2.28 2.21 3/184 31036
/proc/meminfo: memFree=28521848/32872528 swapFree=1191052/1305516
[pid=30988] ppid=30985 vsize=1357380 CPUtime=1361.97 cores=0,2,4,6
/proc/30988/stat : 30988 (toysat) R 30985 30988 26736 0 -1 4202496 280246 0 0 0 136156 41 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140734728456064 12371164 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30988/statm: 339345 281373 919 2943 0 336239 0
[pid=30988/tid=30989] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30989/stat : 30989 (toysat) S 30985 30988 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140729263303920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30988/tid=30990] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30990/stat : 30990 (toysat) S 30985 30988 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140729252814064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30988/tid=30991] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30991/stat : 30991 (toysat) S 30985 30988 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140729166851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 1357380

[startup+1422.3 s]
/proc/loadavg: 2.20 2.26 2.20 3/183 31037
/proc/meminfo: memFree=28522360/32872528 swapFree=1191052/1305516
[pid=30988] ppid=30985 vsize=1357380 CPUtime=1421.95 cores=0,2,4,6
/proc/30988/stat : 30988 (toysat) R 30985 30988 26736 0 -1 4202496 280265 0 0 0 142154 41 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140734728456064 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30988/statm: 339345 281373 919 2943 0 336239 0
[pid=30988/tid=30989] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30989/stat : 30989 (toysat) S 30985 30988 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140729263303920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30988/tid=30990] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30990/stat : 30990 (toysat) S 30985 30988 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140729252814064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30988/tid=30991] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30991/stat : 30991 (toysat) S 30985 30988 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140729166851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1357380

[startup+1482.3 s]
/proc/loadavg: 2.21 2.25 2.20 3/183 31038
/proc/meminfo: memFree=28522488/32872528 swapFree=1191052/1305516
[pid=30988] ppid=30985 vsize=1357380 CPUtime=1481.94 cores=0,2,4,6
/proc/30988/stat : 30988 (toysat) R 30985 30988 26736 0 -1 4202496 280265 0 0 0 148153 41 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140734728456064 12413960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30988/statm: 339345 281373 919 2943 0 336239 0
[pid=30988/tid=30989] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30989/stat : 30989 (toysat) S 30985 30988 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140729263303920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30988/tid=30990] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30990/stat : 30990 (toysat) S 30985 30988 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140729252814064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30988/tid=30991] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30991/stat : 30991 (toysat) S 30985 30988 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140729166851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 1357380

[startup+1542.31 s]
/proc/loadavg: 2.20 2.24 2.19 3/183 31039
/proc/meminfo: memFree=28522116/32872528 swapFree=1191052/1305516
[pid=30988] ppid=30985 vsize=1357380 CPUtime=1541.93 cores=0,2,4,6
/proc/30988/stat : 30988 (toysat) R 30985 30988 26736 0 -1 4202496 280265 0 0 0 154152 41 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140734728456064 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30988/statm: 339345 281373 919 2943 0 336239 0
[pid=30988/tid=30989] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30989/stat : 30989 (toysat) S 30985 30988 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140729263303920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30988/tid=30990] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30990/stat : 30990 (toysat) S 30985 30988 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140729252814064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30988/tid=30991] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30991/stat : 30991 (toysat) S 30985 30988 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140729166851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1357380

[startup+1602.3 s]
/proc/loadavg: 2.18 2.22 2.18 3/183 31089
/proc/meminfo: memFree=28521036/32872528 swapFree=1191052/1305516
[pid=30988] ppid=30985 vsize=1357380 CPUtime=1601.92 cores=0,2,4,6
/proc/30988/stat : 30988 (toysat) R 30985 30988 26736 0 -1 4202496 280265 0 0 0 160151 41 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140734728456064 12449395 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30988/statm: 339345 281373 919 2943 0 336239 0
[pid=30988/tid=30989] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30989/stat : 30989 (toysat) S 30985 30988 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140729263303920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30988/tid=30990] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30990/stat : 30990 (toysat) S 30985 30988 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140729252814064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30988/tid=30991] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30991/stat : 30991 (toysat) S 30985 30988 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140729166851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 1357380

[startup+1662.3 s]
/proc/loadavg: 2.12 2.19 2.18 3/182 31090
/proc/meminfo: memFree=27974216/32872528 swapFree=1191052/1305516
[pid=30988] ppid=30985 vsize=1357380 CPUtime=1661.91 cores=0,2,4,6
/proc/30988/stat : 30988 (toysat) R 30985 30988 26736 0 -1 4202496 280265 0 0 0 166150 41 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140734728472000 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30988/statm: 339345 281373 919 2943 0 336239 0
[pid=30988/tid=30989] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30989/stat : 30989 (toysat) S 30985 30988 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140729263303920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30988/tid=30990] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30990/stat : 30990 (toysat) S 30985 30988 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140729252814064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30988/tid=30991] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30991/stat : 30991 (toysat) S 30985 30988 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140729166851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 1357380

[startup+1722.3 s]
/proc/loadavg: 2.09 2.17 2.17 4/183 31092
/proc/meminfo: memFree=27004036/32872528 swapFree=1191052/1305516
[pid=30988] ppid=30985 vsize=1357380 CPUtime=1721.9 cores=0,2,4,6
/proc/30988/stat : 30988 (toysat) R 30985 30988 26736 0 -1 4202496 280265 0 0 0 172149 41 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140734728456064 12449269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30988/statm: 339345 281373 919 2943 0 336239 0
[pid=30988/tid=30989] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30989/stat : 30989 (toysat) S 30985 30988 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140729263303920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30988/tid=30990] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30990/stat : 30990 (toysat) S 30985 30988 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140729252814064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30988/tid=30991] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30991/stat : 30991 (toysat) S 30985 30988 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140729166851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1357380

[startup+1782.3 s]
/proc/loadavg: 2.18 2.18 2.18 3/184 31096
/proc/meminfo: memFree=26572628/32872528 swapFree=1191052/1305516
[pid=30988] ppid=30985 vsize=1357380 CPUtime=1781.89 cores=0,2,4,6
/proc/30988/stat : 30988 (toysat) R 30985 30988 26736 0 -1 4202496 280265 0 0 0 178148 41 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140734728456064 12414096 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30988/statm: 339345 281373 919 2943 0 336239 0
[pid=30988/tid=30989] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30989/stat : 30989 (toysat) S 30985 30988 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140729263303920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30988/tid=30990] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30990/stat : 30990 (toysat) S 30985 30988 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140729252814064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30988/tid=30991] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30991/stat : 30991 (toysat) S 30985 30988 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140729166851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 1357380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.14 2.17 2.17 3/184 31096
/proc/meminfo: memFree=26444536/32872528 swapFree=1191052/1305516
[pid=30988] ppid=30985 vsize=1357380 CPUtime=1800.09 cores=0,2,4,6
/proc/30988/stat : 30988 (toysat) R 30985 30988 26736 0 -1 4202496 280265 0 0 0 179968 41 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140734728472000 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30988/statm: 339345 281373 919 2943 0 336239 0
[pid=30988/tid=30989] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30989/stat : 30989 (toysat) S 30985 30988 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140729263303920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30988/tid=30990] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30990/stat : 30990 (toysat) S 30985 30988 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140729252814064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30988/tid=30991] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30991/stat : 30991 (toysat) S 30985 30988 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140729166851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1357380

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 30988 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.14 2.17 2.17 3/184 31096
/proc/meminfo: memFree=26444536/32872528 swapFree=1191052/1305516
[pid=30988] ppid=30985 vsize=1357380 CPUtime=1800.09 cores=0,2,4,6
/proc/30988/stat : 30988 (toysat) R 30985 30988 26736 0 -1 4202496 280265 0 0 0 179968 41 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140734728472000 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30988/statm: 339345 281373 919 2943 0 336239 0
[pid=30988/tid=30989] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30989/stat : 30989 (toysat) S 30985 30988 26736 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140729263303920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=30988/tid=30990] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30990/stat : 30990 (toysat) S 30985 30988 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140729252814064 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=30988/tid=30991] ppid=30985 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/30988/task/30991/stat : 30991 (toysat) S 30985 30988 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30591022 1389957120 281373 33554432000 4194304 16246674 140734728474176 140729166851248 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1357380

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.11
CPU user time (s): 1799.69
CPU system time (s): 0.418936
CPU usage (%): 99.9776
Max. virtual memory (cumulated for all children) (KiB): 1357380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.69
system time used= 0.418936
maximum resident set size= 1125492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280265
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 240
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.50232 second user time and 6.95894 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-18 23:30:44
IDJOB=4107486
IDBENCH=72218
IDSOLVER=2542
FILE ID=node127/4107486-1466285444
RUNJOBID= node127-1466265123-26752
PBS_JOBID= 19918231
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-synaptic.cudf.paranoid.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107486-1466285444/watcher-4107486-1466285444 -o /tmp/evaluation-result-4107486-1466285444/solver-4107486-1466285444 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26752 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107486-1466285444.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 9104a87636aa37487bc5941d7dca0a7d
RANDOM SEED=1895538716

node127.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29652140 kB
Buffers:            8004 kB
Cached:            82604 kB
SwapCached:          500 kB
Active:          1146012 kB
Inactive:          30560 kB
Active(anon):    1084004 kB
Inactive(anon):     4180 kB
Active(file):      62008 kB
Inactive(file):    26380 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:             19916 kB
Writeback:             0 kB
AnonPages:       2390968 kB
Mapped:            10816 kB
Shmem:                 0 kB
Slab:             603244 kB
SReclaimable:      47092 kB
SUnreclaim:       556152 kB
KernelStack:        1472 kB
PageTables:         8840 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2534876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    116736 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node127 at 2016-06-19 00:00:45