Trace number 4103365

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.12 1800.42

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-rail507.opb
MD5SUMb64b1289c3ff1650f1def7d80f25fc5a
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark265216000000000
Best CPU time to get the best result obtained on this benchmark1800.66
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 264192000000000
Optimality of the best value was proved NO
Number of variables63009
Total number of constraints508
Number of constraints which are clauses507
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint59416
Number of terms in the objective function 63009
Biggest coefficient in the objective function 2048000000000
Number of bits for the biggest coefficient in the objective function 41
Sum of the numbers in the objective function 125363200000000000
Number of bits of the sum of numbers in the objective function 57
Biggest number in a constraint 2048000000000
Number of bits of the biggest number in a constraint 41
Biggest sum of numbers in a constraint 125363200000000000
Number of bits of the biggest sum of numbers57
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-18T09:41:01+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-4103365-1466235661.opb"]
0.00/0.01	c use --random-gen="2596908330 1477034614 3492421142 1417635975 594433399 3352290887 3735763946 1623495778 3550882474 3924454984 967112844 2124137630 2570309751 1109754121 3203633884 4117110269 2965228828 1963011749 1551671600 4275450805 3014515450 3498546178 3804765989 315170234 4070846966 1714917871 1358403209 424799680 1166829497 2284982931 124833459 2889576731 4062964927 1371954722 4146963992 38340831 3698033532 1597281055 1228470796 909328756 1192657689 4146800125 262337683 558168964 4253524536 275380467 1013964843 1495127473 624825728 1646693747 2357837669 2318996903 2699748962 1465740589 3150159326 3097340347 35036811 796787971 1398640002 3868057181 2168553164 1152548753 2628949466 2398659766 1471145947 3890498059 2947572274 4000813136 149239393 1729790633 4158714920 712183980 437229016 838215139 3816968626 2204868288 396990968 3516327926 896606382 2762591336 3579179918 2828293634 3925671209 4041388204 486621551 321628470 2645104317 1092541033 3215443275 1011291217 982409039 1013558556 3820031178 1800557309 1701385292 542134271 239618852 841036324 1984506507 2493536797 3819847811 2172801445 432178186 609352052 2490864342 2547233006 594874033 1172026489 3992898680 587082662 3067780932 997258648 3952210081 3348608649 57631654 3675036322 1119161054 3916565372 1544137642 2470474596 1903981153 3641874757 255067199 2161779728 2389389456 578868423 2772031972 2263915179 3473643575 4262141635 3990731525 3190350442 1467901791 4119362483 2211981953 2693026438 226926220 2824334960 3817665909 3125747863 4254823449 3931969119 2862599519 3659979123 650406067 2757810338 2749544686 2611217224 1410565195 2739682873 4069247202 1798088935 1042741013 428991234 557579683 780717201 2169737620 3524630410 3150840086 2003303020 532695779 888748181 453777238 1267455859 1528091931 3725187166 216764181 643482503 2688562545 948837908 1860593961 721491952 2084580419 2627186658 459444655 3752460332 1902601924 3687498363 3515411556 1958058655 3298965899 4053808697 2484209221 3012510745 2621771843 2181785106 364293162 520364860 3847699413 785555740 3800457242 541280400 2696618307 1313870846 15236171 1157790087 2611956232 2640132023 1555835747 288074526 99876369 4104049788 1812254425 1011885659 384950976 1605285579 3536906394 1362220644 3106958918 4221690193 165214305 466151596 2085729047 3905833437 2215040135 2857117457 1271959732 4229703534 2403306753 3609855905 3184772606 888441086 3135343225 573053197 3377140799 669203512 4284660788 3827253382 2587291953 1745634418 1701516123 378557441 368754107 3361564357 1022347256 2999769393 3892970097 2595039563 463639116 1404570310 1641685551 4165702314 700498456 4167243987 2211863475 575999262 3640251339 2683976539 180770008 1725053106 3479793642 1731357635 2877765059 2073053954 1551602318 1210932601 255 362436" option to reproduce the execution
0.79/0.88	c #vars 63009
0.79/0.88	c #constraints 508
2.39/2.40	c BCD2: Hardening is enabled.
2.39/2.40	c BCD2: BiasedSearch is enabled.
2.39/2.40	c Solving starts ...
2.39/2.40	c ============================[ Search Statistics ]============================
2.39/2.40	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.39/2.40	c       |         |          |          |    Limit     GC | Var      | Constra 
2.39/2.40	c =============================================================================
2.39/2.41	c  0.0s |       0 |        0 |        0 |    21168      0 |        7 |        0
98.07/98.16	c 95.8s |       0 |    13953 |      100 |    21168      0 |        7 |        5
98.07/98.18	c 95.8s |       1 |    13953 |      100 |    21168      0 |        7 |        5
226.45/226.50	c  224s |       1 |    23846 |      200 |    23285      0 |        7 |        5
254.65/254.78	c  252s |       2 |    28052 |      250 |    23285      0 |        7 |        5
321.84/321.99	c  319s |       2 |    37811 |      350 |    25614      0 |        7 |        5
379.63/379.73	c  377s |       2 |    39598 |      450 |    25614      0 |        7 |        5
398.14/398.27	c  395s |       3 |    40487 |      475 |    25614      0 |        7 |        5
489.01/489.15	c  486s |       3 |    50648 |      575 |    28176      0 |        7 |        5
571.30/571.47	c  569s |       3 |    54365 |      675 |    28176      0 |        7 |        5
638.79/638.93	c  636s |       3 |    56930 |      775 |    28176      0 |        7 |        5
660.19/660.30	c  657s |       4 |    57361 |      813 |    28176      0 |        7 |        5
694.69/694.81	c  692s |       4 |    68395 |      913 |    30994      0 |        7 |        5
737.18/737.34	c  734s |       4 |    70029 |     1013 |    30994      0 |        7 |        5
790.97/791.19	c  788s |       4 |    70476 |     1113 |    30994      0 |        7 |        5
886.56/886.80	c  884s |       4 |    73425 |     1213 |    30994      0 |        7 |        5
939.55/939.72	c  937s |       4 |    75899 |     1313 |    30994      0 |        7 |        5
943.05/943.21	c  940s |       5 |    75899 |     1320 |    30994      0 |        7 |        5
1004.15/1004.31	c 1001s |       5 |    86789 |     1420 |    34094      0 |        7 |        5
1044.63/1044.88	c 1042s |       5 |    87245 |     1520 |    34094      0 |        7 |        5
1097.13/1097.34	c 1094s |       5 |    87699 |     1620 |    34094      0 |        7 |        5
1184.01/1184.21	c 1181s |       5 |    89939 |     1720 |    34094      0 |        7 |        5
1242.50/1242.70	c 1240s |       5 |    91056 |     1820 |    34094      0 |        7 |        5
1339.38/1339.64	c 1337s |       5 |    91928 |     1920 |    34094      0 |        7 |        5
1442.27/1442.57	c 1440s |       5 |   100764 |     2020 |    34094      0 |        7 |        5
1519.44/1519.70	c 1517s |       6 |   104228 |     2081 |    37504      0 |        7 |        5
1623.93/1624.23	c 1621s |       6 |   117037 |     2181 |    37504      0 |        7 |        5
1727.70/1728.09	c 1725s |       6 |   117463 |     2281 |    37504      0 |        7 |        5
1767.41/1767.78	c 1765s |       6 |   119085 |     2381 |    37504      0 |        7 |        5

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-4103365-1466235661/watcher-4103365-1466235661 -o /tmp/evaluation-result-4103365-1466235661/solver-4103365-1466235661 -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-4103365-1466235661.opb 

pid=3068
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.20 2.24 2.18 3/179 3071
/proc/meminfo: memFree=17984520/32872528 swapFree=1200228/1314692
[pid=3071] ppid=3068 vsize=774588 CPUtime=0 cores=0,2,4,6
/proc/3071/stat : 3071 (toysat) R 3068 3071 31224 0 -1 4202496 2899 0 0 0 0 0 0 0 20 0 4 0 25612665 793178112 2750 33554432000 4194304 16246674 140733716161472 140733716160896 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3071/statm: 194159 2760 441 2943 0 191053 0
[pid=3071/tid=3072] ppid=3068 vsize=819644 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3072/stat : 3072 (toysat) S 3068 3071 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25612665 839315456 2925 33554432000 4194304 16246674 140733716161472 140343736511728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3071/tid=3073] ppid=3068 vsize=823740 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3073/stat : 3073 (toysat) S 3068 3071 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25612665 843509760 2944 33554432000 4194304 16246674 140733716161472 140343726021872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3071/tid=3074] ppid=3068 vsize=828860 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3074/stat : 3074 (toysat) S 3068 3071 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25612665 848752640 2961 33554432000 4194304 16246674 140733716161472 140343715548336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.20 2.24 2.18 3/179 3071
/proc/meminfo: memFree=17984520/32872528 swapFree=1200228/1314692
[pid=3071] ppid=3068 vsize=1304132 CPUtime=0.09 cores=0,2,4,6
/proc/3071/stat : 3071 (toysat) R 3068 3071 31224 0 -1 4202496 33469 0 0 0 5 4 0 0 20 0 4 0 25612665 1335431168 33258 33554432000 4194304 16246674 140733716161472 140733716143360 8057278 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3071/statm: 326033 33271 799 2943 0 322927 0
[pid=3071/tid=3072] ppid=3068 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3072/stat : 3072 (toysat) S 3068 3071 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25612665 1335431168 33282 33554432000 4194304 16246674 140733716161472 140343736511728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3071/tid=3073] ppid=3068 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3073/stat : 3073 (toysat) S 3068 3071 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25612665 1335431168 33293 33554432000 4194304 16246674 140733716161472 140343726021872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3071/tid=3074] ppid=3068 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3074/stat : 3074 (toysat) S 3068 3071 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25612665 1335431168 33303 33554432000 4194304 16246674 140733716161472 140343715548336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1304132

[startup+0.20051 s]
/proc/loadavg: 2.20 2.24 2.18 3/179 3071
/proc/meminfo: memFree=17984520/32872528 swapFree=1200228/1314692
[pid=3071] ppid=3068 vsize=1311300 CPUtime=0.19 cores=0,2,4,6
/proc/3071/stat : 3071 (toysat) R 3068 3071 31224 0 -1 4202496 37790 0 0 0 14 5 0 0 20 0 4 0 25612665 1342771200 38089 33554432000 4194304 16246674 140733716161472 140733716143360 8057122 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3071/statm: 327825 38089 800 2943 0 324719 0
[pid=3071/tid=3072] ppid=3068 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3072/stat : 3072 (toysat) S 3068 3071 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25612665 1342771200 38089 33554432000 4194304 16246674 140733716161472 140343736511728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3071/tid=3073] ppid=3068 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3073/stat : 3073 (toysat) S 3068 3071 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25612665 1342771200 38089 33554432000 4194304 16246674 140733716161472 140343726021872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3071/tid=3074] ppid=3068 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3074/stat : 3074 (toysat) S 3068 3071 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25612665 1342771200 38089 33554432000 4194304 16246674 140733716161472 140343715548336 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) 1311300

[startup+0.300403 s]
/proc/loadavg: 2.20 2.24 2.18 3/179 3071
/proc/meminfo: memFree=17984520/32872528 swapFree=1200228/1314692
[pid=3071] ppid=3068 vsize=1312324 CPUtime=0.28 cores=0,2,4,6
/proc/3071/stat : 3071 (toysat) R 3068 3071 31224 0 -1 4202496 55108 0 0 0 21 7 0 0 20 0 4 0 25612665 1343819776 55407 33554432000 4194304 16246674 140733716161472 140733716143360 7364396 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3071/statm: 328081 55407 800 2943 0 324975 0
[pid=3071/tid=3072] ppid=3068 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3072/stat : 3072 (toysat) S 3068 3071 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25612665 1343819776 55407 33554432000 4194304 16246674 140733716161472 140343736511728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3071/tid=3073] ppid=3068 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3073/stat : 3073 (toysat) S 3068 3071 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25612665 1343819776 55407 33554432000 4194304 16246674 140733716161472 140343726021872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3071/tid=3074] ppid=3068 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3074/stat : 3074 (toysat) S 3068 3071 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25612665 1343819776 55407 33554432000 4194304 16246674 140733716161472 140343715548336 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) 1312324

[startup+0.700402 s]
/proc/loadavg: 2.20 2.24 2.18 3/179 3071
/proc/meminfo: memFree=17984520/32872528 swapFree=1200228/1314692
[pid=3071] ppid=3068 vsize=1312324 CPUtime=0.69 cores=0,2,4,6
/proc/3071/stat : 3071 (toysat) R 3068 3071 31224 0 -1 4202496 71896 0 0 0 60 9 0 0 20 0 4 0 25612665 1343819776 72195 33554432000 4194304 16246674 140733716161472 140733716143360 4222992 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3071/statm: 328081 72195 801 2943 0 324975 0
[pid=3071/tid=3072] ppid=3068 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3072/stat : 3072 (toysat) S 3068 3071 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25612665 1343819776 72195 33554432000 4194304 16246674 140733716161472 140343736511728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3071/tid=3073] ppid=3068 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3073/stat : 3073 (toysat) S 3068 3071 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25612665 1343819776 72195 33554432000 4194304 16246674 140733716161472 140343726021872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3071/tid=3074] ppid=3068 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3074/stat : 3074 (toysat) S 3068 3071 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25612665 1343819776 72195 33554432000 4194304 16246674 140733716161472 140343715548336 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) 1312324

[startup+1.5004 s]
/proc/loadavg: 2.20 2.24 2.18 3/183 3075
/proc/meminfo: memFree=17680104/32872528 swapFree=1200228/1314692
[pid=3071] ppid=3068 vsize=1326660 CPUtime=1.49 cores=0,2,4,6
/proc/3071/stat : 3071 (toysat) R 3068 3071 31224 0 -1 4202496 76148 0 0 0 139 10 0 0 20 0 4 0 25612665 1358499840 76447 33554432000 4194304 16246674 140733716161472 140733716160784 13790520 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3071/statm: 331665 76447 836 2943 0 328559 0
[pid=3071/tid=3072] ppid=3068 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3072/stat : 3072 (toysat) S 3068 3071 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25612665 1358499840 76447 33554432000 4194304 16246674 140733716161472 140343736511728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3071/tid=3073] ppid=3068 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3073/stat : 3073 (toysat) S 3068 3071 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25612665 1358499840 76447 33554432000 4194304 16246674 140733716161472 140343726021872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3071/tid=3074] ppid=3068 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3074/stat : 3074 (toysat) S 3068 3071 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25612665 1358499840 76447 33554432000 4194304 16246674 140733716161472 140343715548336 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) 1326660

[startup+3.10033 s]
/proc/loadavg: 2.20 2.24 2.18 3/183 3075
/proc/meminfo: memFree=17652576/32872528 swapFree=1200228/1314692
[pid=3071] ppid=3068 vsize=1353284 CPUtime=3.09 cores=0,2,4,6
/proc/3071/stat : 3071 (toysat) R 3068 3071 31224 0 -1 4202496 98423 0 0 0 297 12 0 0 20 0 4 0 25612665 1385762816 98722 33554432000 4194304 16246674 140733716161472 140733716143360 5523192 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3071/statm: 338321 98722 879 2943 0 335215 0
[pid=3071/tid=3072] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3072/stat : 3072 (toysat) S 3068 3071 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 98722 33554432000 4194304 16246674 140733716161472 140343736511728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3071/tid=3073] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3073/stat : 3073 (toysat) S 3068 3071 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 98722 33554432000 4194304 16246674 140733716161472 140343726021872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3071/tid=3074] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3074/stat : 3074 (toysat) S 3068 3071 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 98722 33554432000 4194304 16246674 140733716161472 140343715548336 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) 1353284

[startup+6.30041 s]
/proc/loadavg: 2.19 2.23 2.18 3/183 3075
/proc/meminfo: memFree=17356000/32872528 swapFree=1200228/1314692
[pid=3071] ppid=3068 vsize=1353284 CPUtime=6.28 cores=0,2,4,6
/proc/3071/stat : 3071 (toysat) R 3068 3071 31224 0 -1 4202496 157214 0 0 0 609 19 0 0 20 0 4 0 25612665 1385762816 157513 33554432000 4194304 16246674 140733716161472 140733716160648 4206587 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3071/statm: 338321 157513 894 2943 0 335215 0
[pid=3071/tid=3072] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3072/stat : 3072 (toysat) S 3068 3071 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 157513 33554432000 4194304 16246674 140733716161472 140343736511728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3071/tid=3073] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3073/stat : 3073 (toysat) S 3068 3071 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 157513 33554432000 4194304 16246674 140733716161472 140343726021872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3071/tid=3074] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3074/stat : 3074 (toysat) S 3068 3071 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 157513 33554432000 4194304 16246674 140733716161472 140343715548336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1353284

[startup+12.7004 s]
/proc/loadavg: 2.17 2.23 2.18 4/183 3075
/proc/meminfo: memFree=17311128/32872528 swapFree=1200228/1314692
[pid=3071] ppid=3068 vsize=1353284 CPUtime=12.69 cores=0,2,4,6
/proc/3071/stat : 3071 (toysat) R 3068 3071 31224 0 -1 4202496 168460 0 0 0 1247 22 0 0 20 0 4 0 25612665 1385762816 168759 33554432000 4194304 16246674 140733716161472 140733716159360 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3071/statm: 338321 168759 894 2943 0 335215 0
[pid=3071/tid=3072] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3072/stat : 3072 (toysat) S 3068 3071 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 168759 33554432000 4194304 16246674 140733716161472 140343736511728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3071/tid=3073] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3073/stat : 3073 (toysat) S 3068 3071 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 168759 33554432000 4194304 16246674 140733716161472 140343726021872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3071/tid=3074] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3074/stat : 3074 (toysat) S 3068 3071 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 168759 33554432000 4194304 16246674 140733716161472 140343715548336 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) 1353284

[startup+25.5005 s]
/proc/loadavg: 2.20 2.23 2.18 3/183 3075
/proc/meminfo: memFree=17311976/32872528 swapFree=1200228/1314692
[pid=3071] ppid=3068 vsize=1353284 CPUtime=25.49 cores=0,2,4,6
/proc/3071/stat : 3071 (toysat) R 3068 3071 31224 0 -1 4202496 168460 0 0 0 2526 23 0 0 20 0 4 0 25612665 1385762816 168759 33554432000 4194304 16246674 140733716161472 140733716160568 4220921 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3071/statm: 338321 168759 894 2943 0 335215 0
[pid=3071/tid=3072] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3072/stat : 3072 (toysat) S 3068 3071 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 168759 33554432000 4194304 16246674 140733716161472 140343736511728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3071/tid=3073] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3073/stat : 3073 (toysat) S 3068 3071 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 168759 33554432000 4194304 16246674 140733716161472 140343726021872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3071/tid=3074] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3074/stat : 3074 (toysat) S 3068 3071 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 168759 33554432000 4194304 16246674 140733716161472 140343715548336 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) 1353284

[startup+51.1005 s]
/proc/loadavg: 2.13 2.21 2.18 3/183 3075
/proc/meminfo: memFree=17312000/32872528 swapFree=1200228/1314692
[pid=3071] ppid=3068 vsize=1353284 CPUtime=51.08 cores=0,2,4,6
/proc/3071/stat : 3071 (toysat) R 3068 3071 31224 0 -1 4202496 168460 0 0 0 5084 24 0 0 20 0 4 0 25612665 1385762816 168759 33554432000 4194304 16246674 140733716161472 140733716159296 4220536 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3071/statm: 338321 168759 894 2943 0 335215 0
[pid=3071/tid=3072] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3072/stat : 3072 (toysat) S 3068 3071 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 168759 33554432000 4194304 16246674 140733716161472 140343736511728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3071/tid=3073] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3073/stat : 3073 (toysat) S 3068 3071 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 168759 33554432000 4194304 16246674 140733716161472 140343726021872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3071/tid=3074] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3074/stat : 3074 (toysat) S 3068 3071 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 168759 33554432000 4194304 16246674 140733716161472 140343715548336 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) 1353284

[startup+102.3 s]
/proc/loadavg: 2.10 2.19 2.17 4/183 3076
/proc/meminfo: memFree=17311468/32872528 swapFree=1200228/1314692
[pid=3071] ppid=3068 vsize=1353284 CPUtime=102.28 cores=0,2,4,6
/proc/3071/stat : 3071 (toysat) R 3068 3071 31224 0 -1 4202496 168461 0 0 0 10201 27 0 0 20 0 4 0 25612665 1385762816 168760 33554432000 4194304 16246674 140733716161472 140733716160648 4224677 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3071/statm: 338321 168760 895 2943 0 335215 0
[pid=3071/tid=3072] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3072/stat : 3072 (toysat) S 3068 3071 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 168760 33554432000 4194304 16246674 140733716161472 140343736511728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3071/tid=3073] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3073/stat : 3073 (toysat) S 3068 3071 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 168760 33554432000 4194304 16246674 140733716161472 140343726021872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3071/tid=3074] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3074/stat : 3074 (toysat) S 3068 3071 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 168760 33554432000 4194304 16246674 140733716161472 140343715548336 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) 1353284


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

/proc/3071/task/3074/stat : 3074 (toysat) S 3068 3071 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 219747 33554432000 4194304 16246674 140733716161472 140343715548336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1353284

[startup+1302.3 s]
/proc/loadavg: 2.32 2.21 2.19 3/183 3178
/proc/meminfo: memFree=28009300/32872528 swapFree=1200228/1314692
[pid=3071] ppid=3068 vsize=1353284 CPUtime=1302.1 cores=0,2,4,6
/proc/3071/stat : 3071 (toysat) R 3068 3071 31224 0 -1 4202496 223015 0 0 0 130095 115 0 0 20 0 4 0 25612665 1385762816 225174 33554432000 4194304 16246674 140733716161472 140733716160568 13857076 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3071/statm: 338321 225174 895 2943 0 335215 0
[pid=3071/tid=3072] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3072/stat : 3072 (toysat) S 3068 3071 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 225174 33554432000 4194304 16246674 140733716161472 140343736511728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3071/tid=3073] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3073/stat : 3073 (toysat) S 3068 3071 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 225174 33554432000 4194304 16246674 140733716161472 140343726021872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3071/tid=3074] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3074/stat : 3074 (toysat) S 3068 3071 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 225174 33554432000 4194304 16246674 140733716161472 140343715548336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 1353284

[startup+1362.3 s]
/proc/loadavg: 2.16 2.19 2.18 4/183 3179
/proc/meminfo: memFree=27795676/32872528 swapFree=1200228/1314692
[pid=3071] ppid=3068 vsize=1353284 CPUtime=1362.09 cores=0,2,4,6
/proc/3071/stat : 3071 (toysat) R 3068 3071 31224 0 -1 4202496 230174 0 0 0 136088 121 0 0 20 0 4 0 25612665 1385762816 256525 33554432000 4194304 16246674 140733716161472 140733716160568 4225974 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3071/statm: 338321 256525 895 2943 0 335215 0
[pid=3071/tid=3072] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3072/stat : 3072 (toysat) S 3068 3071 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 256525 33554432000 4194304 16246674 140733716161472 140343736511728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3071/tid=3073] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3073/stat : 3073 (toysat) S 3068 3071 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 256525 33554432000 4194304 16246674 140733716161472 140343726021872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3071/tid=3074] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3074/stat : 3074 (toysat) S 3068 3071 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 256525 33554432000 4194304 16246674 140733716161472 140343715548336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 1353284

[startup+1422.3 s]
/proc/loadavg: 2.15 2.18 2.18 3/183 3180
/proc/meminfo: memFree=27742028/32872528 swapFree=1200228/1314692
[pid=3071] ppid=3068 vsize=1353284 CPUtime=1422.07 cores=0,2,4,6
/proc/3071/stat : 3071 (toysat) R 3068 3071 31224 0 -1 4202496 236435 0 0 0 142082 125 0 0 20 0 4 0 25612665 1385762816 269985 33554432000 4194304 16246674 140733716161472 140733716143360 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3071/statm: 338321 269985 895 2943 0 335215 0
[pid=3071/tid=3072] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3072/stat : 3072 (toysat) S 3068 3071 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 269985 33554432000 4194304 16246674 140733716161472 140343736511728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3071/tid=3073] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3073/stat : 3073 (toysat) S 3068 3071 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 269985 33554432000 4194304 16246674 140733716161472 140343726021872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3071/tid=3074] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3074/stat : 3074 (toysat) S 3068 3071 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 269985 33554432000 4194304 16246674 140733716161472 140343715548336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1353284

[startup+1482.3 s]
/proc/loadavg: 2.11 2.16 2.17 4/183 3182
/proc/meminfo: memFree=27742032/32872528 swapFree=1200228/1314692
[pid=3071] ppid=3068 vsize=1353284 CPUtime=1482.05 cores=0,2,4,6
/proc/3071/stat : 3071 (toysat) R 3068 3071 31224 0 -1 4202496 236446 0 0 0 148075 130 0 0 20 0 4 0 25612665 1385762816 269985 33554432000 4194304 16246674 140733716161472 140733716160648 12483272 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3071/statm: 338321 269985 895 2943 0 335215 0
[pid=3071/tid=3072] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3072/stat : 3072 (toysat) S 3068 3071 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 269985 33554432000 4194304 16246674 140733716161472 140343736511728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3071/tid=3073] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3073/stat : 3073 (toysat) S 3068 3071 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 269985 33554432000 4194304 16246674 140733716161472 140343726021872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3071/tid=3074] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3074/stat : 3074 (toysat) S 3068 3071 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 269985 33554432000 4194304 16246674 140733716161472 140343715548336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1353284

[startup+1542.31 s]
/proc/loadavg: 2.08 2.14 2.16 4/183 3183
/proc/meminfo: memFree=27870420/32872528 swapFree=1200228/1314692
[pid=3071] ppid=3068 vsize=1353284 CPUtime=1542.05 cores=0,2,4,6
/proc/3071/stat : 3071 (toysat) R 3068 3071 31224 0 -1 4202496 236454 0 0 0 154071 134 0 0 20 0 4 0 25612665 1385762816 269985 33554432000 4194304 16246674 140733716161472 140733716160568 5722656 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3071/statm: 338321 269985 895 2943 0 335215 0
[pid=3071/tid=3072] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3072/stat : 3072 (toysat) S 3068 3071 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 269985 33554432000 4194304 16246674 140733716161472 140343736511728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3071/tid=3073] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3073/stat : 3073 (toysat) S 3068 3071 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 269985 33554432000 4194304 16246674 140733716161472 140343726021872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3071/tid=3074] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3074/stat : 3074 (toysat) S 3068 3071 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 269985 33554432000 4194304 16246674 140733716161472 140343715548336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1353284

[startup+1602.3 s]
/proc/loadavg: 2.20 2.16 2.17 4/182 3184
/proc/meminfo: memFree=27796388/32872528 swapFree=1200228/1314692
[pid=3071] ppid=3068 vsize=1353284 CPUtime=1602.03 cores=0,2,4,6
/proc/3071/stat : 3071 (toysat) R 3068 3071 31224 0 -1 4202496 236458 0 0 0 160065 138 0 0 20 0 4 0 25612665 1385762816 279561 33554432000 4194304 16246674 140733716161472 140733716160648 5722912 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3071/statm: 338321 279561 895 2943 0 335215 0
[pid=3071/tid=3072] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3072/stat : 3072 (toysat) S 3068 3071 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 279561 33554432000 4194304 16246674 140733716161472 140343736511728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3071/tid=3073] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3073/stat : 3073 (toysat) S 3068 3071 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 279561 33554432000 4194304 16246674 140733716161472 140343726021872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3071/tid=3074] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3074/stat : 3074 (toysat) S 3068 3071 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 279561 33554432000 4194304 16246674 140733716161472 140343715548336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1353284

[startup+1662.3 s]
/proc/loadavg: 2.24 2.17 2.17 3/183 3186
/proc/meminfo: memFree=27737856/32872528 swapFree=1200228/1314692
[pid=3071] ppid=3068 vsize=1353284 CPUtime=1662.02 cores=0,2,4,6
/proc/3071/stat : 3071 (toysat) R 3068 3071 31224 0 -1 4202496 236469 0 0 0 166059 143 0 0 20 0 4 0 25612665 1385762816 279561 33554432000 4194304 16246674 140733716161472 140733716160568 4220921 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3071/statm: 338321 279561 895 2943 0 335215 0
[pid=3071/tid=3072] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3072/stat : 3072 (toysat) S 3068 3071 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 279561 33554432000 4194304 16246674 140733716161472 140343736511728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3071/tid=3073] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3073/stat : 3073 (toysat) S 3068 3071 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 279561 33554432000 4194304 16246674 140733716161472 140343726021872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3071/tid=3074] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3074/stat : 3074 (toysat) S 3068 3071 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 279561 33554432000 4194304 16246674 140733716161472 140343715548336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1353284

[startup+1722.3 s]
/proc/loadavg: 2.30 2.21 2.18 3/183 3187
/proc/meminfo: memFree=27914236/32872528 swapFree=1200228/1314692
[pid=3071] ppid=3068 vsize=1353284 CPUtime=1722.01 cores=0,2,4,6
/proc/3071/stat : 3071 (toysat) R 3068 3071 31224 0 -1 4202496 236474 0 0 0 172053 148 0 0 20 0 4 0 25612665 1385762816 279561 33554432000 4194304 16246674 140733716161472 140733716160648 12875598 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3071/statm: 338321 279561 895 2943 0 335215 0
[pid=3071/tid=3072] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3072/stat : 3072 (toysat) S 3068 3071 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 279561 33554432000 4194304 16246674 140733716161472 140343736511728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3071/tid=3073] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3073/stat : 3073 (toysat) S 3068 3071 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 279561 33554432000 4194304 16246674 140733716161472 140343726021872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3071/tid=3074] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3074/stat : 3074 (toysat) S 3068 3071 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 279561 33554432000 4194304 16246674 140733716161472 140343715548336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1353284

[startup+1782.3 s]
/proc/loadavg: 2.25 2.22 2.18 3/184 3192
/proc/meminfo: memFree=27703076/32872528 swapFree=1200228/1314692
[pid=3071] ppid=3068 vsize=1353284 CPUtime=1781.99 cores=0,2,4,6
/proc/3071/stat : 3071 (toysat) R 3068 3071 31224 0 -1 4202496 236484 0 0 0 178048 151 0 0 20 0 4 0 25612665 1385762816 279561 33554432000 4194304 16246674 140733716161472 140733716160648 4220850 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3071/statm: 338321 279561 895 2943 0 335215 0
[pid=3071/tid=3072] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3072/stat : 3072 (toysat) S 3068 3071 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 279561 33554432000 4194304 16246674 140733716161472 140343736511728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3071/tid=3073] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3073/stat : 3073 (toysat) S 3068 3071 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 279561 33554432000 4194304 16246674 140733716161472 140343726021872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3071/tid=3074] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3074/stat : 3074 (toysat) S 3068 3071 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 279561 33554432000 4194304 16246674 140733716161472 140343715548336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1353284



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.19 2.20 2.18 3/184 3192
/proc/meminfo: memFree=27703416/32872528 swapFree=1200228/1314692
[pid=3071] ppid=3068 vsize=1353284 CPUtime=1800.09 cores=0,2,4,6
/proc/3071/stat : 3071 (toysat) R 3068 3071 31224 0 -1 4202496 236485 0 0 0 179857 152 0 0 20 0 4 0 25612665 1385762816 279561 33554432000 4194304 16246674 140733716161472 140733716160648 13885029 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3071/statm: 338321 279561 895 2943 0 335215 0
[pid=3071/tid=3072] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3072/stat : 3072 (toysat) S 3068 3071 31224 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 279561 33554432000 4194304 16246674 140733716161472 140343736511728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=3071/tid=3073] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3073/stat : 3073 (toysat) S 3068 3071 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 279561 33554432000 4194304 16246674 140733716161472 140343726021872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=3071/tid=3074] ppid=3068 vsize=1353284 CPUtime=0 cores=0,2,4,6
/proc/3071/task/3074/stat : 3074 (toysat) S 3068 3071 31224 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25612665 1385762816 279561 33554432000 4194304 16246674 140733716161472 140343715548336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1353284

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 3071 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.42
CPU time (s): 1800.12
CPU user time (s): 1798.58
CPU system time (s): 1.53977
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 1353284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.58
system time used= 1.53977
maximum resident set size= 1118244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 236485
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= 67
involuntary context switches= 1846

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.56331 second user time and 6.98594 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-18 09:41:01
IDJOB=4103365
IDBENCH=2340
IDSOLVER=2542
FILE ID=node131/4103365-1466235661
RUNJOBID= node131-1466206062-31240
PBS_JOBID= 19918146
Free space on /tmp= 71684 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-rail507.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103365-1466235661/watcher-4103365-1466235661 -o /tmp/evaluation-result-4103365-1466235661/solver-4103365-1466235661 -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-4103365-1466235661.opb

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

MD5SUM BENCH= b64b1289c3ff1650f1def7d80f25fc5a
RANDOM SEED=1358312291

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:        17984900 kB
Buffers:          126856 kB
Cached:           164024 kB
SwapCached:         1420 kB
Active:         12572232 kB
Inactive:         237860 kB
Active(anon):   12467420 kB
Inactive(anon):    53748 kB
Active(file):     104812 kB
Inactive(file):   184112 kB
Unevictable:     1314692 kB
Mlocked:         1200228 kB
SwapTotal:      67108856 kB
SwapFree:       67099856 kB
Dirty:             22164 kB
Writeback:             0 kB
AnonPages:      13834780 kB
Mapped:            10484 kB
Shmem:                 0 kB
Slab:             602572 kB
SReclaimable:      46532 kB
SUnreclaim:       556040 kB
KernelStack:        1512 kB
PageTables:        31080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   13977248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    436224 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= 71664 MiB
End job on node131 at 2016-06-18 10:11:02