Trace number 4079388

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.02 1800.41

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/MH+IC/
normalized-minisat50_4_16_0_mh_ic.opb
MD5SUM69c3f35ff6da259885813cb008cfe4d1
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3267825
Best CPU time to get the best result obtained on this benchmark1800.42
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables370300
Total number of constraints847958
Number of constraints which are clauses597900
Number of constraints which are cardinality constraints (but not clauses)58
Number of constraints which are nor clauses,nor cardinality constraints250000
Minimum length of a constraint2
Maximum length of a constraint3725
Number of terms in the objective function 132350
Biggest coefficient in the objective function 150568768
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 66235433706
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 150568768
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 66235433706
Number of bits of the biggest sum of numbers36
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-07T20:40:39+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-4079388-1465324838.opb"]
0.00/0.01	c use --random-gen="339319598 494420857 143345782 2443041936 3847238364 3431521034 3700151322 241431291 1441060590 4197345455 1455370243 2356181603 4007897001 4239238596 3068354198 3157924228 2147586319 3314991358 4195472966 1916248448 1787026259 1644919129 1816134099 4068761881 200243069 4255629042 4210411212 387389927 3717709237 3643526555 2528300716 1716800702 622182209 1680621354 1020667241 2965009968 1944310597 1904706730 3201522127 655982628 3500870695 3910822261 1723419792 2331292215 26033244 4247819584 2113766971 3949761767 4165049889 1882825006 140874540 555541731 3223660399 2963652057 697771777 4239317163 3213875372 1960606350 47529491 3846114139 4077603849 1197770829 3676917787 1234340422 291155602 966560296 2900703524 3222247635 94415227 4077965622 1339803399 3547067400 1741178265 1747717219 100777461 3806383256 2488946143 1930994336 956144867 2573113131 3153217681 3925909294 3292188422 176586604 1759594597 2078162525 1944485969 2185144497 3437916326 2706384389 3676381638 4271384980 3488088174 2159961518 4207904662 1869428260 2021542858 994659630 812629249 2914707013 2903631886 1644963889 1762883520 2263879049 1887112472 1287344705 2851419832 1820776160 2477827034 2716114647 3755254654 3544966945 1373998223 1369683544 2512529996 2997377053 3069648961 1516743450 591461573 3919150185 3171909064 1168458097 2327437678 1858365276 617985905 2861683679 2066602465 1884099215 2464662563 3113054466 86841015 2587774173 4083920265 3518271703 2357901103 925682114 3195957115 2745134775 567451964 2503386067 2870880490 3540889754 3279199086 1769834734 1658155689 2097224670 76081379 3655606034 1847478117 1613743212 4254395049 3192517153 2065193018 267511432 3969888639 1921227280 2624578794 235734394 2306012091 978265741 2577039754 2915676925 2186926298 4230245442 548014115 2240132786 3117509412 3108387289 4039836041 1163185500 3624297926 1212287664 2335677906 3036604492 3071913719 21119868 578526983 2719658402 2186075218 2354723168 2855112750 2447678674 271678814 2795085463 83304220 3661276517 1822022000 2290479687 1000247322 360422650 202747340 3505640327 741832118 3389095879 201009596 1482230013 2310492011 3516321708 946126625 1233890680 3809900587 1581763360 3699882020 948092772 2381041633 418247566 1131030290 1988690542 3068134712 3106374001 4227954373 3625156760 3889240542 251004396 1140041143 4256368194 1454937370 1028672568 4013417205 1683122835 4093930572 4274752455 1547679746 1039613226 2898942447 3986659702 3971758401 3747421947 2564312385 2464574106 1281287254 922857382 3091118761 3330855435 986570888 3061664549 4100642616 3387544982 1849209122 3830704793 2773966519 579474113 3937517871 1970883562 562852679 918370672 1229239744 2309970338 3254039535 809230221 3509052359 3469176262 1942808804 3480882064 1908508880 419727950 255 362436" option to reproduce the execution
6.49/6.55	c #vars 370300
6.49/6.55	c #constraints 847958
20.79/20.86	c BCD2: Hardening is enabled.
20.79/20.86	c BCD2: BiasedSearch is enabled.
20.79/20.86	c Solving starts ...
20.79/20.86	c ============================[ Search Statistics ]============================
20.79/20.86	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
20.79/20.86	c       |         |          |          |    Limit     GC | Var      | Constra 
20.79/20.86	c =============================================================================
20.79/20.86	c  0.0s |       0 |        0 |        0 |   408536      0 |      200 |        0
25.89/25.92	c  5.1s |       0 |     3373 |      100 |   408536      0 |      200 |        0
26.09/26.14	c  5.3s |       1 |     3373 |      100 |   408536      0 |      200 |        0
61.98/62.07	c 41.2s |       1 |     6408 |      200 |   449390      0 |      200 |        0
77.98/78.04	c 57.2s |       2 |     7946 |      250 |   449390      0 |      200 |        0
125.76/125.86	c  105s |       2 |     9267 |      350 |   494330      0 |      200 |        0
157.56/157.63	c  136s |       2 |    11255 |      450 |   494330      0 |      200 |        0
164.97/165.05	c  144s |       3 |    12171 |      475 |   494330      0 |      200 |        0
204.26/204.31	c  183s |       3 |    14919 |      575 |   543763      0 |      200 |        0
239.35/239.45	c  218s |       3 |    16382 |      675 |   543763      0 |      200 |        0
281.94/282.04	c  261s |       3 |    17367 |      775 |   543763      0 |      200 |        0
299.33/299.48	c  278s |       4 |    18970 |      813 |   543763      0 |      200 |        0
338.32/338.49	c  317s |       4 |    21578 |      913 |   598140      0 |      200 |        0
367.22/367.30	c  346s |       4 |    22814 |     1013 |   598140      0 |      200 |        0
424.01/424.10	c  403s |       4 |    24174 |     1113 |   598140      0 |      200 |        0
469.00/469.17	c  448s |       4 |    27407 |     1213 |   598140      0 |      200 |        0
511.10/511.22	c  490s |       4 |    29124 |     1313 |   598140      0 |      200 |        0
513.99/514.14	c  493s |       5 |    29195 |     1320 |   598140      0 |      200 |        0
567.78/567.90	c  547s |       5 |    29728 |     1420 |   657954      0 |      200 |        0
622.37/622.52	c  601s |       5 |    30866 |     1520 |   657954      0 |      200 |        0
663.06/663.30	c  642s |       5 |    32372 |     1620 |   657954      0 |      200 |        0
698.36/698.54	c  677s |       5 |    34777 |     1720 |   657954      0 |      200 |        0
732.66/732.84	c  711s |       5 |    35767 |     1820 |   657954      0 |      200 |        0
785.35/785.56	c  764s |       5 |    39030 |     1920 |   657954      0 |      200 |        0
828.94/829.12	c  808s |       5 |    40945 |     2020 |   657954      0 |      200 |        0
851.14/851.39	c  830s |       6 |    41078 |     2081 |   723750      0 |      200 |        0
931.72/931.97	c  911s |       6 |    44695 |     2181 |   723750      0 |      200 |        0
983.80/984.08	c  963s |       6 |    47287 |     2281 |   723750      0 |      200 |        0
1031.49/1031.73	c 1010s |       6 |    48155 |     2381 |   723750      0 |      200 |        0
1091.58/1091.84	c 1070s |       6 |    48776 |     2481 |   723750      0 |      200 |        0
1165.87/1166.19	c 1145s |       6 |    50806 |     2581 |   723750      0 |      200 |        0
1220.65/1220.98	c 1200s |       6 |    53696 |     2681 |   723750      0 |      200 |        0
1265.94/1266.24	c 1245s |       6 |    54087 |     2781 |   723750      0 |      200 |        0
1343.31/1343.69	c 1322s |       6 |    56644 |     2881 |   723750      0 |      200 |        0
1404.49/1404.81	c 1383s |       6 |    57919 |     2981 |   723750      0 |      200 |        0
1464.36/1464.70	c 1443s |       6 |    59011 |     3081 |   723750      0 |      200 |        0
1547.14/1547.59	c 1526s |       6 |    62638 |     3181 |   723750      0 |      200 |        0
1566.84/1567.28	c 1546s |       7 |    63411 |     3223 |   796126      0 |      200 |        0
1635.53/1635.90	c 1615s |       7 |    63996 |     3323 |   796126      0 |      200 |        0
1678.82/1679.20	c 1658s |       7 |    64460 |     3423 |   796126      0 |      200 |        0
1738.41/1738.81	c 1717s |       7 |    64817 |     3523 |   796126      0 |      200 |        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-4079388-1465324838/watcher-4079388-1465324838 -o /tmp/evaluation-result-4079388-1465324838/solver-4079388-1465324838 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465310409-12874 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079388-1465324838.opb 

pid=14135
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.07 2.06 2.00 3/180 14138
/proc/meminfo: memFree=18320868/32872528 swapFree=12744/274376
[pid=14138] ppid=14135 vsize=768444 CPUtime=0 cores=0,2,4,6
/proc/14138/stat : 14138 (toysat) R 14135 14138 11961 0 -1 4202496 2878 0 0 0 0 0 0 0 20 0 4 0 114418681 786886656 2727 33554432000 4194304 16246674 140735105532016 140735105531440 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14138/statm: 192879 2735 441 2943 0 189773 0
[pid=14138/tid=14139] ppid=14135 vsize=786876 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14139/stat : 14139 (toysat) S 14135 14138 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114418681 805761024 2795 33554432000 4194304 16246674 140735105532016 140367121853680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14138/tid=14140] ppid=14135 vsize=790972 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14140/stat : 14140 (toysat) S 14135 14138 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114418681 809955328 2813 33554432000 4194304 16246674 140735105532016 140367111363824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14138/tid=14141] ppid=14135 vsize=795068 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14141/stat : 14141 (toysat) S 14135 14138 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114418681 814149632 2828 33554432000 4194304 16246674 140735105532016 140367100890288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100184 s]
/proc/loadavg: 2.07 2.06 2.00 3/180 14138
/proc/meminfo: memFree=18320868/32872528 swapFree=12744/274376
[pid=14138] ppid=14135 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/14138/stat : 14138 (toysat) R 14135 14138 11961 0 -1 4202496 31024 0 0 0 5 4 0 0 20 0 4 0 114418681 1334382592 30812 33554432000 4194304 16246674 140735105532016 140735105531328 7371468 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14138/statm: 325777 30827 800 2943 0 322671 0
[pid=14138/tid=14139] ppid=14135 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14139/stat : 14139 (toysat) S 14135 14138 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114418681 1334382592 30838 33554432000 4194304 16246674 140735105532016 140367121853680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14138/tid=14140] ppid=14135 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14140/stat : 14140 (toysat) S 14135 14138 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114418681 1334382592 30850 33554432000 4194304 16246674 140735105532016 140367111363824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14138/tid=14141] ppid=14135 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14141/stat : 14141 (toysat) S 14135 14138 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114418681 1334382592 30861 33554432000 4194304 16246674 140735105532016 140367100890288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200516 s]
/proc/loadavg: 2.07 2.06 2.00 3/180 14138
/proc/meminfo: memFree=18320868/32872528 swapFree=12744/274376
[pid=14138] ppid=14135 vsize=1312324 CPUtime=0.18 cores=0,2,4,6
/proc/14138/stat : 14138 (toysat) R 14135 14138 11961 0 -1 4202496 43005 0 0 0 12 6 0 0 20 0 4 0 114418681 1343819776 43303 33554432000 4194304 16246674 140735105532016 140735105531328 4220990 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14138/statm: 328081 43303 800 2943 0 324975 0
[pid=14138/tid=14139] ppid=14135 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14139/stat : 14139 (toysat) S 14135 14138 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114418681 1343819776 43303 33554432000 4194304 16246674 140735105532016 140367121853680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14138/tid=14140] ppid=14135 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14140/stat : 14140 (toysat) S 14135 14138 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114418681 1343819776 43303 33554432000 4194304 16246674 140735105532016 140367111363824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14138/tid=14141] ppid=14135 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14141/stat : 14141 (toysat) S 14135 14138 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114418681 1343819776 43303 33554432000 4194304 16246674 140735105532016 140367100890288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1312324

[startup+0.30048 s]
/proc/loadavg: 2.07 2.06 2.00 3/180 14138
/proc/meminfo: memFree=18320868/32872528 swapFree=12744/274376
[pid=14138] ppid=14135 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/14138/stat : 14138 (toysat) R 14135 14138 11961 0 -1 4202496 49023 0 0 0 22 7 0 0 20 0 4 0 114418681 1343819776 49322 33554432000 4194304 16246674 140735105532016 140735105531328 7374276 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14138/statm: 328081 49339 801 2943 0 324975 0
[pid=14138/tid=14139] ppid=14135 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14139/stat : 14139 (toysat) S 14135 14138 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114418681 1343819776 49351 33554432000 4194304 16246674 140735105532016 140367121853680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14138/tid=14140] ppid=14135 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14140/stat : 14140 (toysat) S 14135 14138 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114418681 1343819776 49362 33554432000 4194304 16246674 140735105532016 140367111363824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14138/tid=14141] ppid=14135 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14141/stat : 14141 (toysat) S 14135 14138 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114418681 1343819776 49373 33554432000 4194304 16246674 140735105532016 140367100890288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700419 s]
/proc/loadavg: 2.07 2.06 2.00 3/180 14138
/proc/meminfo: memFree=18320868/32872528 swapFree=12744/274376
[pid=14138] ppid=14135 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/14138/stat : 14138 (toysat) R 14135 14138 11961 0 -1 4202496 64502 0 0 0 59 10 0 0 20 0 4 0 114418681 1344868352 64800 33554432000 4194304 16246674 140735105532016 140735105531328 4220480 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14138/statm: 328337 64800 803 2943 0 325231 0
[pid=14138/tid=14139] ppid=14135 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14139/stat : 14139 (toysat) S 14135 14138 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114418681 1344868352 64800 33554432000 4194304 16246674 140735105532016 140367121853680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14138/tid=14140] ppid=14135 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14140/stat : 14140 (toysat) S 14135 14138 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114418681 1344868352 64800 33554432000 4194304 16246674 140735105532016 140367111363824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14138/tid=14141] ppid=14135 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14141/stat : 14141 (toysat) S 14135 14138 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114418681 1344868352 64800 33554432000 4194304 16246674 140735105532016 140367100890288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50043 s]
/proc/loadavg: 2.07 2.06 2.00 3/184 14142
/proc/meminfo: memFree=17992536/32872528 swapFree=12744/274376
[pid=14138] ppid=14135 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/14138/stat : 14138 (toysat) R 14135 14138 11961 0 -1 4202496 83688 0 0 0 136 13 0 0 20 0 4 0 114418681 1344868352 83986 33554432000 4194304 16246674 140735105532016 140735105515008 4206912 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14138/statm: 328337 83986 803 2943 0 325231 0
[pid=14138/tid=14139] ppid=14135 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14139/stat : 14139 (toysat) S 14135 14138 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114418681 1344868352 83986 33554432000 4194304 16246674 140735105532016 140367121853680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14138/tid=14140] ppid=14135 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14140/stat : 14140 (toysat) S 14135 14138 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114418681 1344868352 83986 33554432000 4194304 16246674 140735105532016 140367111363824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14138/tid=14141] ppid=14135 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14141/stat : 14141 (toysat) S 14135 14138 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114418681 1344868352 83986 33554432000 4194304 16246674 140735105532016 140367100890288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.1004 s]
/proc/loadavg: 2.07 2.06 2.00 3/184 14142
/proc/meminfo: memFree=17845088/32872528 swapFree=12744/274376
[pid=14138] ppid=14135 vsize=1337924 CPUtime=3.09 cores=0,2,4,6
/proc/14138/stat : 14138 (toysat) R 14135 14138 11961 0 -1 4202496 161570 0 0 0 285 24 0 0 20 0 4 0 114418681 1370034176 166467 33554432000 4194304 16246674 140735105532016 140735105513920 4206572 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14138/statm: 334481 166467 803 2943 0 331375 0
[pid=14138/tid=14139] ppid=14135 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14139/stat : 14139 (toysat) S 14135 14138 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114418681 1370034176 166467 33554432000 4194304 16246674 140735105532016 140367121853680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14138/tid=14140] ppid=14135 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14140/stat : 14140 (toysat) S 14135 14138 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114418681 1370034176 166467 33554432000 4194304 16246674 140735105532016 140367111363824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14138/tid=14141] ppid=14135 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14141/stat : 14141 (toysat) S 14135 14138 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114418681 1370034176 166467 33554432000 4194304 16246674 140735105532016 140367100890288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1337924

[startup+6.30042 s]
/proc/loadavg: 2.07 2.06 2.00 3/184 14142
/proc/meminfo: memFree=17418920/32872528 swapFree=12744/274376
[pid=14138] ppid=14135 vsize=1387076 CPUtime=6.29 cores=0,2,4,6
/proc/14138/stat : 14138 (toysat) R 14135 14138 11961 0 -1 4202496 259900 0 0 0 589 40 0 0 20 0 4 0 114418681 1420365824 275017 33554432000 4194304 16246674 140735105532016 140735105531328 7364308 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14138/statm: 346769 275017 803 2943 0 343663 0
[pid=14138/tid=14139] ppid=14135 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14139/stat : 14139 (toysat) S 14135 14138 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114418681 1420365824 275017 33554432000 4194304 16246674 140735105532016 140367121853680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14138/tid=14140] ppid=14135 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14140/stat : 14140 (toysat) S 14135 14138 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114418681 1420365824 275017 33554432000 4194304 16246674 140735105532016 140367111363824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14138/tid=14141] ppid=14135 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14141/stat : 14141 (toysat) S 14135 14138 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114418681 1420365824 275017 33554432000 4194304 16246674 140735105532016 140367100890288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1387076

[startup+12.7004 s]
/proc/loadavg: 2.06 2.05 2.00 3/184 14142
/proc/meminfo: memFree=16784372/32872528 swapFree=12744/274376
[pid=14138] ppid=14135 vsize=1784388 CPUtime=12.69 cores=0,2,4,6
/proc/14138/stat : 14138 (toysat) R 14135 14138 11961 0 -1 4202496 368840 0 0 0 1213 56 0 0 20 0 4 0 114418681 1827213312 384468 33554432000 4194304 16246674 140735105532016 140735105513920 13752936 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14138/statm: 446097 384468 843 2943 0 442991 0
[pid=14138/tid=14139] ppid=14135 vsize=1784388 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14139/stat : 14139 (toysat) S 14135 14138 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114418681 1827213312 384468 33554432000 4194304 16246674 140735105532016 140367121853680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14138/tid=14140] ppid=14135 vsize=1784388 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14140/stat : 14140 (toysat) S 14135 14138 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114418681 1827213312 384468 33554432000 4194304 16246674 140735105532016 140367111363824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14138/tid=14141] ppid=14135 vsize=1784388 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14141/stat : 14141 (toysat) S 14135 14138 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114418681 1827213312 384468 33554432000 4194304 16246674 140735105532016 140367100890288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1784388

[startup+25.5005 s]
/proc/loadavg: 2.05 2.05 2.00 3/183 14191
/proc/meminfo: memFree=28112556/32872528 swapFree=12744/274376
[pid=14138] ppid=14135 vsize=2433604 CPUtime=25.49 cores=0,2,4,6
/proc/14138/stat : 14138 (toysat) R 14135 14138 11961 0 -1 4202496 531203 0 0 0 2444 105 0 0 20 0 4 0 114418681 2492010496 549386 33554432000 4194304 16246674 140735105532016 140735105531328 13774516 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14138/statm: 608401 549386 896 2943 0 605295 0
[pid=14138/tid=14139] ppid=14135 vsize=2433604 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14139/stat : 14139 (toysat) S 14135 14138 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114418681 2492010496 549386 33554432000 4194304 16246674 140735105532016 140367121853680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14138/tid=14140] ppid=14135 vsize=2433604 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14140/stat : 14140 (toysat) S 14135 14138 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114418681 2492010496 549386 33554432000 4194304 16246674 140735105532016 140367111363824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14138/tid=14141] ppid=14135 vsize=2433604 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14141/stat : 14141 (toysat) S 14135 14138 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114418681 2492010496 549386 33554432000 4194304 16246674 140735105532016 140367100890288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2433604

[startup+51.1005 s]
/proc/loadavg: 2.03 2.05 2.00 3/183 14191
/proc/meminfo: memFree=28110676/32872528 swapFree=12744/274376
[pid=14138] ppid=14135 vsize=2433604 CPUtime=51.09 cores=0,2,4,6
/proc/14138/stat : 14138 (toysat) R 14135 14138 11961 0 -1 4202496 531203 0 0 0 5004 105 0 0 20 0 4 0 114418681 2492010496 549386 33554432000 4194304 16246674 140735105532016 140735105513920 5662038 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14138/statm: 608401 549386 896 2943 0 605295 0
[pid=14138/tid=14139] ppid=14135 vsize=2433604 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14139/stat : 14139 (toysat) S 14135 14138 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114418681 2492010496 549386 33554432000 4194304 16246674 140735105532016 140367121853680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14138/tid=14140] ppid=14135 vsize=2433604 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14140/stat : 14140 (toysat) S 14135 14138 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114418681 2492010496 549386 33554432000 4194304 16246674 140735105532016 140367111363824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14138/tid=14141] ppid=14135 vsize=2433604 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14141/stat : 14141 (toysat) S 14135 14138 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114418681 2492010496 549386 33554432000 4194304 16246674 140735105532016 140367100890288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 2433604

[startup+102.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/183 14192
/proc/meminfo: memFree=28110468/32872528 swapFree=12744/274376
[pid=14138] ppid=14135 vsize=2433604 CPUtime=102.28 cores=0,2,4,6
/proc/14138/stat : 14138 (toysat) R 14135 14138 11961 0 -1 4202496 531207 0 0 0 10123 105 0 0 20 0 4 0 114418681 2492010496 549386 33554432000 4194304 16246674 140735105532016 140735105513920 5828829 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14138/statm: 608401 549386 896 2943 0 605295 0
[pid=14138/tid=14139] ppid=14135 vsize=2433604 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14139/stat : 14139 (toysat) S 14135 14138 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114418681 2492010496 549386 33554432000 4194304 16246674 140735105532016 140367121853680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14138/tid=14140] ppid=14135 vsize=2433604 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14140/stat : 14140 (toysat) S 14135 14138 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114418681 2492010496 549386 33554432000 4194304 16246674 140735105532016 140367111363824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14138/tid=14141] ppid=14135 vsize=2433604 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14141/stat : 14141 (toysat) S 14135 14138 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114418681 2492010496 549386 33554432000 4194304 16246674 140735105532016 140367100890288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2433604


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

/proc/14138/task/14141/stat : 14141 (toysat) S 14135 14138 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140367100890288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 2580036

[startup+1302.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 14293
/proc/meminfo: memFree=27960716/32872528 swapFree=12744/274376
[pid=14138] ppid=14135 vsize=2580036 CPUtime=1302.02 cores=0,2,4,6
/proc/14138/stat : 14138 (toysat) R 14135 14138 11961 0 -1 4202496 567947 0 0 0 130047 155 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140735105513920 5828829 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14138/statm: 645009 585995 896 2943 0 641903 0
[pid=14138/tid=14139] ppid=14135 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14139/stat : 14139 (toysat) S 14135 14138 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140367121853680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14138/tid=14140] ppid=14135 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14140/stat : 14140 (toysat) S 14135 14138 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140367111363824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14138/tid=14141] ppid=14135 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14141/stat : 14141 (toysat) S 14135 14138 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140367100890288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 2580036

[startup+1362.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 14294
/proc/meminfo: memFree=27960616/32872528 swapFree=12744/274376
[pid=14138] ppid=14135 vsize=2580036 CPUtime=1362 cores=0,2,4,6
/proc/14138/stat : 14138 (toysat) R 14135 14138 11961 0 -1 4202496 567965 0 0 0 136043 157 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140735105513920 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14138/statm: 645009 585995 896 2943 0 641903 0
[pid=14138/tid=14139] ppid=14135 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14139/stat : 14139 (toysat) S 14135 14138 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140367121853680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14138/tid=14140] ppid=14135 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14140/stat : 14140 (toysat) S 14135 14138 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140367111363824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14138/tid=14141] ppid=14135 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14141/stat : 14141 (toysat) S 14135 14138 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140367100890288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 2580036

[startup+1422.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 14296
/proc/meminfo: memFree=27960520/32872528 swapFree=12744/274376
[pid=14138] ppid=14135 vsize=2580036 CPUtime=1421.99 cores=0,2,4,6
/proc/14138/stat : 14138 (toysat) R 14135 14138 11961 0 -1 4202496 567991 0 0 0 142042 157 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140735105513920 13898695 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14138/statm: 645009 585995 896 2943 0 641903 0
[pid=14138/tid=14139] ppid=14135 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14139/stat : 14139 (toysat) S 14135 14138 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140367121853680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14138/tid=14140] ppid=14135 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14140/stat : 14140 (toysat) S 14135 14138 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140367111363824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14138/tid=14141] ppid=14135 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14141/stat : 14141 (toysat) S 14135 14138 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140367100890288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 2580036

[startup+1482.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/183 14297
/proc/meminfo: memFree=27960544/32872528 swapFree=12744/274376
[pid=14138] ppid=14135 vsize=2580036 CPUtime=1481.95 cores=0,2,4,6
/proc/14138/stat : 14138 (toysat) R 14135 14138 11961 0 -1 4202496 568017 0 0 0 148038 157 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140735105513920 5600072 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14138/statm: 645009 585995 896 2943 0 641903 0
[pid=14138/tid=14139] ppid=14135 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14139/stat : 14139 (toysat) S 14135 14138 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140367121853680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14138/tid=14140] ppid=14135 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14140/stat : 14140 (toysat) S 14135 14138 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140367111363824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14138/tid=14141] ppid=14135 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14141/stat : 14141 (toysat) S 14135 14138 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140367100890288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 2580036

[startup+1542.31 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 14298
/proc/meminfo: memFree=27960296/32872528 swapFree=12744/274376
[pid=14138] ppid=14135 vsize=2580036 CPUtime=1541.95 cores=0,2,4,6
/proc/14138/stat : 14138 (toysat) R 14135 14138 11961 0 -1 4202496 568017 0 0 0 154037 158 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140735105513920 5601651 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14138/statm: 645009 585995 896 2943 0 641903 0
[pid=14138/tid=14139] ppid=14135 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14139/stat : 14139 (toysat) S 14135 14138 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140367121853680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14138/tid=14140] ppid=14135 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14140/stat : 14140 (toysat) S 14135 14138 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140367111363824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14138/tid=14141] ppid=14135 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14141/stat : 14141 (toysat) S 14135 14138 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140367100890288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 2580036

[startup+1602.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/183 14299
/proc/meminfo: memFree=27959828/32872528 swapFree=12744/274376
[pid=14138] ppid=14135 vsize=2580036 CPUtime=1601.94 cores=0,2,4,6
/proc/14138/stat : 14138 (toysat) R 14135 14138 11961 0 -1 4202496 568017 0 0 0 160036 158 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140735105513920 5677720 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14138/statm: 645009 585995 896 2943 0 641903 0
[pid=14138/tid=14139] ppid=14135 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14139/stat : 14139 (toysat) S 14135 14138 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140367121853680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14138/tid=14140] ppid=14135 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14140/stat : 14140 (toysat) S 14135 14138 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140367111363824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14138/tid=14141] ppid=14135 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14141/stat : 14141 (toysat) S 14135 14138 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140367100890288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 2580036

[startup+1662.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/183 14300
/proc/meminfo: memFree=27959488/32872528 swapFree=12744/274376
[pid=14138] ppid=14135 vsize=2580036 CPUtime=1661.92 cores=0,2,4,6
/proc/14138/stat : 14138 (toysat) R 14135 14138 11961 0 -1 4202496 568017 0 0 0 166024 168 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140735105513920 5827656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14138/statm: 645009 585995 896 2943 0 641903 0
[pid=14138/tid=14139] ppid=14135 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14139/stat : 14139 (toysat) S 14135 14138 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140367121853680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14138/tid=14140] ppid=14135 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14140/stat : 14140 (toysat) S 14135 14138 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140367111363824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14138/tid=14141] ppid=14135 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14141/stat : 14141 (toysat) S 14135 14138 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140367100890288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 2580036

[startup+1722.3 s]
/proc/loadavg: 2.06 2.05 2.00 3/183 14302
/proc/meminfo: memFree=27959880/32872528 swapFree=12744/274376
[pid=14138] ppid=14135 vsize=2580036 CPUtime=1721.91 cores=0,2,4,6
/proc/14138/stat : 14138 (toysat) R 14135 14138 11961 0 -1 4202496 568017 0 0 0 172023 168 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140735105513920 6022906 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14138/statm: 645009 585995 896 2943 0 641903 0
[pid=14138/tid=14139] ppid=14135 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14139/stat : 14139 (toysat) S 14135 14138 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140367121853680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14138/tid=14140] ppid=14135 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14140/stat : 14140 (toysat) S 14135 14138 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140367111363824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14138/tid=14141] ppid=14135 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14141/stat : 14141 (toysat) S 14135 14138 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140367100890288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 2580036

[startup+1782.3 s]
/proc/loadavg: 2.14 2.07 2.01 3/184 14306
/proc/meminfo: memFree=27958892/32872528 swapFree=12744/274376
[pid=14138] ppid=14135 vsize=2580036 CPUtime=1781.91 cores=0,2,4,6
/proc/14138/stat : 14138 (toysat) R 14135 14138 11961 0 -1 4202496 568017 0 0 0 178022 169 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140735105513920 5599971 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14138/statm: 645009 585995 896 2943 0 641903 0
[pid=14138/tid=14139] ppid=14135 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14139/stat : 14139 (toysat) S 14135 14138 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140367121853680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14138/tid=14140] ppid=14135 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14140/stat : 14140 (toysat) S 14135 14138 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140367111363824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14138/tid=14141] ppid=14135 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14141/stat : 14141 (toysat) S 14135 14138 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140367100890288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 2580036



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.24 2.09 2.02 3/183 14306
/proc/meminfo: memFree=27959568/32872528 swapFree=12744/274376
[pid=14138] ppid=14135 vsize=2580036 CPUtime=1800.01 cores=0,2,4,6
/proc/14138/stat : 14138 (toysat) R 14135 14138 11961 0 -1 4202496 568017 0 0 0 179832 169 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140735105529984 5600380 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14138/statm: 645009 585995 896 2943 0 641903 0
[pid=14138/tid=14139] ppid=14135 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14139/stat : 14139 (toysat) S 14135 14138 11961 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140367121853680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14138/tid=14140] ppid=14135 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14140/stat : 14140 (toysat) S 14135 14138 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140367111363824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14138/tid=14141] ppid=14135 vsize=2580036 CPUtime=0 cores=0,2,4,6
/proc/14138/task/14141/stat : 14141 (toysat) S 14135 14138 11961 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114418681 2641956864 585995 33554432000 4194304 16246674 140735105532016 140367100890288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 2580036

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.02
CPU user time (s): 1798.33
CPU system time (s): 1.68974
CPU usage (%): 99.9781
Max. virtual memory (cumulated for all children) (KiB): 2580036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.33
system time used= 1.68974
maximum resident set size= 2343980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 568017
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= 256
involuntary context switches= 1831

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.52031 second user time and 6.94594 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-07 20:40:39
IDJOB=4079388
IDBENCH=92680
IDSOLVER=2542
FILE ID=node107/4079388-1465324838
RUNJOBID= node107-1465310409-12874
PBS_JOBID= 19848089
Free space on /tmp= 71692 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_0_mh_ic.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079388-1465324838/watcher-4079388-1465324838 -o /tmp/evaluation-result-4079388-1465324838/solver-4079388-1465324838 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465310409-12874 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079388-1465324838.opb

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

MD5SUM BENCH= 69c3f35ff6da259885813cb008cfe4d1
RANDOM SEED=1839709711

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.441
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.441
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:        18321412 kB
Buffers:          102932 kB
Cached:           350096 kB
SwapCached:         1648 kB
Active:         13211236 kB
Inactive:         301448 kB
Active(anon):   13059116 kB
Inactive(anon):     2796 kB
Active(file):     152120 kB
Inactive(file):   298652 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098592 kB
Dirty:             53924 kB
Writeback:             0 kB
AnonPages:      13333704 kB
Mapped:            10856 kB
Shmem:                 0 kB
Slab:             605572 kB
SReclaimable:      48764 kB
SUnreclaim:       556808 kB
KernelStack:        1448 kB
PageTables:        29920 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   13477796 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    266240 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= 71676 MiB
End job on node107 at 2016-06-07 21:10:40