Trace number 4107558

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.13 1800.49

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/
random/rand.newlist/normalized-rand5d20db.cudf.trendy.opb
MD5SUMc3c9c8cba6a8891768f571580c510036
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark12384786448
Best CPU time to get the best result obtained on this benchmark5.56315
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6789
Total number of constraints29132
Number of constraints which are clauses28857
Number of constraints which are cardinality constraints (but not clauses)275
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint553
Number of terms in the objective function 3190
Biggest coefficient in the objective function 4073003173
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 2248292651722
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 4073003173
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 2248292651722
Number of bits of the biggest sum of numbers42
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:58:20+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-4107558-1466287099.opb"]
0.00/0.01	c use --random-gen="3752956402 1598826036 1620954624 1644800497 2066361866 3251933063 934199662 2910884223 4118141324 3668666664 4074780617 2232870762 1140418397 18869553 3519117632 2248488075 2942971115 2028455377 3749799345 110642540 700414926 1511214231 2203729283 3217222320 2966658986 1718085774 471113822 2122025161 2897935340 285018090 1676360303 3503172115 2045347075 2552003535 2874907926 2702958992 1591519569 1569120945 2241882803 3915473586 3570487318 1778197212 2668677799 592735277 2242247693 2434221718 1161941321 3599826530 2700165773 1409096779 877181471 2737775334 1836282149 225496563 3345646411 441844629 465430994 2732552633 3094293011 1670319180 974664969 1094864100 1694640397 256284749 1921979807 418261956 471321872 2475668333 269567115 736731222 2986213569 2052748250 3051868987 205520948 888131638 3488247027 3361759045 1482175006 3754704862 2274136002 1544242709 469431798 1153184252 1887199192 246522365 1893654322 2040274746 1268803931 4205943695 420350113 551878591 2902319442 261483449 2919087117 1457450122 3273050006 3431892030 1612786984 3774908541 4180735382 1857564810 43102193 2205381366 462534128 729754137 2938986887 3574249161 3590710369 2144567987 2229034805 842937304 53328342 3257807959 2807148000 1705950261 429160878 4125936844 2228123635 3662509159 834818816 2966110932 866256801 3065605196 750375398 705431111 1300723577 4044594344 3090394675 796653303 1605752531 2465676347 727374702 781943080 1882985623 3864029891 2204361604 1682630352 1341447565 2736255219 1581534034 2508715732 2932660078 1973118453 941341216 348960334 720718176 2340841799 3127971351 3509735178 1712692717 396802184 169821121 2188176185 953350438 3758523693 1524634037 781653465 4281460649 1206202292 658520045 2750563214 621002852 1564251084 713401197 4277305805 3491309806 820171112 161022693 2945344677 354592520 4038150180 2061623153 1572637715 1359948179 3193028935 2669553113 4090813276 3785444776 2813273656 2023970939 2419614624 2842679046 3668457517 1927427586 1547826851 3075553985 4263770326 3214935141 427688662 1079004159 4013034241 1154731156 2970433578 1907065175 4218281977 1149866499 2352817984 5237076 111075297 4162772190 221584649 2416649849 1453335961 1914450785 3947326908 2025904055 4119347346 2396602276 237096147 3149601892 308962317 4000896284 3771204162 1440881197 3437136451 3089165298 1121612503 2471990537 4170353028 754429707 279892077 569021541 609984116 2900612510 4222078443 482324189 238370017 2700418741 1625253670 3476714281 1188510225 1182951496 2436617731 161360954 3513705314 310676374 2533576523 302515951 1138532601 2396243740 627236468 3285075092 36914654 304713232 2176486560 2427392933 768531773 53271158 2938231774 3768717348 2560330537 3571715331 2647466274 1345375970 136506636 4091344618 255 362436" option to reproduce the execution
0.19/0.22	c #vars 6789
0.19/0.22	c #constraints 29132
0.59/0.61	c BCD2: Hardening is enabled.
0.59/0.61	c BCD2: BiasedSearch is enabled.
0.59/0.61	c Solving starts ...
0.59/0.61	c ============================[ Search Statistics ]============================
0.59/0.61	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.59/0.61	c       |         |          |          |    Limit     GC | Var      | Constra 
0.59/0.61	c =============================================================================
0.59/0.61	c  0.0s |       0 |        0 |        0 |    11591      0 |      912 |        0
0.79/0.89	c  0.3s |       0 |    27310 |       77 |    11591      0 |      939 |     5694
0.79/0.89	c #cpu_time = 0.283s
0.79/0.89	c #wall_clock_time = 0.283s
0.79/0.89	c #decision = 27310
0.79/0.89	c #random_decision = 64
0.79/0.89	c #conflict = 77
0.79/0.89	c #restart = 0
0.79/0.89	o 278861721015
501.29/501.40	c BCD2: updating upper bound: 2248292651722 -> 278861721014
743.36/743.54	c BCD2: 0 <= obj <= 278861721014
743.36/743.54	c BCD2: #cores=0, #unrelaxed=3190, #relaxed=0, #hardened=0
743.36/743.54	c BCD2: #sat=1 #unsat=1 bias=1/2
743.36/743.54	c Solving starts ...
743.36/743.54	c ============================[ Search Statistics ]============================
743.36/743.54	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
743.36/743.54	c       |         |          |          |    Limit     GC | Var      | Constra 
743.36/743.54	c =============================================================================
743.36/743.54	c  0.0s |       0 |        0 |        0 |    11591      0 |      939 |     5694
743.36/743.55	c  0.0s |       0 |       11 |        1 |    11591      0 |      939 |     5694
743.36/743.55	c #cpu_time = 0.011s
743.36/743.55	c #wall_clock_time = 0.011s
743.36/743.55	c #decision = 11
743.36/743.55	c #random_decision = 0
743.36/743.55	c #conflict = 1
743.36/743.55	c #restart = 0
743.36/743.55	c BCD2: found a new core of size 3: cost of the new core is >=1
743.36/743.55	c lower bound updated to 1
1238.26/1238.57	c BCD2: 1 <= obj <= 278861721014
1238.26/1238.57	c BCD2: #cores=1, #unrelaxed=3187, #relaxed=3, #hardened=0
1238.26/1238.57	c BCD2: #sat=1 #unsat=2 bias=2/3
1238.26/1238.57	c Solving starts ...
1238.26/1238.57	c ============================[ Search Statistics ]============================
1238.26/1238.57	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1238.26/1238.57	c       |         |          |          |    Limit     GC | Var      | Constra 
1238.26/1238.57	c =============================================================================
1238.26/1238.57	c  0.0s |       0 |        0 |        0 |    11591      0 |      939 |     5694
1238.26/1238.58	c  0.0s |       0 |        9 |        0 |    11591      0 |      939 |     5694
1238.26/1238.58	c #cpu_time = 0.011s
1238.26/1238.58	c #wall_clock_time = 0.011s
1238.26/1238.58	c #decision = 9
1238.26/1238.58	c #random_decision = 0
1238.26/1238.58	c #conflict = 0
1238.26/1238.58	c #restart = 0
1238.26/1238.58	c BCD2: found a new core of size 1: cost of the new core is >=1
1238.26/1238.58	c lower bound updated to 2
1763.63/1764.00	c BCD2: 2 <= obj <= 278861721014
1763.63/1764.00	c BCD2: #cores=2, #unrelaxed=3186, #relaxed=4, #hardened=0
1763.63/1764.00	c BCD2: #sat=1 #unsat=3 bias=3/4
1763.63/1764.00	c Solving starts ...
1763.63/1764.00	c ============================[ Search Statistics ]============================
1763.63/1764.00	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1763.63/1764.00	c       |         |          |          |    Limit     GC | Var      | Constra 
1763.63/1764.00	c =============================================================================
1763.63/1764.00	c  0.0s |       0 |        0 |        0 |    11591      0 |      939 |     5694
1763.63/1764.02	c  0.0s |       0 |       31 |        1 |    11591      0 |      940 |     5696
1763.63/1764.02	c #cpu_time = 0.020s
1763.63/1764.02	c #wall_clock_time = 0.020s
1763.63/1764.02	c #decision = 31
1763.63/1764.02	c #random_decision = 0
1763.63/1764.02	c #conflict = 1
1763.63/1764.02	c #restart = 0
1763.63/1764.02	c BCD2: found a new core of size 1: cost of the new core is >=1
1763.63/1764.02	c lower bound updated to 3

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-4107558-1466287099/watcher-4107558-1466287099 -o /tmp/evaluation-result-4107558-1466287099/solver-4107558-1466287099 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7755 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107558-1466287099.opb 

pid=10508
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.01 2.02 2.04 3/179 10511
/proc/meminfo: memFree=30032700/32872528 swapFree=496868/529572
[pid=10511] ppid=10508 vsize=728508 CPUtime=0 cores=0,2,4,6
/proc/10511/stat : 10511 (toysat) R 10508 10511 7739 0 -1 4202496 2720 0 0 0 0 0 0 0 20 0 4 0 30755382 745992192 2570 33554432000 4194304 16246674 140735029157760 140735029157184 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10511/statm: 182895 2579 441 2943 0 179789 0
[pid=10511/tid=10512] ppid=10508 vsize=746940 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10512/stat : 10512 (toysat) S 10508 10511 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30755382 764866560 2642 33554432000 4194304 16246674 140735029157760 140341716954352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10511/tid=10513] ppid=10508 vsize=751036 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10513/stat : 10513 (toysat) S 10508 10511 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30755382 769060864 2658 33554432000 4194304 16246674 140735029157760 140341706464496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10511/tid=10514] ppid=10508 vsize=755132 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10514/stat : 10514 (toysat) S 10508 10511 7739 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30755382 773255168 2674 33554432000 4194304 16246674 140735029157760 140341695990960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.01 2.02 2.04 3/179 10511
/proc/meminfo: memFree=30032700/32872528 swapFree=496868/529572
[pid=10511] ppid=10508 vsize=1222212 CPUtime=0.09 cores=0,2,4,6
/proc/10511/stat : 10511 (toysat) R 10508 10511 7739 0 -1 4202496 26152 0 0 0 6 3 0 0 20 0 4 0 30755382 1251545088 25940 33554432000 4194304 16246674 140735029157760 140735029157072 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10511/statm: 305553 25947 799 2943 0 302447 0
[pid=10511/tid=10512] ppid=10508 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10512/stat : 10512 (toysat) S 10508 10511 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30755382 1251545088 25952 33554432000 4194304 16246674 140735029157760 140341716954352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10511/tid=10513] ppid=10508 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10513/stat : 10513 (toysat) S 10508 10511 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30755382 1251545088 25955 33554432000 4194304 16246674 140735029157760 140341706464496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10511/tid=10514] ppid=10508 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10514/stat : 10514 (toysat) S 10508 10511 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30755382 1251545088 25955 33554432000 4194304 16246674 140735029157760 140341695990960 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) 1222212

[startup+0.200525 s]
/proc/loadavg: 2.01 2.02 2.04 3/179 10511
/proc/meminfo: memFree=30032700/32872528 swapFree=496868/529572
[pid=10511] ppid=10508 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/10511/stat : 10511 (toysat) R 10508 10511 7739 0 -1 4202496 48605 0 0 0 12 7 0 0 20 0 4 0 30755382 1344868352 48904 33554432000 4194304 16246674 140735029157760 140735029157072 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10511/statm: 328337 48904 799 2943 0 325231 0
[pid=10511/tid=10512] ppid=10508 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10512/stat : 10512 (toysat) S 10508 10511 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30755382 1344868352 48904 33554432000 4194304 16246674 140735029157760 140341716954352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10511/tid=10513] ppid=10508 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10513/stat : 10513 (toysat) S 10508 10511 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30755382 1344868352 48904 33554432000 4194304 16246674 140735029157760 140341706464496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10511/tid=10514] ppid=10508 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10514/stat : 10514 (toysat) S 10508 10511 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30755382 1344868352 48904 33554432000 4194304 16246674 140735029157760 140341695990960 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.30052 s]
/proc/loadavg: 2.01 2.02 2.04 3/179 10511
/proc/meminfo: memFree=30032700/32872528 swapFree=496868/529572
[pid=10511] ppid=10508 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/10511/stat : 10511 (toysat) R 10508 10511 7739 0 -1 4202496 51001 0 0 0 22 7 0 0 20 0 4 0 30755382 1344868352 51300 33554432000 4194304 16246674 140735029157760 140735029157072 6969814 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10511/statm: 328337 51309 836 2943 0 325231 0
[pid=10511/tid=10512] ppid=10508 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10512/stat : 10512 (toysat) S 10508 10511 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30755382 1344868352 51314 33554432000 4194304 16246674 140735029157760 140341716954352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10511/tid=10513] ppid=10508 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10513/stat : 10513 (toysat) S 10508 10511 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30755382 1344868352 51319 33554432000 4194304 16246674 140735029157760 140341706464496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10511/tid=10514] ppid=10508 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10514/stat : 10514 (toysat) S 10508 10511 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30755382 1344868352 51324 33554432000 4194304 16246674 140735029157760 140341695990960 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.700407 s]
/proc/loadavg: 2.01 2.02 2.04 3/179 10511
/proc/meminfo: memFree=30032700/32872528 swapFree=496868/529572
[pid=10511] ppid=10508 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/10511/stat : 10511 (toysat) R 10508 10511 7739 0 -1 4202496 116719 0 0 0 51 18 0 0 20 0 4 0 30755382 1344868352 117018 33554432000 4194304 16246674 140735029157760 140735029157072 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10511/statm: 328337 117018 890 2943 0 325231 0
[pid=10511/tid=10512] ppid=10508 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10512/stat : 10512 (toysat) S 10508 10511 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30755382 1344868352 117018 33554432000 4194304 16246674 140735029157760 140341716954352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10511/tid=10513] ppid=10508 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10513/stat : 10513 (toysat) S 10508 10511 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30755382 1344868352 117018 33554432000 4194304 16246674 140735029157760 140341706464496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10511/tid=10514] ppid=10508 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10514/stat : 10514 (toysat) S 10508 10511 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30755382 1344868352 117018 33554432000 4194304 16246674 140735029157760 140341695990960 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.01 2.02 2.04 3/183 10515
/proc/meminfo: memFree=29443216/32872528 swapFree=496868/529572
[pid=10511] ppid=10508 vsize=1324612 CPUtime=1.48 cores=0,2,4,6
/proc/10511/stat : 10511 (toysat) R 10508 10511 7739 0 -1 4202496 268386 0 0 0 111 37 0 0 20 0 4 0 30755382 1356402688 268686 33554432000 4194304 16246674 140735029157760 140735029139648 12414100 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10511/statm: 331153 268704 898 2943 0 328047 0
[pid=10511/tid=10512] ppid=10508 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10512/stat : 10512 (toysat) S 10508 10511 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30755382 1356402688 268716 33554432000 4194304 16246674 140735029157760 140341716954352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10511/tid=10513] ppid=10508 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10513/stat : 10513 (toysat) S 10508 10511 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30755382 1356402688 268727 33554432000 4194304 16246674 140735029157760 140341706464496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10511/tid=10514] ppid=10508 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10514/stat : 10514 (toysat) S 10508 10511 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30755382 1356402688 268738 33554432000 4194304 16246674 140735029157760 140341695990960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1324612

[startup+3.10043 s]
/proc/loadavg: 2.01 2.02 2.04 3/183 10515
/proc/meminfo: memFree=28944736/32872528 swapFree=496864/529568
[pid=10511] ppid=10508 vsize=1324612 CPUtime=3.09 cores=0,2,4,6
/proc/10511/stat : 10511 (toysat) R 10508 10511 7739 0 -1 4202496 271840 0 0 0 271 38 0 0 20 0 4 0 30755382 1356402688 272139 33554432000 4194304 16246674 140735029157760 140735029139648 13927412 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10511/statm: 331153 272139 899 2943 0 328047 0
[pid=10511/tid=10512] ppid=10508 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10512/stat : 10512 (toysat) S 10508 10511 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30755382 1356402688 272139 33554432000 4194304 16246674 140735029157760 140341716954352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10511/tid=10513] ppid=10508 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10513/stat : 10513 (toysat) S 10508 10511 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30755382 1356402688 272139 33554432000 4194304 16246674 140735029157760 140341706464496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10511/tid=10514] ppid=10508 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10514/stat : 10514 (toysat) S 10508 10511 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30755382 1356402688 272139 33554432000 4194304 16246674 140735029157760 140341695990960 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) 1324612

[startup+6.30042 s]
/proc/loadavg: 2.01 2.02 2.04 3/183 10515
/proc/meminfo: memFree=28944304/32872528 swapFree=496868/529572
[pid=10511] ppid=10508 vsize=1324612 CPUtime=6.29 cores=0,2,4,6
/proc/10511/stat : 10511 (toysat) R 10508 10511 7739 0 -1 4202496 271840 0 0 0 591 38 0 0 20 0 4 0 30755382 1356402688 272139 33554432000 4194304 16246674 140735029157760 140735029139648 12654363 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10511/statm: 331153 272139 899 2943 0 328047 0
[pid=10511/tid=10512] ppid=10508 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10512/stat : 10512 (toysat) S 10508 10511 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30755382 1356402688 272139 33554432000 4194304 16246674 140735029157760 140341716954352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10511/tid=10513] ppid=10508 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10513/stat : 10513 (toysat) S 10508 10511 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30755382 1356402688 272139 33554432000 4194304 16246674 140735029157760 140341706464496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10511/tid=10514] ppid=10508 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10514/stat : 10514 (toysat) S 10508 10511 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30755382 1356402688 272139 33554432000 4194304 16246674 140735029157760 140341695990960 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) 1324612

[startup+12.7004 s]
/proc/loadavg: 2.01 2.02 2.04 3/183 10515
/proc/meminfo: memFree=28944608/32872528 swapFree=496868/529572
[pid=10511] ppid=10508 vsize=1324612 CPUtime=12.69 cores=0,2,4,6
/proc/10511/stat : 10511 (toysat) R 10508 10511 7739 0 -1 4202496 271840 0 0 0 1231 38 0 0 20 0 4 0 30755382 1356402688 272139 33554432000 4194304 16246674 140735029157760 140735029139648 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10511/statm: 331153 272139 899 2943 0 328047 0
[pid=10511/tid=10512] ppid=10508 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10512/stat : 10512 (toysat) S 10508 10511 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30755382 1356402688 272139 33554432000 4194304 16246674 140735029157760 140341716954352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10511/tid=10513] ppid=10508 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10513/stat : 10513 (toysat) S 10508 10511 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30755382 1356402688 272139 33554432000 4194304 16246674 140735029157760 140341706464496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10511/tid=10514] ppid=10508 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10514/stat : 10514 (toysat) S 10508 10511 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30755382 1356402688 272139 33554432000 4194304 16246674 140735029157760 140341695990960 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) 1324612

[startup+25.5005 s]
/proc/loadavg: 2.01 2.02 2.03 3/183 10515
/proc/meminfo: memFree=28944664/32872528 swapFree=496868/529572
[pid=10511] ppid=10508 vsize=1324612 CPUtime=25.49 cores=0,2,4,6
/proc/10511/stat : 10511 (toysat) R 10508 10511 7739 0 -1 4202496 271840 0 0 0 2511 38 0 0 20 0 4 0 30755382 1356402688 272139 33554432000 4194304 16246674 140735029157760 140735029139648 12413857 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10511/statm: 331153 272139 899 2943 0 328047 0
[pid=10511/tid=10512] ppid=10508 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10512/stat : 10512 (toysat) S 10508 10511 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30755382 1356402688 272139 33554432000 4194304 16246674 140735029157760 140341716954352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10511/tid=10513] ppid=10508 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10513/stat : 10513 (toysat) S 10508 10511 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30755382 1356402688 272139 33554432000 4194304 16246674 140735029157760 140341706464496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10511/tid=10514] ppid=10508 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10514/stat : 10514 (toysat) S 10508 10511 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30755382 1356402688 272139 33554432000 4194304 16246674 140735029157760 140341695990960 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) 1324612

[startup+51.1005 s]
/proc/loadavg: 2.00 2.02 2.03 3/183 10515
/proc/meminfo: memFree=28656464/32872528 swapFree=496868/529572
[pid=10511] ppid=10508 vsize=1612356 CPUtime=51.08 cores=0,2,4,6
/proc/10511/stat : 10511 (toysat) R 10508 10511 7739 0 -1 4202496 343777 0 0 0 5061 47 0 0 20 0 4 0 30755382 1651052544 344076 33554432000 4194304 16246674 140735029157760 140735029157072 4220850 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10511/statm: 403089 344076 899 2943 0 399983 0
[pid=10511/tid=10512] ppid=10508 vsize=1612356 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10512/stat : 10512 (toysat) S 10508 10511 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30755382 1651052544 344076 33554432000 4194304 16246674 140735029157760 140341716954352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10511/tid=10513] ppid=10508 vsize=1612356 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10513/stat : 10513 (toysat) S 10508 10511 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30755382 1651052544 344076 33554432000 4194304 16246674 140735029157760 140341706464496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10511/tid=10514] ppid=10508 vsize=1612356 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10514/stat : 10514 (toysat) S 10508 10511 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30755382 1651052544 344076 33554432000 4194304 16246674 140735029157760 140341695990960 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) 1612356

[startup+102.3 s]
/proc/loadavg: 1.96 2.01 2.03 3/184 10519
/proc/meminfo: memFree=27946240/32872528 swapFree=496868/529572
[pid=10511] ppid=10508 vsize=2319940 CPUtime=102.28 cores=0,2,4,6
/proc/10511/stat : 10511 (toysat) R 10508 10511 7739 0 -1 4202496 520674 0 0 0 10156 72 0 0 20 0 4 0 30755382 2375618560 521228 33554432000 4194304 16246674 140735029157760 140735029155584 4220986 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10511/statm: 579985 521228 899 2943 0 576879 0
[pid=10511/tid=10512] ppid=10508 vsize=2319940 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10512/stat : 10512 (toysat) S 10508 10511 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30755382 2375618560 521228 33554432000 4194304 16246674 140735029157760 140341716954352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10511/tid=10513] ppid=10508 vsize=2319940 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10513/stat : 10513 (toysat) S 10508 10511 7739 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30755382 2375618560 521228 33554432000 4194304 16246674 140735029157760 140341706464272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10511/tid=10514] ppid=10508 vsize=2319940 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10514/stat : 10514 (toysat) S 10508 10511 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30755382 2375618560 521228 33554432000 4194304 16246674 140735029157760 140341695990960 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) 2319940


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

/proc/10511/task/10514/stat : 10514 (toysat) S 10508 10511 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30755382 1843990528 391457 33554432000 4194304 16246674 140735029157760 140341695990960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 1800772

[startup+1302.3 s]
/proc/loadavg: 2.09 2.09 2.03 4/183 10617
/proc/meminfo: memFree=26762828/32872528 swapFree=496868/529572
[pid=10511] ppid=10508 vsize=1845828 CPUtime=1302.04 cores=0,2,4,6
/proc/10511/stat : 10511 (toysat) R 10508 10511 7739 0 -1 4202496 3423748 0 0 0 129613 591 0 0 20 0 4 0 30755382 1890127872 402721 33554432000 4194304 16246674 140735029157760 140735029156856 4225066 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10511/statm: 461457 402721 916 2943 0 458351 0
[pid=10511/tid=10512] ppid=10508 vsize=1845828 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10512/stat : 10512 (toysat) S 10508 10511 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30755382 1890127872 402721 33554432000 4194304 16246674 140735029157760 140341716954352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10511/tid=10513] ppid=10508 vsize=1845828 CPUtime=0.01 cores=0,2,4,6
/proc/10511/task/10513/stat : 10513 (toysat) S 10508 10511 7739 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30755382 1890127872 402721 33554432000 4194304 16246674 140735029157760 140341706464496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10511/tid=10514] ppid=10508 vsize=1845828 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10514/stat : 10514 (toysat) S 10508 10511 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30755382 1890127872 402721 33554432000 4194304 16246674 140735029157760 140341695990960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 1845828

[startup+1362.3 s]
/proc/loadavg: 2.16 2.12 2.04 3/183 10621
/proc/meminfo: memFree=25975572/32872528 swapFree=496868/529572
[pid=10511] ppid=10508 vsize=2409028 CPUtime=1362.02 cores=0,2,4,6
/proc/10511/stat : 10511 (toysat) R 10508 10511 7739 0 -1 4202496 3564408 0 0 0 135589 613 0 0 20 0 4 0 30755382 2466844672 543382 33554432000 4194304 16246674 140735029157760 140735029155584 4225154 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10511/statm: 602257 543389 916 2943 0 599151 0
[pid=10511/tid=10512] ppid=10508 vsize=2409028 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10512/stat : 10512 (toysat) S 10508 10511 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30755382 2466844672 543394 33554432000 4194304 16246674 140735029157760 140341716954352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10511/tid=10513] ppid=10508 vsize=2409028 CPUtime=0.01 cores=0,2,4,6
/proc/10511/task/10513/stat : 10513 (toysat) S 10508 10511 7739 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30755382 2466844672 543399 33554432000 4194304 16246674 140735029157760 140341706464272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10511/tid=10514] ppid=10508 vsize=2409028 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10514/stat : 10514 (toysat) S 10508 10511 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30755382 2466844672 543399 33554432000 4194304 16246674 140735029157760 140341695990960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 2409028

[startup+1422.3 s]
/proc/loadavg: 2.09 2.11 2.04 3/183 10622
/proc/meminfo: memFree=25123224/32872528 swapFree=496868/529572
[pid=10511] ppid=10508 vsize=2905668 CPUtime=1422.01 cores=0,2,4,6
/proc/10511/stat : 10511 (toysat) R 10508 10511 7739 0 -1 4202496 3688708 0 0 0 141563 638 0 0 20 0 4 0 30755382 2975404032 667681 33554432000 4194304 16246674 140735029157760 140735029156976 4220536 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10511/statm: 726417 667681 916 2943 0 723311 0
[pid=10511/tid=10512] ppid=10508 vsize=2905668 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10512/stat : 10512 (toysat) S 10508 10511 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30755382 2975404032 667681 33554432000 4194304 16246674 140735029157760 140341716954352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10511/tid=10513] ppid=10508 vsize=2905668 CPUtime=0.01 cores=0,2,4,6
/proc/10511/task/10513/stat : 10513 (toysat) S 10508 10511 7739 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30755382 2975404032 667681 33554432000 4194304 16246674 140735029157760 140341706464496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10511/tid=10514] ppid=10508 vsize=2905668 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10514/stat : 10514 (toysat) S 10508 10511 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30755382 2975404032 667681 33554432000 4194304 16246674 140735029157760 140341695990960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 2905668

[startup+1482.3 s]
/proc/loadavg: 2.12 2.11 2.05 3/183 10624
/proc/meminfo: memFree=24345648/32872528 swapFree=496868/529572
[pid=10511] ppid=10508 vsize=3427908 CPUtime=1481.99 cores=0,2,4,6
/proc/10511/stat : 10511 (toysat) R 10508 10511 7739 0 -1 4202496 3819273 0 0 0 147538 661 0 0 20 0 4 0 30755382 3510177792 798241 33554432000 4194304 16246674 140735029157760 140735029156856 15015658 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10511/statm: 856977 798241 916 2943 0 853871 0
[pid=10511/tid=10512] ppid=10508 vsize=3427908 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10512/stat : 10512 (toysat) S 10508 10511 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30755382 3510177792 798241 33554432000 4194304 16246674 140735029157760 140341716954352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10511/tid=10513] ppid=10508 vsize=3427908 CPUtime=0.01 cores=0,2,4,6
/proc/10511/task/10513/stat : 10513 (toysat) S 10508 10511 7739 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30755382 3510177792 798241 33554432000 4194304 16246674 140735029157760 140341706464496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10511/tid=10514] ppid=10508 vsize=3427908 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10514/stat : 10514 (toysat) S 10508 10511 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30755382 3510177792 798241 33554432000 4194304 16246674 140735029157760 140341695990960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 3427908

[startup+1542.31 s]
/proc/loadavg: 2.08 2.11 2.04 3/183 10625
/proc/meminfo: memFree=25162184/32872528 swapFree=496868/529572
[pid=10511] ppid=10508 vsize=3661380 CPUtime=1541.98 cores=0,2,4,6
/proc/10511/stat : 10511 (toysat) R 10508 10511 7739 0 -1 4202496 3885580 0 0 0 153522 676 0 0 20 0 4 0 30755382 3749253120 856609 33554432000 4194304 16246674 140735029157760 140735029157072 14628944 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10511/statm: 915345 856609 916 2943 0 912239 0
[pid=10511/tid=10512] ppid=10508 vsize=3661380 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10512/stat : 10512 (toysat) S 10508 10511 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30755382 3749253120 856609 33554432000 4194304 16246674 140735029157760 140341716954352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10511/tid=10513] ppid=10508 vsize=3661380 CPUtime=0.01 cores=0,2,4,6
/proc/10511/task/10513/stat : 10513 (toysat) S 10508 10511 7739 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30755382 3749253120 856609 33554432000 4194304 16246674 140735029157760 140341706464496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10511/tid=10514] ppid=10508 vsize=3661380 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10514/stat : 10514 (toysat) S 10508 10511 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30755382 3749253120 856609 33554432000 4194304 16246674 140735029157760 140341695990960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 3661380

[startup+1602.3 s]
/proc/loadavg: 2.06 2.10 2.04 3/183 10626
/proc/meminfo: memFree=25704660/32872528 swapFree=496868/529572
[pid=10511] ppid=10508 vsize=3885636 CPUtime=1601.96 cores=0,2,4,6
/proc/10511/stat : 10511 (toysat) R 10508 10511 7739 0 -1 4202496 3976972 0 0 0 159499 697 0 0 20 0 4 0 30755382 3978891264 912673 33554432000 4194304 16246674 140735029157760 140735029155584 4220536 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10511/statm: 971409 912673 916 2943 0 968303 0
[pid=10511/tid=10512] ppid=10508 vsize=3885636 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10512/stat : 10512 (toysat) S 10508 10511 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30755382 3978891264 912673 33554432000 4194304 16246674 140735029157760 140341716954352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10511/tid=10513] ppid=10508 vsize=3885636 CPUtime=0.01 cores=0,2,4,6
/proc/10511/task/10513/stat : 10513 (toysat) S 10508 10511 7739 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30755382 3978891264 912673 33554432000 4194304 16246674 140735029157760 140341706464272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10511/tid=10514] ppid=10508 vsize=3885636 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10514/stat : 10514 (toysat) S 10508 10511 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30755382 3978891264 912673 33554432000 4194304 16246674 140735029157760 140341695990960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 3885636

[startup+1662.3 s]
/proc/loadavg: 2.06 2.09 2.04 3/183 10627
/proc/meminfo: memFree=24459268/32872528 swapFree=496868/529572
[pid=10511] ppid=10508 vsize=4588100 CPUtime=1661.95 cores=0,2,4,6
/proc/10511/stat : 10511 (toysat) R 10508 10511 7739 0 -1 4202496 4194828 0 0 0 165459 736 0 0 20 0 4 0 30755382 4698214400 1088289 33554432000 4194304 16246674 140735029157760 140735029157072 4221116 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10511/statm: 1147025 1088289 916 2943 0 1143919 0
[pid=10511/tid=10512] ppid=10508 vsize=4588100 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10512/stat : 10512 (toysat) S 10508 10511 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30755382 4698214400 1088289 33554432000 4194304 16246674 140735029157760 140341716954352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10511/tid=10513] ppid=10508 vsize=4588100 CPUtime=0.01 cores=0,2,4,6
/proc/10511/task/10513/stat : 10513 (toysat) S 10508 10511 7739 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30755382 4698214400 1088289 33554432000 4194304 16246674 140735029157760 140341706464496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10511/tid=10514] ppid=10508 vsize=4588100 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10514/stat : 10514 (toysat) S 10508 10511 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30755382 4698214400 1088289 33554432000 4194304 16246674 140735029157760 140341695990960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 4588100

[startup+1722.3 s]
/proc/loadavg: 2.10 2.10 2.05 3/183 10628
/proc/meminfo: memFree=23982092/32872528 swapFree=496868/529572
[pid=10511] ppid=10508 vsize=4389444 CPUtime=1721.94 cores=0,2,4,6
/proc/10511/stat : 10511 (toysat) R 10508 10511 7739 0 -1 4202496 4418829 0 0 0 171414 780 0 0 20 0 4 0 30755382 4494790656 1038626 33554432000 4194304 16246674 140735029157760 140735029156856 12654353 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10511/statm: 1097361 1038626 916 2943 0 1094255 0
[pid=10511/tid=10512] ppid=10508 vsize=4389444 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10512/stat : 10512 (toysat) S 10508 10511 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30755382 4494790656 1038626 33554432000 4194304 16246674 140735029157760 140341716954352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10511/tid=10513] ppid=10508 vsize=4389444 CPUtime=0.01 cores=0,2,4,6
/proc/10511/task/10513/stat : 10513 (toysat) S 10508 10511 7739 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30755382 4494790656 1038626 33554432000 4194304 16246674 140735029157760 140341706464496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10511/tid=10514] ppid=10508 vsize=4389444 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10514/stat : 10514 (toysat) S 10508 10511 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30755382 4494790656 1038626 33554432000 4194304 16246674 140735029157760 140341695990960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 4389444

[startup+1782.3 s]
/proc/loadavg: 2.10 2.11 2.05 3/183 10630
/proc/meminfo: memFree=26391900/32872528 swapFree=496868/529572
[pid=10511] ppid=10508 vsize=1940036 CPUtime=1781.93 cores=0,2,4,6
/proc/10511/stat : 10511 (toysat) R 10508 10511 7739 0 -1 4202496 4672015 0 0 0 177353 840 0 0 20 0 4 0 30755382 1986596864 426274 33554432000 4194304 16246674 140735029157760 140735029139648 12371234 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10511/statm: 485009 426274 916 2943 0 481903 0
[pid=10511/tid=10512] ppid=10508 vsize=1940036 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10512/stat : 10512 (toysat) S 10508 10511 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30755382 1986596864 426274 33554432000 4194304 16246674 140735029157760 140341716954352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10511/tid=10513] ppid=10508 vsize=1940036 CPUtime=0.01 cores=0,2,4,6
/proc/10511/task/10513/stat : 10513 (toysat) S 10508 10511 7739 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30755382 1986596864 426274 33554432000 4194304 16246674 140735029157760 140341706464496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10511/tid=10514] ppid=10508 vsize=1940036 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10514/stat : 10514 (toysat) S 10508 10511 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30755382 1986596864 426274 33554432000 4194304 16246674 140735029157760 140341695990960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 1940036



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.14 2.12 2.06 3/183 10631
/proc/meminfo: memFree=26280264/32872528 swapFree=496868/529572
[pid=10511] ppid=10508 vsize=1940036 CPUtime=1800.03 cores=0,2,4,6
/proc/10511/stat : 10511 (toysat) R 10508 10511 7739 0 -1 4202496 4672015 0 0 0 179163 840 0 0 20 0 4 0 30755382 1986596864 426274 33554432000 4194304 16246674 140735029157760 140735029157072 4225128 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10511/statm: 485009 426274 916 2943 0 481903 0
[pid=10511/tid=10512] ppid=10508 vsize=1940036 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10512/stat : 10512 (toysat) S 10508 10511 7739 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30755382 1986596864 426274 33554432000 4194304 16246674 140735029157760 140341716954352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10511/tid=10513] ppid=10508 vsize=1940036 CPUtime=0.01 cores=0,2,4,6
/proc/10511/task/10513/stat : 10513 (toysat) S 10508 10511 7739 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30755382 1986596864 426274 33554432000 4194304 16246674 140735029157760 140341706464496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10511/tid=10514] ppid=10508 vsize=1940036 CPUtime=0 cores=0,2,4,6
/proc/10511/task/10514/stat : 10514 (toysat) S 10508 10511 7739 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30755382 1986596864 426274 33554432000 4194304 16246674 140735029157760 140341695990960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1940036

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 10511 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.49
CPU time (s): 1800.13
CPU user time (s): 1791.64
CPU system time (s): 8.48671
CPU usage (%): 99.9798
Max. virtual memory (cumulated for all children) (KiB): 4950596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.64
system time used= 8.48671
maximum resident set size= 4715656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4672015
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= 1986
involuntary context switches= 2077

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.38818 second user time and 7.66583 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-18 23:58:19
IDJOB=4107558
IDBENCH=72308
IDSOLVER=2542
FILE ID=node141/4107558-1466287099
RUNJOBID= node141-1466264081-7755
PBS_JOBID= 19918217
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/random/rand.newlist/normalized-rand5d20db.cudf.trendy.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107558-1466287099/watcher-4107558-1466287099 -o /tmp/evaluation-result-4107558-1466287099/solver-4107558-1466287099 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466264081-7755 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107558-1466287099.opb

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

MD5SUM BENCH= c3c9c8cba6a8891768f571580c510036
RANDOM SEED=653721778

node141.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.547
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.09
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.547
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.547
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.54
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.547
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.55
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.547
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.56
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.547
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.547
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.55
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.547
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30033080 kB
Buffers:          166440 kB
Cached:           273068 kB
SwapCached:         2528 kB
Active:          1279548 kB
Inactive:         285740 kB
Active(anon):    1126248 kB
Inactive(anon):     2028 kB
Active(file):     153300 kB
Inactive(file):   283712 kB
Unevictable:      529572 kB
Mlocked:          496868 kB
SwapTotal:      67108856 kB
SwapFree:       67099068 kB
Dirty:             17136 kB
Writeback:            36 kB
AnonPages:       1654124 kB
Mapped:            10820 kB
Shmem:                 0 kB
Slab:             610820 kB
SReclaimable:      54300 kB
SUnreclaim:       556520 kB
KernelStack:        1456 kB
PageTables:         6856 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1797760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1064960 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= 71696 MiB
End job on node141 at 2016-06-19 00:28:20