Trace number 4099733

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.62 1800.93

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-ds.opb
MD5SUMcc75ee6fc059a591840488be914609eb
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1354640
Total number of constraints656
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints656
Minimum length of a constraint640
Maximum length of a constraint129180
Number of terms in the objective function 1354640
Biggest coefficient in the objective function 19
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 1645248
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 8193
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 1645248
Number of bits of the biggest sum of numbers21
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-18T01:30:18+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-4099733-1466206209.opb"]
0.00/0.01	c use --random-gen="3914956556 37941319 793367739 2123082808 3438578851 3195758492 470400227 2724868284 156102887 785555802 3935613187 1752239354 1275289830 2700181474 3683357809 3272445163 4235997655 181058156 3785170243 2610615774 3920451530 3844668862 886791366 3626067510 3806414937 1323119198 555917005 3449073227 3896176822 2052971605 1186337672 2920032213 1466304364 2975125398 355756058 1477427645 262312856 156235233 886064181 2776582007 2880936474 2907818274 1587239105 112326629 1477292874 1344680258 4185447505 459949983 279112099 3130122024 388308530 369368552 549421261 681009994 1495014591 3806629810 2426059434 3712038695 730872701 3630358168 2428618679 1700343964 2017092894 4265118680 4268444770 2990726064 4231649393 1758195294 2362927666 2054143648 3100689584 3244634971 2580818259 3712646093 1589876634 2600649230 2232872855 2667356178 3493705554 123628216 113116309 3910506317 640443842 3965053152 596095296 4013421609 3885401274 3395395289 220906934 1089902543 1012079525 381218079 3142660185 29710068 2831011087 1123829007 464208280 2005441280 3784232372 786602247 3342211397 2644840269 3335642552 3856686894 1664106786 915616742 386021640 1879250773 2225174182 3200107778 3223161833 469660258 2943461430 1277686713 219907412 3945819876 4233777523 3265904860 664876600 4255086730 3463713467 64215830 2478039489 2886038406 57222409 360759796 1337475115 3169720769 2575647235 908408840 1116629101 1361895409 3577636751 1009082238 969617257 2915770332 3490418050 3595284125 1471754305 779673265 1261408519 1592761699 3209713451 2595312561 2149016578 3678818171 138523631 3057187958 2448195382 2893361756 3178437319 1348398690 2861885710 1362845133 214901476 1404038174 4079183645 1209146537 3553370659 594694082 2707838910 3708727801 792605747 3465736718 3867325862 1280250879 3002026971 746538741 1354499452 2782014143 1442860667 3447810720 1619895962 3770836588 695800765 1776118850 3332220292 1750405413 797654872 1914774134 3672626006 3032730625 59225979 1241455884 201472246 1184606365 2737568996 1781215478 3488797174 271898251 523380825 1563094713 3362747292 3943572430 735622916 221816016 2740538568 707100528 3422545344 3643694476 1597705107 1359281785 2576754441 4052098407 1966754253 87718731 3365002708 2558888913 481300643 2852688721 1451238039 1493692164 732154366 2144345281 4283576471 777205552 2000703482 1079566337 1454025518 1415407897 2661697023 1082968294 2695344322 3565256787 4263627662 2240721063 3464025952 579257201 3265975067 1382453680 4263475056 3613918705 1092369693 205403943 599138081 1441138539 2651112014 3383631619 2072451932 1305601161 3376055326 2594739516 1304587045 2678463280 3555385427 1951743557 1193365706 1473366124 528634391 477478565 3907256824 3224832111 1001803943 434910330 4186353024 3633420329 255 362436" option to reproduce the execution
36.88/36.93	c #vars 1354640
36.88/36.93	c #constraints 656
271.76/271.88	c BCD2: Hardening is enabled.
271.76/271.88	c BCD2: BiasedSearch is enabled.
271.76/271.88	c Solving starts ...
271.76/271.88	c ============================[ Search Statistics ]============================
271.76/271.88	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
271.76/271.88	c       |         |          |          |    Limit     GC | Var      | Constra 
271.76/271.88	c =============================================================================
271.76/271.88	c  0.0s |       0 |        0 |        0 |   451984      0 |   575134 |        0
279.46/279.54	c  7.7s |       0 |      404 |        0 |   451984      0 |   575134 |        0
279.46/279.54	c #cpu_time = 7.177s
279.46/279.54	c #wall_clock_time = 7.195s
279.46/279.54	c #decision = 404
279.46/279.54	c #random_decision = 0
279.46/279.54	c #conflict = 0
279.46/279.54	c #restart = 0
279.46/279.58	o 404
281.95/282.09	c BCD2: updating upper bound: 1645248 -> 403
285.45/285.59	c BCD2: 0 <= obj <= 403
285.65/285.73	c BCD2: #cores=0, #unrelaxed=1354640, #relaxed=0, #hardened=0
285.65/285.73	c BCD2: #sat=1 #unsat=1 bias=1/2
285.75/285.82	c Solving starts ...
285.75/285.82	c ============================[ Search Statistics ]============================
285.75/285.82	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
285.75/285.82	c       |         |          |          |    Limit     GC | Var      | Constra 
285.75/285.82	c =============================================================================
285.75/285.82	c  0.0s |       0 |        0 |        0 |   451984      0 |   575134 |        0
334.74/334.85	c 49.0s |       0 |   498240 |      100 |   451984      0 |   575134 |        0
334.94/335.05	c 49.2s |       1 |   498240 |      100 |   451984      0 |   575134 |        0
384.03/384.12	c 98.3s |       1 |   985530 |      200 |   497183      0 |   575134 |        0
405.72/405.82	c  120s |       2 |   995945 |      250 |   497183      0 |   575134 |        0
453.41/453.59	c  167s |       2 |  1466579 |      350 |   546902      0 |   575134 |        0
502.40/502.58	c  216s |       2 |  1785723 |      450 |   546902      0 |   575134 |        0
504.90/505.04	c  219s |       3 |  1953673 |      475 |   546902      0 |   575134 |        0
519.50/519.65	c  233s |       3 |  3070471 |      575 |   601593      0 |   575134 |        0
529.20/529.36	c  243s |       3 |  3724658 |      675 |   601593      0 |   575134 |        0
538.09/538.29	c  252s |       3 |  4367745 |      775 |   601593      0 |   575134 |        0
541.79/541.98	c  256s |       4 |  4609216 |      813 |   601593      0 |   575134 |        0
556.69/556.81	c  270s |       4 |  5688607 |      913 |   661753      0 |   575134 |        0
565.49/565.68	c  279s |       4 |  6305387 |     1013 |   661753      0 |   575134 |        0
574.20/574.38	c  288s |       4 |  6911067 |     1113 |   661753      0 |   575134 |        0
582.78/582.98	c  297s |       4 |  7505647 |     1213 |   661753      0 |   575134 |        0
592.49/592.62	c  306s |       4 |  8089127 |     1313 |   661753      0 |   575134 |        0
593.39/593.51	c  307s |       5 |  8129573 |     1320 |   661753      0 |   575134 |        0
608.48/608.63	c  322s |       5 |  9151886 |     1420 |   727929      0 |   575134 |        0
617.78/617.94	c  332s |       5 |  9711376 |     1520 |   727929      0 |   575134 |        0
628.88/629.04	c  343s |       5 | 10248925 |     1620 |   727929      0 |   575134 |        0
660.48/660.67	c  374s |       5 | 17035357 |     1720 |   727929      0 |   575134 |        0
691.78/692.00	c  406s |       5 | 23690663 |     1820 |   727929      0 |   575134 |        0
722.97/723.19	c  437s |       5 | 30214211 |     1920 |   727929      0 |   575134 |        0
754.26/754.40	c  468s |       5 | 36606155 |     2020 |   727929      0 |   575134 |        0
786.86/787.00	c  501s |       6 | 39373945 |     2081 |   800722      0 |   575134 |        0
813.65/813.82	c  528s |       6 | 44224913 |     2181 |   800722      0 |   575134 |        0
833.95/834.15	c  548s |       6 | 48526519 |     2281 |   800722      0 |   575134 |        0
854.35/854.51	c  568s |       6 | 52697211 |     2381 |   800722      0 |   575134 |        0
882.15/882.33	c  596s |       6 | 54768405 |     2481 |   800722      0 |   575134 |        0
908.55/908.77	c  622s |       6 | 55121071 |     2581 |   800722      0 |   575134 |        0
937.93/938.20	c  652s |       6 | 55286997 |     2658 |   800722      0 |   575134 |        0
937.93/938.20	c #cpu_time = 650.528s
937.93/938.20	c #wall_clock_time = 652.221s
937.93/938.20	c #decision = 55286997
937.93/938.20	c #random_decision = 0
937.93/938.20	c #conflict = 2658
937.93/938.20	c #restart = 6
938.03/938.20	c BCD2: found a new core of size 11124: cost of the new core is >=1
938.03/938.20	c lower bound updated to 1
938.64/938.89	c BCD2: 1 <= obj <= 403
938.64/938.89	c BCD2: #cores=1, #unrelaxed=1343516, #relaxed=11124, #hardened=0
938.64/938.89	c BCD2: #sat=1 #unsat=2 bias=2/3
938.84/939.08	c Solving starts ...
938.84/939.08	c ============================[ Search Statistics ]============================
938.84/939.08	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
938.84/939.08	c       |         |          |          |    Limit     GC | Var      | Constra 
938.84/939.08	c =============================================================================
938.84/939.08	c  0.0s |       0 |        0 |        0 |   800722      0 |   575134 |        0
1055.41/1055.67	c  116s |       0 |   614533 |      100 |   800722      0 |   575134 |        0
1055.72/1055.91	c  116s |       1 |   614533 |      100 |   800722      0 |   575134 |        0
1169.90/1170.14	c  231s |       1 |  2729009 |      200 |   800722      0 |   575134 |        0
1219.08/1219.35	c  280s |       2 |  2763034 |      250 |   800722      0 |   575134 |        0
1320.38/1320.65	c  381s |       2 |  3356343 |      350 |   800722      0 |   575134 |        0

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

pid=1538
running on 4 cores: 1,3,5,7

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: 1.78 0.81 0.41 3/180 1541
/proc/meminfo: memFree=28809632/32872528 swapFree=17888/1798212
[pid=1541] ppid=1538 vsize=670140 CPUtime=0 cores=1,3,5,7
/proc/1541/stat : 1541 (toysat) R 1538 1541 579 0 -1 4202496 2493 0 0 0 0 0 0 0 20 0 4 0 22668925 686223360 2853 33554432000 4194304 16246674 140733436765472 140733436764896 15002730 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1541/statm: 168303 2862 441 2943 0 165197 0
[pid=1541/tid=1542] ppid=1538 vsize=845244 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1542/stat : 1542 (toysat) S 1538 1541 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22668925 865529856 3534 33554432000 4194304 16246674 140733436765472 140302356557040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1541/tid=1543] ppid=1538 vsize=850364 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1543/stat : 1543 (toysat) S 1538 1541 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22668925 870772736 3554 33554432000 4194304 16246674 140733436765472 140302346067184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1541/tid=1544] ppid=1538 vsize=854460 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1544/stat : 1544 (toysat) S 1538 1541 579 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22668925 874967040 3572 33554432000 4194304 16246674 140733436765472 140302335593648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100417 s]
/proc/loadavg: 1.78 0.81 0.41 3/180 1541
/proc/meminfo: memFree=28809632/32872528 swapFree=17888/1798212
[pid=1541] ppid=1538 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/1541/stat : 1541 (toysat) R 1538 1541 579 0 -1 4202496 29808 0 0 0 6 3 0 0 20 0 4 0 22668925 1332285440 30107 33554432000 4194304 16246674 140733436765472 140733436764784 7374276 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1541/statm: 325265 30128 798 2943 0 322159 0
[pid=1541/tid=1542] ppid=1538 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1542/stat : 1542 (toysat) S 1538 1541 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22668925 1332285440 30140 33554432000 4194304 16246674 140733436765472 140302356557040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1541/tid=1543] ppid=1538 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1543/stat : 1543 (toysat) S 1538 1541 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22668925 1332285440 30152 33554432000 4194304 16246674 140733436765472 140302346067184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1541/tid=1544] ppid=1538 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1544/stat : 1544 (toysat) S 1538 1541 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22668925 1332285440 30163 33554432000 4194304 16246674 140733436765472 140302335593648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.20055 s]
/proc/loadavg: 1.78 0.81 0.41 3/180 1541
/proc/meminfo: memFree=28809632/32872528 swapFree=17888/1798212
[pid=1541] ppid=1538 vsize=1314372 CPUtime=0.19 cores=1,3,5,7
/proc/1541/stat : 1541 (toysat) R 1538 1541 579 0 -1 4202496 44423 0 0 0 14 5 0 0 20 0 4 0 22668925 1345916928 45233 33554432000 4194304 16246674 140733436765472 140733436764784 7374276 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1541/statm: 328593 45253 799 2943 0 325487 0
[pid=1541/tid=1542] ppid=1538 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1542/stat : 1542 (toysat) S 1538 1541 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22668925 1345916928 45265 33554432000 4194304 16246674 140733436765472 140302356557040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1541/tid=1543] ppid=1538 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1543/stat : 1543 (toysat) S 1538 1541 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22668925 1345916928 45277 33554432000 4194304 16246674 140733436765472 140302346067184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1541/tid=1544] ppid=1538 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1544/stat : 1544 (toysat) S 1538 1541 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22668925 1345916928 45285 33554432000 4194304 16246674 140733436765472 140302335593648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300502 s]
/proc/loadavg: 1.78 0.81 0.41 3/180 1541
/proc/meminfo: memFree=28809632/32872528 swapFree=17888/1798212
[pid=1541] ppid=1538 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/1541/stat : 1541 (toysat) R 1538 1541 579 0 -1 4202496 54667 0 0 0 23 6 0 0 20 0 4 0 22668925 1345916928 55476 33554432000 4194304 16246674 140733436765472 140733436764784 7364323 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1541/statm: 328593 55476 799 2943 0 325487 0
[pid=1541/tid=1542] ppid=1538 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1542/stat : 1542 (toysat) S 1538 1541 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22668925 1345916928 55476 33554432000 4194304 16246674 140733436765472 140302356557040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1541/tid=1543] ppid=1538 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1543/stat : 1543 (toysat) S 1538 1541 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22668925 1345916928 55476 33554432000 4194304 16246674 140733436765472 140302346067184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1541/tid=1544] ppid=1538 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1544/stat : 1544 (toysat) S 1538 1541 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22668925 1345916928 55476 33554432000 4194304 16246674 140733436765472 140302335593648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700442 s]
/proc/loadavg: 1.78 0.81 0.41 3/180 1541
/proc/meminfo: memFree=28809632/32872528 swapFree=17888/1798212
[pid=1541] ppid=1538 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/1541/stat : 1541 (toysat) R 1538 1541 579 0 -1 4202496 64520 0 0 0 62 7 0 0 20 0 4 0 22668925 1345916928 65329 33554432000 4194304 16246674 140733436765472 140733436763264 7361496 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1541/statm: 328593 65329 800 2943 0 325487 0
[pid=1541/tid=1542] ppid=1538 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1542/stat : 1542 (toysat) S 1538 1541 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22668925 1345916928 65329 33554432000 4194304 16246674 140733436765472 140302356557040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1541/tid=1543] ppid=1538 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1543/stat : 1543 (toysat) S 1538 1541 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22668925 1345916928 65329 33554432000 4194304 16246674 140733436765472 140302346067184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1541/tid=1544] ppid=1538 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1544/stat : 1544 (toysat) S 1538 1541 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22668925 1345916928 65329 33554432000 4194304 16246674 140733436765472 140302335593648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50044 s]
/proc/loadavg: 1.80 0.83 0.41 3/184 1548
/proc/meminfo: memFree=28515072/32872528 swapFree=17888/1798212
[pid=1541] ppid=1538 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/1541/stat : 1541 (toysat) R 1538 1541 579 0 -1 4202496 87385 0 0 0 139 10 0 0 20 0 4 0 22668925 1345916928 88194 33554432000 4194304 16246674 140733436765472 140733436748464 7439480 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1541/statm: 328593 88194 800 2943 0 325487 0
[pid=1541/tid=1542] ppid=1538 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1542/stat : 1542 (toysat) S 1538 1541 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22668925 1345916928 88194 33554432000 4194304 16246674 140733436765472 140302356557040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1541/tid=1543] ppid=1538 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1543/stat : 1543 (toysat) S 1538 1541 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22668925 1345916928 88194 33554432000 4194304 16246674 140733436765472 140302346067184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1541/tid=1544] ppid=1538 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1544/stat : 1544 (toysat) S 1538 1541 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22668925 1345916928 88194 33554432000 4194304 16246674 140733436765472 140302335593648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10039 s]
/proc/loadavg: 1.80 0.83 0.41 3/184 1548
/proc/meminfo: memFree=28259000/32872528 swapFree=17888/1798212
[pid=1541] ppid=1538 vsize=1338948 CPUtime=3.09 cores=1,3,5,7
/proc/1541/stat : 1541 (toysat) R 1538 1541 579 0 -1 4202496 135305 0 0 0 292 17 0 0 20 0 4 0 22668925 1371082752 140713 33554432000 4194304 16246674 140733436765472 140733436748464 14073329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1541/statm: 334737 140713 801 2943 0 331631 0
[pid=1541/tid=1542] ppid=1538 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1542/stat : 1542 (toysat) S 1538 1541 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22668925 1371082752 140713 33554432000 4194304 16246674 140733436765472 140302356557040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1541/tid=1543] ppid=1538 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1543/stat : 1543 (toysat) S 1538 1541 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22668925 1371082752 140713 33554432000 4194304 16246674 140733436765472 140302346067184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1541/tid=1544] ppid=1538 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1544/stat : 1544 (toysat) S 1538 1541 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22668925 1371082752 140713 33554432000 4194304 16246674 140733436765472 140302335593648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1338948

[startup+6.30037 s]
/proc/loadavg: 1.80 0.83 0.41 4/184 1548
/proc/meminfo: memFree=27933596/32872528 swapFree=17888/1798212
[pid=1541] ppid=1538 vsize=1388100 CPUtime=6.28 cores=1,3,5,7
/proc/1541/stat : 1541 (toysat) R 1538 1541 579 0 -1 4202496 243051 0 0 0 596 32 0 0 20 0 4 0 22668925 1421414400 259701 33554432000 4194304 16246674 140733436765472 140733436748464 4220543 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1541/statm: 347025 259701 802 2943 0 343919 0
[pid=1541/tid=1542] ppid=1538 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1542/stat : 1542 (toysat) S 1538 1541 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22668925 1421414400 259701 33554432000 4194304 16246674 140733436765472 140302356557040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1541/tid=1543] ppid=1538 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1543/stat : 1543 (toysat) S 1538 1541 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22668925 1421414400 259701 33554432000 4194304 16246674 140733436765472 140302346067184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1541/tid=1544] ppid=1538 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1544/stat : 1544 (toysat) S 1538 1541 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22668925 1421414400 259701 33554432000 4194304 16246674 140733436765472 140302335593648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1388100

[startup+12.7004 s]
/proc/loadavg: 1.90 0.89 0.44 3/184 1548
/proc/meminfo: memFree=27324796/32872528 swapFree=17888/1798212
[pid=1541] ppid=1538 vsize=1747524 CPUtime=12.69 cores=1,3,5,7
/proc/1541/stat : 1541 (toysat) R 1538 1541 579 0 -1 4202496 335538 0 0 0 1222 47 0 0 20 0 4 0 22668925 1789464576 374161 33554432000 4194304 16246674 140733436765472 140733436748464 4220921 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1541/statm: 436881 374161 803 2943 0 433775 0
[pid=1541/tid=1542] ppid=1538 vsize=1747524 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1542/stat : 1542 (toysat) S 1538 1541 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22668925 1789464576 374161 33554432000 4194304 16246674 140733436765472 140302356557040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1541/tid=1543] ppid=1538 vsize=1747524 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1543/stat : 1543 (toysat) S 1538 1541 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22668925 1789464576 374161 33554432000 4194304 16246674 140733436765472 140302346067184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1541/tid=1544] ppid=1538 vsize=1747524 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1544/stat : 1544 (toysat) S 1538 1541 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22668925 1789464576 374161 33554432000 4194304 16246674 140733436765472 140302335593648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1747524

[startup+25.5005 s]
/proc/loadavg: 1.92 0.92 0.45 3/184 1548
/proc/meminfo: memFree=26294312/32872528 swapFree=17888/1798212
[pid=1541] ppid=1538 vsize=2779716 CPUtime=25.49 cores=1,3,5,7
/proc/1541/stat : 1541 (toysat) R 1538 1541 579 0 -1 4202496 544544 0 0 0 2465 84 0 0 20 0 4 0 22668925 2846429184 630690 33554432000 4194304 16246674 140733436765472 140733436764648 14628944 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1541/statm: 694929 630690 803 2943 0 691823 0
[pid=1541/tid=1542] ppid=1538 vsize=2779716 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1542/stat : 1542 (toysat) S 1538 1541 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22668925 2846429184 630690 33554432000 4194304 16246674 140733436765472 140302356557040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1541/tid=1543] ppid=1538 vsize=2779716 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1543/stat : 1543 (toysat) S 1538 1541 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22668925 2846429184 630690 33554432000 4194304 16246674 140733436765472 140302346067184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1541/tid=1544] ppid=1538 vsize=2779716 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1544/stat : 1544 (toysat) S 1538 1541 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22668925 2846429184 630690 33554432000 4194304 16246674 140733436765472 140302335593648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2779716

[startup+51.1006 s]
/proc/loadavg: 2.01 1.03 0.50 4/183 1548
/proc/meminfo: memFree=22241360/32872528 swapFree=17888/1798212
[pid=1541] ppid=1538 vsize=6799940 CPUtime=51.08 cores=1,3,5,7
/proc/1541/stat : 1541 (toysat) R 1538 1541 579 0 -1 4202496 1549658 0 0 0 4886 222 0 0 20 0 4 0 22668925 6963138560 1641425 33554432000 4194304 16246674 140733436765472 140733436764568 13191903 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1541/statm: 1699985 1641425 840 2943 0 1696879 0
[pid=1541/tid=1542] ppid=1538 vsize=6799940 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1542/stat : 1542 (toysat) S 1538 1541 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22668925 6963138560 1641425 33554432000 4194304 16246674 140733436765472 140302356557040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1541/tid=1543] ppid=1538 vsize=6799940 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1543/stat : 1543 (toysat) S 1538 1541 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22668925 6963138560 1641425 33554432000 4194304 16246674 140733436765472 140302346067184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1541/tid=1544] ppid=1538 vsize=6799940 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1544/stat : 1544 (toysat) S 1538 1541 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22668925 6963138560 1641425 33554432000 4194304 16246674 140733436765472 140302335593648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 6799940

[startup+102.301 s]
/proc/loadavg: 2.22 1.25 0.60 3/183 1549
/proc/meminfo: memFree=17059036/32872528 swapFree=17888/1798212
[pid=1541] ppid=1538 vsize=11972164 CPUtime=102.28 cores=1,3,5,7
/proc/1541/stat : 1541 (toysat) R 1538 1541 579 0 -1 4202496 2842716 0 0 0 9828 400 0 0 20 0 4 0 22668925 12259495936 2934483 33554432000 4194304 16246674 140733436765472 140733436764568 4206864 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1541/statm: 2993041 2934483 840 2943 0 2989935 0
[pid=1541/tid=1542] ppid=1538 vsize=11972164 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1542/stat : 1542 (toysat) S 1538 1541 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22668925 12259495936 2934483 33554432000 4194304 16246674 140733436765472 140302356557040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1541/tid=1543] ppid=1538 vsize=11972164 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1543/stat : 1543 (toysat) S 1538 1541 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22668925 12259495936 2934483 33554432000 4194304 16246674 140733436765472 140302346067184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1541/tid=1544] ppid=1538 vsize=11972164 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1544/stat : 1544 (toysat) S 1538 1541 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22668925 12259495936 2934483 33554432000 4194304 16246674 140733436765472 140302335593648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 11972164


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


[startup+1422.3 s]
/proc/loadavg: 2.25 2.22 1.83 3/183 1744
/proc/meminfo: memFree=14794940/32872528 swapFree=17888/1798212
[pid=1541] ppid=1538 vsize=14254660 CPUtime=1422.06 cores=1,3,5,7
/proc/1541/stat : 1541 (toysat) R 1538 1541 579 0 -1 4202496 3365913 0 0 0 141584 622 0 0 20 0 4 0 22668925 14596771840 3505190 33554432000 4194304 16246674 140733436765472 140733436763392 4226245 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1541/statm: 3563665 3505190 919 2943 0 3560559 0
[pid=1541/tid=1542] ppid=1538 vsize=14254660 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1542/stat : 1542 (toysat) S 1538 1541 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22668925 14596771840 3505190 33554432000 4194304 16246674 140733436765472 140302356557040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1541/tid=1543] ppid=1538 vsize=14254660 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1543/stat : 1543 (toysat) S 1538 1541 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22668925 14596771840 3505190 33554432000 4194304 16246674 140733436765472 140302346066960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1541/tid=1544] ppid=1538 vsize=14254660 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1544/stat : 1544 (toysat) S 1538 1541 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22668925 14596771840 3505190 33554432000 4194304 16246674 140733436765472 140302335593648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 14254660

[startup+1482.3 s]
/proc/loadavg: 2.27 2.24 1.85 3/183 1746
/proc/meminfo: memFree=14794212/32872528 swapFree=17888/1798212
[pid=1541] ppid=1538 vsize=14254660 CPUtime=1482.05 cores=1,3,5,7
/proc/1541/stat : 1541 (toysat) R 1538 1541 579 0 -1 4202496 3365913 0 0 0 147572 633 0 0 20 0 4 0 22668925 14596771840 3505190 33554432000 4194304 16246674 140733436765472 140733436763456 13899629 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1541/statm: 3563665 3505190 919 2943 0 3560559 0
[pid=1541/tid=1542] ppid=1538 vsize=14254660 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1542/stat : 1542 (toysat) S 1538 1541 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22668925 14596771840 3505190 33554432000 4194304 16246674 140733436765472 140302356557040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1541/tid=1543] ppid=1538 vsize=14254660 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1543/stat : 1543 (toysat) S 1538 1541 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22668925 14596771840 3505190 33554432000 4194304 16246674 140733436765472 140302346066960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1541/tid=1544] ppid=1538 vsize=14254660 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1544/stat : 1544 (toysat) S 1538 1541 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22668925 14596771840 3505190 33554432000 4194304 16246674 140733436765472 140302335593648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 14254660

[startup+1542.31 s]
/proc/loadavg: 2.33 2.25 1.88 4/183 1747
/proc/meminfo: memFree=14793840/32872528 swapFree=17888/1798212
[pid=1541] ppid=1538 vsize=14254660 CPUtime=1542.04 cores=1,3,5,7
/proc/1541/stat : 1541 (toysat) R 1538 1541 579 0 -1 4202496 3365918 0 0 0 153564 640 0 0 20 0 4 0 22668925 14596771840 3505190 33554432000 4194304 16246674 140733436765472 140733436763392 14014083 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1541/statm: 3563665 3505190 919 2943 0 3560559 0
[pid=1541/tid=1542] ppid=1538 vsize=14254660 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1542/stat : 1542 (toysat) S 1538 1541 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22668925 14596771840 3505190 33554432000 4194304 16246674 140733436765472 140302356557040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1541/tid=1543] ppid=1538 vsize=14254660 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1543/stat : 1543 (toysat) S 1538 1541 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22668925 14596771840 3505190 33554432000 4194304 16246674 140733436765472 140302346066960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1541/tid=1544] ppid=1538 vsize=14254660 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1544/stat : 1544 (toysat) S 1538 1541 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22668925 14596771840 3505190 33554432000 4194304 16246674 140733436765472 140302335593648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 14254660

[startup+1602.3 s]
/proc/loadavg: 2.30 2.25 1.90 4/183 1748
/proc/meminfo: memFree=14794016/32872528 swapFree=17888/1798212
[pid=1541] ppid=1538 vsize=14254660 CPUtime=1602.03 cores=1,3,5,7
/proc/1541/stat : 1541 (toysat) R 1538 1541 579 0 -1 4202496 3365919 0 0 0 159553 650 0 0 20 0 4 0 22668925 14596771840 3505190 33554432000 4194304 16246674 140733436765472 140733436763328 14006480 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1541/statm: 3563665 3505190 919 2943 0 3560559 0
[pid=1541/tid=1542] ppid=1538 vsize=14254660 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1542/stat : 1542 (toysat) S 1538 1541 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22668925 14596771840 3505190 33554432000 4194304 16246674 140733436765472 140302356557040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1541/tid=1543] ppid=1538 vsize=14254660 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1543/stat : 1543 (toysat) S 1538 1541 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22668925 14596771840 3505190 33554432000 4194304 16246674 140733436765472 140302346066960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1541/tid=1544] ppid=1538 vsize=14254660 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1544/stat : 1544 (toysat) S 1538 1541 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22668925 14596771840 3505190 33554432000 4194304 16246674 140733436765472 140302335593648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 14254660

[startup+1662.3 s]
/proc/loadavg: 2.24 2.23 1.92 3/183 1749
/proc/meminfo: memFree=14794524/32872528 swapFree=17888/1798212
[pid=1541] ppid=1538 vsize=14254660 CPUtime=1662.01 cores=1,3,5,7
/proc/1541/stat : 1541 (toysat) R 1538 1541 579 0 -1 4202496 3365922 0 0 0 165542 659 0 0 20 0 4 0 22668925 14596771840 3505190 33554432000 4194304 16246674 140733436765472 140733436763392 14014083 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1541/statm: 3563665 3505190 919 2943 0 3560559 0
[pid=1541/tid=1542] ppid=1538 vsize=14254660 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1542/stat : 1542 (toysat) S 1538 1541 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22668925 14596771840 3505190 33554432000 4194304 16246674 140733436765472 140302356557040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1541/tid=1543] ppid=1538 vsize=14254660 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1543/stat : 1543 (toysat) S 1538 1541 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22668925 14596771840 3505190 33554432000 4194304 16246674 140733436765472 140302346066960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1541/tid=1544] ppid=1538 vsize=14254660 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1544/stat : 1544 (toysat) S 1538 1541 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22668925 14596771840 3505190 33554432000 4194304 16246674 140733436765472 140302335593648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 14254660

[startup+1722.3 s]
/proc/loadavg: 2.20 2.22 1.93 4/183 1750
/proc/meminfo: memFree=14794436/32872528 swapFree=17888/1798212
[pid=1541] ppid=1538 vsize=14254660 CPUtime=1722.01 cores=1,3,5,7
/proc/1541/stat : 1541 (toysat) R 1538 1541 579 0 -1 4202496 3365923 0 0 0 171532 669 0 0 20 0 4 0 22668925 14596771840 3505190 33554432000 4194304 16246674 140733436765472 140733436763392 14016832 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1541/statm: 3563665 3505190 919 2943 0 3560559 0
[pid=1541/tid=1542] ppid=1538 vsize=14254660 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1542/stat : 1542 (toysat) S 1538 1541 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22668925 14596771840 3505190 33554432000 4194304 16246674 140733436765472 140302356557040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1541/tid=1543] ppid=1538 vsize=14254660 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1543/stat : 1543 (toysat) S 1538 1541 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22668925 14596771840 3505190 33554432000 4194304 16246674 140733436765472 140302346066960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1541/tid=1544] ppid=1538 vsize=14254660 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1544/stat : 1544 (toysat) S 1538 1541 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22668925 14596771840 3505190 33554432000 4194304 16246674 140733436765472 140302335593648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 14254660

[startup+1782.3 s]
/proc/loadavg: 2.13 2.19 1.93 3/183 1752
/proc/meminfo: memFree=14794212/32872528 swapFree=17888/1798212
[pid=1541] ppid=1538 vsize=14254660 CPUtime=1781.99 cores=1,3,5,7
/proc/1541/stat : 1541 (toysat) R 1538 1541 579 0 -1 4202496 3365926 0 0 0 177522 677 0 0 20 0 4 0 22668925 14596771840 3505190 33554432000 4194304 16246674 140733436765472 140733436763392 14016696 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1541/statm: 3563665 3505190 919 2943 0 3560559 0
[pid=1541/tid=1542] ppid=1538 vsize=14254660 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1542/stat : 1542 (toysat) S 1538 1541 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22668925 14596771840 3505190 33554432000 4194304 16246674 140733436765472 140302356557040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1541/tid=1543] ppid=1538 vsize=14254660 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1543/stat : 1543 (toysat) S 1538 1541 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22668925 14596771840 3505190 33554432000 4194304 16246674 140733436765472 140302346066960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=1541/tid=1544] ppid=1538 vsize=14254660 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1544/stat : 1544 (toysat) S 1538 1541 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22668925 14596771840 3505190 33554432000 4194304 16246674 140733436765472 140302335593648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 14254660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.10 2.18 1.93 3/184 1755
/proc/meminfo: memFree=14794400/32872528 swapFree=17888/1798212
[pid=1541] ppid=1538 vsize=14254660 CPUtime=1800 cores=1,3,5,7
/proc/1541/stat : 1541 (toysat) R 1538 1541 579 0 -1 4202496 3365927 0 0 0 179318 682 0 0 20 0 4 0 22668925 14596771840 3505190 33554432000 4194304 16246674 140733436765472 140733436764648 4220520 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1541/statm: 3563665 3505190 919 2943 0 3560559 0
[pid=1541/tid=1542] ppid=1538 vsize=14254660 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1542/stat : 1542 (toysat) S 1538 1541 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22668925 14596771840 3505190 33554432000 4194304 16246674 140733436765472 140302356557040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1541/tid=1543] ppid=1538 vsize=14254660 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1543/stat : 1543 (toysat) S 1538 1541 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22668925 14596771840 3505190 33554432000 4194304 16246674 140733436765472 140302346067184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1541/tid=1544] ppid=1538 vsize=14254660 CPUtime=0 cores=1,3,5,7
/proc/1541/task/1544/stat : 1544 (toysat) S 1538 1541 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22668925 14596771840 3505190 33554432000 4194304 16246674 140733436765472 140302335593648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 14254660

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

[startup+1800.4 s]
/proc/loadavg: 2.10 2.18 1.93 3/184 1755
/proc/meminfo: memFree=14794400/32872528 swapFree=17888/1798212
[pid=1541] ppid=1538 vsize=0 CPUtime=1800.1 cores=1,3,5,7
/proc/1541/stat : 1541 (toysat) Z 1538 1541 579 0 -1 4203532 3365927 0 0 0 179318 692 0 0 20 0 2 0 22668925 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1541/statm: 0 0 0 0 0 0 0
[pid=1541/tid=1544] ppid=1538 vsize=0 CPUtime=0.08 cores=1,3,5,7
/proc/1541/task/1544/stat : 1544 (toysat) R 1538 1541 579 0 -1 4203588 2 0 0 0 0 8 0 0 20 0 2 0 22668925 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 0

[startup+1800.81 s]
/proc/loadavg: 2.10 2.18 1.93 3/182 1755
/proc/meminfo: memFree=24454852/32872528 swapFree=17888/1798212
[pid=1541] ppid=1538 vsize=0 CPUtime=1800.5 cores=1,3,5,7
/proc/1541/stat : 1541 (toysat) Z 1538 1541 579 0 -1 4203532 3365927 0 0 0 179318 732 0 0 20 0 2 0 22668925 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1541/statm: 0 0 0 0 0 0 0
[pid=1541/tid=1544] ppid=1538 vsize=0 CPUtime=0.49 cores=1,3,5,7
/proc/1541/task/1544/stat : 1544 (toysat) R 1538 1541 579 0 -1 4203588 2 0 0 0 0 49 0 0 20 0 2 0 22668925 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.5
Current children cumulated vsize (KiB) 0

[startup+1800.9 s]
/proc/loadavg: 2.10 2.18 1.93 3/182 1755
/proc/meminfo: memFree=24454852/32872528 swapFree=17888/1798212
[pid=1541] ppid=1538 vsize=0 CPUtime=1800.59 cores=1,3,5,7
/proc/1541/stat : 1541 (toysat) Z 1538 1541 579 0 -1 4203532 3365927 0 0 0 179318 741 0 0 20 0 2 0 22668925 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1541/statm: 0 0 0 0 0 0 0
[pid=1541/tid=1544] ppid=1538 vsize=0 CPUtime=0.58 cores=1,3,5,7
/proc/1541/task/1544/stat : 1544 (toysat) R 1538 1541 579 0 -1 4203588 2 0 0 0 0 58 0 0 20 0 2 0 22668925 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.59
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.93
CPU time (s): 1800.62
CPU user time (s): 1793.18
CPU system time (s): 7.43087
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 14254660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.18
system time used= 7.43087
maximum resident set size= 14020760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3365927
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= 146
involuntary context switches= 2571

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.0073 second user time and 16.4275 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-18 01:30:18
IDJOB=4099733
IDBENCH=1504
IDSOLVER=2542
FILE ID=node123/4099733-1466206209
RUNJOBID= node123-1466206081-596
PBS_JOBID= 19918154
Free space on /tmp= 71380 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-ds.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099733-1466206209/watcher-4099733-1466206209 -o /tmp/evaluation-result-4099733-1466206209/solver-4099733-1466206209 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-596 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099733-1466206209.opb

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

MD5SUM BENCH= cc75ee6fc059a591840488be914609eb
RANDOM SEED=1236429061

node123.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.791
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.58
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.791
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.791
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.791
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.57
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.791
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.791
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.56
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.791
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.791
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:        28810168 kB
Buffers:           37788 kB
Cached:           389784 kB
SwapCached:         1640 kB
Active:          1439928 kB
Inactive:         101512 kB
Active(anon):    1115040 kB
Inactive(anon):     1100 kB
Active(file):     324888 kB
Inactive(file):   100412 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099272 kB
Dirty:            260800 kB
Writeback:             0 kB
AnonPages:       2911444 kB
Mapped:            10724 kB
Shmem:                 0 kB
Slab:             586576 kB
SReclaimable:      28072 kB
SUnreclaim:       558504 kB
KernelStack:        1456 kB
PageTables:         9740 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3055752 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1787904 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= 71364 MiB
End job on node123 at 2016-06-18 02:00:19