Trace number 4079126

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.17 1800.49

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_20_2__17_12__32.opb
MD5SUM3810b90faf6bb63e502dc3018d3d0859
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark46877
Best CPU time to get the best result obtained on this benchmark1.45378
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1298
Total number of constraints60
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)42
Number of constraints which are nor clauses,nor cardinality constraints18
Minimum length of a constraint32
Maximum length of a constraint257
Number of terms in the objective function 1280
Biggest coefficient in the objective function 94409
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 55825984
Number of bits of the sum of numbers in the objective function 26
Biggest number in a constraint 94409
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 55825984
Number of bits of the biggest sum of numbers26
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-07T04:31:48+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-4079126-1465266707.opb"]
0.00/0.01	c use --random-gen="3893821668 460710913 3636050071 1777578310 1072786552 3693738795 3742850053 1504948327 1441125376 2932379472 3131955507 3858054091 2845710651 1106762703 2749725394 4276515276 48154426 3490663086 3475580825 548206180 3538312461 3351533331 3815264462 1122537479 2869263946 2099814207 3165670006 2353749711 986097457 4104815527 1566365618 1319064672 41486106 1176231255 125431296 3564331665 459199414 3293666242 4093671794 2169064657 41613354 1976729604 2487599253 2518516192 2653471424 2883860332 1807730372 260694170 2971562729 1231611541 1873754515 3798104499 1578769558 1432671441 1753564383 1779828560 2523308865 2681770252 561247102 1270653445 3976758125 1390894935 137569046 4073592970 355315501 3671506560 193376430 3150370475 4004656318 855913488 269316209 3693380046 1633254926 4191193773 2401639702 2822563412 3822949431 3424402641 2745036178 1861349823 2902873056 4022248273 322915723 2166590174 2962731631 255968824 153598172 3035199257 1968311373 262922347 1608976576 3769238402 2585294290 3235624473 3268988367 80942921 3100707610 278080803 2037317493 436562560 1721883273 3048497161 1561210163 2152439891 607897310 2172315497 2239564171 981220220 3603269998 914527058 3496730629 1282762939 4100781282 4026307853 3075581717 808754625 1861029938 2368789930 3608225723 3927919808 2863090472 1057553860 3931829988 562800070 3862700125 3016893262 1961194633 3061979899 3100275191 2702698165 2592968185 3627833846 1994056010 2653663528 3314546155 2794021506 3377573189 1020088792 2350728189 58668355 3033337923 2525425855 3891900698 3032642995 2141825190 3456037681 674961362 2314052737 3630240497 1794838590 787248807 3381191366 3120519147 4250664900 3788137890 358624307 2074369445 552083917 2028628148 2854626165 1930773858 1063719019 518182660 1487633805 1040925809 1967347711 2852625813 1903691155 833345810 3001736125 1684617642 1756883968 2417844749 3710129604 4011134285 2054161439 2378825998 3765743373 508292890 2238231973 3461546682 1926114232 1510251463 2921148807 387967034 4192235084 3020000391 1412458175 347850644 826828816 1674062158 3778073957 336025316 1218502108 780535908 794288180 3685844013 21201674 1698267206 725176358 1969859754 827969996 1171544263 288062529 4018882801 2300682994 2352023190 2218353070 2199308061 2203341542 911806546 861449825 915820307 27283345 2946470227 225349833 638861261 1025253599 2457312548 2476766145 4238703193 3713289441 2670104082 1558996878 4142536511 2357519179 4069217115 3209834976 4206305546 2490204570 2177628787 1309929348 29311756 856805071 88118660 2880107812 4093643426 1087461845 3124814110 1337714749 318355563 2782248009 3638587646 1703338700 644046393 248252874 1791805132 3180264413 1480021918 3516983343 960822949 2229454947 459725951 2047538642 3577418713 3203288047 255 362436" option to reproduce the execution
0.00/0.02	c #vars 1298
0.00/0.02	c #constraints 60
0.00/0.04	c BCD2: Hardening is enabled.
0.00/0.04	c BCD2: BiasedSearch is enabled.
0.00/0.04	c Solving starts ...
0.00/0.04	c ============================[ Search Statistics ]============================
0.00/0.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.04	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.04	c =============================================================================
0.00/0.04	c  0.0s |       0 |        0 |        0 |      459      0 |        0 |        0
0.00/0.08	c  0.0s |       1 |      489 |      100 |      459      0 |        0 |        0
0.09/0.15	c  0.1s |       2 |     2436 |      250 |      505      0 |        0 |        0
0.29/0.33	c  0.3s |       3 |     3594 |      475 |      556      0 |        0 |        0
0.29/0.34	c  0.3s |       3 |     4132 |      480 |      612      0 |        0 |        0
0.29/0.34	c #cpu_time = 0.302s
0.29/0.34	c #wall_clock_time = 0.302s
0.29/0.34	c #decision = 4132
0.29/0.34	c #random_decision = 15
0.29/0.34	c #conflict = 480
0.29/0.34	c #restart = 3
0.29/0.34	o 533162
0.29/0.36	c BCD2: updating upper bound: 55825984 -> 533161
0.29/0.38	c BCD2: 0 <= obj <= 533161
0.29/0.38	c BCD2: #cores=0, #unrelaxed=1280, #relaxed=0, #hardened=0
0.29/0.38	c BCD2: #sat=1 #unsat=1 bias=1/2
0.29/0.38	c Solving starts ...
0.29/0.38	c ============================[ Search Statistics ]============================
0.29/0.38	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.38	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.38	c =============================================================================
0.29/0.38	c  0.0s |       0 |        0 |        0 |      612      0 |        0 |        0
0.29/0.38	c  0.0s |       0 |      317 |        0 |      612      0 |        0 |        0
0.29/0.38	c #cpu_time = 0.004s
0.29/0.38	c #wall_clock_time = 0.004s
0.29/0.38	c #decision = 317
0.29/0.38	c #random_decision = 0
0.29/0.38	c #conflict = 0
0.29/0.38	c #restart = 0
0.29/0.38	c BCD2: found a new core of size 64: cost of the new core is >=8301
0.29/0.38	c lower bound updated to 8301
0.29/0.39	c BCD2: 8301 <= obj <= 533161
0.29/0.39	c BCD2: #cores=1, #unrelaxed=1216, #relaxed=64, #hardened=0
0.29/0.39	c BCD2: #sat=1 #unsat=2 bias=2/3
0.29/0.40	c Solving starts ...
0.29/0.40	c ============================[ Search Statistics ]============================
0.29/0.40	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.40	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.40	c =============================================================================
0.29/0.40	c  0.0s |       0 |        0 |        0 |      612      0 |        0 |        1
0.39/0.40	c  0.0s |       0 |      570 |        0 |      612      0 |        0 |        1
0.39/0.40	c #cpu_time = 0.005s
0.39/0.40	c #wall_clock_time = 0.005s
0.39/0.40	c #decision = 570
0.39/0.40	c #random_decision = 0
0.39/0.40	c #conflict = 0
0.39/0.40	c #restart = 0
0.39/0.40	c BCD2: found a new core of size 254: cost of the new core is >=1005
0.39/0.40	c lower bound updated to 9306
0.39/0.41	c BCD2: 9306 <= obj <= 533161
0.39/0.41	c BCD2: #cores=2, #unrelaxed=962, #relaxed=318, #hardened=0
0.39/0.41	c BCD2: #sat=1 #unsat=3 bias=3/4
324.72/324.83	c Solving starts ...
324.72/324.83	c ============================[ Search Statistics ]============================
324.72/324.83	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
324.72/324.83	c       |         |          |          |    Limit     GC | Var      | Constra 
324.72/324.83	c =============================================================================
324.72/324.83	c  0.0s |       0 |        0 |        0 |      612      0 |        0 |        1
324.72/324.85	c  0.0s |       0 |     1068 |       32 |      612      0 |        0 |        1
324.72/324.85	c #cpu_time = 0.016s
324.72/324.85	c #wall_clock_time = 0.016s
324.72/324.85	c #decision = 1068
324.72/324.85	c #random_decision = 0
324.72/324.85	c #conflict = 32
324.72/324.85	c #restart = 0
324.72/324.85	c BCD2: relaxing 255 and merging with 1 cores into a new core of size 319: cost of the new core is >=18301
324.72/324.85	c lower bound updated to 19306
324.72/324.87	c BCD2: 19306 <= obj <= 533161
324.72/324.87	c BCD2: #cores=2, #unrelaxed=707, #relaxed=573, #hardened=0
324.72/324.87	c BCD2: #sat=1 #unsat=4 bias=4/5
1557.20/1557.56	c Solving starts ...
1557.20/1557.56	c ============================[ Search Statistics ]============================
1557.20/1557.56	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1557.20/1557.56	c       |         |          |          |    Limit     GC | Var      | Constra 
1557.20/1557.56	c =============================================================================
1557.20/1557.56	c  0.0s |       0 |        0 |        0 |      612      0 |        2 |        1
1557.20/1557.58	c  0.0s |       0 |     1024 |       27 |      612      0 |        2 |        4
1557.20/1557.58	c #cpu_time = 0.016s
1557.20/1557.58	c #wall_clock_time = 0.016s
1557.20/1557.58	c #decision = 1024
1557.20/1557.58	c #random_decision = 0
1557.20/1557.58	c #conflict = 27
1557.20/1557.58	c #restart = 0
1557.20/1557.58	o 78430
1557.61/1557.95	c BCD2: hardening fixes 384 literals
1557.61/1557.95	c BCD2: updating upper bound: 533161 -> 78429
1558.01/1558.30	c BCD2: 19306 <= obj <= 78429
1558.01/1558.30	c BCD2: #cores=2, #unrelaxed=481, #relaxed=415, #hardened=384
1558.01/1558.30	c BCD2: #sat=2 #unsat=4 bias=4/6
1694.58/1694.96	c Solving starts ...
1694.58/1694.96	c ============================[ Search Statistics ]============================
1694.58/1694.96	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1694.58/1694.96	c       |         |          |          |    Limit     GC | Var      | Constra 
1694.58/1694.96	c =============================================================================
1694.58/1694.96	c  0.0s |       0 |        0 |        0 |      612      0 |      420 |        5
1694.68/1695.02	c  0.1s |       1 |     1567 |      100 |      612      0 |      420 |       22
1694.68/1695.08	c  0.1s |       1 |     2433 |      198 |      612      0 |      420 |       22
1694.68/1695.08	c #cpu_time = 0.119s
1694.68/1695.08	c #wall_clock_time = 0.119s
1694.68/1695.08	c #decision = 2433
1694.68/1695.08	c #random_decision = 1
1694.68/1695.08	c #conflict = 198
1694.68/1695.08	c #restart = 1
1694.68/1695.09	c BCD2: relaxing 221 and merging with 2 cores into a new core of size 794: cost of the new core is >=31567
1694.68/1695.09	c BCD2: refineLB: 31561 -> 31567
1694.68/1695.09	c lower bound updated to 31567
1695.08/1695.47	c BCD2: hardening fixes 128 literals
1695.08/1695.47	c BCD2: 31567 <= obj <= 78429
1695.08/1695.47	c BCD2: #cores=1, #unrelaxed=132, #relaxed=636, #hardened=512
1695.08/1695.47	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-4079126-1465266707/watcher-4079126-1465266707 -o /tmp/evaluation-result-4079126-1465266707/solver-4079126-1465266707 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5582 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079126-1465266707.opb 

pid=7117
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.05 2.10 2.08 3/173 7120
/proc/meminfo: memFree=31683908/32872528 swapFree=12744/274376
[pid=7120] ppid=7117 vsize=732740 CPUtime=0 cores=0,2,4,6
/proc/7120/stat : 7120 (toysat) R 7117 7120 5566 0 -1 4202496 2736 0 0 0 0 0 0 0 20 0 4 0 108605496 750325760 3097 33554432000 4194304 16246674 140734436112624 140734436112048 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7120/statm: 183953 3107 442 2943 0 180847 0
[pid=7120/tid=7121] ppid=7117 vsize=751172 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7121/stat : 7121 (toysat) S 7117 7120 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108605496 769200128 3170 33554432000 4194304 16246674 140734436112624 139801144569072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7120/tid=7122] ppid=7117 vsize=755268 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7122/stat : 7122 (toysat) S 7117 7120 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108605496 773394432 3187 33554432000 4194304 16246674 140734436112624 139801134079216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7120/tid=7123] ppid=7117 vsize=760388 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7123/stat : 7123 (toysat) S 7117 7120 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108605496 778637312 3203 33554432000 4194304 16246674 140734436112624 139801051262128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100134 s]
/proc/loadavg: 2.05 2.10 2.08 3/173 7120
/proc/meminfo: memFree=31683908/32872528 swapFree=12744/274376
[pid=7120] ppid=7117 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/7120/stat : 7120 (toysat) R 7117 7120 5566 0 -1 4202496 20938 0 0 0 6 3 0 0 20 0 4 0 108605496 1247350784 21287 33554432000 4194304 16246674 140734436112624 140734436112048 13759916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7120/statm: 304529 21290 742 2943 0 301423 0
[pid=7120/tid=7121] ppid=7117 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7121/stat : 7121 (toysat) S 7117 7120 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108605496 1247350784 21293 33554432000 4194304 16246674 140734436112624 139801144569072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7120/tid=7122] ppid=7117 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7122/stat : 7122 (toysat) S 7117 7120 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108605496 1247350784 21296 33554432000 4194304 16246674 140734436112624 139801134079216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7120/tid=7123] ppid=7117 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7123/stat : 7123 (toysat) S 7117 7120 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108605496 1247350784 21298 33554432000 4194304 16246674 140734436112624 139801051262128 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) 1218116

[startup+0.200505 s]
/proc/loadavg: 2.05 2.10 2.08 3/173 7120
/proc/meminfo: memFree=31683908/32872528 swapFree=12744/274376
[pid=7120] ppid=7117 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/7120/stat : 7120 (toysat) R 7117 7120 5566 0 -1 4202496 37265 0 0 0 13 6 0 0 20 0 4 0 108605496 1247350784 37614 33554432000 4194304 16246674 140734436112624 140734436112048 5723366 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7120/statm: 304529 37615 742 2943 0 301423 0
[pid=7120/tid=7121] ppid=7117 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7121/stat : 7121 (toysat) S 7117 7120 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108605496 1247350784 37615 33554432000 4194304 16246674 140734436112624 139801144569072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7120/tid=7122] ppid=7117 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7122/stat : 7122 (toysat) S 7117 7120 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108605496 1247350784 37615 33554432000 4194304 16246674 140734436112624 139801134079216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7120/tid=7123] ppid=7117 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7123/stat : 7123 (toysat) S 7117 7120 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108605496 1247350784 37616 33554432000 4194304 16246674 140734436112624 139801051262128 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) 1218116

[startup+0.300474 s]
/proc/loadavg: 2.05 2.10 2.08 3/173 7120
/proc/meminfo: memFree=31683908/32872528 swapFree=12744/274376
[pid=7120] ppid=7117 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/7120/stat : 7120 (toysat) R 7117 7120 5566 0 -1 4202496 55326 0 0 0 21 8 0 0 20 0 4 0 108605496 1247350784 55675 33554432000 4194304 16246674 140734436112624 140734436112048 5724508 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7120/statm: 304529 55676 742 2943 0 301423 0
[pid=7120/tid=7121] ppid=7117 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7121/stat : 7121 (toysat) S 7117 7120 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108605496 1247350784 55676 33554432000 4194304 16246674 140734436112624 139801144569072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7120/tid=7122] ppid=7117 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7122/stat : 7122 (toysat) S 7117 7120 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108605496 1247350784 55676 33554432000 4194304 16246674 140734436112624 139801134079216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7120/tid=7123] ppid=7117 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7123/stat : 7123 (toysat) S 7117 7120 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108605496 1247350784 55676 33554432000 4194304 16246674 140734436112624 139801051262128 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) 1218116

[startup+0.700403 s]
/proc/loadavg: 2.05 2.10 2.08 3/173 7120
/proc/meminfo: memFree=31683908/32872528 swapFree=12744/274376
[pid=7120] ppid=7117 vsize=1222212 CPUtime=0.69 cores=0,2,4,6
/proc/7120/stat : 7120 (toysat) R 7117 7120 5566 0 -1 4202496 117430 0 0 0 52 17 0 0 20 0 4 0 108605496 1251545088 117756 33554432000 4194304 16246674 140734436112624 140734436111936 12653060 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7120/statm: 305553 117765 843 2943 0 302447 0
[pid=7120/tid=7121] ppid=7117 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7121/stat : 7121 (toysat) S 7117 7120 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108605496 1251545088 117770 33554432000 4194304 16246674 140734436112624 139801144569072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7120/tid=7122] ppid=7117 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7122/stat : 7122 (toysat) S 7117 7120 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108605496 1251545088 117776 33554432000 4194304 16246674 140734436112624 139801134079216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7120/tid=7123] ppid=7117 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7123/stat : 7123 (toysat) S 7117 7120 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108605496 1251545088 117781 33554432000 4194304 16246674 140734436112624 139801051262128 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) 1222212

[startup+1.50042 s]
/proc/loadavg: 2.05 2.10 2.08 3/184 7138
/proc/meminfo: memFree=30523888/32872528 swapFree=12744/274376
[pid=7120] ppid=7117 vsize=1270340 CPUtime=1.49 cores=0,2,4,6
/proc/7120/stat : 7120 (toysat) R 7117 7120 5566 0 -1 4202496 258575 0 0 0 113 36 0 0 20 0 4 0 108605496 1300828160 258901 33554432000 4194304 16246674 140734436112624 140734436094528 12449269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7120/statm: 317585 258901 843 2943 0 314479 0
[pid=7120/tid=7121] ppid=7117 vsize=1270340 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7121/stat : 7121 (toysat) S 7117 7120 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108605496 1300828160 258901 33554432000 4194304 16246674 140734436112624 139801144569072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7120/tid=7122] ppid=7117 vsize=1270340 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7122/stat : 7122 (toysat) S 7117 7120 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108605496 1300828160 258901 33554432000 4194304 16246674 140734436112624 139801134079216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7120/tid=7123] ppid=7117 vsize=1270340 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7123/stat : 7123 (toysat) S 7117 7120 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108605496 1300828160 258901 33554432000 4194304 16246674 140734436112624 139801051262128 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) 1270340

[startup+3.10039 s]
/proc/loadavg: 2.05 2.10 2.08 3/184 7138
/proc/meminfo: memFree=29973700/32872528 swapFree=12744/274376
[pid=7120] ppid=7117 vsize=1289796 CPUtime=3.09 cores=0,2,4,6
/proc/7120/stat : 7120 (toysat) R 7117 7120 5566 0 -1 4202496 263537 0 0 0 273 36 0 0 20 0 4 0 108605496 1320751104 263863 33554432000 4194304 16246674 140734436112624 140734436094528 12371164 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7120/statm: 322449 263863 843 2943 0 319343 0
[pid=7120/tid=7121] ppid=7117 vsize=1289796 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7121/stat : 7121 (toysat) S 7117 7120 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108605496 1320751104 263863 33554432000 4194304 16246674 140734436112624 139801144569072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7120/tid=7122] ppid=7117 vsize=1289796 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7122/stat : 7122 (toysat) S 7117 7120 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108605496 1320751104 263863 33554432000 4194304 16246674 140734436112624 139801134079216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7120/tid=7123] ppid=7117 vsize=1289796 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7123/stat : 7123 (toysat) S 7117 7120 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108605496 1320751104 263863 33554432000 4194304 16246674 140734436112624 139801051262128 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) 1289796

[startup+6.30042 s]
/proc/loadavg: 2.04 2.10 2.08 3/184 7138
/proc/meminfo: memFree=29483960/32872528 swapFree=12744/274376
[pid=7120] ppid=7117 vsize=1302084 CPUtime=6.29 cores=0,2,4,6
/proc/7120/stat : 7120 (toysat) R 7117 7120 5566 0 -1 4202496 266609 0 0 0 593 36 0 0 20 0 4 0 108605496 1333334016 266935 33554432000 4194304 16246674 140734436112624 140734436110464 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7120/statm: 325521 266935 843 2943 0 322415 0
[pid=7120/tid=7121] ppid=7117 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7121/stat : 7121 (toysat) S 7117 7120 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108605496 1333334016 266935 33554432000 4194304 16246674 140734436112624 139801144569072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7120/tid=7122] ppid=7117 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7122/stat : 7122 (toysat) S 7117 7120 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108605496 1333334016 266935 33554432000 4194304 16246674 140734436112624 139801134079216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7120/tid=7123] ppid=7117 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7123/stat : 7123 (toysat) S 7117 7120 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108605496 1333334016 266935 33554432000 4194304 16246674 140734436112624 139801051262128 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) 1302084

[startup+12.7004 s]
/proc/loadavg: 2.04 2.10 2.08 3/184 7138
/proc/meminfo: memFree=29483632/32872528 swapFree=12744/274376
[pid=7120] ppid=7117 vsize=1347140 CPUtime=12.68 cores=0,2,4,6
/proc/7120/stat : 7120 (toysat) R 7117 7120 5566 0 -1 4202496 277873 0 0 0 1231 37 0 0 20 0 4 0 108605496 1379471360 278199 33554432000 4194304 16246674 140734436112624 140734436111936 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7120/statm: 336785 278199 843 2943 0 333679 0
[pid=7120/tid=7121] ppid=7117 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7121/stat : 7121 (toysat) S 7117 7120 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108605496 1379471360 278199 33554432000 4194304 16246674 140734436112624 139801144569072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7120/tid=7122] ppid=7117 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7122/stat : 7122 (toysat) S 7117 7120 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108605496 1379471360 278199 33554432000 4194304 16246674 140734436112624 139801134079216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7120/tid=7123] ppid=7117 vsize=1347140 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7123/stat : 7123 (toysat) S 7117 7120 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108605496 1379471360 278199 33554432000 4194304 16246674 140734436112624 139801051262128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1347140

[startup+25.5005 s]
/proc/loadavg: 2.03 2.09 2.08 3/184 7138
/proc/meminfo: memFree=29103872/32872528 swapFree=12744/274376
[pid=7120] ppid=7117 vsize=1681988 CPUtime=25.49 cores=0,2,4,6
/proc/7120/stat : 7120 (toysat) R 7117 7120 5566 0 -1 4202496 361585 0 0 0 2501 48 0 0 20 0 4 0 108605496 1722355712 361911 33554432000 4194304 16246674 140734436112624 140734436110464 4220543 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7120/statm: 420497 361911 843 2943 0 417391 0
[pid=7120/tid=7121] ppid=7117 vsize=1681988 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7121/stat : 7121 (toysat) S 7117 7120 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108605496 1722355712 361911 33554432000 4194304 16246674 140734436112624 139801144569072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7120/tid=7122] ppid=7117 vsize=1681988 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7122/stat : 7122 (toysat) S 7117 7120 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108605496 1722355712 361911 33554432000 4194304 16246674 140734436112624 139801134079216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7120/tid=7123] ppid=7117 vsize=1681988 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7123/stat : 7123 (toysat) S 7117 7120 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108605496 1722355712 361911 33554432000 4194304 16246674 140734436112624 139801051262128 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) 1681988

[startup+51.1005 s]
/proc/loadavg: 2.02 2.08 2.08 3/184 7138
/proc/meminfo: memFree=29116344/32872528 swapFree=12744/274376
[pid=7120] ppid=7117 vsize=1669700 CPUtime=51.08 cores=0,2,4,6
/proc/7120/stat : 7120 (toysat) R 7117 7120 5566 0 -1 4202496 453234 0 0 0 5045 63 0 0 20 0 4 0 108605496 1709772800 358839 33554432000 4194304 16246674 140734436112624 140734436111936 12654260 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7120/statm: 417425 358839 843 2943 0 414319 0
[pid=7120/tid=7121] ppid=7117 vsize=1669700 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7121/stat : 7121 (toysat) S 7117 7120 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108605496 1709772800 358839 33554432000 4194304 16246674 140734436112624 139801144569072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7120/tid=7122] ppid=7117 vsize=1669700 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7122/stat : 7122 (toysat) S 7117 7120 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108605496 1709772800 358839 33554432000 4194304 16246674 140734436112624 139801134079216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7120/tid=7123] ppid=7117 vsize=1669700 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7123/stat : 7123 (toysat) S 7117 7120 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108605496 1709772800 358839 33554432000 4194304 16246674 140734436112624 139801051262128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1669700

[startup+102.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/184 7140
/proc/meminfo: memFree=26821136/32872528 swapFree=12744/274376
[pid=7120] ppid=7117 vsize=2302532 CPUtime=102.28 cores=0,2,4,6
/proc/7120/stat : 7120 (toysat) R 7117 7120 5566 0 -1 4202496 611442 0 0 0 10108 120 0 0 20 0 4 0 108605496 2357792768 517047 33554432000 4194304 16246674 140734436112624 140734436110464 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7120/statm: 575633 517047 843 2943 0 572527 0
[pid=7120/tid=7121] ppid=7117 vsize=2302532 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7121/stat : 7121 (toysat) S 7117 7120 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108605496 2357792768 517047 33554432000 4194304 16246674 140734436112624 139801144569072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7120/tid=7122] ppid=7117 vsize=2302532 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7122/stat : 7122 (toysat) S 7117 7120 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108605496 2357792768 517047 33554432000 4194304 16246674 140734436112624 139801134079216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7120/tid=7123] ppid=7117 vsize=2302532 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7123/stat : 7123 (toysat) S 7117 7120 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108605496 2357792768 517047 33554432000 4194304 16246674 140734436112624 139801051262128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2302532


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

/proc/7120/task/7123/stat : 7123 (toysat) S 7117 7120 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108605496 5651369984 1321149 33554432000 4194304 16246674 140734436112624 139801051262128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 5518916

[startup+1302.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/183 7372
/proc/meminfo: memFree=18134344/32872528 swapFree=12744/274376
[pid=7120] ppid=7117 vsize=5765700 CPUtime=1302.05 cores=0,2,4,6
/proc/7120/stat : 7120 (toysat) R 7117 7120 5566 0 -1 4202496 2782602 0 0 0 128067 2138 0 0 20 0 4 0 108605496 5904076800 1382845 33554432000 4194304 16246674 140734436112624 140734436110464 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7120/statm: 1441425 1382845 846 2943 0 1438319 0
[pid=7120/tid=7121] ppid=7117 vsize=5765700 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7121/stat : 7121 (toysat) S 7117 7120 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108605496 5904076800 1382845 33554432000 4194304 16246674 140734436112624 139801144569072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7120/tid=7122] ppid=7117 vsize=5765700 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7122/stat : 7122 (toysat) S 7117 7120 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108605496 5904076800 1382845 33554432000 4194304 16246674 140734436112624 139801134078992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7120/tid=7123] ppid=7117 vsize=5765700 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7123/stat : 7123 (toysat) S 7117 7120 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108605496 5904076800 1382845 33554432000 4194304 16246674 140734436112624 139801051262128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 5765700

[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 2.04 3/183 7374
/proc/meminfo: memFree=17346464/32872528 swapFree=12744/274376
[pid=7120] ppid=7117 vsize=6013508 CPUtime=1362.04 cores=0,2,4,6
/proc/7120/stat : 7120 (toysat) R 7117 7120 5566 0 -1 4202496 3158157 0 0 0 133828 2376 0 0 20 0 4 0 108605496 6157832192 1444798 33554432000 4194304 16246674 140734436112624 140734436111720 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7120/statm: 1503377 1444798 846 2943 0 1500271 0
[pid=7120/tid=7121] ppid=7117 vsize=6013508 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7121/stat : 7121 (toysat) S 7117 7120 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108605496 6157832192 1444798 33554432000 4194304 16246674 140734436112624 139801144569072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7120/tid=7122] ppid=7117 vsize=6013508 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7122/stat : 7122 (toysat) S 7117 7120 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108605496 6157832192 1444798 33554432000 4194304 16246674 140734436112624 139801134079216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7120/tid=7123] ppid=7117 vsize=6013508 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7123/stat : 7123 (toysat) S 7117 7120 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108605496 6157832192 1444798 33554432000 4194304 16246674 140734436112624 139801051262128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 6013508

[startup+1422.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/183 7375
/proc/meminfo: memFree=18093492/32872528 swapFree=12744/274376
[pid=7120] ppid=7117 vsize=5155396 CPUtime=1422.03 cores=0,2,4,6
/proc/7120/stat : 7120 (toysat) R 7117 7120 5566 0 -1 4202496 3182989 0 0 0 139620 2583 0 0 20 0 4 0 108605496 5279125504 1230270 33554432000 4194304 16246674 140734436112624 140734436110464 4225176 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7120/statm: 1288849 1230270 846 2943 0 1285743 0
[pid=7120/tid=7121] ppid=7117 vsize=5155396 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7121/stat : 7121 (toysat) S 7117 7120 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108605496 5279125504 1230270 33554432000 4194304 16246674 140734436112624 139801144569072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7120/tid=7122] ppid=7117 vsize=5155396 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7122/stat : 7122 (toysat) S 7117 7120 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108605496 5279125504 1230270 33554432000 4194304 16246674 140734436112624 139801134078992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7120/tid=7123] ppid=7117 vsize=5155396 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7123/stat : 7123 (toysat) S 7117 7120 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108605496 5279125504 1230270 33554432000 4194304 16246674 140734436112624 139801051262128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 5155396

[startup+1482.3 s]
/proc/loadavg: 2.06 2.03 2.04 3/183 7376
/proc/meminfo: memFree=16783924/32872528 swapFree=12744/274376
[pid=7120] ppid=7117 vsize=6409796 CPUtime=1482.02 cores=0,2,4,6
/proc/7120/stat : 7120 (toysat) R 7117 7120 5566 0 -1 4202496 3496589 0 0 0 145450 2752 0 0 20 0 4 0 108605496 6563631104 1543870 33554432000 4194304 16246674 140734436112624 140734436110464 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7120/statm: 1602449 1543870 846 2943 0 1599343 0
[pid=7120/tid=7121] ppid=7117 vsize=6409796 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7121/stat : 7121 (toysat) S 7117 7120 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108605496 6563631104 1543870 33554432000 4194304 16246674 140734436112624 139801144569072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7120/tid=7122] ppid=7117 vsize=6409796 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7122/stat : 7122 (toysat) S 7117 7120 5566 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108605496 6563631104 1543870 33554432000 4194304 16246674 140734436112624 139801134078992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=7120/tid=7123] ppid=7117 vsize=6409796 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7123/stat : 7123 (toysat) S 7117 7120 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108605496 6563631104 1543870 33554432000 4194304 16246674 140734436112624 139801051262128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 6409796

[startup+1542.31 s]
/proc/loadavg: 2.06 2.04 2.04 3/183 7377
/proc/meminfo: memFree=16481844/32872528 swapFree=12744/274376
[pid=7120] ppid=7117 vsize=6657604 CPUtime=1542.02 cores=0,2,4,6
/proc/7120/stat : 7120 (toysat) R 7117 7120 5566 0 -1 4202496 3632525 0 0 0 151349 2853 0 0 20 0 4 0 108605496 6817386496 1605822 33554432000 4194304 16246674 140734436112624 140734436111720 13879840 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7120/statm: 1664401 1605822 846 2943 0 1661295 0
[pid=7120/tid=7121] ppid=7117 vsize=6657604 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7121/stat : 7121 (toysat) S 7117 7120 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108605496 6817386496 1605822 33554432000 4194304 16246674 140734436112624 139801144569072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7120/tid=7122] ppid=7117 vsize=6657604 CPUtime=0.01 cores=0,2,4,6
/proc/7120/task/7122/stat : 7122 (toysat) S 7117 7120 5566 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 4 0 108605496 6817386496 1605822 33554432000 4194304 16246674 140734436112624 139801134079216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7120/tid=7123] ppid=7117 vsize=6657604 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7123/stat : 7123 (toysat) S 7117 7120 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108605496 6817386496 1605822 33554432000 4194304 16246674 140734436112624 139801051262128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 6657604

[startup+1602.3 s]
/proc/loadavg: 2.14 2.06 2.04 3/183 7378
/proc/meminfo: memFree=21321748/32872528 swapFree=12744/274376
[pid=7120] ppid=7117 vsize=1783364 CPUtime=1602 cores=0,2,4,6
/proc/7120/stat : 7120 (toysat) R 7117 7120 5566 0 -1 4202496 3704975 0 0 0 157307 2893 0 0 20 0 4 0 108605496 1826164736 387263 33554432000 4194304 16246674 140734436112624 140734436111840 4220507 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7120/statm: 445841 387263 847 2943 0 442735 0
[pid=7120/tid=7121] ppid=7117 vsize=1783364 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7121/stat : 7121 (toysat) S 7117 7120 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108605496 1826164736 387263 33554432000 4194304 16246674 140734436112624 139801144569072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7120/tid=7122] ppid=7117 vsize=1783364 CPUtime=0.01 cores=0,2,4,6
/proc/7120/task/7122/stat : 7122 (toysat) S 7117 7120 5566 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 4 0 108605496 1826164736 387263 33554432000 4194304 16246674 140734436112624 139801134079216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7120/tid=7123] ppid=7117 vsize=1783364 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7123/stat : 7123 (toysat) S 7117 7120 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108605496 1826164736 387263 33554432000 4194304 16246674 140734436112624 139801051262128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 1783364

[startup+1662.3 s]
/proc/loadavg: 2.09 2.06 2.04 3/183 7380
/proc/meminfo: memFree=21177612/32872528 swapFree=12744/274376
[pid=7120] ppid=7117 vsize=2370116 CPUtime=1661.98 cores=0,2,4,6
/proc/7120/stat : 7120 (toysat) R 7117 7120 5566 0 -1 4202496 3851479 0 0 0 163254 2944 0 0 20 0 4 0 108605496 2426998784 533766 33554432000 4194304 16246674 140734436112624 140734436111840 12429744 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7120/statm: 592529 533766 847 2943 0 589423 0
[pid=7120/tid=7121] ppid=7117 vsize=2370116 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7121/stat : 7121 (toysat) S 7117 7120 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108605496 2426998784 533766 33554432000 4194304 16246674 140734436112624 139801144569072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7120/tid=7122] ppid=7117 vsize=2370116 CPUtime=0.01 cores=0,2,4,6
/proc/7120/task/7122/stat : 7122 (toysat) S 7117 7120 5566 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 4 0 108605496 2426998784 533766 33554432000 4194304 16246674 140734436112624 139801134079216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7120/tid=7123] ppid=7117 vsize=2370116 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7123/stat : 7123 (toysat) S 7117 7120 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108605496 2426998784 533766 33554432000 4194304 16246674 140734436112624 139801051262128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 2370116

[startup+1722.3 s]
/proc/loadavg: 2.11 2.06 2.04 3/184 7384
/proc/meminfo: memFree=21444180/32872528 swapFree=12744/274376
[pid=7120] ppid=7117 vsize=1612356 CPUtime=1721.97 cores=0,2,4,6
/proc/7120/stat : 7120 (toysat) R 7117 7120 5566 0 -1 4202496 3933328 0 0 0 169180 3017 0 0 20 0 4 0 108605496 1651052544 344511 33554432000 4194304 16246674 140734436112624 140734436111840 4221019 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7120/statm: 403089 344511 847 2943 0 399983 0
[pid=7120/tid=7121] ppid=7117 vsize=1612356 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7121/stat : 7121 (toysat) S 7117 7120 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108605496 1651052544 344511 33554432000 4194304 16246674 140734436112624 139801144569072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7120/tid=7122] ppid=7117 vsize=1612356 CPUtime=0.01 cores=0,2,4,6
/proc/7120/task/7122/stat : 7122 (toysat) S 7117 7120 5566 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 4 0 108605496 1651052544 344511 33554432000 4194304 16246674 140734436112624 139801134079216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7120/tid=7123] ppid=7117 vsize=1612356 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7123/stat : 7123 (toysat) S 7117 7120 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108605496 1651052544 344511 33554432000 4194304 16246674 140734436112624 139801051262128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 1612356

[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 2.04 3/184 7408
/proc/meminfo: memFree=21275736/32872528 swapFree=12744/274376
[pid=7120] ppid=7117 vsize=1751620 CPUtime=1781.97 cores=0,2,4,6
/proc/7120/stat : 7120 (toysat) R 7117 7120 5566 0 -1 4202496 4118674 0 0 0 175152 3045 0 0 20 0 4 0 108605496 1793658880 379327 33554432000 4194304 16246674 140734436112624 140734436111840 6955599 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7120/statm: 437905 379327 847 2943 0 434799 0
[pid=7120/tid=7121] ppid=7117 vsize=1751620 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7121/stat : 7121 (toysat) S 7117 7120 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108605496 1793658880 379327 33554432000 4194304 16246674 140734436112624 139801144569072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7120/tid=7122] ppid=7117 vsize=1751620 CPUtime=0.01 cores=0,2,4,6
/proc/7120/task/7122/stat : 7122 (toysat) S 7117 7120 5566 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 4 0 108605496 1793658880 379327 33554432000 4194304 16246674 140734436112624 139801134079216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7120/tid=7123] ppid=7117 vsize=1751620 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7123/stat : 7123 (toysat) S 7117 7120 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108605496 1793658880 379327 33554432000 4194304 16246674 140734436112624 139801051262128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 1751620



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.03 2.04 2.03 3/184 7408
/proc/meminfo: memFree=21514548/32872528 swapFree=12744/274376
[pid=7120] ppid=7117 vsize=1916484 CPUtime=1800.07 cores=0,2,4,6
/proc/7120/stat : 7120 (toysat) R 7117 7120 5566 0 -1 4202496 4236179 0 0 0 176944 3063 0 0 20 0 4 0 108605496 1962479616 420544 33554432000 4194304 16246674 140734436112624 140734436110528 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7120/statm: 479121 420544 847 2943 0 476015 0
[pid=7120/tid=7121] ppid=7117 vsize=1916484 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7121/stat : 7121 (toysat) S 7117 7120 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108605496 1962479616 420544 33554432000 4194304 16246674 140734436112624 139801144569072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7120/tid=7122] ppid=7117 vsize=1916484 CPUtime=0.01 cores=0,2,4,6
/proc/7120/task/7122/stat : 7122 (toysat) S 7117 7120 5566 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 4 0 108605496 1962479616 420544 33554432000 4194304 16246674 140734436112624 139801134079216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=7120/tid=7123] ppid=7117 vsize=1916484 CPUtime=0 cores=0,2,4,6
/proc/7120/task/7123/stat : 7123 (toysat) S 7117 7120 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108605496 1962479616 420544 33554432000 4194304 16246674 140734436112624 139801051262128 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1916484

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.49
CPU time (s): 1800.17
CPU user time (s): 1769.46
CPU system time (s): 30.7103
CPU usage (%): 99.9821
Max. virtual memory (cumulated for all children) (KiB): 6706756

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1769.46
system time used= 30.7103
maximum resident set size= 6472444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4236179
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= 2036
involuntary context switches= 2290

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.41502 second user time and 9.61354 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-07 04:31:47
IDJOB=4079126
IDBENCH=71880
IDSOLVER=2542
FILE ID=node107/4079126-1465266707
RUNJOBID= node107-1465255895-5582
PBS_JOBID= 19843278
Free space on /tmp= 71748 MiB

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

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

MD5SUM BENCH= 3810b90faf6bb63e502dc3018d3d0859
RANDOM SEED=454714101

node107.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31685552 kB
Buffers:           64664 kB
Cached:           139444 kB
SwapCached:         1724 kB
Active:           103580 kB
Inactive:         107592 kB
Active(anon):       8836 kB
Inactive(anon):      440 kB
Active(file):      94744 kB
Inactive(file):   107152 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098448 kB
Dirty:             19084 kB
Writeback:             4 kB
AnonPages:        278348 kB
Mapped:             7036 kB
Shmem:                 0 kB
Slab:             570640 kB
SReclaimable:      13740 kB
SUnreclaim:       556900 kB
KernelStack:        1432 kB
PageTables:         4628 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     376416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    262144 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= 71712 MiB
End job on node107 at 2016-06-07 05:01:48