Trace number 4107118

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.49 1800.79

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_100_3__3_91__128.opb
MD5SUM8a6c4f191039e5923638a33ef44f024d
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark71863
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables38498
Total number of constraints400
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)302
Number of constraints which are nor clauses,nor cardinality constraints98
Minimum length of a constraint128
Maximum length of a constraint2177
Number of terms in the objective function 38400
Biggest coefficient in the objective function 94834
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 1385844096
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 94834
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 1385844096
Number of bits of the biggest sum of numbers31
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-18T22:46:54+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-4107118-1466282814.opb"]
0.00/0.01	c use --random-gen="1746590108 3440029166 2911517651 2204187751 1714263549 1731813740 3828503744 1878511406 872160545 2108764624 306460852 3630699266 567183552 411871467 26435155 1999003107 3293922320 3353782753 654567345 2612501574 1588089865 2814213043 4070953567 1884645659 1840346299 1938682888 2738384365 3637428559 3877678935 1897797521 3451532469 963716828 1733690127 1684959295 3818222624 362304944 1146644465 1642501673 1362881863 3861085103 258219205 698003220 2221165917 1724088092 822279794 4278123300 2727236765 2658196091 11887231 1072871408 2466888366 1222395439 1730058717 2055415273 1271859314 3143903120 1202406743 1708339685 3415951348 1859862643 62003366 1859017720 3032376898 1461502544 28590243 4003756998 1999837983 2930977932 4289110473 3412727904 1641055594 3229485129 3682787697 3210227542 1919733766 1723579511 2155992575 2428111473 2116528296 1007728083 3226283413 82566347 3782358602 20837940 1106217666 3672710685 312372311 1753946994 2584975995 576779621 645363900 3751392139 1543193593 3932158404 4212046325 3309811010 4196988748 349373416 257570079 2440100299 3097946294 1234314283 3617501964 2605654284 2078492528 3839872035 664022265 3412228588 60333399 2523291408 423402096 740302922 176152783 2512734210 1810226305 978795284 358260148 1532456674 2680286869 1465250631 434905519 1651260466 363726294 3512603642 3266950710 1752272087 150864891 526091079 594707881 2790008316 3872343577 3236910535 2808063064 422476026 1828353506 155859880 1323944817 874474111 1099243458 1308307796 429276851 904375377 2409017189 2092048020 2168629711 1384662024 677943779 3860493776 2983906482 1842207423 3849353569 2678783931 1345363733 2172331686 4196812191 1742439618 941224853 1479068992 2807036497 3567737115 989880036 1258316064 1272432534 744093454 2135545257 2784133125 2655663185 831885804 3930889209 1820857699 3472433599 2855390811 2510515390 2342554763 1537958163 1883676203 1337060252 216617236 2777151738 622894501 2133000971 2331000570 668233480 745067148 2042052462 851840753 1611232936 3957304510 2672608184 2832413818 3885722790 2831158588 19119279 2099293338 3529411187 3840058348 4028432725 3931585414 3407730252 3002275314 2966865153 335904667 1495696588 1135909231 988425897 822258727 1544822909 3903188552 2969756264 51423782 1000910719 2409948475 477992146 1568369243 3383903978 3103430989 3421090877 421284299 58726664 484527424 2524662369 2860901062 2236764801 164242894 4210942013 2997593734 1408609031 1258204514 2890510281 1700499425 1346149049 538276698 2122826850 2760558080 3646803629 3011875426 1071708602 1336099181 1753929235 3614816 652199013 2472772088 2104451049 852548559 3068440314 1466093666 3308680033 2054717654 4047210754 2186206702 596255316 2737879161 4067629111 1329530317 1120538428 1261084741 255 362436" option to reproduce the execution
0.29/0.30	c #vars 38498
0.29/0.30	c #constraints 400
0.79/0.81	c BCD2: Hardening is enabled.
0.79/0.81	c BCD2: BiasedSearch is enabled.
0.79/0.81	c Solving starts ...
0.79/0.81	c ============================[ Search Statistics ]============================
0.79/0.81	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.79/0.81	c       |         |          |          |    Limit     GC | Var      | Constra 
0.79/0.81	c =============================================================================
0.79/0.83	c  0.0s |       0 |        0 |        0 |    12999      0 |        0 |        0
1.49/1.79	c  1.0s |       1 |      286 |      100 |    12999      0 |        0 |        0
2.99/3.03	c  2.2s |       2 |    10234 |      250 |    14299      0 |        0 |        0
3.49/3.52	c  2.7s |       2 |    26431 |      378 |    15729      0 |        0 |        0
3.49/3.52	c #cpu_time = 2.634s
3.49/3.52	c #wall_clock_time = 2.641s
3.49/3.52	c #decision = 26431
3.49/3.52	c #random_decision = 76
3.49/3.52	c #conflict = 378
3.49/3.52	c #restart = 2
3.49/3.52	o 3100682
5.59/5.68	c BCD2: updating upper bound: 1385844096 -> 3100681
7.59/7.65	c BCD2: 0 <= obj <= 3100681
7.59/7.65	c BCD2: #cores=0, #unrelaxed=38400, #relaxed=0, #hardened=0
7.59/7.65	c BCD2: #sat=1 #unsat=1 bias=1/2
7.59/7.67	c Solving starts ...
7.59/7.67	c ============================[ Search Statistics ]============================
7.59/7.67	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
7.59/7.67	c       |         |          |          |    Limit     GC | Var      | Constra 
7.59/7.67	c =============================================================================
7.69/7.76	c  0.0s |       0 |        0 |        0 |    15729      0 |        0 |        0
7.79/7.81	c  0.0s |       0 |     4599 |        0 |    15729      0 |        0 |        0
7.79/7.81	c #cpu_time = 0.042s
7.79/7.81	c #wall_clock_time = 0.042s
7.79/7.81	c #decision = 4599
7.79/7.81	c #random_decision = 0
7.79/7.81	c #conflict = 0
7.79/7.81	c #restart = 0
7.79/7.81	c BCD2: found a new core of size 767: cost of the new core is >=9941
7.79/7.81	c lower bound updated to 9941
9.59/9.64	c BCD2: 9941 <= obj <= 3100681
9.59/9.64	c BCD2: #cores=1, #unrelaxed=37633, #relaxed=767, #hardened=0
9.59/9.64	c BCD2: #sat=1 #unsat=2 bias=2/3
148.37/148.44	c Solving starts ...
148.37/148.44	c ============================[ Search Statistics ]============================
148.37/148.44	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
148.37/148.44	c       |         |          |          |    Limit     GC | Var      | Constra 
148.37/148.44	c =============================================================================
148.37/148.45	c  0.0s |       0 |        0 |        0 |    15729      0 |        0 |        0
148.97/149.03	c  0.6s |       1 |    37412 |      100 |    17302      0 |        0 |        0
150.17/150.24	c  1.8s |       2 |    75745 |      250 |    17302      0 |        0 |        0
152.47/152.59	c  4.1s |       2 |   113419 |      450 |    19033      0 |        0 |        0
152.77/152.88	c  4.4s |       3 |   113419 |      475 |    19033      0 |        0 |        0
153.66/153.75	c  5.3s |       3 |   150362 |      515 |    19033      0 |        0 |        0
153.66/153.75	c #cpu_time = 5.266s
153.66/153.75	c #wall_clock_time = 5.279s
153.66/153.75	c #decision = 150362
153.66/153.75	c #random_decision = 0
153.66/153.75	c #conflict = 515
153.66/153.75	c #restart = 3
153.66/153.78	c BCD2: found a new core of size 35504: cost of the new core is >=2279
153.66/153.78	c lower bound updated to 12220
155.97/156.08	c BCD2: 12220 <= obj <= 3100681
155.97/156.08	c BCD2: #cores=2, #unrelaxed=2129, #relaxed=36271, #hardened=0
155.97/156.08	c BCD2: #sat=1 #unsat=3 bias=3/4

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

pid=11377
running on 4 cores: 1,3,5,7

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.23 2.24 2.26 3/179 11380
/proc/meminfo: memFree=29019300/32872528 swapFree=17888/1798212
[pid=11380] ppid=11377 vsize=764348 CPUtime=0 cores=1,3,5,7
/proc/11380/stat : 11380 (toysat) R 11377 11380 10472 0 -1 4202496 2858 0 0 0 0 0 0 0 20 0 4 0 30328511 782692352 2709 33554432000 4194304 16246674 140736469571600 140736469571024 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11380/statm: 191599 2719 441 2943 0 188493 0
[pid=11380/tid=11381] ppid=11377 vsize=781756 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11381/stat : 11381 (toysat) S 11377 11380 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30328511 800518144 2780 33554432000 4194304 16246674 140736469571600 140025915223280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11380/tid=11382] ppid=11377 vsize=785852 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11382/stat : 11382 (toysat) S 11377 11380 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30328511 804712448 2796 33554432000 4194304 16246674 140736469571600 140025904733424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11380/tid=11383] ppid=11377 vsize=790972 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11383/stat : 11383 (toysat) S 11377 11380 10472 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30328511 809955328 2814 33554432000 4194304 16246674 140736469571600 140025894259888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100255 s]
/proc/loadavg: 2.23 2.24 2.26 3/179 11380
/proc/meminfo: memFree=29019300/32872528 swapFree=17888/1798212
[pid=11380] ppid=11377 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/11380/stat : 11380 (toysat) R 11377 11380 10472 0 -1 4202496 31191 0 0 0 6 3 0 0 20 0 4 0 30328511 1333334016 30979 33554432000 4194304 16246674 140736469571600 140736469570912 8058796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11380/statm: 325521 30994 799 2943 0 322415 0
[pid=11380/tid=11381] ppid=11377 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11381/stat : 11381 (toysat) S 11377 11380 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30328511 1333334016 31006 33554432000 4194304 16246674 140736469571600 140025915223280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11380/tid=11382] ppid=11377 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11382/stat : 11382 (toysat) S 11377 11380 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30328511 1333334016 31018 33554432000 4194304 16246674 140736469571600 140025904733424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11380/tid=11383] ppid=11377 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11383/stat : 11383 (toysat) S 11377 11380 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30328511 1333334016 31029 33554432000 4194304 16246674 140736469571600 140025894259888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200528 s]
/proc/loadavg: 2.23 2.24 2.26 3/179 11380
/proc/meminfo: memFree=29019300/32872528 swapFree=17888/1798212
[pid=11380] ppid=11377 vsize=1311300 CPUtime=0.19 cores=1,3,5,7
/proc/11380/stat : 11380 (toysat) R 11377 11380 10472 0 -1 4202496 46554 0 0 0 14 5 0 0 20 0 4 0 30328511 1342771200 46853 33554432000 4194304 16246674 140736469571600 140736469570912 7364033 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11380/statm: 327825 46873 801 2943 0 324719 0
[pid=11380/tid=11381] ppid=11377 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11381/stat : 11381 (toysat) S 11377 11380 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30328511 1342771200 46884 33554432000 4194304 16246674 140736469571600 140025915223280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11380/tid=11382] ppid=11377 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11382/stat : 11382 (toysat) S 11377 11380 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30328511 1342771200 46896 33554432000 4194304 16246674 140736469571600 140025904733424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11380/tid=11383] ppid=11377 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11383/stat : 11383 (toysat) S 11377 11380 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30328511 1342771200 46907 33554432000 4194304 16246674 140736469571600 140025894259888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300493 s]
/proc/loadavg: 2.23 2.24 2.26 3/179 11380
/proc/meminfo: memFree=29019300/32872528 swapFree=17888/1798212
[pid=11380] ppid=11377 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/11380/stat : 11380 (toysat) R 11377 11380 10472 0 -1 4202496 55007 0 0 0 23 6 0 0 20 0 4 0 30328511 1343819776 55306 33554432000 4194304 16246674 140736469571600 140736469570912 7363319 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11380/statm: 328081 55306 801 2943 0 324975 0
[pid=11380/tid=11381] ppid=11377 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11381/stat : 11381 (toysat) S 11377 11380 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30328511 1343819776 55306 33554432000 4194304 16246674 140736469571600 140025915223280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11380/tid=11382] ppid=11377 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11382/stat : 11382 (toysat) S 11377 11380 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30328511 1343819776 55306 33554432000 4194304 16246674 140736469571600 140025904733424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11380/tid=11383] ppid=11377 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11383/stat : 11383 (toysat) S 11377 11380 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30328511 1343819776 55306 33554432000 4194304 16246674 140736469571600 140025894259888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700418 s]
/proc/loadavg: 2.23 2.24 2.26 3/179 11380
/proc/meminfo: memFree=29019300/32872528 swapFree=17888/1798212
[pid=11380] ppid=11377 vsize=1324612 CPUtime=0.69 cores=1,3,5,7
/proc/11380/stat : 11380 (toysat) R 11377 11380 10472 0 -1 4202496 58124 0 0 0 63 6 0 0 20 0 4 0 30328511 1356402688 58423 33554432000 4194304 16246674 140736469571600 140736469570696 13753114 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11380/statm: 331153 58423 838 2943 0 328047 0
[pid=11380/tid=11381] ppid=11377 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11381/stat : 11381 (toysat) S 11377 11380 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30328511 1356402688 58423 33554432000 4194304 16246674 140736469571600 140025915223280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11380/tid=11382] ppid=11377 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11382/stat : 11382 (toysat) S 11377 11380 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30328511 1356402688 58423 33554432000 4194304 16246674 140736469571600 140025904733424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11380/tid=11383] ppid=11377 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11383/stat : 11383 (toysat) S 11377 11380 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30328511 1356402688 58423 33554432000 4194304 16246674 140736469571600 140025894259888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1324612

[startup+1.50039 s]
/proc/loadavg: 2.21 2.24 2.26 3/183 11384
/proc/meminfo: memFree=28762004/32872528 swapFree=17888/1798212
[pid=11380] ppid=11377 vsize=1324612 CPUtime=1.49 cores=1,3,5,7
/proc/11380/stat : 11380 (toysat) R 11377 11380 10472 0 -1 4202496 64218 0 0 0 142 7 0 0 20 0 4 0 30328511 1356402688 64517 33554432000 4194304 16246674 140736469571600 140736469570696 5711716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11380/statm: 331153 64517 891 2943 0 328047 0
[pid=11380/tid=11381] ppid=11377 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11381/stat : 11381 (toysat) S 11377 11380 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30328511 1356402688 64517 33554432000 4194304 16246674 140736469571600 140025915223280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11380/tid=11382] ppid=11377 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11382/stat : 11382 (toysat) S 11377 11380 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30328511 1356402688 64517 33554432000 4194304 16246674 140736469571600 140025904733424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11380/tid=11383] ppid=11377 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11383/stat : 11383 (toysat) S 11377 11380 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30328511 1356402688 64517 33554432000 4194304 16246674 140736469571600 140025894259888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1324612

[startup+3.10041 s]
/proc/loadavg: 2.21 2.24 2.26 3/183 11433
/proc/meminfo: memFree=29687408/32872528 swapFree=17888/1798212
[pid=11380] ppid=11377 vsize=1324612 CPUtime=3.09 cores=1,3,5,7
/proc/11380/stat : 11380 (toysat) R 11377 11380 10472 0 -1 4202496 64218 0 0 0 302 7 0 0 20 0 4 0 30328511 1356402688 64517 33554432000 4194304 16246674 140736469571600 140736469553472 5712619 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11380/statm: 331153 64517 891 2943 0 328047 0
[pid=11380/tid=11381] ppid=11377 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11381/stat : 11381 (toysat) S 11377 11380 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30328511 1356402688 64517 33554432000 4194304 16246674 140736469571600 140025915223280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11380/tid=11382] ppid=11377 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11382/stat : 11382 (toysat) S 11377 11380 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30328511 1356402688 64517 33554432000 4194304 16246674 140736469571600 140025904733424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11380/tid=11383] ppid=11377 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11383/stat : 11383 (toysat) S 11377 11380 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30328511 1356402688 64517 33554432000 4194304 16246674 140736469571600 140025894259888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1324612

[startup+6.30042 s]
/proc/loadavg: 2.28 2.25 2.26 3/183 11433
/proc/meminfo: memFree=28611240/32872528 swapFree=17888/1798212
[pid=11380] ppid=11377 vsize=1326660 CPUtime=6.29 cores=1,3,5,7
/proc/11380/stat : 11380 (toysat) R 11377 11380 10472 0 -1 4202496 272357 0 0 0 593 36 0 0 20 0 4 0 30328511 1358499840 272656 33554432000 4194304 16246674 140736469571600 140736469553472 6958536 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11380/statm: 331665 272656 902 2943 0 328559 0
[pid=11380/tid=11381] ppid=11377 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11381/stat : 11381 (toysat) S 11377 11380 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30328511 1358499840 272656 33554432000 4194304 16246674 140736469571600 140025915223280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11380/tid=11382] ppid=11377 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11382/stat : 11382 (toysat) S 11377 11380 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30328511 1358499840 272656 33554432000 4194304 16246674 140736469571600 140025904733424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11380/tid=11383] ppid=11377 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11383/stat : 11383 (toysat) S 11377 11380 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30328511 1358499840 272656 33554432000 4194304 16246674 140736469571600 140025894259888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1326660

[startup+12.7004 s]
/proc/loadavg: 2.25 2.24 2.26 3/183 11433
/proc/meminfo: memFree=28599276/32872528 swapFree=17888/1798212
[pid=11380] ppid=11377 vsize=1336900 CPUtime=12.69 cores=1,3,5,7
/proc/11380/stat : 11380 (toysat) R 11377 11380 10472 0 -1 4202496 274930 0 0 0 1233 36 0 0 20 0 4 0 30328511 1368985600 275229 33554432000 4194304 16246674 140736469571600 140736469553472 6958858 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11380/statm: 334225 275229 915 2943 0 331119 0
[pid=11380/tid=11381] ppid=11377 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11381/stat : 11381 (toysat) S 11377 11380 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30328511 1368985600 275229 33554432000 4194304 16246674 140736469571600 140025915223280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11380/tid=11382] ppid=11377 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11382/stat : 11382 (toysat) S 11377 11380 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30328511 1368985600 275229 33554432000 4194304 16246674 140736469571600 140025904733424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11380/tid=11383] ppid=11377 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11383/stat : 11383 (toysat) S 11377 11380 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30328511 1368985600 275229 33554432000 4194304 16246674 140736469571600 140025894259888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1336900

[startup+25.5004 s]
/proc/loadavg: 2.21 2.23 2.26 3/183 11433
/proc/meminfo: memFree=28599232/32872528 swapFree=17888/1798212
[pid=11380] ppid=11377 vsize=1336900 CPUtime=25.49 cores=1,3,5,7
/proc/11380/stat : 11380 (toysat) R 11377 11380 10472 0 -1 4202496 274930 0 0 0 2513 36 0 0 20 0 4 0 30328511 1368985600 275229 33554432000 4194304 16246674 140736469571600 140736469553472 4220480 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11380/statm: 334225 275229 915 2943 0 331119 0
[pid=11380/tid=11381] ppid=11377 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11381/stat : 11381 (toysat) S 11377 11380 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30328511 1368985600 275229 33554432000 4194304 16246674 140736469571600 140025915223280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11380/tid=11382] ppid=11377 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11382/stat : 11382 (toysat) S 11377 11380 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30328511 1368985600 275229 33554432000 4194304 16246674 140736469571600 140025904733424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11380/tid=11383] ppid=11377 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11383/stat : 11383 (toysat) S 11377 11380 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30328511 1368985600 275229 33554432000 4194304 16246674 140736469571600 140025894259888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1336900

[startup+51.1004 s]
/proc/loadavg: 2.34 2.26 2.26 3/183 11433
/proc/meminfo: memFree=28532616/32872528 swapFree=17888/1798212
[pid=11380] ppid=11377 vsize=1403460 CPUtime=51.08 cores=1,3,5,7
/proc/11380/stat : 11380 (toysat) R 11377 11380 10472 0 -1 4202496 291570 0 0 0 5070 38 0 0 20 0 4 0 30328511 1437143040 291869 33554432000 4194304 16246674 140736469571600 140736469569472 4220982 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11380/statm: 350865 291869 915 2943 0 347759 0
[pid=11380/tid=11381] ppid=11377 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11381/stat : 11381 (toysat) S 11377 11380 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30328511 1437143040 291869 33554432000 4194304 16246674 140736469571600 140025915223280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11380/tid=11382] ppid=11377 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11382/stat : 11382 (toysat) S 11377 11380 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30328511 1437143040 291869 33554432000 4194304 16246674 140736469571600 140025904733424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11380/tid=11383] ppid=11377 vsize=1403460 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11383/stat : 11383 (toysat) S 11377 11380 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30328511 1437143040 291869 33554432000 4194304 16246674 140736469571600 140025894259888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1403460

[startup+102.3 s]
/proc/loadavg: 2.27 2.25 2.26 3/183 11434
/proc/meminfo: memFree=28322068/32872528 swapFree=17888/1798212
[pid=11380] ppid=11377 vsize=1613380 CPUtime=102.28 cores=1,3,5,7
/proc/11380/stat : 11380 (toysat) R 11377 11380 10472 0 -1 4202496 352242 0 0 0 10180 48 0 0 20 0 4 0 30328511 1652101120 344349 33554432000 4194304 16246674 140736469571600 140736469570912 12653056 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11380/statm: 403345 344349 915 2943 0 400239 0
[pid=11380/tid=11381] ppid=11377 vsize=1613380 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11381/stat : 11381 (toysat) S 11377 11380 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30328511 1652101120 344349 33554432000 4194304 16246674 140736469571600 140025915223280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11380/tid=11382] ppid=11377 vsize=1613380 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11382/stat : 11382 (toysat) S 11377 11380 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30328511 1652101120 344349 33554432000 4194304 16246674 140736469571600 140025904733424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11380/tid=11383] ppid=11377 vsize=1613380 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11383/stat : 11383 (toysat) S 11377 11380 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30328511 1652101120 344349 33554432000 4194304 16246674 140736469571600 140025894259888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1613380


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

[pid=11380] ppid=11377 vsize=9537092 CPUtime=1362.07 cores=1,3,5,7
/proc/11380/stat : 11380 (toysat) R 11377 11380 10472 0 -1 4202496 2811648 0 0 0 135682 525 0 0 20 0 4 0 30328511 9765982208 2325282 33554432000 4194304 16246674 140736469571600 140736469570696 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11380/statm: 2384273 2325282 916 2943 0 2381167 0
[pid=11380/tid=11381] ppid=11377 vsize=9537092 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11381/stat : 11381 (toysat) S 11377 11380 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30328511 9765982208 2325282 33554432000 4194304 16246674 140736469571600 140025915223280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11380/tid=11382] ppid=11377 vsize=9537092 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11382/stat : 11382 (toysat) S 11377 11380 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30328511 9765982208 2325282 33554432000 4194304 16246674 140736469571600 140025904733424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11380/tid=11383] ppid=11377 vsize=9537092 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11383/stat : 11383 (toysat) S 11377 11380 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30328511 9765982208 2325282 33554432000 4194304 16246674 140736469571600 140025894259888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 9537092

[startup+1422.3 s]
/proc/loadavg: 2.25 2.28 2.25 4/184 11492
/proc/meminfo: memFree=19656912/32872528 swapFree=17888/1798212
[pid=11380] ppid=11377 vsize=9593412 CPUtime=1422.05 cores=1,3,5,7
/proc/11380/stat : 11380 (toysat) R 11377 11380 10472 0 -1 4202496 2825728 0 0 0 141671 534 0 0 20 0 4 0 30328511 9823653888 2339362 33554432000 4194304 16246674 140736469571600 140736469570912 4206964 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11380/statm: 2398353 2339362 916 2943 0 2395247 0
[pid=11380/tid=11381] ppid=11377 vsize=9593412 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11381/stat : 11381 (toysat) S 11377 11380 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30328511 9823653888 2339362 33554432000 4194304 16246674 140736469571600 140025915223280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11380/tid=11382] ppid=11377 vsize=9593412 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11382/stat : 11382 (toysat) S 11377 11380 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30328511 9823653888 2339362 33554432000 4194304 16246674 140736469571600 140025904733424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11380/tid=11383] ppid=11377 vsize=9593412 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11383/stat : 11383 (toysat) S 11377 11380 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30328511 9823653888 2339362 33554432000 4194304 16246674 140736469571600 140025894259888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 9593412

[startup+1482.3 s]
/proc/loadavg: 2.27 2.27 2.25 4/183 11493
/proc/meminfo: memFree=19608028/32872528 swapFree=17888/1798212
[pid=11380] ppid=11377 vsize=9642564 CPUtime=1482.04 cores=1,3,5,7
/proc/11380/stat : 11380 (toysat) R 11377 11380 10472 0 -1 4202496 2838023 0 0 0 147661 543 0 0 20 0 4 0 30328511 9873985536 2351650 33554432000 4194304 16246674 140736469571600 140736469569408 4220912 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11380/statm: 2410641 2351650 916 2943 0 2407535 0
[pid=11380/tid=11381] ppid=11377 vsize=9642564 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11381/stat : 11381 (toysat) S 11377 11380 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30328511 9873985536 2351650 33554432000 4194304 16246674 140736469571600 140025915223280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11380/tid=11382] ppid=11377 vsize=9642564 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11382/stat : 11382 (toysat) S 11377 11380 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30328511 9873985536 2351650 33554432000 4194304 16246674 140736469571600 140025904733200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11380/tid=11383] ppid=11377 vsize=9642564 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11383/stat : 11383 (toysat) S 11377 11380 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30328511 9873985536 2351650 33554432000 4194304 16246674 140736469571600 140025894259888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 9642564

[startup+1542.3 s]
/proc/loadavg: 2.23 2.26 2.25 4/183 11495
/proc/meminfo: memFree=19509596/32872528 swapFree=17888/1798212
[pid=11380] ppid=11377 vsize=9740868 CPUtime=1542.03 cores=1,3,5,7
/proc/11380/stat : 11380 (toysat) R 11377 11380 10472 0 -1 4202496 2862599 0 0 0 153648 555 0 0 20 0 4 0 30328511 9974648832 2376226 33554432000 4194304 16246674 140736469571600 140736469570696 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11380/statm: 2435217 2376226 916 2943 0 2432111 0
[pid=11380/tid=11381] ppid=11377 vsize=9740868 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11381/stat : 11381 (toysat) S 11377 11380 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30328511 9974648832 2376226 33554432000 4194304 16246674 140736469571600 140025915223280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11380/tid=11382] ppid=11377 vsize=9740868 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11382/stat : 11382 (toysat) S 11377 11380 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30328511 9974648832 2376226 33554432000 4194304 16246674 140736469571600 140025904733424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11380/tid=11383] ppid=11377 vsize=9740868 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11383/stat : 11383 (toysat) S 11377 11380 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30328511 9974648832 2376226 33554432000 4194304 16246674 140736469571600 140025894259888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 9740868

[startup+1602.3 s]
/proc/loadavg: 2.22 2.26 2.25 3/183 11496
/proc/meminfo: memFree=19460268/32872528 swapFree=17888/1798212
[pid=11380] ppid=11377 vsize=9790020 CPUtime=1602.03 cores=1,3,5,7
/proc/11380/stat : 11380 (toysat) R 11377 11380 10472 0 -1 4202496 2874887 0 0 0 159636 567 0 0 20 0 4 0 30328511 10024980480 2388514 33554432000 4194304 16246674 140736469571600 140736469569408 4220850 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11380/statm: 2447505 2388514 916 2943 0 2444399 0
[pid=11380/tid=11381] ppid=11377 vsize=9790020 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11381/stat : 11381 (toysat) S 11377 11380 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30328511 10024980480 2388514 33554432000 4194304 16246674 140736469571600 140025915223280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11380/tid=11382] ppid=11377 vsize=9790020 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11382/stat : 11382 (toysat) S 11377 11380 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30328511 10024980480 2388514 33554432000 4194304 16246674 140736469571600 140025904733200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11380/tid=11383] ppid=11377 vsize=9790020 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11383/stat : 11383 (toysat) S 11377 11380 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30328511 10024980480 2388514 33554432000 4194304 16246674 140736469571600 140025894259888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 9790020

[startup+1662.3 s]
/proc/loadavg: 2.36 2.28 2.25 3/183 11497
/proc/meminfo: memFree=19370764/32872528 swapFree=17888/1798212
[pid=11380] ppid=11377 vsize=9879108 CPUtime=1662.03 cores=1,3,5,7
/proc/11380/stat : 11380 (toysat) R 11377 11380 10472 0 -1 4202496 2897159 0 0 0 165626 577 0 0 20 0 4 0 30328511 10116206592 2410786 33554432000 4194304 16246674 140736469571600 140736469570696 13892776 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11380/statm: 2469777 2410786 916 2943 0 2466671 0
[pid=11380/tid=11381] ppid=11377 vsize=9879108 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11381/stat : 11381 (toysat) S 11377 11380 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30328511 10116206592 2410786 33554432000 4194304 16246674 140736469571600 140025915223280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11380/tid=11382] ppid=11377 vsize=9879108 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11382/stat : 11382 (toysat) S 11377 11380 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30328511 10116206592 2410786 33554432000 4194304 16246674 140736469571600 140025904733424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11380/tid=11383] ppid=11377 vsize=9879108 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11383/stat : 11383 (toysat) S 11377 11380 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30328511 10116206592 2410786 33554432000 4194304 16246674 140736469571600 140025894259888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 9879108

[startup+1722.3 s]
/proc/loadavg: 2.34 2.29 2.26 3/183 11498
/proc/meminfo: memFree=19309164/32872528 swapFree=17888/1798212
[pid=11380] ppid=11377 vsize=9936452 CPUtime=1722 cores=1,3,5,7
/proc/11380/stat : 11380 (toysat) R 11377 11380 10472 0 -1 4202496 2911497 0 0 0 171615 585 0 0 20 0 4 0 30328511 10174926848 2425122 33554432000 4194304 16246674 140736469571600 140736469570696 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11380/statm: 2484113 2425122 916 2943 0 2481007 0
[pid=11380/tid=11381] ppid=11377 vsize=9936452 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11381/stat : 11381 (toysat) S 11377 11380 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30328511 10174926848 2425122 33554432000 4194304 16246674 140736469571600 140025915223280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11380/tid=11382] ppid=11377 vsize=9936452 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11382/stat : 11382 (toysat) S 11377 11380 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30328511 10174926848 2425122 33554432000 4194304 16246674 140736469571600 140025904733424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11380/tid=11383] ppid=11377 vsize=9936452 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11383/stat : 11383 (toysat) S 11377 11380 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30328511 10174926848 2425122 33554432000 4194304 16246674 140736469571600 140025894259888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 9936452

[startup+1782.31 s]
/proc/loadavg: 2.23 2.27 2.25 3/183 11499
/proc/meminfo: memFree=19259216/32872528 swapFree=17888/1798212
[pid=11380] ppid=11377 vsize=9984580 CPUtime=1782 cores=1,3,5,7
/proc/11380/stat : 11380 (toysat) R 11377 11380 10472 0 -1 4202496 2923535 0 0 0 177603 597 0 0 20 0 4 0 30328511 10224209920 2437154 33554432000 4194304 16246674 140736469571600 140736469570696 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11380/statm: 2496145 2437154 916 2943 0 2493039 0
[pid=11380/tid=11381] ppid=11377 vsize=9984580 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11381/stat : 11381 (toysat) S 11377 11380 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30328511 10224209920 2437154 33554432000 4194304 16246674 140736469571600 140025915223280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11380/tid=11382] ppid=11377 vsize=9984580 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11382/stat : 11382 (toysat) S 11377 11380 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30328511 10224209920 2437154 33554432000 4194304 16246674 140736469571600 140025904733424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11380/tid=11383] ppid=11377 vsize=9984580 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11383/stat : 11383 (toysat) S 11377 11380 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30328511 10224209920 2437154 33554432000 4194304 16246674 140736469571600 140025894259888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 9984580



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.26 2.27 2.25 3/183 11499
/proc/meminfo: memFree=19192596/32872528 swapFree=17888/1798212
[pid=11380] ppid=11377 vsize=10033732 CPUtime=1800.09 cores=1,3,5,7
/proc/11380/stat : 11380 (toysat) R 11377 11380 10472 0 -1 4202496 2935823 0 0 0 179408 601 0 0 20 0 4 0 30328511 10274541568 2449442 33554432000 4194304 16246674 140736469571600 140736469570696 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11380/statm: 2508433 2449442 916 2943 0 2505327 0
[pid=11380/tid=11381] ppid=11377 vsize=10033732 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11381/stat : 11381 (toysat) S 11377 11380 10472 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30328511 10274541568 2449442 33554432000 4194304 16246674 140736469571600 140025915223280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11380/tid=11382] ppid=11377 vsize=10033732 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11382/stat : 11382 (toysat) S 11377 11380 10472 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30328511 10274541568 2449442 33554432000 4194304 16246674 140736469571600 140025904733424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11380/tid=11383] ppid=11377 vsize=10033732 CPUtime=0 cores=1,3,5,7
/proc/11380/task/11383/stat : 11383 (toysat) S 11377 11380 10472 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30328511 10274541568 2449442 33554432000 4194304 16246674 140736469571600 140025894259888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10033732

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

[startup+1800.6 s]
/proc/loadavg: 2.26 2.27 2.25 3/183 11499
/proc/meminfo: memFree=19192596/32872528 swapFree=17888/1798212
[pid=11380] ppid=11377 vsize=0 CPUtime=1800.28 cores=1,3,5,7
/proc/11380/stat : 11380 (toysat) Z 11377 11380 10472 0 -1 4203532 2935823 0 0 0 179408 620 0 0 20 0 2 0 30328511 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11380/statm: 0 0 0 0 0 0 0
[pid=11380/tid=11382] ppid=11377 vsize=0 CPUtime=0.19 cores=1,3,5,7
/proc/11380/task/11382/stat : 11382 (toysat) R 11377 11380 10472 0 -1 4203588 8 0 0 0 0 19 0 0 20 0 2 0 30328511 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 0

[startup+1800.7 s]
/proc/loadavg: 2.26 2.27 2.25 3/183 11499
/proc/meminfo: memFree=19192596/32872528 swapFree=17888/1798212
[pid=11380] ppid=11377 vsize=0 CPUtime=1800.38 cores=1,3,5,7
/proc/11380/stat : 11380 (toysat) Z 11377 11380 10472 0 -1 4203532 2935823 0 0 0 179408 630 0 0 20 0 2 0 30328511 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11380/statm: 0 0 0 0 0 0 0
[pid=11380/tid=11382] ppid=11377 vsize=0 CPUtime=0.29 cores=1,3,5,7
/proc/11380/task/11382/stat : 11382 (toysat) R 11377 11380 10472 0 -1 4203588 8 0 0 0 0 29 0 0 20 0 2 0 30328511 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.38
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.79
CPU time (s): 1800.49
CPU user time (s): 1794.1
CPU system time (s): 6.39103
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 10033732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.1
system time used= 6.39103
maximum resident set size= 9797768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2935823
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= 796
involuntary context switches= 1926

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5973 second user time and 6.86396 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-18 22:46:54
IDJOB=4107118
IDBENCH=71884
IDSOLVER=2542
FILE ID=node123/4107118-1466282814
RUNJOBID= node123-1466275608-10489
PBS_JOBID= 19918249
Free space on /tmp= 71620 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_100_3__3_91__128.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107118-1466282814/watcher-4107118-1466282814 -o /tmp/evaluation-result-4107118-1466282814/solver-4107118-1466282814 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466275608-10489 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107118-1466282814.opb

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

MD5SUM BENCH= 8a6c4f191039e5923638a33ef44f024d
RANDOM SEED=1727102099

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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:        29019300 kB
Buffers:           73584 kB
Cached:           141448 kB
SwapCached:         1604 kB
Active:          1172244 kB
Inactive:         144156 kB
Active(anon):    1100932 kB
Inactive(anon):     3080 kB
Active(file):      71312 kB
Inactive(file):   141076 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099320 kB
Dirty:             17924 kB
Writeback:             0 kB
AnonPages:       2899348 kB
Mapped:            10320 kB
Shmem:                 0 kB
Slab:             602560 kB
SReclaimable:      46436 kB
SUnreclaim:       556124 kB
KernelStack:        1448 kB
PageTables:         9924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3040856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2318336 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= 71596 MiB
End job on node123 at 2016-06-18 23:16:55