Trace number 4118114

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.01 1800.31

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern45-45.opb
MD5SUMc6cb36aa8483499e6e43a8fb071f0009
Bench CategoryOPT-BIGINT-NLC (optimisation, big integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-26484
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables0
Total number of constraints0
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint-1
Maximum length of a constraint0
Number of terms in the objective function 21993
Biggest coefficient in the objective function 5732
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 2064416
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 5732
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 2064416
Number of bits of the biggest sum of numbers21
Number of products (including duplicates)21948
Sum of products size (including duplicates)71707
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-29T19:36:32+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-4118114-1467221792.opb"]
0.00/0.01	c use --random-gen="3698463663 2791277513 4233489993 4069918022 2487015316 2681053603 2079648195 3615061943 1888981048 3202592136 2794041071 3427581601 4290559594 3130984970 2120764071 2290321583 581750391 2093733935 4213071595 637439083 4130846488 1777788360 3299636329 310131529 2538219946 932967018 3637414216 728119462 199155234 685936316 183132757 911539880 1458477036 3594488679 2300169340 2893439222 2445390165 1979736554 1100308868 2117970057 3502759451 3499141933 3678131238 685268559 260599325 2560732132 1259316460 1485338112 726126475 1246292232 692725698 1282738516 2658509167 2742899879 2063775236 1710068331 162345454 2236460268 4019482473 981659225 1633136752 3779665732 3625280023 1048448795 2687330156 377081419 3006990153 1090283986 1933464234 3414839447 2949141173 4077463236 3317726651 3132914877 2438656936 840910929 4054075604 3610345808 1502453035 3301751474 2945187047 2783791888 1019288199 1186490784 2266499293 4066051380 2312595455 1511340030 1278289673 1667854910 484892662 1304509454 3048578110 3234841012 546615064 2949944233 3471410353 1237667600 1005570054 354905039 1074516930 2477280124 3643264742 1775002575 3598320466 2791311150 1092755878 1941271888 2034455111 2529719386 1267962453 413277113 1250973726 252048522 2839290430 2378432528 4033676587 1658377296 1657830156 3339349045 140447617 3443389962 3245465677 2266761038 3497617364 2577735469 2644899765 1467174925 3577836340 2512415960 1800817501 2996420470 3932536183 2390620270 4271090441 3475420917 3999853333 1667397152 2165228255 896638282 3855645126 558341012 3469354135 3394678873 3392020378 2657356995 1385655806 915799455 1195241244 1719246894 1283732992 506764719 1230968283 982800316 2571524748 1815985359 682032143 3328394556 2662395663 2900849687 355844596 3725624102 3989232901 3593734802 1302738997 170326935 4152880545 1286507361 1301535309 2101679160 907188913 3185234600 1993504614 4166080221 1722232742 293022116 1844850091 3378746574 1162203403 2810276260 3189629880 1110727316 2486907907 912271855 3285311588 2348508220 164958359 1317440544 1443270660 4096589910 3240632594 1169190547 769667965 4000613538 323784074 1928250924 2774498094 671945894 383835270 4174152882 857498034 3213581668 3350487769 3598870882 4082709651 1079923198 2615278498 1849269721 3975390931 388403073 1618017177 467688068 2058247599 33373032 1921447103 152311684 5245725 3411850916 1935142291 2556941068 3796734527 2081378050 2477342679 2975285820 2294877569 1194970287 4076374402 1492710594 624744148 3382915360 2376376972 1900862451 876663758 1770866808 1933267319 882583303 2411562342 178333627 1362620285 4271142722 2807160465 1823440581 2555027793 991570584 860261520 2437398187 2501589884 581985821 3558978825 4267937424 1898097286 89791963 1870946643 1359557261 492649172 2727459388 255 362436" option to reproduce the execution
0.00/0.10	c #vars 45
0.00/0.10	c #constraints 0
0.49/0.57	c BCD2: Hardening is enabled.
0.49/0.57	c BCD2: BiasedSearch is enabled.
0.49/0.57	c Solving starts ...
0.49/0.57	c ============================[ Search Statistics ]============================
0.49/0.57	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.49/0.57	c       |         |          |          |    Limit     GC | Var      | Constra 
0.49/0.57	c =============================================================================
0.59/0.61	c  0.0s |       0 |        0 |        0 |    24050      0 |        0 |        0
0.59/0.67	c  0.1s |       0 |    15077 |        0 |    24050      0 |        0 |        0
0.59/0.67	c #cpu_time = 0.052s
0.59/0.67	c #wall_clock_time = 0.052s
0.59/0.67	c #decision = 15077
0.59/0.67	c #random_decision = 42
0.59/0.67	c #conflict = 0
0.59/0.67	c #restart = 0
0.59/0.68	o 0
499.32/499.48	c BCD2: updating upper bound: 2064416 -> 1032207
1069.91/1070.14	c BCD2: 0 <= obj <= 1032207
1069.91/1070.14	c BCD2: #cores=0, #unrelaxed=21993, #relaxed=0, #hardened=0
1069.91/1070.14	c BCD2: #sat=1 #unsat=1 bias=1/2
1069.91/1070.15	c Solving starts ...
1069.91/1070.15	c ============================[ Search Statistics ]============================
1069.91/1070.15	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1069.91/1070.15	c       |         |          |          |    Limit     GC | Var      | Constra 
1069.91/1070.15	c =============================================================================
1069.91/1070.15	c  0.0s |       0 |        0 |        0 |    24050      0 |        0 |        0
1070.01/1070.22	c  0.1s |       0 |     7844 |        0 |    24050      0 |        0 |        0
1070.01/1070.22	c #cpu_time = 0.058s
1070.01/1070.22	c #wall_clock_time = 0.058s
1070.01/1070.22	c #decision = 7844
1070.01/1070.22	c #random_decision = 0
1070.01/1070.22	c #conflict = 0
1070.01/1070.22	c #restart = 0
1070.01/1070.22	c BCD2: found a new core of size 3: cost of the new core is >=168
1070.01/1070.22	c lower bound updated to -1032040
1715.31/1715.69	c BCD2: 168 <= obj <= 1032207
1715.31/1715.69	c BCD2: #cores=1, #unrelaxed=21990, #relaxed=3, #hardened=0
1715.31/1715.69	c BCD2: #sat=1 #unsat=2 bias=2/3
1715.31/1715.69	c Solving starts ...
1715.31/1715.69	c ============================[ Search Statistics ]============================
1715.31/1715.69	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1715.31/1715.69	c       |         |          |          |    Limit     GC | Var      | Constra 
1715.31/1715.69	c =============================================================================
1715.31/1715.69	c  0.0s |       0 |        0 |        0 |    24050      0 |        0 |        1
1715.41/1715.79	c  0.1s |       0 |     7843 |        0 |    24050      0 |        0 |        1
1715.41/1715.79	c #cpu_time = 0.079s
1715.41/1715.79	c #wall_clock_time = 0.079s
1715.41/1715.79	c #decision = 7843
1715.41/1715.79	c #random_decision = 0
1715.41/1715.79	c #conflict = 0
1715.41/1715.79	c #restart = 0
1715.41/1715.79	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=272
1715.41/1715.79	c BCD2: refineLB: 169 -> 272
1715.41/1715.79	c lower bound updated to -1031936

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

pid=5371
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.12 2.16 2.17 2/179 5374
/proc/meminfo: memFree=23480108/32872528 swapFree=1253612/1390560
[pid=5374] ppid=5371 vsize=741820 CPUtime=0 cores=0,2,4,6
/proc/5374/stat : 5374 (toysat) R 5371 5374 3971 0 -1 4202496 2767 0 0 0 0 0 0 0 20 0 4 0 3140033 759623680 3639 33554432000 4194304 16246674 140733594664624 140733594664048 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5374/statm: 186223 3648 441 2943 0 183117 0
[pid=5374/tid=5375] ppid=5371 vsize=760252 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5375/stat : 5375 (toysat) S 5371 5374 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3140033 778498048 3711 33554432000 4194304 16246674 140733594664624 140614091910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5374/tid=5376] ppid=5371 vsize=764348 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5376/stat : 5376 (toysat) S 5371 5374 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3140033 782692352 3728 33554432000 4194304 16246674 140733594664624 140614008024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5374/tid=5377] ppid=5371 vsize=768444 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5377/stat : 5377 (toysat) S 5371 5374 3971 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3140033 786886656 3742 33554432000 4194304 16246674 140733594664624 140613997550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100115 s]
/proc/loadavg: 2.12 2.16 2.17 2/179 5374
/proc/meminfo: memFree=23480108/32872528 swapFree=1253612/1390560
[pid=5374] ppid=5371 vsize=1300036 CPUtime=0.09 cores=0,2,4,6
/proc/5374/stat : 5374 (toysat) R 5371 5374 3971 0 -1 4202496 26701 0 0 0 6 3 0 0 20 0 4 0 3140033 1331236864 27511 33554432000 4194304 16246674 140733594664624 140733594663936 5703736 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5374/statm: 325009 27521 828 2943 0 321903 0
[pid=5374/tid=5375] ppid=5371 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5375/stat : 5375 (toysat) S 5371 5374 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3140033 1331236864 27528 33554432000 4194304 16246674 140733594664624 140614091910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5374/tid=5376] ppid=5371 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5376/stat : 5376 (toysat) S 5371 5374 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3140033 1331236864 27537 33554432000 4194304 16246674 140733594664624 140614008024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5374/tid=5377] ppid=5371 vsize=1300036 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5377/stat : 5377 (toysat) S 5371 5374 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3140033 1331236864 27545 33554432000 4194304 16246674 140733594664624 140613997550768 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) 1300036

[startup+0.20048 s]
/proc/loadavg: 2.12 2.16 2.17 2/179 5374
/proc/meminfo: memFree=23480108/32872528 swapFree=1253612/1390560
[pid=5374] ppid=5371 vsize=1305156 CPUtime=0.19 cores=0,2,4,6
/proc/5374/stat : 5374 (toysat) R 5371 5374 3971 0 -1 4202496 46070 0 0 0 13 6 0 0 20 0 4 0 3140033 1336479744 46880 33554432000 4194304 16246674 140733594664624 140733594663936 4221105 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5374/statm: 326289 46884 828 2943 0 323183 0
[pid=5374/tid=5375] ppid=5371 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5375/stat : 5375 (toysat) S 5371 5374 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3140033 1336479744 46886 33554432000 4194304 16246674 140733594664624 140614091910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5374/tid=5376] ppid=5371 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5376/stat : 5376 (toysat) S 5371 5374 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3140033 1336479744 46888 33554432000 4194304 16246674 140733594664624 140614008024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5374/tid=5377] ppid=5371 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5377/stat : 5377 (toysat) S 5371 5374 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3140033 1336479744 46891 33554432000 4194304 16246674 140733594664624 140613997550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1305156

[startup+0.300479 s]
/proc/loadavg: 2.12 2.16 2.17 2/179 5374
/proc/meminfo: memFree=23480108/32872528 swapFree=1253612/1390560
[pid=5374] ppid=5371 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/5374/stat : 5374 (toysat) R 5371 5374 3971 0 -1 4202496 48714 0 0 0 23 6 0 0 20 0 4 0 3140033 1343819776 49524 33554432000 4194304 16246674 140733594664624 140733594663936 5703105 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5374/statm: 328081 49537 828 2943 0 324975 0
[pid=5374/tid=5375] ppid=5371 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5375/stat : 5375 (toysat) S 5371 5374 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3140033 1343819776 49547 33554432000 4194304 16246674 140733594664624 140614091910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5374/tid=5376] ppid=5371 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5376/stat : 5376 (toysat) S 5371 5374 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3140033 1343819776 49554 33554432000 4194304 16246674 140733594664624 140614008024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5374/tid=5377] ppid=5371 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5377/stat : 5377 (toysat) S 5371 5374 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3140033 1343819776 49562 33554432000 4194304 16246674 140733594664624 140613997550768 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.700411 s]
/proc/loadavg: 2.12 2.16 2.17 2/179 5374
/proc/meminfo: memFree=23480108/32872528 swapFree=1253612/1390560
[pid=5374] ppid=5371 vsize=1319492 CPUtime=0.69 cores=0,2,4,6
/proc/5374/stat : 5374 (toysat) R 5371 5374 3971 0 -1 4202496 65476 0 0 0 60 9 0 0 20 0 4 0 3140033 1351159808 66286 33554432000 4194304 16246674 140733594664624 140733594662528 13898695 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5374/statm: 329873 66286 866 2943 0 326767 0
[pid=5374/tid=5375] ppid=5371 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5375/stat : 5375 (toysat) S 5371 5374 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3140033 1351159808 66286 33554432000 4194304 16246674 140733594664624 140614091910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5374/tid=5376] ppid=5371 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5376/stat : 5376 (toysat) S 5371 5374 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3140033 1351159808 66286 33554432000 4194304 16246674 140733594664624 140614008024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5374/tid=5377] ppid=5371 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5377/stat : 5377 (toysat) S 5371 5374 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3140033 1351159808 66286 33554432000 4194304 16246674 140733594664624 140613997550768 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) 1319492

[startup+1.50039 s]
/proc/loadavg: 2.11 2.16 2.17 2/177 5398
/proc/meminfo: memFree=24003380/32872528 swapFree=1253612/1390560
[pid=5374] ppid=5371 vsize=1319492 CPUtime=1.49 cores=0,2,4,6
/proc/5374/stat : 5374 (toysat) R 5371 5374 3971 0 -1 4202496 271043 0 0 0 113 36 0 0 20 0 4 0 3140033 1351159808 271853 33554432000 4194304 16246674 140733594664624 140733594646528 12654233 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5374/statm: 329873 271853 876 2943 0 326767 0
[pid=5374/tid=5375] ppid=5371 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5375/stat : 5375 (toysat) S 5371 5374 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3140033 1351159808 271853 33554432000 4194304 16246674 140733594664624 140614091910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5374/tid=5376] ppid=5371 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5376/stat : 5376 (toysat) S 5371 5374 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3140033 1351159808 271853 33554432000 4194304 16246674 140733594664624 140614008024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5374/tid=5377] ppid=5371 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5377/stat : 5377 (toysat) S 5371 5374 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3140033 1351159808 271853 33554432000 4194304 16246674 140733594664624 140613997550768 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) 1319492

[startup+3.10042 s]
/proc/loadavg: 2.11 2.16 2.17 3/183 5427
/proc/meminfo: memFree=22895380/32872528 swapFree=1253612/1390560
[pid=5374] ppid=5371 vsize=1319492 CPUtime=3.09 cores=0,2,4,6
/proc/5374/stat : 5374 (toysat) R 5371 5374 3971 0 -1 4202496 271043 0 0 0 273 36 0 0 20 0 4 0 3140033 1351159808 271853 33554432000 4194304 16246674 140733594664624 140733594646528 12371234 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5374/statm: 329873 271853 876 2943 0 326767 0
[pid=5374/tid=5375] ppid=5371 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5375/stat : 5375 (toysat) S 5371 5374 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3140033 1351159808 271853 33554432000 4194304 16246674 140733594664624 140614091910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5374/tid=5376] ppid=5371 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5376/stat : 5376 (toysat) S 5371 5374 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3140033 1351159808 271853 33554432000 4194304 16246674 140733594664624 140614008024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5374/tid=5377] ppid=5371 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5377/stat : 5377 (toysat) S 5371 5374 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3140033 1351159808 271853 33554432000 4194304 16246674 140733594664624 140613997550768 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) 1319492

[startup+6.30037 s]
/proc/loadavg: 2.11 2.16 2.17 3/183 5427
/proc/meminfo: memFree=22415348/32872528 swapFree=1253612/1390560
[pid=5374] ppid=5371 vsize=1319492 CPUtime=6.29 cores=0,2,4,6
/proc/5374/stat : 5374 (toysat) R 5371 5374 3971 0 -1 4202496 271043 0 0 0 593 36 0 0 20 0 4 0 3140033 1351159808 271853 33554432000 4194304 16246674 140733594664624 140733594646528 6955595 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5374/statm: 329873 271853 876 2943 0 326767 0
[pid=5374/tid=5375] ppid=5371 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5375/stat : 5375 (toysat) S 5371 5374 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3140033 1351159808 271853 33554432000 4194304 16246674 140733594664624 140614091910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5374/tid=5376] ppid=5371 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5376/stat : 5376 (toysat) S 5371 5374 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3140033 1351159808 271853 33554432000 4194304 16246674 140733594664624 140614008024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5374/tid=5377] ppid=5371 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5377/stat : 5377 (toysat) S 5371 5374 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3140033 1351159808 271853 33554432000 4194304 16246674 140733594664624 140613997550768 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) 1319492

[startup+12.7004 s]
/proc/loadavg: 2.24 2.18 2.18 4/183 5427
/proc/meminfo: memFree=22415088/32872528 swapFree=1253612/1390560
[pid=5374] ppid=5371 vsize=1319492 CPUtime=12.69 cores=0,2,4,6
/proc/5374/stat : 5374 (toysat) R 5371 5374 3971 0 -1 4202496 271043 0 0 0 1233 36 0 0 20 0 4 0 3140033 1351159808 271853 33554432000 4194304 16246674 140733594664624 140733594646528 12655197 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5374/statm: 329873 271853 876 2943 0 326767 0
[pid=5374/tid=5375] ppid=5371 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5375/stat : 5375 (toysat) S 5371 5374 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3140033 1351159808 271853 33554432000 4194304 16246674 140733594664624 140614091910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5374/tid=5376] ppid=5371 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5376/stat : 5376 (toysat) S 5371 5374 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3140033 1351159808 271853 33554432000 4194304 16246674 140733594664624 140614008024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5374/tid=5377] ppid=5371 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5377/stat : 5377 (toysat) S 5371 5374 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3140033 1351159808 271853 33554432000 4194304 16246674 140733594664624 140613997550768 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) 1319492

[startup+25.5005 s]
/proc/loadavg: 2.21 2.18 2.18 4/183 5427
/proc/meminfo: memFree=22415192/32872528 swapFree=1253612/1390560
[pid=5374] ppid=5371 vsize=1319492 CPUtime=25.48 cores=0,2,4,6
/proc/5374/stat : 5374 (toysat) R 5371 5374 3971 0 -1 4202496 271043 0 0 0 2512 36 0 0 20 0 4 0 3140033 1351159808 271853 33554432000 4194304 16246674 140733594664624 140733594646528 12449269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5374/statm: 329873 271853 876 2943 0 326767 0
[pid=5374/tid=5375] ppid=5371 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5375/stat : 5375 (toysat) S 5371 5374 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3140033 1351159808 271853 33554432000 4194304 16246674 140733594664624 140614091910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5374/tid=5376] ppid=5371 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5376/stat : 5376 (toysat) S 5371 5374 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3140033 1351159808 271853 33554432000 4194304 16246674 140733594664624 140614008024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5374/tid=5377] ppid=5371 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5377/stat : 5377 (toysat) S 5371 5374 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3140033 1351159808 271853 33554432000 4194304 16246674 140733594664624 140613997550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1319492

[startup+51.1005 s]
/proc/loadavg: 2.13 2.16 2.17 4/183 5427
/proc/meminfo: memFree=22413220/32872528 swapFree=1253612/1390560
[pid=5374] ppid=5371 vsize=1319492 CPUtime=51.08 cores=0,2,4,6
/proc/5374/stat : 5374 (toysat) R 5371 5374 3971 0 -1 4202496 271043 0 0 0 5072 36 0 0 20 0 4 0 3140033 1351159808 271853 33554432000 4194304 16246674 140733594664624 140733594646528 12371164 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5374/statm: 329873 271853 876 2943 0 326767 0
[pid=5374/tid=5375] ppid=5371 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5375/stat : 5375 (toysat) S 5371 5374 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3140033 1351159808 271853 33554432000 4194304 16246674 140733594664624 140614091910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5374/tid=5376] ppid=5371 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5376/stat : 5376 (toysat) S 5371 5374 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3140033 1351159808 271853 33554432000 4194304 16246674 140733594664624 140614008024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5374/tid=5377] ppid=5371 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5377/stat : 5377 (toysat) S 5371 5374 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3140033 1351159808 271853 33554432000 4194304 16246674 140733594664624 140613997550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1319492

[startup+102.3 s]
/proc/loadavg: 2.28 2.19 2.18 4/183 5429
/proc/meminfo: memFree=22412220/32872528 swapFree=1253612/1390560
[pid=5374] ppid=5371 vsize=1319492 CPUtime=102.28 cores=0,2,4,6
/proc/5374/stat : 5374 (toysat) R 5371 5374 3971 0 -1 4202496 271043 0 0 0 10192 36 0 0 20 0 4 0 3140033 1351159808 271853 33554432000 4194304 16246674 140733594664624 140733594646528 13950202 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5374/statm: 329873 271853 876 2943 0 326767 0
[pid=5374/tid=5375] ppid=5371 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5375/stat : 5375 (toysat) S 5371 5374 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3140033 1351159808 271853 33554432000 4194304 16246674 140733594664624 140614091910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5374/tid=5376] ppid=5371 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5376/stat : 5376 (toysat) S 5371 5374 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3140033 1351159808 271853 33554432000 4194304 16246674 140733594664624 140614008024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5374/tid=5377] ppid=5371 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5377/stat : 5377 (toysat) S 5371 5374 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3140033 1351159808 271853 33554432000 4194304 16246674 140733594664624 140613997550768 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) 1319492


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

/proc/5374/task/5377/stat : 5377 (toysat) S 5371 5374 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3140033 1365839872 275465 33554432000 4194304 16246674 140733594664624 140613997550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1333828

[startup+1362.3 s]
/proc/loadavg: 2.22 2.17 2.16 4/183 5460
/proc/meminfo: memFree=22384672/32872528 swapFree=1253612/1390560
[pid=5374] ppid=5371 vsize=1333828 CPUtime=1362.07 cores=0,2,4,6
/proc/5374/stat : 5374 (toysat) R 5371 5374 3971 0 -1 4202496 274683 0 0 0 136168 39 0 0 20 0 4 0 3140033 1365839872 275465 33554432000 4194304 16246674 140733594664624 140733594646528 12652957 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5374/statm: 333457 275465 900 2943 0 330351 0
[pid=5374/tid=5375] ppid=5371 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5375/stat : 5375 (toysat) S 5371 5374 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3140033 1365839872 275465 33554432000 4194304 16246674 140733594664624 140614091910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5374/tid=5376] ppid=5371 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5376/stat : 5376 (toysat) S 5371 5374 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3140033 1365839872 275465 33554432000 4194304 16246674 140733594664624 140614008024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5374/tid=5377] ppid=5371 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5377/stat : 5377 (toysat) S 5371 5374 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3140033 1365839872 275465 33554432000 4194304 16246674 140733594664624 140613997550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1333828

[startup+1422.3 s]
/proc/loadavg: 2.14 2.15 2.16 3/184 5464
/proc/meminfo: memFree=22384984/32872528 swapFree=1253612/1390560
[pid=5374] ppid=5371 vsize=1333828 CPUtime=1422.06 cores=0,2,4,6
/proc/5374/stat : 5374 (toysat) R 5371 5374 3971 0 -1 4202496 274683 0 0 0 142167 39 0 0 20 0 4 0 3140033 1365839872 275465 33554432000 4194304 16246674 140733594664624 140733594646528 12429000 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5374/statm: 333457 275465 900 2943 0 330351 0
[pid=5374/tid=5375] ppid=5371 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5375/stat : 5375 (toysat) S 5371 5374 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3140033 1365839872 275465 33554432000 4194304 16246674 140733594664624 140614091910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5374/tid=5376] ppid=5371 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5376/stat : 5376 (toysat) S 5371 5374 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3140033 1365839872 275465 33554432000 4194304 16246674 140733594664624 140614008024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5374/tid=5377] ppid=5371 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5377/stat : 5377 (toysat) S 5371 5374 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3140033 1365839872 275465 33554432000 4194304 16246674 140733594664624 140613997550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1333828

[startup+1482.3 s]
/proc/loadavg: 2.25 2.18 2.17 3/184 5488
/proc/meminfo: memFree=22384024/32872528 swapFree=1253612/1390560
[pid=5374] ppid=5371 vsize=1333828 CPUtime=1482.05 cores=0,2,4,6
/proc/5374/stat : 5374 (toysat) R 5371 5374 3971 0 -1 4202496 274683 0 0 0 148166 39 0 0 20 0 4 0 3140033 1365839872 275465 33554432000 4194304 16246674 140733594664624 140733594646528 12652957 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5374/statm: 333457 275465 900 2943 0 330351 0
[pid=5374/tid=5375] ppid=5371 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5375/stat : 5375 (toysat) S 5371 5374 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3140033 1365839872 275465 33554432000 4194304 16246674 140733594664624 140614091910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5374/tid=5376] ppid=5371 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5376/stat : 5376 (toysat) S 5371 5374 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3140033 1365839872 275465 33554432000 4194304 16246674 140733594664624 140614008024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5374/tid=5377] ppid=5371 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5377/stat : 5377 (toysat) S 5371 5374 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3140033 1365839872 275465 33554432000 4194304 16246674 140733594664624 140613997550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1333828

[startup+1542.31 s]
/proc/loadavg: 2.36 2.22 2.18 4/183 5489
/proc/meminfo: memFree=22384524/32872528 swapFree=1253612/1390560
[pid=5374] ppid=5371 vsize=1333828 CPUtime=1542.05 cores=0,2,4,6
/proc/5374/stat : 5374 (toysat) R 5371 5374 3971 0 -1 4202496 274683 0 0 0 154166 39 0 0 20 0 4 0 3140033 1365839872 275465 33554432000 4194304 16246674 140733594664624 140733594646528 12414123 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5374/statm: 333457 275465 900 2943 0 330351 0
[pid=5374/tid=5375] ppid=5371 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5375/stat : 5375 (toysat) S 5371 5374 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3140033 1365839872 275465 33554432000 4194304 16246674 140733594664624 140614091910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5374/tid=5376] ppid=5371 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5376/stat : 5376 (toysat) S 5371 5374 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3140033 1365839872 275465 33554432000 4194304 16246674 140733594664624 140614008024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5374/tid=5377] ppid=5371 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5377/stat : 5377 (toysat) S 5371 5374 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3140033 1365839872 275465 33554432000 4194304 16246674 140733594664624 140613997550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1333828

[startup+1602.3 s]
/proc/loadavg: 2.27 2.21 2.18 3/183 5490
/proc/meminfo: memFree=22384672/32872528 swapFree=1253612/1390560
[pid=5374] ppid=5371 vsize=1333828 CPUtime=1602.03 cores=0,2,4,6
/proc/5374/stat : 5374 (toysat) R 5371 5374 3971 0 -1 4202496 274683 0 0 0 160164 39 0 0 20 0 4 0 3140033 1365839872 275465 33554432000 4194304 16246674 140733594664624 140733594646528 12449408 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5374/statm: 333457 275465 900 2943 0 330351 0
[pid=5374/tid=5375] ppid=5371 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5375/stat : 5375 (toysat) S 5371 5374 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3140033 1365839872 275465 33554432000 4194304 16246674 140733594664624 140614091910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5374/tid=5376] ppid=5371 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5376/stat : 5376 (toysat) S 5371 5374 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3140033 1365839872 275465 33554432000 4194304 16246674 140733594664624 140614008024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5374/tid=5377] ppid=5371 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5377/stat : 5377 (toysat) S 5371 5374 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3140033 1365839872 275465 33554432000 4194304 16246674 140733594664624 140613997550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1333828

[startup+1662.3 s]
/proc/loadavg: 2.29 2.23 2.19 3/183 5492
/proc/meminfo: memFree=22384328/32872528 swapFree=1253612/1390560
[pid=5374] ppid=5371 vsize=1333828 CPUtime=1662.02 cores=0,2,4,6
/proc/5374/stat : 5374 (toysat) R 5371 5374 3971 0 -1 4202496 274683 0 0 0 166163 39 0 0 20 0 4 0 3140033 1365839872 275465 33554432000 4194304 16246674 140733594664624 140733594646528 12413857 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5374/statm: 333457 275465 900 2943 0 330351 0
[pid=5374/tid=5375] ppid=5371 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5375/stat : 5375 (toysat) S 5371 5374 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3140033 1365839872 275465 33554432000 4194304 16246674 140733594664624 140614091910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5374/tid=5376] ppid=5371 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5376/stat : 5376 (toysat) S 5371 5374 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3140033 1365839872 275465 33554432000 4194304 16246674 140733594664624 140614008024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5374/tid=5377] ppid=5371 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5377/stat : 5377 (toysat) S 5371 5374 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3140033 1365839872 275465 33554432000 4194304 16246674 140733594664624 140613997550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1333828

[startup+1722.3 s]
/proc/loadavg: 2.36 2.26 2.19 4/183 5493
/proc/meminfo: memFree=22384608/32872528 swapFree=1253612/1390560
[pid=5374] ppid=5371 vsize=1333828 CPUtime=1722.01 cores=0,2,4,6
/proc/5374/stat : 5374 (toysat) R 5371 5374 3971 0 -1 4202496 274690 0 0 0 172162 39 0 0 20 0 4 0 3140033 1365839872 275472 33554432000 4194304 16246674 140733594664624 140733594646528 12414147 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5374/statm: 333457 275472 907 2943 0 330351 0
[pid=5374/tid=5375] ppid=5371 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5375/stat : 5375 (toysat) S 5371 5374 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3140033 1365839872 275472 33554432000 4194304 16246674 140733594664624 140614091910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5374/tid=5376] ppid=5371 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5376/stat : 5376 (toysat) S 5371 5374 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3140033 1365839872 275472 33554432000 4194304 16246674 140733594664624 140614008024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5374/tid=5377] ppid=5371 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5377/stat : 5377 (toysat) S 5371 5374 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3140033 1365839872 275472 33554432000 4194304 16246674 140733594664624 140613997550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1333828

[startup+1782.3 s]
/proc/loadavg: 2.31 2.27 2.20 3/183 5494
/proc/meminfo: memFree=22383764/32872528 swapFree=1253612/1390560
[pid=5374] ppid=5371 vsize=1333828 CPUtime=1782 cores=0,2,4,6
/proc/5374/stat : 5374 (toysat) R 5371 5374 3971 0 -1 4202496 274690 0 0 0 178161 39 0 0 20 0 4 0 3140033 1365839872 275472 33554432000 4194304 16246674 140733594664624 140733594646528 12449269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5374/statm: 333457 275472 907 2943 0 330351 0
[pid=5374/tid=5375] ppid=5371 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5375/stat : 5375 (toysat) S 5371 5374 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3140033 1365839872 275472 33554432000 4194304 16246674 140733594664624 140614091910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5374/tid=5376] ppid=5371 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5376/stat : 5376 (toysat) S 5371 5374 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3140033 1365839872 275472 33554432000 4194304 16246674 140733594664624 140614008024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5374/tid=5377] ppid=5371 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5377/stat : 5377 (toysat) S 5371 5374 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3140033 1365839872 275472 33554432000 4194304 16246674 140733594664624 140613997550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1333828



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.24 2.26 2.19 3/183 5494
/proc/meminfo: memFree=22383740/32872528 swapFree=1253612/1390560
[pid=5374] ppid=5371 vsize=1333828 CPUtime=1800 cores=0,2,4,6
/proc/5374/stat : 5374 (toysat) R 5371 5374 3971 0 -1 4202496 274690 0 0 0 179961 39 0 0 20 0 4 0 3140033 1365839872 275472 33554432000 4194304 16246674 140733594664624 140733594646528 12652957 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5374/statm: 333457 275472 907 2943 0 330351 0
[pid=5374/tid=5375] ppid=5371 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5375/stat : 5375 (toysat) S 5371 5374 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3140033 1365839872 275472 33554432000 4194304 16246674 140733594664624 140614091910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5374/tid=5376] ppid=5371 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5376/stat : 5376 (toysat) S 5371 5374 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3140033 1365839872 275472 33554432000 4194304 16246674 140733594664624 140614008024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5374/tid=5377] ppid=5371 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5377/stat : 5377 (toysat) S 5371 5374 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3140033 1365839872 275472 33554432000 4194304 16246674 140733594664624 140613997550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1333828

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

[startup+1800.3 s]
/proc/loadavg: 2.24 2.26 2.19 3/183 5494
/proc/meminfo: memFree=22383740/32872528 swapFree=1253612/1390560
[pid=5374] ppid=5371 vsize=1333828 CPUtime=1800 cores=0,2,4,6
/proc/5374/stat : 5374 (toysat) R 5371 5374 3971 0 -1 4202496 274690 0 0 0 179961 39 0 0 20 0 4 0 3140033 1365839872 275472 33554432000 4194304 16246674 140733594664624 140733594646528 12652957 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5374/statm: 333457 275472 907 2943 0 330351 0
[pid=5374/tid=5375] ppid=5371 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5375/stat : 5375 (toysat) S 5371 5374 3971 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3140033 1365839872 275472 33554432000 4194304 16246674 140733594664624 140614091910384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5374/tid=5376] ppid=5371 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5376/stat : 5376 (toysat) S 5371 5374 3971 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3140033 1365839872 275472 33554432000 4194304 16246674 140733594664624 140614008024304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5374/tid=5377] ppid=5371 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/5374/task/5377/stat : 5377 (toysat) S 5371 5374 3971 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3140033 1365839872 275472 33554432000 4194304 16246674 140733594664624 140613997550768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1333828

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.01
CPU user time (s): 1799.62
CPU system time (s): 0.39394
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 1333828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.39394
maximum resident set size= 1101888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274690
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= 48
involuntary context switches= 2341

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.7212 second user time and 15.6366 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-29 19:36:32
IDJOB=4118114
IDBENCH=111454
IDSOLVER=2542
FILE ID=node119/4118114-1467221792
RUNJOBID= node119-1467209132-3987
PBS_JOBID= 19997583
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-BIGINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern45-45.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118114-1467221792/watcher-4118114-1467221792 -o /tmp/evaluation-result-4118114-1467221792/solver-4118114-1467221792 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467209132-3987 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4118114-1467221792.opb

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

MD5SUM BENCH= c6cb36aa8483499e6e43a8fb071f0009
RANDOM SEED=1668356495

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.444
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:        23480272 kB
Buffers:          148432 kB
Cached:          5981248 kB
SwapCached:            0 kB
Active:          5074616 kB
Inactive:        2166212 kB
Active(anon):    1113712 kB
Inactive(anon):        0 kB
Active(file):    3960904 kB
Inactive(file):  2166212 kB
Unevictable:     1390560 kB
Mlocked:         1253612 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16744 kB
Writeback:             0 kB
AnonPages:       2595948 kB
Mapped:            17532 kB
Shmem:               204 kB
Slab:             626852 kB
SReclaimable:      71056 kB
SUnreclaim:       555796 kB
KernelStack:        1520 kB
PageTables:         9360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2634196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1327104 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= 71700 MiB
End job on node119 at 2016-06-29 20:06:32