Trace number 4103461

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? (MO) 473.256 473.342

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-sp97ic.opb
MD5SUMc77552a75b60da899e6952498f2b4d56
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3490480071
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3498451867
Optimality of the best value was proved NO
Number of variables12497
Total number of constraints1033
Number of constraints which are clauses41
Number of constraints which are cardinality constraints (but not clauses)815
Number of constraints which are nor clauses,nor cardinality constraints177
Minimum length of a constraint2
Maximum length of a constraint6739
Number of terms in the objective function 12497
Biggest coefficient in the objective function 1010107916
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 3093137085579
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 1010107916
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 3093137085579
Number of bits of the biggest sum of numbers42
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-18T10:07:16+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-4103461-1466237235.opb"]
0.00/0.01	c use --random-gen="2485644284 2816712255 1760987584 1871249801 1772020752 2293087656 1201233874 990085714 183775617 3092018767 4105303549 3664672486 1922298474 603141422 222508917 1923599219 1747158139 2303779915 1622111742 4064337586 2461625788 2814559752 3610709326 1948287527 1286606371 205190256 2738147323 775151539 1084965485 796841423 941852365 2884774804 375637678 1964948071 3172090633 4238056325 1616040631 684890254 2053770822 548524126 3127609692 3182950259 3476639947 3167022415 3317271092 2351944229 2142970904 1462349963 1447406168 1597748395 2235540015 4176625535 4262294672 3809701571 1097218597 1057253640 1860365751 1729454850 1950196565 767104182 1478545599 1634279191 2802368075 2161370171 1512678324 4175935074 1689638634 1674989354 2560464564 4217655646 480723224 1592721139 4051988121 1420757019 3771082453 3075287701 2622901898 2621109936 3140934755 3629602303 2782350151 1204310112 3651084084 203101235 3695448370 978319875 162459202 125938856 158755625 2077825848 3910126432 3275537086 2483067171 2706557839 409511808 2961316811 156086194 3064824027 773223423 640063275 3532267170 1293225696 491228941 3092656633 4219453214 3629627425 1949189981 1624941724 1333275697 1762586022 3875641919 1551047571 3450544501 3040881304 1895812469 1749941598 3182392423 1230024966 2381027266 924645123 3028771605 3577271095 3344058744 3685553728 1095273279 866883726 2700609198 2430947819 3083414686 3520795225 3657726322 2570781609 1561898504 3885741291 1378669603 4177271155 21425511 2277815594 3014807326 851542382 269994486 1670013208 3552918480 1946141811 1025479793 2020110571 1053450338 2459615528 1128561328 538373382 3662322387 4065164937 1909322995 2361396703 187540390 623558287 158940745 2360117550 3256726877 3800943658 3655605009 459139074 915614946 2450209756 4123550671 4109729567 3180286527 4186585521 4276236602 718687920 401402326 1272132817 1953000002 2156544390 1793175403 2844920054 1135855728 2159169307 3156108510 1677117535 4106678294 174362624 1300285643 608057248 1458451492 1433514750 1492512563 3063745559 1179485756 348735444 99261484 1089063657 2525129155 1016426916 2833063925 1070717707 3791017538 167678686 612002883 1417799181 1497713701 3097758009 676520244 2662410287 2302740835 2186932551 1431525314 3976169925 4232403365 2666128407 638301510 1066757472 2538799060 4131864312 3113733342 3978579078 3008604256 3782016285 705860811 1554119023 1082444886 2201184422 205648704 1026598509 441713021 693753444 150440615 1512238295 2995799189 180245783 3791807124 2799426975 2537609110 1861111627 2273595062 2332734471 764170859 2754525540 1770076531 2657735226 3734376712 2246720465 3111302754 3068395215 1550012017 2086317437 2500122326 1529161069 1393160121 1628987058 4230298154 1325932242 3845198118 1937566900 1874088826 3003815551 255 362436" option to reproduce the execution
0.49/0.59	c #vars 12497
0.49/0.59	c #constraints 1033
1.59/1.69	c BCD2: Hardening is enabled.
1.59/1.69	c BCD2: BiasedSearch is enabled.
1.59/1.69	c Solving starts ...
1.59/1.69	c ============================[ Search Statistics ]============================
1.59/1.69	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.59/1.69	c       |         |          |          |    Limit     GC | Var      | Constra 
1.59/1.69	c =============================================================================
1.59/1.69	c  0.0s |       0 |        0 |        0 |     4510      0 |        0 |        0
1.89/1.91	c  0.2s |       0 |      831 |        0 |     4510      0 |        0 |        0
1.89/1.91	c #cpu_time = 0.154s
1.89/1.91	c #wall_clock_time = 0.154s
1.89/1.91	c #decision = 831
1.89/1.91	c #random_decision = 5
1.89/1.91	c #conflict = 0
1.89/1.91	c #restart = 0
1.89/1.91	o 316220246097
7.99/8.04	c BCD2: updating upper bound: 3093137085579 -> 316220246096
14.79/14.80	c BCD2: 0 <= obj <= 316220246096
14.79/14.82	c BCD2: #cores=0, #unrelaxed=12497, #relaxed=0, #hardened=0
14.79/14.82	c BCD2: #sat=1 #unsat=1 bias=1/2
14.79/14.82	c Solving starts ...
14.79/14.82	c ============================[ Search Statistics ]============================
14.79/14.82	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
14.79/14.82	c       |         |          |          |    Limit     GC | Var      | Constra 
14.79/14.82	c =============================================================================
14.79/14.82	c  0.0s |       0 |        0 |        0 |     4510      0 |        0 |        0
14.99/15.02	c  0.2s |       0 |     8536 |       21 |     4510      0 |        0 |        0
14.99/15.02	c #cpu_time = 0.161s
14.99/15.02	c #wall_clock_time = 0.161s
14.99/15.02	c #decision = 8536
14.99/15.02	c #random_decision = 0
14.99/15.02	c #conflict = 21
14.99/15.02	c #restart = 0
14.99/15.02	c BCD2: found a new core of size 421: cost of the new core is >=32612730
14.99/15.02	c lower bound updated to 32612730
21.09/21.17	c BCD2: 32612730 <= obj <= 316220246096
21.09/21.17	c BCD2: #cores=1, #unrelaxed=12076, #relaxed=421, #hardened=0
21.09/21.17	c BCD2: #sat=1 #unsat=2 bias=2/3
21.69/21.78	c Solving starts ...
21.69/21.78	c ============================[ Search Statistics ]============================
21.69/21.78	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
21.69/21.78	c       |         |          |          |    Limit     GC | Var      | Constra 
21.69/21.78	c =============================================================================
21.69/21.78	c  0.0s |       0 |        0 |        0 |     4510      0 |        0 |        0
21.89/21.96	c  0.2s |       0 |     8973 |        3 |     4510      0 |        0 |        0
21.89/21.96	c #cpu_time = 0.128s
21.89/21.96	c #wall_clock_time = 0.128s
21.89/21.96	c #decision = 8973
21.89/21.96	c #random_decision = 0
21.89/21.96	c #conflict = 3
21.89/21.96	c #restart = 0
21.89/21.98	c BCD2: found a new core of size 687: cost of the new core is >=64979139
21.89/21.98	c lower bound updated to 97591869
27.29/27.34	c BCD2: 97591869 <= obj <= 316220246096
27.29/27.34	c BCD2: #cores=2, #unrelaxed=11389, #relaxed=1108, #hardened=0
27.29/27.34	c BCD2: #sat=1 #unsat=3 bias=3/4
32.69/32.74	c Solving starts ...
32.69/32.74	c ============================[ Search Statistics ]============================
32.69/32.74	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
32.69/32.74	c       |         |          |          |    Limit     GC | Var      | Constra 
32.69/32.74	c =============================================================================
32.69/32.74	c  0.0s |       0 |        0 |        0 |     4510      0 |        0 |        0
32.89/32.99	c  0.3s |       0 |    11182 |       15 |     4510      0 |        0 |        0
32.89/32.99	c #cpu_time = 0.197s
32.89/32.99	c #wall_clock_time = 0.197s
32.89/32.99	c #decision = 11182
32.89/32.99	c #random_decision = 0
32.89/32.99	c #conflict = 15
32.89/32.99	c #restart = 0
32.89/32.99	c BCD2: found a new core of size 709: cost of the new core is >=30109866
32.89/32.99	c lower bound updated to 127701735
38.89/38.93	c BCD2: 127701735 <= obj <= 316220246096
38.89/38.93	c BCD2: #cores=3, #unrelaxed=10680, #relaxed=1817, #hardened=0
38.89/38.93	c BCD2: #sat=1 #unsat=4 bias=4/5
40.99/41.07	c Solving starts ...
40.99/41.07	c ============================[ Search Statistics ]============================
40.99/41.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
40.99/41.07	c       |         |          |          |    Limit     GC | Var      | Constra 
40.99/41.07	c =============================================================================
40.99/41.07	c  0.0s |       0 |        0 |        0 |     4510      0 |        0 |        0
41.29/41.30	c  0.2s |       0 |    10670 |        6 |     4510      0 |        0 |        0
41.29/41.30	c #cpu_time = 0.179s
41.29/41.30	c #wall_clock_time = 0.179s
41.29/41.30	c #decision = 10670
41.29/41.30	c #random_decision = 0
41.29/41.30	c #conflict = 6
41.29/41.30	c #restart = 0
41.29/41.31	c BCD2: found a new core of size 1191: cost of the new core is >=37201314
41.29/41.31	c lower bound updated to 164903049
48.89/48.95	c BCD2: 164903049 <= obj <= 316220246096
48.89/48.95	c BCD2: #cores=4, #unrelaxed=9489, #relaxed=3008, #hardened=0
48.89/48.95	c BCD2: #sat=1 #unsat=5 bias=5/6
50.29/50.38	c Solving starts ...
50.29/50.38	c ============================[ Search Statistics ]============================
50.29/50.38	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
50.29/50.38	c       |         |          |          |    Limit     GC | Var      | Constra 
50.29/50.38	c =============================================================================
50.29/50.38	c  0.0s |       0 |        0 |        0 |     4510      0 |        0 |        0
50.69/50.73	c  0.3s |       0 |    12667 |       38 |     4510      0 |        0 |        0
50.69/50.73	c #cpu_time = 0.273s
50.69/50.73	c #wall_clock_time = 0.273s
50.69/50.73	c #decision = 12667
50.69/50.73	c #random_decision = 0
50.69/50.73	c #conflict = 38
50.69/50.73	c #restart = 0
50.69/50.73	o 8649360070
50.79/50.86	c BCD2: updating upper bound: 316220246096 -> 8649360069
50.99/51.06	c BCD2: 164903049 <= obj <= 8649360069
50.99/51.06	c BCD2: #cores=4, #unrelaxed=9489, #relaxed=3008, #hardened=0
50.99/51.06	c BCD2: #sat=2 #unsat=5 bias=5/7

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

pid=15495
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: 1.98 2.04 2.00 3/179 15498
/proc/meminfo: memFree=30113504/32872528 swapFree=534252/566956
[pid=15498] ppid=15495 vsize=669116 CPUtime=0 cores=0,2,4,6
/proc/15498/stat : 15498 (toysat) R 15495 15498 10353 0 -1 4202496 2482 0 0 0 0 0 0 0 20 0 4 0 25769189 685174784 3355 33554432000 4194304 16246674 140736524908208 140736524907632 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15498/statm: 167791 3366 441 2943 0 164685 0
[pid=15498/tid=15499] ppid=15495 vsize=686524 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15499/stat : 15499 (toysat) S 15495 15498 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25769190 703000576 3423 33554432000 4194304 16246674 140736524908208 139974141783280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15498/tid=15500] ppid=15495 vsize=690620 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15500/stat : 15500 (toysat) S 15495 15498 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25769190 707194880 3441 33554432000 4194304 16246674 140736524908208 139974057897200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15498/tid=15501] ppid=15495 vsize=694716 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15501/stat : 15501 (toysat) S 15495 15498 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25769190 711389184 3456 33554432000 4194304 16246674 140736524908208 139974047423664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 1.98 2.04 2.00 3/179 15498
/proc/meminfo: memFree=30113504/32872528 swapFree=534252/566956
[pid=15498] ppid=15495 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/15498/stat : 15498 (toysat) R 15495 15498 10353 0 -1 4202496 31330 0 0 0 4 5 0 0 20 0 4 0 25769189 1334382592 32140 33554432000 4194304 16246674 140736524908208 140736524907520 12752373 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15498/statm: 325777 32154 799 2943 0 322671 0
[pid=15498/tid=15499] ppid=15495 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15499/stat : 15499 (toysat) S 15495 15498 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25769190 1334382592 32166 33554432000 4194304 16246674 140736524908208 139974141783280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15498/tid=15500] ppid=15495 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15500/stat : 15500 (toysat) S 15495 15498 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25769190 1334382592 32177 33554432000 4194304 16246674 140736524908208 139974057897200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15498/tid=15501] ppid=15495 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15501/stat : 15501 (toysat) S 15495 15498 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25769190 1334382592 32188 33554432000 4194304 16246674 140736524908208 139974047423664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200504 s]
/proc/loadavg: 1.98 2.04 2.00 3/179 15498
/proc/meminfo: memFree=30113504/32872528 swapFree=534252/566956
[pid=15498] ppid=15495 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/15498/stat : 15498 (toysat) R 15495 15498 10353 0 -1 4202496 44056 0 0 0 12 7 0 0 20 0 4 0 25769189 1343819776 45377 33554432000 4194304 16246674 140736524908208 140736524907520 7370648 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15498/statm: 328081 45377 800 2943 0 324975 0
[pid=15498/tid=15499] ppid=15495 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15499/stat : 15499 (toysat) S 15495 15498 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25769190 1343819776 45377 33554432000 4194304 16246674 140736524908208 139974141783280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15498/tid=15500] ppid=15495 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15500/stat : 15500 (toysat) S 15495 15498 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25769190 1343819776 45377 33554432000 4194304 16246674 140736524908208 139974057897200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15498/tid=15501] ppid=15495 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15501/stat : 15501 (toysat) S 15495 15498 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25769190 1343819776 45377 33554432000 4194304 16246674 140736524908208 139974047423664 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) 1312324

[startup+0.300489 s]
/proc/loadavg: 1.98 2.04 2.00 3/179 15498
/proc/meminfo: memFree=30113504/32872528 swapFree=534252/566956
[pid=15498] ppid=15495 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/15498/stat : 15498 (toysat) R 15495 15498 10353 0 -1 4202496 61351 0 0 0 20 9 0 0 20 0 4 0 25769189 1344868352 62672 33554432000 4194304 16246674 140736524908208 140736524907520 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15498/statm: 328337 62672 800 2943 0 325231 0
[pid=15498/tid=15499] ppid=15495 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15499/stat : 15499 (toysat) S 15495 15498 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25769190 1344868352 62672 33554432000 4194304 16246674 140736524908208 139974141783280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15498/tid=15500] ppid=15495 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15500/stat : 15500 (toysat) S 15495 15498 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25769190 1344868352 62672 33554432000 4194304 16246674 140736524908208 139974057897200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15498/tid=15501] ppid=15495 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15501/stat : 15501 (toysat) S 15495 15498 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25769190 1344868352 62672 33554432000 4194304 16246674 140736524908208 139974047423664 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) 1313348

[startup+0.700395 s]
/proc/loadavg: 1.98 2.04 2.00 3/179 15498
/proc/meminfo: memFree=30113504/32872528 swapFree=534252/566956
[pid=15498] ppid=15495 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/15498/stat : 15498 (toysat) R 15495 15498 10353 0 -1 4202496 66245 0 0 0 59 10 0 0 20 0 4 0 25769189 1344868352 67566 33554432000 4194304 16246674 140736524908208 140736524907520 13943729 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15498/statm: 328337 67566 844 2943 0 325231 0
[pid=15498/tid=15499] ppid=15495 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15499/stat : 15499 (toysat) S 15495 15498 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25769190 1344868352 67566 33554432000 4194304 16246674 140736524908208 139974141783280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15498/tid=15500] ppid=15495 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15500/stat : 15500 (toysat) S 15495 15498 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25769190 1344868352 67566 33554432000 4194304 16246674 140736524908208 139974057897200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15498/tid=15501] ppid=15495 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15501/stat : 15501 (toysat) S 15495 15498 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25769190 1344868352 67566 33554432000 4194304 16246674 140736524908208 139974047423664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.5004 s]
/proc/loadavg: 1.98 2.04 2.00 3/183 15502
/proc/meminfo: memFree=29844100/32872528 swapFree=534252/566956
[pid=15498] ppid=15495 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/15498/stat : 15498 (toysat) R 15495 15498 10353 0 -1 4202496 66246 0 0 0 139 10 0 0 20 0 4 0 25769189 1344868352 67567 33554432000 4194304 16246674 140736524908208 140736524907520 13906976 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15498/statm: 328337 67567 845 2943 0 325231 0
[pid=15498/tid=15499] ppid=15495 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15499/stat : 15499 (toysat) S 15495 15498 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25769190 1344868352 67567 33554432000 4194304 16246674 140736524908208 139974141783280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15498/tid=15500] ppid=15495 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15500/stat : 15500 (toysat) S 15495 15498 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25769190 1344868352 67567 33554432000 4194304 16246674 140736524908208 139974057897200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15498/tid=15501] ppid=15495 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15501/stat : 15501 (toysat) S 15495 15498 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25769190 1344868352 67567 33554432000 4194304 16246674 140736524908208 139974047423664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.1004 s]
/proc/loadavg: 1.98 2.04 2.00 4/183 15502
/proc/meminfo: memFree=29647676/32872528 swapFree=534252/566956
[pid=15498] ppid=15495 vsize=1387076 CPUtime=3.09 cores=0,2,4,6
/proc/15498/stat : 15498 (toysat) R 15495 15498 10353 0 -1 4202496 287244 0 0 0 270 39 0 0 20 0 4 0 25769189 1420365824 288565 33554432000 4194304 16246674 140736524908208 140736524907304 12371171 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15498/statm: 346769 288565 887 2943 0 343663 0
[pid=15498/tid=15499] ppid=15495 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15499/stat : 15499 (toysat) S 15495 15498 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25769190 1420365824 288565 33554432000 4194304 16246674 140736524908208 139974141783280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15498/tid=15500] ppid=15495 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15500/stat : 15500 (toysat) S 15495 15498 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25769190 1420365824 288565 33554432000 4194304 16246674 140736524908208 139974057897200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15498/tid=15501] ppid=15495 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15501/stat : 15501 (toysat) S 15495 15498 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25769190 1420365824 288565 33554432000 4194304 16246674 140736524908208 139974047423664 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) 1387076

[startup+6.3004 s]
/proc/loadavg: 1.98 2.04 2.00 3/183 15502
/proc/meminfo: memFree=28959072/32872528 swapFree=534252/566956
[pid=15498] ppid=15495 vsize=1387076 CPUtime=6.29 cores=0,2,4,6
/proc/15498/stat : 15498 (toysat) R 15495 15498 10353 0 -1 4202496 287442 0 0 0 590 39 0 0 20 0 4 0 25769189 1420365824 288763 33554432000 4194304 16246674 140736524908208 140736524906048 4220480 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15498/statm: 346769 288763 887 2943 0 343663 0
[pid=15498/tid=15499] ppid=15495 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15499/stat : 15499 (toysat) S 15495 15498 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25769190 1420365824 288763 33554432000 4194304 16246674 140736524908208 139974141783280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15498/tid=15500] ppid=15495 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15500/stat : 15500 (toysat) S 15495 15498 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25769190 1420365824 288763 33554432000 4194304 16246674 140736524908208 139974057897200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15498/tid=15501] ppid=15495 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15501/stat : 15501 (toysat) S 15495 15498 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25769190 1420365824 288763 33554432000 4194304 16246674 140736524908208 139974047423664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1387076

[startup+12.7004 s]
/proc/loadavg: 1.98 2.04 2.00 3/183 15502
/proc/meminfo: memFree=28944060/32872528 swapFree=534252/566956
[pid=15498] ppid=15495 vsize=1401412 CPUtime=12.69 cores=0,2,4,6
/proc/15498/stat : 15498 (toysat) R 15495 15498 10353 0 -1 4202496 291029 0 0 0 1230 39 0 0 20 0 4 0 25769189 1435045888 292350 33554432000 4194304 16246674 140736524908208 140736524907520 12449273 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15498/statm: 350353 292350 890 2943 0 347247 0
[pid=15498/tid=15499] ppid=15495 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15499/stat : 15499 (toysat) S 15495 15498 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25769190 1435045888 292350 33554432000 4194304 16246674 140736524908208 139974141783280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15498/tid=15500] ppid=15495 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15500/stat : 15500 (toysat) S 15495 15498 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25769190 1435045888 292350 33554432000 4194304 16246674 140736524908208 139974057897200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15498/tid=15501] ppid=15495 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15501/stat : 15501 (toysat) S 15495 15498 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25769190 1435045888 292350 33554432000 4194304 16246674 140736524908208 139974047423664 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) 1401412

[startup+25.5005 s]
/proc/loadavg: 1.98 2.04 2.00 3/183 15502
/proc/meminfo: memFree=28901416/32872528 swapFree=534252/566956
[pid=15498] ppid=15495 vsize=1444420 CPUtime=25.49 cores=0,2,4,6
/proc/15498/stat : 15498 (toysat) R 15495 15498 10353 0 -1 4202496 301803 0 0 0 2508 41 0 0 20 0 4 0 25769189 1479086080 303124 33554432000 4194304 16246674 140736524908208 140736524890112 4206674 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15498/statm: 361105 303124 912 2943 0 357999 0
[pid=15498/tid=15499] ppid=15495 vsize=1444420 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15499/stat : 15499 (toysat) S 15495 15498 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25769190 1479086080 303124 33554432000 4194304 16246674 140736524908208 139974141783280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15498/tid=15500] ppid=15495 vsize=1444420 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15500/stat : 15500 (toysat) S 15495 15498 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25769190 1479086080 303124 33554432000 4194304 16246674 140736524908208 139974057897200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15498/tid=15501] ppid=15495 vsize=1444420 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15501/stat : 15501 (toysat) S 15495 15498 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25769190 1479086080 303124 33554432000 4194304 16246674 140736524908208 139974047423664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1444420

[startup+51.1005 s]
/proc/loadavg: 1.99 2.03 2.00 3/183 15551
/proc/meminfo: memFree=28802244/32872528 swapFree=534252/566956
[pid=15498] ppid=15495 vsize=1543748 CPUtime=51.09 cores=0,2,4,6
/proc/15498/stat : 15498 (toysat) R 15495 15498 10353 0 -1 4202496 326637 0 0 0 5064 45 0 0 20 0 4 0 25769189 1580797952 327958 33554432000 4194304 16246674 140736524908208 140736524890112 12371080 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15498/statm: 385937 327958 914 2943 0 382831 0
[pid=15498/tid=15499] ppid=15495 vsize=1543748 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15499/stat : 15499 (toysat) S 15495 15498 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25769190 1580797952 327958 33554432000 4194304 16246674 140736524908208 139974141783280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15498/tid=15500] ppid=15495 vsize=1543748 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15500/stat : 15500 (toysat) S 15495 15498 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25769190 1580797952 327958 33554432000 4194304 16246674 140736524908208 139974057897200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15498/tid=15501] ppid=15495 vsize=1543748 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15501/stat : 15501 (toysat) S 15495 15498 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25769190 1580797952 327958 33554432000 4194304 16246674 140736524908208 139974047423664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1543748

[startup+102.3 s]
/proc/loadavg: 1.99 2.03 2.00 4/183 15552
/proc/meminfo: memFree=22108864/32872528 swapFree=534252/566956
[pid=15498] ppid=15495 vsize=8224324 CPUtime=102.29 cores=0,2,4,6
/proc/15498/stat : 15498 (toysat) R 15495 15498 10353 0 -1 4202496 1996785 0 0 0 9970 259 0 0 20 0 4 0 25769189 8421707776 1998106 33554432000 4194304 16246674 140736524908208 140736524907304 13892721 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15498/statm: 2056081 1998106 915 2943 0 2052975 0
[pid=15498/tid=15499] ppid=15495 vsize=8224324 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15499/stat : 15499 (toysat) S 15495 15498 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25769190 8421707776 1998106 33554432000 4194304 16246674 140736524908208 139974141783280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15498/tid=15500] ppid=15495 vsize=8224324 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15500/stat : 15500 (toysat) S 15495 15498 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25769190 8421707776 1998106 33554432000 4194304 16246674 140736524908208 139974057897200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15498/tid=15501] ppid=15495 vsize=8224324 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15501/stat : 15501 (toysat) S 15495 15498 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25769190 8421707776 1998106 33554432000 4194304 16246674 140736524908208 139974047423664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 8224324

[startup+162.3 s]
/proc/loadavg: 1.99 2.02 2.00 3/183 15554
/proc/meminfo: memFree=15500980/32872528 swapFree=534252/566956
[pid=15498] ppid=15495 vsize=13702724 CPUtime=162.27 cores=0,2,4,6
/proc/15498/stat : 15498 (toysat) R 15495 15498 10353 0 -1 4202496 3366386 0 0 0 15791 436 0 0 20 0 4 0 25769189 14031589376 3367707 33554432000 4194304 16246674 140736524908208 140736524907520 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15498/statm: 3425681 3367707 915 2943 0 3422575 0
[pid=15498/tid=15499] ppid=15495 vsize=13702724 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15499/stat : 15499 (toysat) S 15495 15498 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25769190 14031589376 3367707 33554432000 4194304 16246674 140736524908208 139974141783280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15498/tid=15500] ppid=15495 vsize=13702724 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15500/stat : 15500 (toysat) S 15495 15498 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25769190 14031589376 3367707 33554432000 4194304 16246674 140736524908208 139974057897200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15498/tid=15501] ppid=15495 vsize=13702724 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15501/stat : 15501 (toysat) S 15495 15498 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25769190 14031589376 3367707 33554432000 4194304 16246674 140736524908208 139974047423664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 13702724

[startup+222.307 s]
/proc/loadavg: 2.04 2.03 2.00 3/184 15558
/proc/meminfo: memFree=14315312/32872528 swapFree=534252/566956
[pid=15498] ppid=15495 vsize=13702724 CPUtime=222.26 cores=0,2,4,6
/proc/15498/stat : 15498 (toysat) R 15495 15498 10353 0 -1 4202496 3366390 0 0 0 21787 439 0 0 20 0 4 0 25769189 14031589376 3367711 33554432000 4194304 16246674 140736524908208 140736524906176 13899629 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15498/statm: 3425681 3367711 919 2943 0 3422575 0
[pid=15498/tid=15499] ppid=15495 vsize=13702724 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15499/stat : 15499 (toysat) S 15495 15498 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25769190 14031589376 3367711 33554432000 4194304 16246674 140736524908208 139974141783280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15498/tid=15500] ppid=15495 vsize=13702724 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15500/stat : 15500 (toysat) S 15495 15498 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25769190 14031589376 3367711 33554432000 4194304 16246674 140736524908208 139974057896976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15498/tid=15501] ppid=15495 vsize=13702724 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15501/stat : 15501 (toysat) S 15495 15498 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25769190 14031589376 3367711 33554432000 4194304 16246674 140736524908208 139974047423664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 13702724

[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 15559
/proc/meminfo: memFree=6253796/32872528 swapFree=534252/566956
[pid=15498] ppid=15495 vsize=13702724 CPUtime=282.25 cores=0,2,4,6
/proc/15498/stat : 15498 (toysat) R 15495 15498 10353 0 -1 4202496 3366390 0 0 0 27784 441 0 0 20 0 4 0 25769189 14031589376 3367711 33554432000 4194304 16246674 140736524908208 140736524906112 13899629 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15498/statm: 3425681 3367711 919 2943 0 3422575 0
[pid=15498/tid=15499] ppid=15495 vsize=13702724 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15499/stat : 15499 (toysat) S 15495 15498 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25769190 14031589376 3367711 33554432000 4194304 16246674 140736524908208 139974141783280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15498/tid=15500] ppid=15495 vsize=13702724 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15500/stat : 15500 (toysat) S 15495 15498 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25769190 14031589376 3367711 33554432000 4194304 16246674 140736524908208 139974057896976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15498/tid=15501] ppid=15495 vsize=13702724 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15501/stat : 15501 (toysat) S 15495 15498 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25769190 14031589376 3367711 33554432000 4194304 16246674 140736524908208 139974047423664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 13702724

[startup+342.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/183 15560
/proc/meminfo: memFree=4263328/32872528 swapFree=534252/566956
[pid=15498] ppid=15495 vsize=14743108 CPUtime=342.23 cores=0,2,4,6
/proc/15498/stat : 15498 (toysat) R 15495 15498 10353 0 -1 4202496 3571582 0 0 0 33745 478 0 0 20 0 4 0 25769189 15096942592 3627582 33554432000 4194304 16246674 140736524908208 140736524906112 13899629 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15498/statm: 3685777 3627582 919 2943 0 3682671 0
[pid=15498/tid=15499] ppid=15495 vsize=14743108 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15499/stat : 15499 (toysat) S 15495 15498 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25769190 15096942592 3627582 33554432000 4194304 16246674 140736524908208 139974141783280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15498/tid=15500] ppid=15495 vsize=14743108 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15500/stat : 15500 (toysat) S 15495 15498 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25769190 15096942592 3627582 33554432000 4194304 16246674 140736524908208 139974057896976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15498/tid=15501] ppid=15495 vsize=14743108 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15501/stat : 15501 (toysat) S 15495 15498 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25769190 15096942592 3627582 33554432000 4194304 16246674 140736524908208 139974047423664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 14743108

[startup+402.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/183 15561
/proc/meminfo: memFree=6842464/32872528 swapFree=534252/566956
[pid=15498] ppid=15495 vsize=15006276 CPUtime=402.23 cores=0,2,4,6
/proc/15498/stat : 15498 (toysat) R 15495 15498 10353 0 -1 4202496 3581865 0 0 0 39736 487 0 0 20 0 4 0 25769189 15366426624 3693564 33554432000 4194304 16246674 140736524908208 140736524906176 13899629 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15498/statm: 3751569 3693564 919 2943 0 3748463 0
[pid=15498/tid=15499] ppid=15495 vsize=15006276 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15499/stat : 15499 (toysat) S 15495 15498 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25769190 15366426624 3693564 33554432000 4194304 16246674 140736524908208 139974141783280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15498/tid=15500] ppid=15495 vsize=15006276 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15500/stat : 15500 (toysat) S 15495 15498 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25769190 15366426624 3693564 33554432000 4194304 16246674 140736524908208 139974057896976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15498/tid=15501] ppid=15495 vsize=15006276 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15501/stat : 15501 (toysat) S 15495 15498 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25769190 15366426624 3693564 33554432000 4194304 16246674 140736524908208 139974047423664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 15006276

[startup+462.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/183 15563
/proc/meminfo: memFree=2380456/32872528 swapFree=534252/566956
[pid=15498] ppid=15495 vsize=15006276 CPUtime=462.22 cores=0,2,4,6
/proc/15498/stat : 15498 (toysat) R 15495 15498 10353 0 -1 4202496 3581882 0 0 0 45735 487 0 0 20 0 4 0 25769189 15366426624 3693581 33554432000 4194304 16246674 140736524908208 140736524906176 14016899 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15498/statm: 3751569 3693581 919 2943 0 3748463 0
[pid=15498/tid=15499] ppid=15495 vsize=15006276 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15499/stat : 15499 (toysat) S 15495 15498 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25769190 15366426624 3693581 33554432000 4194304 16246674 140736524908208 139974141783280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15498/tid=15500] ppid=15495 vsize=15006276 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15500/stat : 15500 (toysat) S 15495 15498 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25769190 15366426624 3693581 33554432000 4194304 16246674 140736524908208 139974057896976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15498/tid=15501] ppid=15495 vsize=15006276 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15501/stat : 15501 (toysat) S 15495 15498 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25769190 15366426624 3693581 33554432000 4194304 16246674 140736524908208 139974047423664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 15006276



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+472.4 s]
/proc/loadavg: 2.09 2.06 2.01 3/183 15563
/proc/meminfo: memFree=1677488/32872528 swapFree=534252/566956
[pid=15498] ppid=15495 vsize=15907396 CPUtime=472.32 cores=0,2,4,6
/proc/15498/stat : 15498 (toysat) R 15495 15498 10353 0 -1 4202496 3807030 0 0 0 46713 519 0 0 20 0 4 0 25769189 16289173504 3918730 33554432000 4194304 16246674 140736524908208 140736524907304 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15498/statm: 3976849 3918738 919 2943 0 3973743 0
[pid=15498/tid=15499] ppid=15495 vsize=15907396 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15499/stat : 15499 (toysat) S 15495 15498 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25769190 16289173504 3918742 33554432000 4194304 16246674 140736524908208 139974141783280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=15498/tid=15500] ppid=15495 vsize=15907396 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15500/stat : 15500 (toysat) S 15495 15498 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25769190 16289173504 3918747 33554432000 4194304 16246674 140736524908208 139974057897200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=15498/tid=15501] ppid=15495 vsize=15907396 CPUtime=0 cores=0,2,4,6
/proc/15498/task/15501/stat : 15501 (toysat) S 15495 15498 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25769190 16289173504 3918752 33554432000 4194304 16246674 140736524908208 139974047423664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 472.32
Current children cumulated vsize (KiB) 15907396

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

[startup+472.8 s]
/proc/loadavg: 2.09 2.06 2.01 3/183 15563
/proc/meminfo: memFree=1677488/32872528 swapFree=534252/566956
[pid=15498] ppid=15495 vsize=0 CPUtime=472.71 cores=0,2,4,6
/proc/15498/stat : 15498 (toysat) Z 15495 15498 10353 0 -1 4203532 3807482 0 0 0 46713 558 0 0 20 0 2 0 25769189 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15498/statm: 0 0 0 0 0 0 0
[pid=15498/tid=15500] ppid=15495 vsize=0 CPUtime=0.38 cores=0,2,4,6
/proc/15498/task/15500/stat : 15500 (toysat) R 15495 15498 10353 0 -1 4203588 7 0 0 0 0 38 0 0 20 0 2 0 25769190 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 472.71
Current children cumulated vsize (KiB) 0

[startup+473.2 s]
/proc/loadavg: 2.09 2.06 2.01 3/181 15563
/proc/meminfo: memFree=11479136/32872528 swapFree=534252/566956
[pid=15498] ppid=15495 vsize=0 CPUtime=473.11 cores=0,2,4,6
/proc/15498/stat : 15498 (toysat) Z 15495 15498 10353 0 -1 4203532 3807482 0 0 0 46713 598 0 0 20 0 2 0 25769189 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15498/statm: 0 0 0 0 0 0 0
[pid=15498/tid=15500] ppid=15495 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/15498/task/15500/stat : 15500 (toysat) R 15495 15498 10353 0 -1 4203588 7 0 0 0 0 78 0 0 20 0 2 0 25769190 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 473.11
Current children cumulated vsize (KiB) 0

[startup+473.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/181 15563
/proc/meminfo: memFree=11479136/32872528 swapFree=534252/566956
[pid=15498] ppid=15495 vsize=0 CPUtime=473.21 cores=0,2,4,6
/proc/15498/stat : 15498 (toysat) Z 15495 15498 10353 0 -1 4203532 3807482 0 0 0 46713 608 0 0 20 0 2 0 25769189 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15498/statm: 0 0 0 0 0 0 0
[pid=15498/tid=15500] ppid=15495 vsize=0 CPUtime=0.88 cores=0,2,4,6
/proc/15498/task/15500/stat : 15500 (toysat) R 15495 15498 10353 0 -1 4203588 7 0 0 0 0 88 0 0 20 0 2 0 25769190 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 473.21
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 473.342
CPU time (s): 473.256
CPU user time (s): 467.139
CPU system time (s): 6.11707
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 15907396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 467.139
system time used= 6.11707
maximum resident set size= 15676724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3807482
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= 155
involuntary context switches= 495

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.20282 second user time and 1.81772 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-18 10:07:16
IDJOB=4103461
IDBENCH=2368
IDSOLVER=2542
FILE ID=node138/4103461-1466237235
RUNJOBID= node138-1466206053-10369
PBS_JOBID= 19918139
Free space on /tmp= 71712 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-sp97ic.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103461-1466237235/watcher-4103461-1466237235 -o /tmp/evaluation-result-4103461-1466237235/solver-4103461-1466237235 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10369 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103461-1466237235.opb

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

MD5SUM BENCH= c77552a75b60da899e6952498f2b4d56
RANDOM SEED=683858404

node138.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.395
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.79
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.395
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.395
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.55
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.395
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.395
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.395
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.395
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.54
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.395
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30114048 kB
Buffers:          123008 kB
Cached:           132672 kB
SwapCached:         1060 kB
Active:          1299584 kB
Inactive:         153696 kB
Active(anon):    1198636 kB
Inactive(anon):     1228 kB
Active(file):     100948 kB
Inactive(file):   152468 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             19392 kB
Writeback:             0 kB
AnonPages:       1764228 kB
Mapped:            10692 kB
Shmem:                 0 kB
Slab:             604796 kB
SReclaimable:      48304 kB
SUnreclaim:       556492 kB
KernelStack:        1456 kB
PageTables:         7728 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1908956 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1189888 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= 71680 MiB
End job on node138 at 2016-06-18 10:15:09