Trace number 4100105

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-02UNSAT 447.611 447.69

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-bc1.opb
MD5SUM743cbcb78230aca97c7aa43a5d0e3e41
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark183.597
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables27730
Total number of constraints3375
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)84
Number of constraints which are nor clauses,nor cardinality constraints3291
Minimum length of a constraint3
Maximum length of a constraint5701
Number of terms in the objective function 31
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524318
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 529960
Number of bits of the biggest sum of numbers20
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-18T02:59:06+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-4100105-1466211545.opb"]
0.00/0.01	c use --random-gen="3747133391 209278614 3541133877 1576703557 277389623 3926098236 3931978482 3097800439 2237174791 1041504146 980087862 1711078651 1015515768 4106164446 1720849910 3665940695 2836959246 1467572846 2381279953 857314509 409379542 3402886089 3050658190 304968293 2877768927 1992237735 2408528392 2588194202 3618176463 3670031526 3173764304 4274621455 1280728389 3398245137 1509877510 2763520654 4007201578 1456232011 55960163 2770462757 1914311693 4242208459 3461823356 2998635651 3329927021 1482333846 3106115869 812058687 3262617019 2801796637 4031903683 1499993227 160972570 1835525509 75280350 1461563630 282013507 1214844756 2101046202 2509800011 2601225367 3025073845 2481691145 404070211 51368447 2913807834 3781050710 3424278035 2409528427 722160948 1122227391 2728264730 1978107963 2089756941 3955699722 1868417727 721489944 1785078671 2300195513 1303886538 2480480203 1139258148 1839870902 1656179816 3641472145 3074838688 916370642 4045183924 1177276817 3971636546 2141168684 4096833731 258923798 3526347887 2398450573 36275497 1170706725 3091327378 1226018780 2782246076 2266575568 1976713434 548806531 2285208219 1382833658 2647452133 4104866506 2977890415 3105110220 4267701418 2081108873 2330508882 3700941399 3875111808 458274524 715659605 154745019 2765299536 1215436085 1818110709 979085904 2330671783 2703307738 4044611437 2571644627 1538358874 1140606797 1758015617 42467765 2373235345 1471962357 746621239 660197045 3064974337 4269480242 668249922 1735892460 3642393188 1554004190 463233732 3968616860 1429150148 2960781707 2408307533 1112614223 4191650293 1937485525 1750003571 3729670823 3540678810 746942058 2041962679 2087165043 2479577375 3203587715 3564094279 2754376726 3782070578 3516437885 484595818 1131030039 1249084973 584736258 2700142127 3239254863 4067013228 1815414204 2164715958 306843044 570679393 906384473 2948799398 1474034852 815147632 771735839 660848531 2434634424 4161640065 452796797 1853582598 2683089656 4139824094 480593139 1901573175 3970986161 1482982168 1270964484 4139916505 996994381 3353989368 129781344 2548617025 1760485541 1458014744 2978909773 1038669091 2017432181 257952188 2651825578 142883024 2458423047 698764710 1329210282 302478740 3722823515 3099071940 2926269518 2773557236 718357427 1189556861 2643317608 4275674703 467917705 3016539547 2162360114 3985921717 923867094 1345110029 2229041346 819094784 1930844479 3692939299 2527978949 1168736648 197708721 3046952702 3828860384 1234503277 4115677103 2594370944 1619173521 64511764 2719608654 4205486561 3144084945 1267567405 3640891309 3867929353 364571090 356329944 1815901449 3143148249 1136102682 1605930790 1903042368 4284123197 3608153730 4154706276 1908972930 3949519744 2996156919 3569109811 409271895 1249396973 2633399782 557692856 255 362436" option to reproduce the execution
5.60/5.66	c #vars 27730
5.60/5.66	c #constraints 3375
55.48/55.58	c BCD2: Hardening is enabled.
55.48/55.58	c BCD2: BiasedSearch is enabled.
55.48/55.58	c Solving starts ...
55.48/55.58	c ============================[ Search Statistics ]============================
55.48/55.58	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
55.48/55.58	c       |         |          |          |    Limit     GC | Var      | Constra 
55.48/55.58	c =============================================================================
55.48/55.59	c  0.0s |       0 |        0 |        0 |    10630      0 |      805 |        0
57.78/57.80	c  2.2s |       0 |      142 |      100 |    10630      0 |      805 |      483
58.68/58.71	c  3.1s |       1 |      142 |      100 |    10630      0 |      805 |      483
66.68/66.71	c 11.1s |       1 |      395 |      200 |    11694      0 |      805 |      483
73.28/73.30	c 17.7s |       2 |      442 |      250 |    11694      0 |      805 |      483
102.67/102.79	c 47.2s |       2 |     4999 |      350 |    12864      0 |      805 |      483
110.97/111.00	c 55.4s |       2 |     6145 |      450 |    12864      0 |      805 |      483
113.17/113.27	c 57.7s |       3 |     6200 |      475 |    12864      0 |      805 |      483
147.37/147.44	c 91.9s |       3 |    34905 |      575 |    14151      0 |      805 |      483
181.06/181.15	c  125s |       3 |    35025 |      675 |    14151      0 |      805 |      483
213.37/213.47	c  157s |       3 |    35135 |      775 |    14151      0 |      805 |      483
227.46/227.57	c  171s |       4 |    35177 |      813 |    14151      0 |      805 |      483
232.65/232.70	c  177s |       4 |    37149 |      913 |    15567      0 |      805 |      483
236.15/236.28	c  180s |       4 |    37254 |     1013 |    15567      0 |      805 |      483
241.45/241.58	c  185s |       4 |    37352 |     1113 |    15567      0 |      805 |      483
244.85/244.97	c  189s |       4 |    37458 |     1213 |    15567      0 |      805 |      483
248.35/248.48	c  192s |       4 |    37559 |     1313 |    15567      0 |      805 |      483
249.55/249.62	c  194s |       5 |    37572 |     1320 |    15567      0 |      805 |      483
256.85/256.92	c  201s |       5 |    41849 |     1420 |    17124      0 |      805 |      483
261.35/261.45	c  205s |       5 |    42090 |     1620 |    17124      0 |      805 |      483
263.96/264.08	c  208s |       5 |    42203 |     1720 |    17124      0 |      805 |      483
266.94/267.01	c  211s |       5 |    42305 |     1820 |    17124      0 |      805 |      483
271.66/271.80	c  216s |       5 |    42412 |     1920 |    17124      0 |      805 |      483
274.55/274.67	c  219s |       5 |    42529 |     2020 |    17124      0 |      805 |      483
276.85/276.90	c  221s |       6 |    42642 |     2081 |    18837      0 |      805 |      483
284.85/284.95	c  229s |       6 |    45510 |     2181 |    18837      0 |      805 |      483
288.25/288.39	c  232s |       6 |    45612 |     2281 |    18837      0 |      805 |      483
293.34/293.40	c  237s |       6 |    45722 |     2381 |    18837      0 |      805 |      483
296.05/296.10	c  240s |       6 |    45879 |     2481 |    18837      0 |      805 |      483
298.15/298.23	c  242s |       6 |    46070 |     2581 |    18837      0 |      805 |      483
300.55/300.64	c  245s |       6 |    46432 |     2681 |    18837      0 |      805 |      483
303.65/303.77	c  248s |       6 |    46690 |     2881 |    18837      0 |      805 |      483
307.84/307.95	c  252s |       6 |    46810 |     2981 |    18837      0 |      805 |      483
311.14/311.22	c  255s |       6 |    46911 |     3081 |    18837      0 |      805 |      483
315.04/315.16	c  259s |       6 |    47010 |     3181 |    18837      0 |      805 |      483
318.44/318.51	c  262s |       7 |    47052 |     3223 |    20721      0 |      805 |      483
322.35/322.45	c  266s |       7 |    47157 |     3323 |    20721      0 |      805 |      483
325.04/325.19	c  269s |       7 |    47259 |     3423 |    20721      0 |      805 |      483
327.64/327.72	c  272s |       7 |    47359 |     3523 |    20721      0 |      805 |      483
329.74/329.88	c  274s |       7 |    47455 |     3623 |    20721      0 |      805 |      483
331.83/331.98	c  276s |       7 |    47556 |     3723 |    20721      0 |      805 |      483
336.03/336.11	c  280s |       7 |    47659 |     3823 |    20721      0 |      806 |      483
339.44/339.54	c  283s |       7 |    47759 |     3923 |    20721      0 |      806 |      483
343.53/343.60	c  288s |       7 |    47856 |     4023 |    20721      0 |      806 |      483
346.84/346.93	c  291s |       7 |    47958 |     4123 |    20721      0 |      806 |      483
350.54/350.68	c  295s |       7 |    48059 |     4223 |    20721      0 |      806 |      483
356.03/356.13	c  300s |       7 |    48158 |     4323 |    20721      0 |      806 |      483
359.83/359.93	c  304s |       7 |    48256 |     4423 |    20721      0 |      806 |      483
363.64/363.71	c  308s |       7 |    48359 |     4523 |    20721      0 |      806 |      483
367.53/367.65	c  312s |       7 |    48460 |     4623 |    20721      0 |      806 |      483
371.23/371.39	c  315s |       7 |    48559 |     4723 |    20721      0 |      806 |      483
374.34/374.42	c  318s |       7 |    48659 |     4823 |    20721      0 |      806 |      483
377.24/377.37	c  321s |       7 |    48759 |     4923 |    22794      0 |      806 |      483
377.93/378.00	c  322s |       8 |    48773 |     4936 |    22794      0 |      806 |      483
383.43/383.53	c  327s |       8 |    48880 |     5036 |    22794      0 |      806 |      483
386.93/387.06	c  331s |       8 |    48979 |     5136 |    22794      0 |      806 |      483
392.13/392.20	c  336s |       8 |    49079 |     5236 |    22794      0 |      806 |      483
397.13/397.29	c  341s |       8 |    49181 |     5336 |    22794      0 |      806 |      483
401.43/401.55	c  345s |       8 |    49280 |     5436 |    22794      0 |      806 |      483
409.14/409.22	c  353s |       8 |    49391 |     5536 |    22794      0 |      821 |      483
413.23/413.35	c  357s |       8 |    49491 |     5636 |    22794      0 |      821 |      483
417.53/417.69	c  362s |       8 |    49592 |     5736 |    22794      0 |      821 |      483
421.23/421.37	c  365s |       8 |    49693 |     5836 |    22794      0 |      821 |      483
427.43/427.56	c  371s |       8 |    49797 |     5936 |    22794      0 |      823 |      483
432.23/432.39	c  376s |       8 |    49898 |     6036 |    22794      0 |      825 |      483
437.12/437.28	c  381s |       8 |    49997 |     6136 |    22794      0 |      826 |      483
447.22/447.35	c  391s |       8 |    50058 |     6201 |    22794      0 |     5555 |      483
447.22/447.35	c #cpu_time = 390.738s
447.22/447.35	c #wall_clock_time = 391.766s
447.22/447.35	c #decision = 50058
447.22/447.35	c #random_decision = 225
447.22/447.35	c #conflict = 6201
447.22/447.35	c #restart = 8
447.22/447.35	s UNSATISFIABLE
447.22/447.35	c total CPU time = 446.180s
447.22/447.35	c total wall clock time = 447.354s

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

pid=32553
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.31 2.29 2.20 2/174 32556
/proc/meminfo: memFree=30667264/32872528 swapFree=1200228/1314692
[pid=32556] ppid=32553 vsize=801212 CPUtime=0 cores=0,2,4,6
/proc/32556/stat : 32556 (toysat) R 32553 32556 31224 0 -1 4202496 3003 0 0 0 0 0 0 0 20 0 4 0 23201105 820441088 2852 33554432000 4194304 16246674 140736085050512 140736085049936 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32556/statm: 200815 2862 441 2943 0 197709 0
[pid=32556/tid=32557] ppid=32553 vsize=818620 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32557/stat : 32557 (toysat) S 32553 32556 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201105 838266880 2924 33554432000 4194304 16246674 140736085050512 139687755754736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32556/tid=32558] ppid=32553 vsize=823740 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32558/stat : 32558 (toysat) S 32553 32556 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201105 843509760 2942 33554432000 4194304 16246674 140736085050512 139687745264880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32556/tid=32559] ppid=32553 vsize=827836 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32559/stat : 32559 (toysat) S 32553 32556 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23201105 847704064 2958 33554432000 4194304 16246674 140736085050512 139687734791344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100069 s]
/proc/loadavg: 2.31 2.29 2.20 2/174 32556
/proc/meminfo: memFree=30667264/32872528 swapFree=1200228/1314692
[pid=32556] ppid=32553 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/32556/stat : 32556 (toysat) R 32553 32556 31224 0 -1 4202496 29111 0 0 0 4 4 0 0 20 0 4 0 23201105 1333334016 28899 33554432000 4194304 16246674 140736085050512 140736085049824 12752373 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32556/statm: 325521 28912 800 2943 0 322415 0
[pid=32556/tid=32557] ppid=32553 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32557/stat : 32557 (toysat) S 32553 32556 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201105 1333334016 28923 33554432000 4194304 16246674 140736085050512 139687755754736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32556/tid=32558] ppid=32553 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32558/stat : 32558 (toysat) S 32553 32556 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201105 1333334016 28935 33554432000 4194304 16246674 140736085050512 139687745264880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32556/tid=32559] ppid=32553 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32559/stat : 32559 (toysat) S 32553 32556 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201105 1333334016 28946 33554432000 4194304 16246674 140736085050512 139687734791344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200394 s]
/proc/loadavg: 2.31 2.29 2.20 2/174 32556
/proc/meminfo: memFree=30667264/32872528 swapFree=1200228/1314692
[pid=32556] ppid=32553 vsize=1314372 CPUtime=0.19 cores=0,2,4,6
/proc/32556/stat : 32556 (toysat) R 32553 32556 31224 0 -1 4202496 46086 0 0 0 12 7 0 0 20 0 4 0 23201105 1345916928 46384 33554432000 4194304 16246674 140736085050512 140736085049824 7375561 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32556/statm: 328593 46384 800 2943 0 325487 0
[pid=32556/tid=32557] ppid=32553 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32557/stat : 32557 (toysat) S 32553 32556 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201105 1345916928 46384 33554432000 4194304 16246674 140736085050512 139687755754736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32556/tid=32558] ppid=32553 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32558/stat : 32558 (toysat) S 32553 32556 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201105 1345916928 46384 33554432000 4194304 16246674 140736085050512 139687745264880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32556/tid=32559] ppid=32553 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32559/stat : 32559 (toysat) S 32553 32556 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201105 1345916928 46384 33554432000 4194304 16246674 140736085050512 139687734791344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.30039 s]
/proc/loadavg: 2.31 2.29 2.20 2/174 32556
/proc/meminfo: memFree=30667264/32872528 swapFree=1200228/1314692
[pid=32556] ppid=32553 vsize=1314372 CPUtime=0.28 cores=0,2,4,6
/proc/32556/stat : 32556 (toysat) R 32553 32556 31224 0 -1 4202496 54428 0 0 0 20 8 0 0 20 0 4 0 23201105 1345916928 54726 33554432000 4194304 16246674 140736085050512 140736085049824 13893130 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32556/statm: 328593 54726 801 2943 0 325487 0
[pid=32556/tid=32557] ppid=32553 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32557/stat : 32557 (toysat) S 32553 32556 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201105 1345916928 54726 33554432000 4194304 16246674 140736085050512 139687755754736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32556/tid=32558] ppid=32553 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32558/stat : 32558 (toysat) S 32553 32556 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201105 1345916928 54726 33554432000 4194304 16246674 140736085050512 139687745264880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32556/tid=32559] ppid=32553 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32559/stat : 32559 (toysat) S 32553 32556 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201105 1345916928 54726 33554432000 4194304 16246674 140736085050512 139687734791344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1314372

[startup+0.700304 s]
/proc/loadavg: 2.31 2.29 2.20 2/174 32556
/proc/meminfo: memFree=30667264/32872528 swapFree=1200228/1314692
[pid=32556] ppid=32553 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/32556/stat : 32556 (toysat) R 32553 32556 31224 0 -1 4202496 67583 0 0 0 59 10 0 0 20 0 4 0 23201105 1345916928 67881 33554432000 4194304 16246674 140736085050512 140736085033504 7374133 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32556/statm: 328593 67881 802 2943 0 325487 0
[pid=32556/tid=32557] ppid=32553 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32557/stat : 32557 (toysat) S 32553 32556 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201105 1345916928 67881 33554432000 4194304 16246674 140736085050512 139687755754736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32556/tid=32558] ppid=32553 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32558/stat : 32558 (toysat) S 32553 32556 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201105 1345916928 67881 33554432000 4194304 16246674 140736085050512 139687745264880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32556/tid=32559] ppid=32553 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32559/stat : 32559 (toysat) S 32553 32556 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201105 1345916928 67881 33554432000 4194304 16246674 140736085050512 139687734791344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.5004 s]
/proc/loadavg: 2.29 2.28 2.20 3/176 32595
/proc/meminfo: memFree=30337860/32872528 swapFree=1200228/1314692
[pid=32556] ppid=32553 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/32556/stat : 32556 (toysat) R 32553 32556 31224 0 -1 4202496 87434 0 0 0 136 13 0 0 20 0 4 0 23201105 1345916928 87732 33554432000 4194304 16246674 140736085050512 140736085033504 14073329 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32556/statm: 328593 87732 802 2943 0 325487 0
[pid=32556/tid=32557] ppid=32553 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32557/stat : 32557 (toysat) S 32553 32556 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201105 1345916928 87732 33554432000 4194304 16246674 140736085050512 139687755754736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32556/tid=32558] ppid=32553 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32558/stat : 32558 (toysat) S 32553 32556 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201105 1345916928 87732 33554432000 4194304 16246674 140736085050512 139687745264880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32556/tid=32559] ppid=32553 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32559/stat : 32559 (toysat) S 32553 32556 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201105 1345916928 87732 33554432000 4194304 16246674 140736085050512 139687734791344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.1004 s]
/proc/loadavg: 2.29 2.28 2.20 3/183 32609
/proc/meminfo: memFree=29860892/32872528 swapFree=1200228/1314692
[pid=32556] ppid=32553 vsize=1338948 CPUtime=3.09 cores=0,2,4,6
/proc/32556/stat : 32556 (toysat) R 32553 32556 31224 0 -1 4202496 136187 0 0 0 288 21 0 0 20 0 4 0 23201105 1371082752 141084 33554432000 4194304 16246674 140736085050512 140736085048384 4220850 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32556/statm: 334737 141084 802 2943 0 331631 0
[pid=32556/tid=32557] ppid=32553 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32557/stat : 32557 (toysat) S 32553 32556 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201105 1371082752 141084 33554432000 4194304 16246674 140736085050512 139687755754736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32556/tid=32558] ppid=32553 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32558/stat : 32558 (toysat) S 32553 32556 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201105 1371082752 141084 33554432000 4194304 16246674 140736085050512 139687745264880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32556/tid=32559] ppid=32553 vsize=1338948 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32559/stat : 32559 (toysat) S 32553 32556 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201105 1371082752 141084 33554432000 4194304 16246674 140736085050512 139687734791344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1338948

[startup+6.30042 s]
/proc/loadavg: 2.35 2.30 2.20 3/183 32609
/proc/meminfo: memFree=29058460/32872528 swapFree=1200228/1314692
[pid=32556] ppid=32553 vsize=1388100 CPUtime=6.29 cores=0,2,4,6
/proc/32556/stat : 32556 (toysat) R 32553 32556 31224 0 -1 4202496 201696 0 0 0 598 31 0 0 20 0 4 0 23201105 1421414400 216302 33554432000 4194304 16246674 140736085050512 140736085048320 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32556/statm: 347025 216302 837 2943 0 343919 0
[pid=32556/tid=32557] ppid=32553 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32557/stat : 32557 (toysat) S 32553 32556 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201105 1421414400 216302 33554432000 4194304 16246674 140736085050512 139687755754736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32556/tid=32558] ppid=32553 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32558/stat : 32558 (toysat) S 32553 32556 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201105 1421414400 216302 33554432000 4194304 16246674 140736085050512 139687745264880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32556/tid=32559] ppid=32553 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32559/stat : 32559 (toysat) S 32553 32556 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201105 1421414400 216302 33554432000 4194304 16246674 140736085050512 139687734791344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1388100

[startup+12.7004 s]
/proc/loadavg: 2.40 2.31 2.20 3/183 32609
/proc/meminfo: memFree=27288648/32872528 swapFree=1200228/1314692
[pid=32556] ppid=32553 vsize=1833540 CPUtime=12.69 cores=0,2,4,6
/proc/32556/stat : 32556 (toysat) R 32553 32556 31224 0 -1 4202496 380386 0 0 0 1215 54 0 0 20 0 4 0 23201105 1877544960 399080 33554432000 4194304 16246674 140736085050512 140736085049688 6198208 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32556/statm: 458385 399080 842 2943 0 455279 0
[pid=32556/tid=32557] ppid=32553 vsize=1833540 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32557/stat : 32557 (toysat) S 32553 32556 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201105 1877544960 399080 33554432000 4194304 16246674 140736085050512 139687755754736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32556/tid=32558] ppid=32553 vsize=1833540 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32558/stat : 32558 (toysat) S 32553 32556 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201105 1877544960 399080 33554432000 4194304 16246674 140736085050512 139687745264880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32556/tid=32559] ppid=32553 vsize=1833540 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32559/stat : 32559 (toysat) S 32553 32556 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201105 1877544960 399080 33554432000 4194304 16246674 140736085050512 139687734791344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1833540

[startup+25.5004 s]
/proc/loadavg: 2.34 2.30 2.20 3/183 32609
/proc/meminfo: memFree=24327324/32872528 swapFree=1200228/1314692
[pid=32556] ppid=32553 vsize=2961988 CPUtime=25.49 cores=0,2,4,6
/proc/32556/stat : 32556 (toysat) R 32553 32556 31224 0 -1 4202496 662736 0 0 0 2457 92 0 0 20 0 4 0 23201105 3033075712 681430 33554432000 4194304 16246674 140736085050512 140736085049688 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32556/statm: 740497 681430 843 2943 0 737391 0
[pid=32556/tid=32557] ppid=32553 vsize=2961988 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32557/stat : 32557 (toysat) S 32553 32556 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201105 3033075712 681430 33554432000 4194304 16246674 140736085050512 139687755754736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32556/tid=32558] ppid=32553 vsize=2961988 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32558/stat : 32558 (toysat) S 32553 32556 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201105 3033075712 681430 33554432000 4194304 16246674 140736085050512 139687745264880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32556/tid=32559] ppid=32553 vsize=2961988 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32559/stat : 32559 (toysat) S 32553 32556 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201105 3033075712 681430 33554432000 4194304 16246674 140736085050512 139687734791344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2961988

[startup+51.1005 s]
/proc/loadavg: 2.34 2.30 2.20 3/183 32609
/proc/meminfo: memFree=21583272/32872528 swapFree=1200228/1314692
[pid=32556] ppid=32553 vsize=4640324 CPUtime=51.08 cores=0,2,4,6
/proc/32556/stat : 32556 (toysat) R 32553 32556 31224 0 -1 4202496 1082322 0 0 0 4957 151 0 0 20 0 4 0 23201105 4751691776 1101016 33554432000 4194304 16246674 140736085050512 140736085049688 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32556/statm: 1160081 1101016 845 2943 0 1156975 0
[pid=32556/tid=32557] ppid=32553 vsize=4640324 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32557/stat : 32557 (toysat) S 32553 32556 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201105 4751691776 1101016 33554432000 4194304 16246674 140736085050512 139687755754736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32556/tid=32558] ppid=32553 vsize=4640324 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32558/stat : 32558 (toysat) S 32553 32556 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201105 4751691776 1101016 33554432000 4194304 16246674 140736085050512 139687745264880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32556/tid=32559] ppid=32553 vsize=4640324 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32559/stat : 32559 (toysat) S 32553 32556 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201105 4751691776 1101016 33554432000 4194304 16246674 140736085050512 139687734791344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 4640324

[startup+102.3 s]
/proc/loadavg: 2.44 2.33 2.22 3/184 32613
/proc/meminfo: memFree=21029484/32872528 swapFree=1200228/1314692
[pid=32556] ppid=32553 vsize=5193284 CPUtime=102.28 cores=0,2,4,6
/proc/32556/stat : 32556 (toysat) R 32553 32556 31224 0 -1 4202496 1220615 0 0 0 10056 172 0 0 20 0 4 0 23201105 5317922816 1239309 33554432000 4194304 16246674 140736085050512 140736085049688 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32556/statm: 1298321 1239309 898 2943 0 1295215 0
[pid=32556/tid=32557] ppid=32553 vsize=5193284 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32557/stat : 32557 (toysat) S 32553 32556 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201105 5317922816 1239309 33554432000 4194304 16246674 140736085050512 139687755754736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32556/tid=32558] ppid=32553 vsize=5193284 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32558/stat : 32558 (toysat) S 32553 32556 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201105 5317922816 1239309 33554432000 4194304 16246674 140736085050512 139687745264880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32556/tid=32559] ppid=32553 vsize=5193284 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32559/stat : 32559 (toysat) S 32553 32556 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201105 5317922816 1239309 33554432000 4194304 16246674 140736085050512 139687734791344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 5193284


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

[startup+282.3 s]
/proc/loadavg: 2.26 2.28 2.21 4/184 32640
/proc/meminfo: memFree=19774876/32872528 swapFree=1200228/1314692
[pid=32556] ppid=32553 vsize=5258820 CPUtime=282.24 cores=0,2,4,6
/proc/32556/stat : 32556 (toysat) R 32553 32556 31224 0 -1 4202496 1237004 0 0 0 28036 188 0 0 20 0 4 0 23201105 5385031680 1255698 33554432000 4194304 16246674 140736085050512 140736085049688 4220520 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32556/statm: 1314705 1255698 903 2943 0 1311599 0
[pid=32556/tid=32557] ppid=32553 vsize=5258820 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32557/stat : 32557 (toysat) S 32553 32556 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201105 5385031680 1255698 33554432000 4194304 16246674 140736085050512 139687755754736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32556/tid=32558] ppid=32553 vsize=5258820 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32558/stat : 32558 (toysat) S 32553 32556 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201105 5385031680 1255698 33554432000 4194304 16246674 140736085050512 139687745264656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=32556/tid=32559] ppid=32553 vsize=5258820 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32559/stat : 32559 (toysat) S 32553 32556 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201105 5385031680 1255698 33554432000 4194304 16246674 140736085050512 139687734791344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 5258820

[startup+342.3 s]
/proc/loadavg: 2.35 2.30 2.21 3/184 32641
/proc/meminfo: memFree=19774964/32872528 swapFree=1200228/1314692
[pid=32556] ppid=32553 vsize=5258820 CPUtime=342.23 cores=0,2,4,6
/proc/32556/stat : 32556 (toysat) R 32553 32556 31224 0 -1 4202496 1237005 0 0 0 34029 194 0 0 20 0 4 0 23201105 5385031680 1255699 33554432000 4194304 16246674 140736085050512 140736085049688 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32556/statm: 1314705 1255699 904 2943 0 1311599 0
[pid=32556/tid=32557] ppid=32553 vsize=5258820 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32557/stat : 32557 (toysat) S 32553 32556 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201105 5385031680 1255699 33554432000 4194304 16246674 140736085050512 139687755754736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32556/tid=32558] ppid=32553 vsize=5258820 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32558/stat : 32558 (toysat) S 32553 32556 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201105 5385031680 1255699 33554432000 4194304 16246674 140736085050512 139687745264880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32556/tid=32559] ppid=32553 vsize=5258820 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32559/stat : 32559 (toysat) S 32553 32556 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201105 5385031680 1255699 33554432000 4194304 16246674 140736085050512 139687734791344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 5258820

[startup+402.3 s]
/proc/loadavg: 2.16 2.26 2.20 3/184 32642
/proc/meminfo: memFree=19774968/32872528 swapFree=1200228/1314692
[pid=32556] ppid=32553 vsize=5258820 CPUtime=402.22 cores=0,2,4,6
/proc/32556/stat : 32556 (toysat) R 32553 32556 31224 0 -1 4202496 1237005 0 0 0 40023 199 0 0 20 0 4 0 23201105 5385031680 1255699 33554432000 4194304 16246674 140736085050512 140736085049688 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32556/statm: 1314705 1255699 904 2943 0 1311599 0
[pid=32556/tid=32557] ppid=32553 vsize=5258820 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32557/stat : 32557 (toysat) S 32553 32556 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201105 5385031680 1255699 33554432000 4194304 16246674 140736085050512 139687755754736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32556/tid=32558] ppid=32553 vsize=5258820 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32558/stat : 32558 (toysat) S 32553 32556 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201105 5385031680 1255699 33554432000 4194304 16246674 140736085050512 139687745264880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32556/tid=32559] ppid=32553 vsize=5258820 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32559/stat : 32559 (toysat) S 32553 32556 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201105 5385031680 1255699 33554432000 4194304 16246674 140736085050512 139687734791344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 5258820

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

[startup+409.6 s]
/proc/loadavg: 2.15 2.25 2.20 4/184 32642
/proc/meminfo: memFree=19774968/32872528 swapFree=1200228/1314692
[pid=32556] ppid=32553 vsize=5258820 CPUtime=409.53 cores=0,2,4,6
/proc/32556/stat : 32556 (toysat) R 32553 32556 31224 0 -1 4202496 1237005 0 0 0 40753 200 0 0 20 0 4 0 23201105 5385031680 1255699 33554432000 4194304 16246674 140736085050512 140736085049688 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32556/statm: 1314705 1255699 904 2943 0 1311599 0
[pid=32556/tid=32557] ppid=32553 vsize=5258820 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32557/stat : 32557 (toysat) S 32553 32556 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201105 5385031680 1255699 33554432000 4194304 16246674 140736085050512 139687755754736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32556/tid=32558] ppid=32553 vsize=5258820 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32558/stat : 32558 (toysat) S 32553 32556 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201105 5385031680 1255699 33554432000 4194304 16246674 140736085050512 139687745264880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32556/tid=32559] ppid=32553 vsize=5258820 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32559/stat : 32559 (toysat) S 32553 32556 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201105 5385031680 1255699 33554432000 4194304 16246674 140736085050512 139687734791344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 409.53
Current children cumulated vsize (KiB) 5258820

[startup+422.4 s]
/proc/loadavg: 2.12 2.24 2.20 3/184 32643
/proc/meminfo: memFree=19774600/32872528 swapFree=1200228/1314692
[pid=32556] ppid=32553 vsize=5258820 CPUtime=422.33 cores=0,2,4,6
/proc/32556/stat : 32556 (toysat) R 32553 32556 31224 0 -1 4202496 1237005 0 0 0 42033 200 0 0 20 0 4 0 23201105 5385031680 1255699 33554432000 4194304 16246674 140736085050512 140736085049688 4220520 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32556/statm: 1314705 1255699 904 2943 0 1311599 0
[pid=32556/tid=32557] ppid=32553 vsize=5258820 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32557/stat : 32557 (toysat) S 32553 32556 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201105 5385031680 1255699 33554432000 4194304 16246674 140736085050512 139687755754736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32556/tid=32558] ppid=32553 vsize=5258820 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32558/stat : 32558 (toysat) S 32553 32556 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201105 5385031680 1255699 33554432000 4194304 16246674 140736085050512 139687745264880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32556/tid=32559] ppid=32553 vsize=5258820 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32559/stat : 32559 (toysat) S 32553 32556 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201105 5385031680 1255699 33554432000 4194304 16246674 140736085050512 139687734791344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 422.33
Current children cumulated vsize (KiB) 5258820

[startup+435.2 s]
/proc/loadavg: 2.10 2.23 2.19 3/184 32643
/proc/meminfo: memFree=19773220/32872528 swapFree=1200228/1314692
[pid=32556] ppid=32553 vsize=5258820 CPUtime=435.13 cores=0,2,4,6
/proc/32556/stat : 32556 (toysat) R 32553 32556 31224 0 -1 4202496 1237006 0 0 0 43311 202 0 0 20 0 4 0 23201105 5385031680 1255955 33554432000 4194304 16246674 140736085050512 140736085049688 5824932 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32556/statm: 1314705 1255955 904 2943 0 1311599 0
[pid=32556/tid=32557] ppid=32553 vsize=5258820 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32557/stat : 32557 (toysat) S 32553 32556 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201105 5385031680 1255955 33554432000 4194304 16246674 140736085050512 139687755754736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32556/tid=32558] ppid=32553 vsize=5258820 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32558/stat : 32558 (toysat) S 32553 32556 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201105 5385031680 1255955 33554432000 4194304 16246674 140736085050512 139687745264880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32556/tid=32559] ppid=32553 vsize=5258820 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32559/stat : 32559 (toysat) S 32553 32556 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201105 5385031680 1255955 33554432000 4194304 16246674 140736085050512 139687734791344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 435.13
Current children cumulated vsize (KiB) 5258820

[startup+441.6 s]
/proc/loadavg: 2.16 2.24 2.20 4/184 32643
/proc/meminfo: memFree=19772956/32872528 swapFree=1200228/1314692
[pid=32556] ppid=32553 vsize=5258820 CPUtime=441.52 cores=0,2,4,6
/proc/32556/stat : 32556 (toysat) R 32553 32556 31224 0 -1 4202496 1237006 0 0 0 43950 202 0 0 20 0 4 0 23201105 5385031680 1255955 33554432000 4194304 16246674 140736085050512 140736085049688 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32556/statm: 1314705 1255955 904 2943 0 1311599 0
[pid=32556/tid=32557] ppid=32553 vsize=5258820 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32557/stat : 32557 (toysat) S 32553 32556 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201105 5385031680 1255955 33554432000 4194304 16246674 140736085050512 139687755754736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32556/tid=32558] ppid=32553 vsize=5258820 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32558/stat : 32558 (toysat) S 32553 32556 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201105 5385031680 1255955 33554432000 4194304 16246674 140736085050512 139687745264880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32556/tid=32559] ppid=32553 vsize=5258820 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32559/stat : 32559 (toysat) S 32553 32556 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201105 5385031680 1255955 33554432000 4194304 16246674 140736085050512 139687734791344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 441.52
Current children cumulated vsize (KiB) 5258820

[startup+444.8 s]
/proc/loadavg: 2.16 2.24 2.20 3/184 32643
/proc/meminfo: memFree=19773204/32872528 swapFree=1200228/1314692
[pid=32556] ppid=32553 vsize=5258820 CPUtime=444.72 cores=0,2,4,6
/proc/32556/stat : 32556 (toysat) R 32553 32556 31224 0 -1 4202496 1237006 0 0 0 44269 203 0 0 20 0 4 0 23201105 5385031680 1255955 33554432000 4194304 16246674 140736085050512 140736085049688 13759557 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32556/statm: 1314705 1255955 904 2943 0 1311599 0
[pid=32556/tid=32557] ppid=32553 vsize=5258820 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32557/stat : 32557 (toysat) S 32553 32556 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201105 5385031680 1255955 33554432000 4194304 16246674 140736085050512 139687755754736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32556/tid=32558] ppid=32553 vsize=5258820 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32558/stat : 32558 (toysat) S 32553 32556 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201105 5385031680 1255955 33554432000 4194304 16246674 140736085050512 139687745264880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32556/tid=32559] ppid=32553 vsize=5258820 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32559/stat : 32559 (toysat) S 32553 32556 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201105 5385031680 1255955 33554432000 4194304 16246674 140736085050512 139687734791344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 444.72
Current children cumulated vsize (KiB) 5258820

[startup+446.4 s]
/proc/loadavg: 2.15 2.24 2.19 3/184 32643
/proc/meminfo: memFree=19773204/32872528 swapFree=1200228/1314692
[pid=32556] ppid=32553 vsize=5258820 CPUtime=446.32 cores=0,2,4,6
/proc/32556/stat : 32556 (toysat) R 32553 32556 31224 0 -1 4202496 1237006 0 0 0 44428 204 0 0 20 0 4 0 23201105 5385031680 1255955 33554432000 4194304 16246674 140736085050512 140736085049688 5842634 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32556/statm: 1314705 1255955 904 2943 0 1311599 0
[pid=32556/tid=32557] ppid=32553 vsize=5258820 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32557/stat : 32557 (toysat) S 32553 32556 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201105 5385031680 1255955 33554432000 4194304 16246674 140736085050512 139687755754736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32556/tid=32558] ppid=32553 vsize=5258820 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32558/stat : 32558 (toysat) S 32553 32556 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201105 5385031680 1255955 33554432000 4194304 16246674 140736085050512 139687745264880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32556/tid=32559] ppid=32553 vsize=5258820 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32559/stat : 32559 (toysat) S 32553 32556 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201105 5385031680 1255955 33554432000 4194304 16246674 140736085050512 139687734791344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 446.32
Current children cumulated vsize (KiB) 5258820

[startup+447.2 s]
/proc/loadavg: 2.15 2.24 2.19 3/184 32643
/proc/meminfo: memFree=19773204/32872528 swapFree=1200228/1314692
[pid=32556] ppid=32553 vsize=5258820 CPUtime=447.12 cores=0,2,4,6
/proc/32556/stat : 32556 (toysat) R 32553 32556 31224 0 -1 4202496 1237006 0 0 0 44508 204 0 0 20 0 4 0 23201105 5385031680 1255955 33554432000 4194304 16246674 140736085050512 140736085049688 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32556/statm: 1314705 1255955 904 2943 0 1311599 0
[pid=32556/tid=32557] ppid=32553 vsize=5258820 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32557/stat : 32557 (toysat) S 32553 32556 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23201105 5385031680 1255955 33554432000 4194304 16246674 140736085050512 139687755754736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=32556/tid=32558] ppid=32553 vsize=5258820 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32558/stat : 32558 (toysat) S 32553 32556 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23201105 5385031680 1255955 33554432000 4194304 16246674 140736085050512 139687745264880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=32556/tid=32559] ppid=32553 vsize=5258820 CPUtime=0 cores=0,2,4,6
/proc/32556/task/32559/stat : 32559 (toysat) S 32553 32556 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23201105 5385031680 1255955 33554432000 4194304 16246674 140736085050512 139687734791344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 447.12
Current children cumulated vsize (KiB) 5258820

[startup+447.6 s]
/proc/loadavg: 2.15 2.24 2.19 3/184 32643
/proc/meminfo: memFree=19773204/32872528 swapFree=1200228/1314692
[pid=32556] ppid=32553 vsize=0 CPUtime=447.52 cores=0,2,4,6
/proc/32556/stat : 32556 (toysat) Z 32553 32556 31224 0 -1 4202508 1237011 0 0 0 44529 223 0 0 20 0 2 0 23201105 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/32556/statm: 0 0 0 0 0 0 0
[pid=32556/tid=32557] ppid=32553 vsize=0 CPUtime=0.12 cores=0,2,4,6
/proc/32556/task/32557/stat : 32557 (toysat) R 32553 32556 31224 0 -1 4203588 11 0 0 0 0 12 0 0 20 0 2 0 23201105 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 447.52
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 447.69
CPU time (s): 447.611
CPU user time (s): 445.293
CPU system time (s): 2.31765
CPU usage (%): 99.9823
Max. virtual memory (cumulated for all children) (KiB): 5258820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 445.293
system time used= 2.31765
maximum resident set size= 5023832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1237011
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= 89
involuntary context switches= 457

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.12983 second user time and 1.73474 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-18 02:59:06
IDJOB=4100105
IDBENCH=1574
IDSOLVER=2542
FILE ID=node131/4100105-1466211545
RUNJOBID= node131-1466206062-31240
PBS_JOBID= 19918146
Free space on /tmp= 71660 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-bc1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100105-1466211545/watcher-4100105-1466211545 -o /tmp/evaluation-result-4100105-1466211545/solver-4100105-1466211545 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31240 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100105-1466211545.opb

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

MD5SUM BENCH= 743cbcb78230aca97c7aa43a5d0e3e41
RANDOM SEED=1182432311

node131.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.752
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.50
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.752
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.752
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.57
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.752
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.752
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.752
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.57
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.752
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:        30667636 kB
Buffers:           45436 kB
Cached:           135420 kB
SwapCached:         1500 kB
Active:           116744 kB
Inactive:          69732 kB
Active(anon):       5432 kB
Inactive(anon):     2640 kB
Active(file):     111312 kB
Inactive(file):    67092 kB
Unevictable:     1314692 kB
Mlocked:         1200228 kB
SwapTotal:      67108856 kB
SwapFree:       67099820 kB
Dirty:             48284 kB
Writeback:             0 kB
AnonPages:       1415780 kB
Mapped:             7260 kB
Shmem:                 0 kB
Slab:             571892 kB
SReclaimable:      15720 kB
SUnreclaim:       556172 kB
KernelStack:        1464 kB
PageTables:         6892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1432352 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    210944 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= 71600 MiB
End job on node131 at 2016-06-18 03:06:34