Trace number 4079149

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.03 1800.41

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/
9orless/normalized-kjumpingcube.cudf.paranoid.opb
MD5SUM9f6a8a9b5bcbd3acc81b6cca59c722e9
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark141778
Best CPU time to get the best result obtained on this benchmark32.1311
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19768
Total number of constraints96403
Number of constraints which are clauses94838
Number of constraints which are cardinality constraints (but not clauses)1565
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint2962
Number of terms in the objective function 7253
Biggest coefficient in the objective function 4295
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 12717493
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 4295
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 12717493
Number of bits of the biggest sum of numbers24
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-07T05:25:10+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-4079149-1465269910.opb"]
0.00/0.01	c use --random-gen="3133596723 826995175 3890795364 133205572 2980801334 353200677 536943714 4268309025 3040281323 1653270447 1436727326 433445872 59096158 3519029728 4226951209 472271352 2211477077 2949257367 2621189521 3475721254 77518887 343584917 746112957 16237189 2619122579 2606556934 2136888157 3058630389 4148668629 1418122609 3337042972 372141718 2950875010 1900950608 2795279087 114797836 656917116 1460354956 3765166283 3162822573 1016889246 2929883143 510589358 4182780763 3262862760 4251814250 2453813493 2540429720 2773559217 2485162078 820935852 2296565792 3792461206 3773652799 3850347063 2043624636 1963667227 1242903547 918774162 1175680681 1231492661 2969992390 1408841014 1417642348 1532302659 383656329 2810974925 79943548 3711620876 4070921681 2786932037 2446388556 3828163735 1738728398 1685113988 1093403700 1673501179 2193962867 3474596823 3237544975 708388035 880272537 3144845999 2707916720 1623116801 507482214 2709453428 2396831438 2473464221 3299723785 2164069619 3732214999 3933023766 730306844 972928067 4290355274 1708365203 2907416562 1002238946 498141027 1917343733 1835200552 1418656759 251367275 1617338569 272469729 561095151 472238540 1831935812 1099596671 2451341379 3571594393 3031769588 4230492970 430853141 2478837988 918930213 461029847 1499013810 3498493898 3803521322 3471765209 632404460 1824208740 3134958254 1660934559 2202247183 1664757459 4156466952 3149602615 913450842 162502489 585612809 3362785465 444773339 4086720937 4092368499 3690735510 3739468381 3113200165 505680635 2449430199 4068341476 1134779376 4242249225 1531706441 2435583953 3523617089 4188749268 316267725 1483803460 1564873239 3641165522 1782738971 4262861697 472883530 733720508 3413176784 1167081182 1332651226 3145885433 2352660790 758022408 4236702275 3861317942 1496077023 2834356850 1062793672 1517241246 3436778398 951771647 2981459409 1459540517 3711679762 1062977160 969937552 2267521229 671703695 127184361 157206741 3515363510 3988730154 3374212364 1044215266 2897302287 553742510 3213642138 3408945848 3447865982 981730906 3872723077 3812339713 3272427555 334930413 3979497404 771432821 1746825460 2542259042 2578233093 2261189237 1979173101 411991966 1645259021 1867450562 25419945 2653829813 957301280 176124824 3096803003 247043453 1357063881 1417469319 2316177375 957954674 147267950 614726492 2992088897 3711231400 3442210353 2946535530 757214670 3621367065 1669341416 2137941644 2667660328 1004419082 1474255920 3770916016 1292744631 2667496192 3101559732 1143961822 713452262 3220792971 1947353480 4018981829 2088502650 2770814464 3502854860 422876867 2343489387 3772204912 98067724 778586480 413684223 542096195 972315824 469101148 4192465680 2204982806 2622848963 3557583631 1978235790 3561224852 1839953247 3071355484 255 362436" option to reproduce the execution
0.68/0.76	c #vars 19768
0.68/0.76	c #constraints 96403
2.29/2.38	c BCD2: Hardening is enabled.
2.29/2.38	c BCD2: BiasedSearch is enabled.
2.29/2.38	c Solving starts ...
2.29/2.38	c ============================[ Search Statistics ]============================
2.29/2.38	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.29/2.38	c       |         |          |          |    Limit     GC | Var      | Constra 
2.29/2.38	c =============================================================================
2.29/2.38	c  0.0s |       0 |        0 |        0 |    38664      0 |       52 |        0
2.99/3.02	c  0.6s |       1 |    86648 |      100 |    38664      0 |       52 |      141
5.09/5.12	c  2.7s |       2 |   306956 |      250 |    42531      0 |       52 |      141
7.70/7.74	c  5.4s |       2 |   597279 |      400 |    46785      0 |       52 |      141
7.70/7.74	c #cpu_time = 5.334s
7.70/7.74	c #wall_clock_time = 5.349s
7.70/7.74	c #decision = 597279
7.70/7.74	c #random_decision = 1809
7.70/7.74	c #conflict = 400
7.70/7.74	c #restart = 2
7.70/7.74	o 6939849
202.36/202.48	c BCD2: updating upper bound: 12717493 -> 6939848
423.28/423.48	c BCD2: 0 <= obj <= 6939848
423.28/423.48	c BCD2: #cores=0, #unrelaxed=7253, #relaxed=0, #hardened=0
423.28/423.48	c BCD2: #sat=1 #unsat=1 bias=1/2
423.28/423.48	c Solving starts ...
423.28/423.48	c ============================[ Search Statistics ]============================
423.28/423.48	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
423.28/423.48	c       |         |          |          |    Limit     GC | Var      | Constra 
423.28/423.48	c =============================================================================
423.28/423.48	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
423.39/423.55	c  0.1s |       0 |      382 |        0 |    46785      0 |       52 |      141
423.39/423.55	c #cpu_time = 0.061s
423.39/423.55	c #wall_clock_time = 0.061s
423.39/423.55	c #decision = 382
423.39/423.55	c #random_decision = 0
423.39/423.55	c #conflict = 0
423.39/423.55	c #restart = 0
423.39/423.55	c BCD2: found a new core of size 2: cost of the new core is >=1
423.39/423.55	c lower bound updated to 1
665.80/666.10	c BCD2: 1 <= obj <= 6939848
665.80/666.10	c BCD2: #cores=1, #unrelaxed=7251, #relaxed=2, #hardened=0
665.80/666.10	c BCD2: #sat=1 #unsat=2 bias=2/3
665.80/666.10	c Solving starts ...
665.80/666.10	c ============================[ Search Statistics ]============================
665.80/666.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
665.80/666.10	c       |         |          |          |    Limit     GC | Var      | Constra 
665.80/666.10	c =============================================================================
665.90/666.10	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
665.90/666.18	c  0.1s |       0 |      750 |        0 |    46785      0 |       52 |      141
665.90/666.18	c #cpu_time = 0.074s
665.90/666.18	c #wall_clock_time = 0.075s
665.90/666.18	c #decision = 750
665.90/666.18	c #random_decision = 0
665.90/666.18	c #conflict = 0
665.90/666.18	c #restart = 0
665.90/666.18	c BCD2: found a new core of size 2: cost of the new core is >=1
665.90/666.18	c lower bound updated to 2
925.36/925.60	c BCD2: 2 <= obj <= 6939848
925.36/925.60	c BCD2: #cores=2, #unrelaxed=7249, #relaxed=4, #hardened=0
925.36/925.60	c BCD2: #sat=1 #unsat=3 bias=3/4
925.36/925.60	c Solving starts ...
925.36/925.60	c ============================[ Search Statistics ]============================
925.36/925.60	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
925.36/925.60	c       |         |          |          |    Limit     GC | Var      | Constra 
925.36/925.60	c =============================================================================
925.36/925.60	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
925.36/925.68	c  0.1s |       0 |      780 |        0 |    46785      0 |       52 |      141
925.36/925.68	c #cpu_time = 0.076s
925.36/925.68	c #wall_clock_time = 0.076s
925.36/925.68	c #decision = 780
925.36/925.68	c #random_decision = 0
925.36/925.68	c #conflict = 0
925.36/925.68	c #restart = 0
925.36/925.68	c BCD2: found a new core of size 2: cost of the new core is >=1
925.36/925.68	c lower bound updated to 3
1173.52/1173.89	c BCD2: 3 <= obj <= 6939848
1173.52/1173.89	c BCD2: #cores=3, #unrelaxed=7247, #relaxed=6, #hardened=0
1173.52/1173.89	c BCD2: #sat=1 #unsat=4 bias=4/5
1173.52/1173.89	c Solving starts ...
1173.52/1173.89	c ============================[ Search Statistics ]============================
1173.52/1173.89	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1173.52/1173.89	c       |         |          |          |    Limit     GC | Var      | Constra 
1173.52/1173.89	c =============================================================================
1173.52/1173.89	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
1173.62/1173.97	c  0.1s |       0 |      827 |        0 |    46785      0 |       52 |      141
1173.62/1173.97	c #cpu_time = 0.077s
1173.62/1173.97	c #wall_clock_time = 0.077s
1173.62/1173.97	c #decision = 827
1173.62/1173.97	c #random_decision = 0
1173.62/1173.97	c #conflict = 0
1173.62/1173.97	c #restart = 0
1173.62/1173.97	c BCD2: found a new core of size 2: cost of the new core is >=1
1173.62/1173.97	c lower bound updated to 4
1437.57/1437.98	c BCD2: 4 <= obj <= 6939848
1437.57/1437.98	c BCD2: #cores=4, #unrelaxed=7245, #relaxed=8, #hardened=0
1437.57/1437.98	c BCD2: #sat=1 #unsat=5 bias=5/6
1437.57/1437.98	c Solving starts ...
1437.57/1437.98	c ============================[ Search Statistics ]============================
1437.57/1437.98	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1437.57/1437.98	c       |         |          |          |    Limit     GC | Var      | Constra 
1437.57/1437.98	c =============================================================================
1437.57/1437.98	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
1437.67/1438.06	c  0.1s |       0 |      916 |        0 |    46785      0 |       52 |      141
1437.67/1438.06	c #cpu_time = 0.076s
1437.67/1438.06	c #wall_clock_time = 0.076s
1437.67/1438.06	c #decision = 916
1437.67/1438.06	c #random_decision = 0
1437.67/1438.06	c #conflict = 0
1437.67/1438.06	c #restart = 0
1437.67/1438.06	c BCD2: found a new core of size 1: cost of the new core is >=1
1437.67/1438.06	c lower bound updated to 5
1684.63/1685.06	c BCD2: 5 <= obj <= 6939848
1684.63/1685.06	c BCD2: #cores=5, #unrelaxed=7244, #relaxed=9, #hardened=0
1684.63/1685.06	c BCD2: #sat=1 #unsat=6 bias=6/7
1684.63/1685.06	c Solving starts ...
1684.63/1685.06	c ============================[ Search Statistics ]============================
1684.63/1685.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1684.63/1685.06	c       |         |          |          |    Limit     GC | Var      | Constra 
1684.63/1685.06	c =============================================================================
1684.63/1685.06	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
1684.73/1685.14	c  0.1s |       0 |     1047 |        0 |    46785      0 |       52 |      141
1684.73/1685.14	c #cpu_time = 0.083s
1684.73/1685.14	c #wall_clock_time = 0.083s
1684.73/1685.14	c #decision = 1047
1684.73/1685.14	c #random_decision = 0
1684.73/1685.14	c #conflict = 0
1684.73/1685.14	c #restart = 0
1684.73/1685.14	c BCD2: found a new core of size 2: cost of the new core is >=1
1684.73/1685.14	c lower bound updated to 6

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

pid=4420
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.13 2.21 2.18 4/179 4423
/proc/meminfo: memFree=24695196/32872528 swapFree=17892/1720544
[pid=4423] ppid=4420 vsize=669116 CPUtime=0 cores=0,2,4,6
/proc/4423/stat : 4423 (toysat) R 4420 4423 3556 0 -1 4202496 2484 0 0 0 0 0 0 0 20 0 4 0 108924198 685174784 2845 33554432000 4194304 16246674 140734838054608 140734838054032 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4423/statm: 167791 2855 441 2943 0 164685 0
[pid=4423/tid=4424] ppid=4420 vsize=686524 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4424/stat : 4424 (toysat) S 4420 4423 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108924199 703000576 2916 33554432000 4194304 16246674 140734838054608 139826089143536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4423/tid=4425] ppid=4420 vsize=690620 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4425/stat : 4425 (toysat) S 4420 4423 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108924199 707194880 2932 33554432000 4194304 16246674 140734838054608 139826078653680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4423/tid=4426] ppid=4420 vsize=695740 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4426/stat : 4426 (toysat) S 4420 4423 3556 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108924199 712437760 2949 33554432000 4194304 16246674 140734838054608 139826068180144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 2.13 2.21 2.18 4/179 4423
/proc/meminfo: memFree=24695196/32872528 swapFree=17892/1720544
[pid=4423] ppid=4420 vsize=1229380 CPUtime=0.08 cores=0,2,4,6
/proc/4423/stat : 4423 (toysat) R 4420 4423 3556 0 -1 4202496 26228 0 0 0 4 4 0 0 20 0 4 0 108924198 1258885120 26527 33554432000 4194304 16246674 140734838054608 140734838053920 15002730 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4423/statm: 308625 26545 801 2943 0 305519 0
[pid=4423/tid=4424] ppid=4420 vsize=1237572 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4424/stat : 4424 (toysat) S 4420 4423 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108924199 1267273728 26560 33554432000 4194304 16246674 140734838054608 139826089143536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4423/tid=4425] ppid=4420 vsize=1241668 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4425/stat : 4425 (toysat) S 4420 4423 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108924199 1271468032 26574 33554432000 4194304 16246674 140734838054608 139826078653680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4423/tid=4426] ppid=4420 vsize=1245764 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4426/stat : 4426 (toysat) S 4420 4423 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108924199 1275662336 26589 33554432000 4194304 16246674 140734838054608 139826068180144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1229380

[startup+0.200457 s]
/proc/loadavg: 2.13 2.21 2.18 4/179 4423
/proc/meminfo: memFree=24695196/32872528 swapFree=17892/1720544
[pid=4423] ppid=4420 vsize=1311300 CPUtime=0.19 cores=0,2,4,6
/proc/4423/stat : 4423 (toysat) R 4420 4423 3556 0 -1 4202496 48053 0 0 0 12 7 0 0 20 0 4 0 108924198 1342771200 48863 33554432000 4194304 16246674 140734838054608 140734838053920 4220871 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4423/statm: 327825 48863 801 2943 0 324719 0
[pid=4423/tid=4424] ppid=4420 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4424/stat : 4424 (toysat) S 4420 4423 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108924199 1342771200 48864 33554432000 4194304 16246674 140734838054608 139826089143536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4423/tid=4425] ppid=4420 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4425/stat : 4425 (toysat) S 4420 4423 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108924199 1342771200 48869 33554432000 4194304 16246674 140734838054608 139826078653680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4423/tid=4426] ppid=4420 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4426/stat : 4426 (toysat) S 4420 4423 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108924199 1342771200 48874 33554432000 4194304 16246674 140734838054608 139826068180144 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) 1311300

[startup+0.300434 s]
/proc/loadavg: 2.13 2.21 2.18 4/179 4423
/proc/meminfo: memFree=24695196/32872528 swapFree=17892/1720544
[pid=4423] ppid=4420 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/4423/stat : 4423 (toysat) R 4420 4423 3556 0 -1 4202496 63292 0 0 0 19 10 0 0 20 0 4 0 108924198 1344868352 64102 33554432000 4194304 16246674 140734838054608 140734838053920 4220495 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4423/statm: 328337 64102 801 2943 0 325231 0
[pid=4423/tid=4424] ppid=4420 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4424/stat : 4424 (toysat) S 4420 4423 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108924199 1344868352 64102 33554432000 4194304 16246674 140734838054608 139826089143536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4423/tid=4425] ppid=4420 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4425/stat : 4425 (toysat) S 4420 4423 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108924199 1344868352 64102 33554432000 4194304 16246674 140734838054608 139826078653680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4423/tid=4426] ppid=4420 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4426/stat : 4426 (toysat) S 4420 4423 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108924199 1344868352 64102 33554432000 4194304 16246674 140734838054608 139826068180144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700379 s]
/proc/loadavg: 2.13 2.21 2.18 4/179 4423
/proc/meminfo: memFree=24695196/32872528 swapFree=17892/1720544
[pid=4423] ppid=4420 vsize=1313348 CPUtime=0.68 cores=0,2,4,6
/proc/4423/stat : 4423 (toysat) R 4420 4423 3556 0 -1 4202496 73135 0 0 0 57 11 0 0 20 0 4 0 108924198 1344868352 73945 33554432000 4194304 16246674 140734838054608 140734838053920 4220507 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4423/statm: 328337 73945 801 2943 0 325231 0
[pid=4423/tid=4424] ppid=4420 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4424/stat : 4424 (toysat) S 4420 4423 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108924199 1344868352 73945 33554432000 4194304 16246674 140734838054608 139826089143536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4423/tid=4425] ppid=4420 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4425/stat : 4425 (toysat) S 4420 4423 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108924199 1344868352 73945 33554432000 4194304 16246674 140734838054608 139826078653680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4423/tid=4426] ppid=4420 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4426/stat : 4426 (toysat) S 4420 4423 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108924199 1344868352 73945 33554432000 4194304 16246674 140734838054608 139826068180144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.50035 s]
/proc/loadavg: 2.20 2.23 2.18 4/183 4427
/proc/meminfo: memFree=24292300/32872528 swapFree=17892/1720544
[pid=4423] ppid=4420 vsize=1313348 CPUtime=1.48 cores=0,2,4,6
/proc/4423/stat : 4423 (toysat) R 4420 4423 3556 0 -1 4202496 176110 0 0 0 121 27 0 0 20 0 4 0 108924198 1344868352 176920 33554432000 4194304 16246674 140734838054608 140734838052416 6756338 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4423/statm: 328337 176930 841 2943 0 325231 0
[pid=4423/tid=4424] ppid=4420 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4424/stat : 4424 (toysat) S 4420 4423 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108924199 1344868352 176936 33554432000 4194304 16246674 140734838054608 139826089143536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4423/tid=4425] ppid=4420 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4425/stat : 4425 (toysat) S 4420 4423 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108924199 1344868352 176940 33554432000 4194304 16246674 140734838054608 139826078653680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4423/tid=4426] ppid=4420 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4426/stat : 4426 (toysat) S 4420 4423 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108924199 1344868352 176940 33554432000 4194304 16246674 140734838054608 139826068180144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1313348

[startup+3.10036 s]
/proc/loadavg: 2.20 2.23 2.18 4/183 4427
/proc/meminfo: memFree=23602480/32872528 swapFree=17892/1720544
[pid=4423] ppid=4420 vsize=1357380 CPUtime=3.09 cores=0,2,4,6
/proc/4423/stat : 4423 (toysat) R 4420 4423 3556 0 -1 4202496 272518 0 0 0 266 43 0 0 20 0 4 0 108924198 1389957120 273328 33554432000 4194304 16246674 140734838054608 140734838036480 5822428 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4423/statm: 339345 273328 890 2943 0 336239 0
[pid=4423/tid=4424] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4424/stat : 4424 (toysat) S 4420 4423 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 273328 33554432000 4194304 16246674 140734838054608 139826089143536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4423/tid=4425] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4425/stat : 4425 (toysat) S 4420 4423 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 273328 33554432000 4194304 16246674 140734838054608 139826078653680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4423/tid=4426] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4426/stat : 4426 (toysat) S 4420 4423 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 273328 33554432000 4194304 16246674 140734838054608 139826068180144 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) 1357380

[startup+6.30036 s]
/proc/loadavg: 2.20 2.23 2.18 3/183 4427
/proc/meminfo: memFree=23572116/32872528 swapFree=17892/1720544
[pid=4423] ppid=4420 vsize=1357380 CPUtime=6.29 cores=0,2,4,6
/proc/4423/stat : 4423 (toysat) R 4420 4423 3556 0 -1 4202496 280029 0 0 0 584 45 0 0 20 0 4 0 108924198 1389957120 280839 33554432000 4194304 16246674 140734838054608 140734838036480 5672188 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4423/statm: 339345 280839 897 2943 0 336239 0
[pid=4423/tid=4424] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4424/stat : 4424 (toysat) S 4420 4423 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280839 33554432000 4194304 16246674 140734838054608 139826089143536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4423/tid=4425] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4425/stat : 4425 (toysat) S 4420 4423 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280839 33554432000 4194304 16246674 140734838054608 139826078653680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4423/tid=4426] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4426/stat : 4426 (toysat) S 4420 4423 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280839 33554432000 4194304 16246674 140734838054608 139826068180144 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) 1357380

[startup+12.7004 s]
/proc/loadavg: 2.25 2.24 2.18 4/183 4427
/proc/meminfo: memFree=23540392/32872528 swapFree=17892/1720544
[pid=4423] ppid=4420 vsize=1357380 CPUtime=12.69 cores=0,2,4,6
/proc/4423/stat : 4423 (toysat) R 4420 4423 3556 0 -1 4202496 280038 0 0 0 1224 45 0 0 20 0 4 0 108924198 1389957120 280848 33554432000 4194304 16246674 140734838054608 140734838036480 4220871 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4423/statm: 339345 280848 906 2943 0 336239 0
[pid=4423/tid=4424] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4424/stat : 4424 (toysat) S 4420 4423 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280848 33554432000 4194304 16246674 140734838054608 139826089143536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4423/tid=4425] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4425/stat : 4425 (toysat) S 4420 4423 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280848 33554432000 4194304 16246674 140734838054608 139826078653680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4423/tid=4426] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4426/stat : 4426 (toysat) S 4420 4423 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280848 33554432000 4194304 16246674 140734838054608 139826068180144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1357380

[startup+25.5004 s]
/proc/loadavg: 2.21 2.23 2.18 3/183 4427
/proc/meminfo: memFree=23534108/32872528 swapFree=17892/1720544
[pid=4423] ppid=4420 vsize=1357380 CPUtime=25.49 cores=0,2,4,6
/proc/4423/stat : 4423 (toysat) R 4420 4423 3556 0 -1 4202496 280038 0 0 0 2504 45 0 0 20 0 4 0 108924198 1389957120 280848 33554432000 4194304 16246674 140734838054608 140734838036480 12449269 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4423/statm: 339345 280848 906 2943 0 336239 0
[pid=4423/tid=4424] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4424/stat : 4424 (toysat) S 4420 4423 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280848 33554432000 4194304 16246674 140734838054608 139826089143536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4423/tid=4425] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4425/stat : 4425 (toysat) S 4420 4423 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280848 33554432000 4194304 16246674 140734838054608 139826078653680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4423/tid=4426] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4426/stat : 4426 (toysat) S 4420 4423 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280848 33554432000 4194304 16246674 140734838054608 139826068180144 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) 1357380

[startup+51.1004 s]
/proc/loadavg: 2.35 2.26 2.19 3/183 4427
/proc/meminfo: memFree=23494704/32872528 swapFree=17892/1720544
[pid=4423] ppid=4420 vsize=1357380 CPUtime=51.08 cores=0,2,4,6
/proc/4423/stat : 4423 (toysat) R 4420 4423 3556 0 -1 4202496 280038 0 0 0 5063 45 0 0 20 0 4 0 108924198 1389957120 280848 33554432000 4194304 16246674 140734838054608 140734838036480 12449273 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4423/statm: 339345 280848 906 2943 0 336239 0
[pid=4423/tid=4424] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4424/stat : 4424 (toysat) S 4420 4423 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280848 33554432000 4194304 16246674 140734838054608 139826089143536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4423/tid=4425] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4425/stat : 4425 (toysat) S 4420 4423 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280848 33554432000 4194304 16246674 140734838054608 139826078653680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4423/tid=4426] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4426/stat : 4426 (toysat) S 4420 4423 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280848 33554432000 4194304 16246674 140734838054608 139826068180144 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) 1357380

[startup+102.3 s]
/proc/loadavg: 2.26 2.24 2.19 3/183 4476
/proc/meminfo: memFree=27926316/32872528 swapFree=17892/1720544
[pid=4423] ppid=4420 vsize=1357380 CPUtime=102.28 cores=0,2,4,6
/proc/4423/stat : 4423 (toysat) R 4420 4423 3556 0 -1 4202496 280038 0 0 0 10183 45 0 0 20 0 4 0 108924198 1389957120 280848 33554432000 4194304 16246674 140734838054608 140734838036480 12429241 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4423/statm: 339345 280848 906 2943 0 336239 0
[pid=4423/tid=4424] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4424/stat : 4424 (toysat) S 4420 4423 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280848 33554432000 4194304 16246674 140734838054608 139826089143536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4423/tid=4425] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4425/stat : 4425 (toysat) S 4420 4423 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280848 33554432000 4194304 16246674 140734838054608 139826078653680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4423/tid=4426] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4426/stat : 4426 (toysat) S 4420 4423 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280848 33554432000 4194304 16246674 140734838054608 139826068180144 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) 1357380


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

/proc/4423/task/4426/stat : 4426 (toysat) S 4420 4423 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280865 33554432000 4194304 16246674 140734838054608 139826068180144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 1357380

[startup+1302.3 s]
/proc/loadavg: 2.27 2.26 2.20 3/183 4506
/proc/meminfo: memFree=27923856/32872528 swapFree=17892/1720544
[pid=4423] ppid=4420 vsize=1357380 CPUtime=1302 cores=0,2,4,6
/proc/4423/stat : 4423 (toysat) R 4420 4423 3556 0 -1 4202496 280190 0 0 0 130154 46 0 0 20 0 4 0 108924198 1389957120 280865 33554432000 4194304 16246674 140734838054608 140734838052416 13885029 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4423/statm: 339345 280865 922 2943 0 336239 0
[pid=4423/tid=4424] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4424/stat : 4424 (toysat) S 4420 4423 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280865 33554432000 4194304 16246674 140734838054608 139826089143536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4423/tid=4425] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4425/stat : 4425 (toysat) S 4420 4423 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280865 33554432000 4194304 16246674 140734838054608 139826078653680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4423/tid=4426] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4426/stat : 4426 (toysat) S 4420 4423 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280865 33554432000 4194304 16246674 140734838054608 139826068180144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1357380

[startup+1362.3 s]
/proc/loadavg: 2.24 2.26 2.20 3/183 4508
/proc/meminfo: memFree=27923636/32872528 swapFree=17892/1720544
[pid=4423] ppid=4420 vsize=1357380 CPUtime=1361.99 cores=0,2,4,6
/proc/4423/stat : 4423 (toysat) R 4420 4423 3556 0 -1 4202496 280190 0 0 0 136153 46 0 0 20 0 4 0 108924198 1389957120 280865 33554432000 4194304 16246674 140734838054608 140734838036480 12449395 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4423/statm: 339345 280865 922 2943 0 336239 0
[pid=4423/tid=4424] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4424/stat : 4424 (toysat) S 4420 4423 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280865 33554432000 4194304 16246674 140734838054608 139826089143536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4423/tid=4425] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4425/stat : 4425 (toysat) S 4420 4423 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280865 33554432000 4194304 16246674 140734838054608 139826078653680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4423/tid=4426] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4426/stat : 4426 (toysat) S 4420 4423 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280865 33554432000 4194304 16246674 140734838054608 139826068180144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 1357380

[startup+1422.3 s]
/proc/loadavg: 2.24 2.25 2.19 4/183 4509
/proc/meminfo: memFree=27923596/32872528 swapFree=17892/1720544
[pid=4423] ppid=4420 vsize=1357380 CPUtime=1421.98 cores=0,2,4,6
/proc/4423/stat : 4423 (toysat) R 4420 4423 3556 0 -1 4202496 280190 0 0 0 142152 46 0 0 20 0 4 0 108924198 1389957120 280865 33554432000 4194304 16246674 140734838054608 140734838036480 12429013 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4423/statm: 339345 280865 922 2943 0 336239 0
[pid=4423/tid=4424] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4424/stat : 4424 (toysat) S 4420 4423 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280865 33554432000 4194304 16246674 140734838054608 139826089143536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4423/tid=4425] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4425/stat : 4425 (toysat) S 4420 4423 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280865 33554432000 4194304 16246674 140734838054608 139826078653680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4423/tid=4426] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4426/stat : 4426 (toysat) S 4420 4423 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280865 33554432000 4194304 16246674 140734838054608 139826068180144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 1357380

[startup+1482.3 s]
/proc/loadavg: 2.20 2.23 2.19 3/183 4510
/proc/meminfo: memFree=27923532/32872528 swapFree=17892/1720544
[pid=4423] ppid=4420 vsize=1357380 CPUtime=1481.96 cores=0,2,4,6
/proc/4423/stat : 4423 (toysat) R 4420 4423 3556 0 -1 4202496 280190 0 0 0 148150 46 0 0 20 0 4 0 108924198 1389957120 280865 33554432000 4194304 16246674 140734838054608 140734838036480 12413857 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4423/statm: 339345 280865 922 2943 0 336239 0
[pid=4423/tid=4424] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4424/stat : 4424 (toysat) S 4420 4423 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280865 33554432000 4194304 16246674 140734838054608 139826089143536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4423/tid=4425] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4425/stat : 4425 (toysat) S 4420 4423 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280865 33554432000 4194304 16246674 140734838054608 139826078653680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4423/tid=4426] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4426/stat : 4426 (toysat) S 4420 4423 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280865 33554432000 4194304 16246674 140734838054608 139826068180144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 1357380

[startup+1542.31 s]
/proc/loadavg: 2.24 2.25 2.19 3/184 4514
/proc/meminfo: memFree=27923508/32872528 swapFree=17892/1720544
[pid=4423] ppid=4420 vsize=1357380 CPUtime=1541.96 cores=0,2,4,6
/proc/4423/stat : 4423 (toysat) R 4420 4423 3556 0 -1 4202496 280190 0 0 0 154150 46 0 0 20 0 4 0 108924198 1389957120 280865 33554432000 4194304 16246674 140734838054608 140734838036480 13892908 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4423/statm: 339345 280865 922 2943 0 336239 0
[pid=4423/tid=4424] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4424/stat : 4424 (toysat) S 4420 4423 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280865 33554432000 4194304 16246674 140734838054608 139826089143536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4423/tid=4425] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4425/stat : 4425 (toysat) S 4420 4423 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280865 33554432000 4194304 16246674 140734838054608 139826078653680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4423/tid=4426] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4426/stat : 4426 (toysat) S 4420 4423 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280865 33554432000 4194304 16246674 140734838054608 139826068180144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 1357380

[startup+1602.3 s]
/proc/loadavg: 2.23 2.24 2.19 4/183 4515
/proc/meminfo: memFree=27923764/32872528 swapFree=17892/1720544
[pid=4423] ppid=4420 vsize=1357380 CPUtime=1601.94 cores=0,2,4,6
/proc/4423/stat : 4423 (toysat) R 4420 4423 3556 0 -1 4202496 280190 0 0 0 160148 46 0 0 20 0 4 0 108924198 1389957120 280865 33554432000 4194304 16246674 140734838054608 140734838036480 4225329 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4423/statm: 339345 280865 922 2943 0 336239 0
[pid=4423/tid=4424] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4424/stat : 4424 (toysat) S 4420 4423 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280865 33554432000 4194304 16246674 140734838054608 139826089143536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4423/tid=4425] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4425/stat : 4425 (toysat) S 4420 4423 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280865 33554432000 4194304 16246674 140734838054608 139826078653680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4423/tid=4426] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4426/stat : 4426 (toysat) S 4420 4423 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280865 33554432000 4194304 16246674 140734838054608 139826068180144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 1357380

[startup+1662.3 s]
/proc/loadavg: 2.30 2.26 2.19 3/183 4517
/proc/meminfo: memFree=27923916/32872528 swapFree=17892/1720544
[pid=4423] ppid=4420 vsize=1357380 CPUtime=1661.94 cores=0,2,4,6
/proc/4423/stat : 4423 (toysat) R 4420 4423 3556 0 -1 4202496 280190 0 0 0 166148 46 0 0 20 0 4 0 108924198 1389957120 280865 33554432000 4194304 16246674 140734838054608 140734838036480 4220897 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4423/statm: 339345 280865 922 2943 0 336239 0
[pid=4423/tid=4424] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4424/stat : 4424 (toysat) S 4420 4423 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280865 33554432000 4194304 16246674 140734838054608 139826089143536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4423/tid=4425] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4425/stat : 4425 (toysat) S 4420 4423 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280865 33554432000 4194304 16246674 140734838054608 139826078653680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4423/tid=4426] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4426/stat : 4426 (toysat) S 4420 4423 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280865 33554432000 4194304 16246674 140734838054608 139826068180144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 1357380

[startup+1722.3 s]
/proc/loadavg: 2.31 2.27 2.20 3/183 4518
/proc/meminfo: memFree=27923788/32872528 swapFree=17892/1720544
[pid=4423] ppid=4420 vsize=1357380 CPUtime=1721.93 cores=0,2,4,6
/proc/4423/stat : 4423 (toysat) R 4420 4423 3556 0 -1 4202496 280190 0 0 0 172147 46 0 0 20 0 4 0 108924198 1389957120 280865 33554432000 4194304 16246674 140734838054608 140734838036480 12449395 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4423/statm: 339345 280865 922 2943 0 336239 0
[pid=4423/tid=4424] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4424/stat : 4424 (toysat) S 4420 4423 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280865 33554432000 4194304 16246674 140734838054608 139826089143536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4423/tid=4425] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4425/stat : 4425 (toysat) S 4420 4423 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280865 33554432000 4194304 16246674 140734838054608 139826078653680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4423/tid=4426] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4426/stat : 4426 (toysat) S 4420 4423 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280865 33554432000 4194304 16246674 140734838054608 139826068180144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 1357380

[startup+1782.3 s]
/proc/loadavg: 2.24 2.25 2.19 3/183 4519
/proc/meminfo: memFree=27923908/32872528 swapFree=17892/1720544
[pid=4423] ppid=4420 vsize=1357380 CPUtime=1781.92 cores=0,2,4,6
/proc/4423/stat : 4423 (toysat) R 4420 4423 3556 0 -1 4202496 280190 0 0 0 178146 46 0 0 20 0 4 0 108924198 1389957120 280865 33554432000 4194304 16246674 140734838054608 140734838036480 12654256 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4423/statm: 339345 280865 922 2943 0 336239 0
[pid=4423/tid=4424] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4424/stat : 4424 (toysat) S 4420 4423 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280865 33554432000 4194304 16246674 140734838054608 139826089143536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4423/tid=4425] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4425/stat : 4425 (toysat) S 4420 4423 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280865 33554432000 4194304 16246674 140734838054608 139826078653680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4423/tid=4426] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4426/stat : 4426 (toysat) S 4420 4423 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280865 33554432000 4194304 16246674 140734838054608 139826068180144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 1357380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.18 2.23 2.19 3/183 4520
/proc/meminfo: memFree=27923888/32872528 swapFree=17892/1720544
[pid=4423] ppid=4420 vsize=1357380 CPUtime=1800.01 cores=0,2,4,6
/proc/4423/stat : 4423 (toysat) R 4420 4423 3556 0 -1 4202496 280190 0 0 0 179955 46 0 0 20 0 4 0 108924198 1389957120 280865 33554432000 4194304 16246674 140734838054608 140734838036480 12449151 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4423/statm: 339345 280865 922 2943 0 336239 0
[pid=4423/tid=4424] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4424/stat : 4424 (toysat) S 4420 4423 3556 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280865 33554432000 4194304 16246674 140734838054608 139826089143536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4423/tid=4425] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4425/stat : 4425 (toysat) S 4420 4423 3556 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280865 33554432000 4194304 16246674 140734838054608 139826078653680 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4423/tid=4426] ppid=4420 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/4423/task/4426/stat : 4426 (toysat) S 4420 4423 3556 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108924199 1389957120 280865 33554432000 4194304 16246674 140734838054608 139826068180144 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1357380

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 4423 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.41
CPU time (s): 1800.03
CPU user time (s): 1799.56
CPU system time (s): 0.469928
CPU usage (%): 99.9789
Max. virtual memory (cumulated for all children) (KiB): 1357380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.469928
maximum resident set size= 1123460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280190
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= 168
involuntary context switches= 2264

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75997 second user time and 9.40557 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-07 05:25:10
IDJOB=4079149
IDBENCH=72278
IDSOLVER=2542
FILE ID=node117/4079149-1465269910
RUNJOBID= node117-1465262703-3572
PBS_JOBID= 19843298
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/9orless/normalized-kjumpingcube.cudf.paranoid.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079149-1465269910/watcher-4079149-1465269910 -o /tmp/evaluation-result-4079149-1465269910/solver-4079149-1465269910 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1465262703-3572 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079149-1465269910.opb

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

MD5SUM BENCH= 9f6a8a9b5bcbd3acc81b6cca59c722e9
RANDOM SEED=1216570745

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.088
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.54
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		: 2667.088
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		: 2667.088
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.53
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		: 2667.088
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:        24695104 kB
Buffers:           80400 kB
Cached:           105096 kB
SwapCached:        55388 kB
Active:          5553548 kB
Inactive:         160024 kB
Active(anon):    5476128 kB
Inactive(anon):    54760 kB
Active(file):      77420 kB
Inactive(file):   105264 kB
Unevictable:     1720544 kB
Mlocked:           17892 kB
SwapTotal:      67108856 kB
SwapFree:       67045084 kB
Dirty:             19860 kB
Writeback:             0 kB
AnonPages:       7194728 kB
Mapped:            10788 kB
Shmem:                 0 kB
Slab:             598520 kB
SReclaimable:      42624 kB
SUnreclaim:       555896 kB
KernelStack:        1528 kB
PageTables:        18328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    7338196 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1710080 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node117 at 2016-06-07 05:55:11