Trace number 4079119

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.32 1800.67

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_2000_5__647_1792__32.opb
MD5SUM88a1b10031770f0260ca582c16661bcb
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3029839
Best CPU time to get the best result obtained on this benchmark1800.42
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables321998
Total number of constraints12000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)10002
Number of constraints which are nor clauses,nor cardinality constraints1998
Minimum length of a constraint32
Maximum length of a constraint1409
Number of terms in the objective function 320000
Biggest coefficient in the objective function 130539
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 11088799392
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 130539
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 11088799392
Number of bits of the biggest sum of numbers34
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:53:49+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-4079119-1465268028.opb"]
0.00/0.01	c use --random-gen="3866098225 4282811817 1101205071 2931470285 4031833032 1062337711 2786945825 1518906988 3046552314 983413448 130364480 3232562713 2072955580 2076614329 1489407962 550336959 3523803435 1291266080 708800998 126442079 1390690544 3276681643 3543047378 1355037184 3462457770 2493592575 3009930326 4030935982 296783943 3505297702 2619635549 1808898591 1131375722 1862327809 2688515758 544728575 2879066951 3166277622 3075818458 1776941182 1673631576 2440028981 2893644716 62888116 1349928772 1868878063 2805093675 200084030 3932889030 3616710615 4115117937 685220531 2245373940 794590113 2703524988 783634776 2952607470 3163723700 1841728373 605123866 1352943075 2448505618 2069262563 1073063192 2177131718 84915146 112593367 3870398583 3751132472 4182416490 1655744409 633668373 117504893 4141919283 3045030143 3011693032 2838482869 3501051062 2364606160 710448033 3204821058 1782114471 3305265359 1376786136 4021100645 2554426836 3135193748 195159851 1037561001 2039769727 1283314865 1942136090 3951419780 1421936018 1188243803 3388512030 3622802675 1989911380 336997857 1021758472 3647812609 688432739 1253878600 776148678 672724998 167966330 1194382347 1895173209 1010994594 2985514563 115960793 329493664 1372907997 1163086727 3678360772 3357052270 3219183186 855236572 1341177425 2579893975 1519294783 2157520638 1976858735 820849421 2953651246 27622355 3328067967 2051133925 3369363887 2906556469 4011703350 3010712496 2976752602 2579146552 127793700 3460844518 3627047843 3163624136 1245659972 170677564 3306061836 2265243008 1240763255 3598556141 3789364574 1424353406 878626272 3315574465 926448544 1423104230 2043694594 2988443248 14847657 769853062 1232142759 1334224621 3459302925 4232487736 2299202888 2448037122 3803731455 1656214083 4016580239 880992108 1797375688 2033664811 2852678527 3426796509 3236238402 1239121156 1392267075 1871451110 1787131882 872913057 2618103580 1047663369 3828938606 167068785 2651332906 2192759078 3582952177 2684433519 3641863308 2985792445 3845905826 2823932478 2801320951 248053211 637683427 2509166951 3424282918 3753564652 586121911 2942969019 1189543682 3343294831 2110299837 4269766914 234210340 59293956 261225794 992021414 1766114481 889436853 3946022707 1842715040 484699951 1959013444 3433572521 2019678548 675142457 2172716878 2274106431 1695335784 279009348 2963778773 1421697341 22001300 1015517540 1583383853 936637461 1591400927 114032564 3579088406 1563802097 1069663505 3654603907 1551149385 1242517624 3789727903 548905926 2815876181 2414190463 2587539868 887877035 555969442 2924464369 3672194435 591591372 3857716751 3334580096 2927373261 3800494946 1362009115 3079297744 185148284 3507361917 1549250014 1635852783 2308039443 1880950640 1930495017 3883050231 2964816540 1154625997 2151853531 255 362436" option to reproduce the execution
2.29/2.32	c #vars 321998
2.29/2.32	c #constraints 12000
7.79/7.83	c BCD2: Hardening is enabled.
7.79/7.83	c BCD2: BiasedSearch is enabled.
7.79/7.83	c Solving starts ...
7.79/7.83	c ============================[ Search Statistics ]============================
7.79/7.83	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
7.79/7.83	c       |         |          |          |    Limit     GC | Var      | Constra 
7.79/7.83	c =============================================================================
7.88/7.92	c  0.0s |       0 |        0 |        0 |   111999      0 |        0 |        0
9.18/9.26	c  1.3s |       1 |     6759 |      100 |   111999      0 |        0 |        0
10.78/10.88	c  3.0s |       2 |    23261 |      250 |   123199      0 |        0 |        0
12.28/12.34	c  4.4s |       3 |    44306 |      475 |   135519      0 |        0 |        0
14.48/14.50	c  6.6s |       3 |   126736 |      775 |   149071      0 |        0 |        0
14.88/14.93	c  7.0s |       4 |   127095 |      813 |   149071      0 |        0 |        0
16.88/16.98	c  9.1s |       4 |   245955 |     1113 |   163979      0 |        0 |        0
17.88/17.91	c 10.0s |       5 |   274116 |     1320 |   163979      0 |        0 |        0
19.98/20.04	c 12.1s |       5 |   390448 |     1620 |   180377      0 |        0 |        0
21.58/21.68	c 13.8s |       6 |   406233 |     2081 |   198415      0 |        0 |        0
23.88/23.95	c 16.0s |       6 |   531595 |     2481 |   198415      0 |        0 |        0
26.18/26.29	c 18.4s |       7 |   573579 |     3223 |   218257      0 |        0 |        0
28.28/28.38	c 20.5s |       7 |   689259 |     3523 |   218257      0 |        0 |        0
30.48/30.52	c 22.6s |       7 |   696006 |     4423 |   218257      0 |        0 |        0
31.98/32.04	c 24.1s |       8 |   697518 |     4936 |   240083      0 |        0 |        0
34.28/34.38	c 26.5s |       8 |   840709 |     5136 |   240083      0 |        0 |        0
36.77/36.86	c 28.9s |       8 |   868277 |     5636 |   240083      0 |        0 |        0
39.07/39.14	c 31.2s |       8 |   897579 |     5936 |   240083      0 |        0 |        0
41.37/41.43	c 33.5s |       8 |   898069 |     6136 |   240083      0 |        0 |        0
44.27/44.36	c 36.4s |       8 |   898557 |     6336 |   240083      0 |        0 |        0
46.38/46.42	c 38.5s |       8 |   919184 |     6936 |   240083      0 |        0 |        0
48.49/48.53	c 40.6s |       9 |   965413 |     7506 |   264092      0 |        0 |        0
50.48/50.60	c 42.7s |       9 |  1114658 |     7706 |   264092      0 |        0 |        0
52.68/52.71	c 44.8s |       9 |  1136312 |     8606 |   264092      0 |        0 |        0
54.98/55.06	c 47.1s |       9 |  1163333 |     9406 |   264092      0 |        0 |        0
57.28/57.34	c 49.4s |       9 |  1181700 |    10106 |   264092      0 |        0 |        0
59.48/59.55	c 51.6s |       9 |  1200520 |    11106 |   264092      0 |        0 |        0
60.48/60.55	c 52.6s |      10 |  1201350 |    11361 |   290502      0 |        0 |        0
62.48/62.56	c 54.6s |      10 |  1348802 |    11461 |   290502      0 |        0 |        0
63.37/63.42	c 55.5s |      10 |  1356798 |    11571 |   290502      0 |        0 |        0
63.37/63.42	c #cpu_time = 55.089s
63.37/63.42	c #wall_clock_time = 55.087s
63.37/63.42	c #decision = 1356798
63.37/63.42	c #random_decision = 4385
63.37/63.42	c #conflict = 11571
63.37/63.42	c #restart = 10
63.37/63.43	o 69177867
64.78/64.85	c BCD2: updating upper bound: 11088799392 -> 69177866
67.67/67.74	c BCD2: 0 <= obj <= 69177866
67.67/67.78	c BCD2: #cores=0, #unrelaxed=320000, #relaxed=0, #hardened=0
67.67/67.78	c BCD2: #sat=1 #unsat=1 bias=1/2
67.67/67.79	c Solving starts ...
67.67/67.79	c ============================[ Search Statistics ]============================
67.67/67.79	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
67.67/67.79	c       |         |          |          |    Limit     GC | Var      | Constra 
67.67/67.79	c =============================================================================
67.67/67.79	c  0.0s |       0 |        0 |        0 |   290502      0 |        0 |        0
68.37/68.46	c  0.7s |       0 |    33872 |        0 |   290502      0 |        0 |        0
68.37/68.46	c #cpu_time = 0.642s
68.37/68.46	c #wall_clock_time = 0.642s
68.37/68.46	c #decision = 33872
68.37/68.46	c #random_decision = 0
68.37/68.46	c #conflict = 0
68.37/68.46	c #restart = 0
68.37/68.46	c BCD2: found a new core of size 160: cost of the new core is >=8736
68.37/68.46	c lower bound updated to 8736
68.57/68.63	c BCD2: 8736 <= obj <= 69177866
68.57/68.63	c BCD2: #cores=1, #unrelaxed=319840, #relaxed=160, #hardened=0
68.57/68.63	c BCD2: #sat=1 #unsat=2 bias=2/3
68.77/68.85	c Solving starts ...
68.77/68.85	c ============================[ Search Statistics ]============================
68.77/68.85	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
68.77/68.85	c       |         |          |          |    Limit     GC | Var      | Constra 
68.77/68.85	c =============================================================================
68.77/68.85	c  0.0s |       0 |        0 |        0 |   290502      0 |        0 |        1
69.97/70.06	c  1.2s |       0 |   215680 |        0 |   290502      0 |        0 |        1
69.97/70.06	c #cpu_time = 1.068s
69.97/70.06	c #wall_clock_time = 1.068s
69.97/70.06	c #decision = 215680
69.97/70.06	c #random_decision = 0
69.97/70.06	c #conflict = 0
69.97/70.06	c #restart = 0
69.97/70.07	c BCD2: found a new core of size 734: cost of the new core is >=806
69.97/70.07	c lower bound updated to 9542
70.17/70.25	c BCD2: 9542 <= obj <= 69177866
70.17/70.25	c BCD2: #cores=2, #unrelaxed=319106, #relaxed=894, #hardened=0
70.17/70.25	c BCD2: #sat=1 #unsat=3 bias=3/4
988.37/988.62	c Solving starts ...
988.37/988.62	c ============================[ Search Statistics ]============================
988.37/988.62	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
988.37/988.63	c       |         |          |          |    Limit     GC | Var      | Constra 
988.37/988.63	c =============================================================================
988.37/988.63	c  0.0s |       0 |        0 |        0 |   290502      0 |        0 |        1
990.37/990.63	c  2.0s |       0 |   557581 |      100 |   290502      0 |        0 |        1
990.57/990.89	c  2.3s |       1 |   557581 |      100 |   290502      0 |        0 |        1
992.27/992.58	c  4.0s |       2 |   875316 |      250 |   290502      0 |        0 |        1
994.37/994.65	c  6.0s |       2 |  1343334 |      450 |   290502      0 |        0 |        1
994.67/994.94	c  6.3s |       3 |  1343371 |      475 |   290502      0 |        0 |        1
997.07/997.31	c  8.7s |       3 |  1840699 |      675 |   290502      0 |        0 |        1
998.67/998.94	c 10.3s |       4 |  2043647 |      813 |   290502      0 |        0 |        1
1000.77/1001.00	c 12.4s |       4 |  2503375 |     1019 |   290502      0 |        0 |        1
1000.77/1001.00	c #cpu_time = 12.248s
1000.77/1001.00	c #wall_clock_time = 12.247s
1000.77/1001.00	c #decision = 2503375
1000.77/1001.00	c #random_decision = 0
1000.77/1001.00	c #conflict = 1019
1000.77/1001.00	c #restart = 4
1000.77/1001.01	c BCD2: relaxing 1916 and merging with 1 cores into a new core of size 2076: cost of the new core is >=11689
1000.77/1001.01	c lower bound updated to 12495
1000.87/1001.18	c BCD2: 12495 <= obj <= 69177866
1000.87/1001.18	c BCD2: #cores=2, #unrelaxed=317190, #relaxed=2810, #hardened=0
1000.87/1001.18	c BCD2: #sat=1 #unsat=4 bias=4/5

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

pid=14425
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.07 2.11 2.09 3/179 14428
/proc/meminfo: memFree=26304936/32872528 swapFree=11196/354588
[pid=14428] ppid=14425 vsize=245180 CPUtime=0 cores=0,2,4,6
/proc/14428/stat : 14428 (toysat) R 14425 14428 12837 0 -1 4202496 830 0 0 0 0 0 0 0 20 0 4 0 108736360 251064320 1190 33554432000 4194304 16246674 140736948787568 140736948786992 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14428/statm: 62063 1199 441 2943 0 58957 0
[pid=14428/tid=14429] ppid=14425 vsize=260540 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14429/stat : 14429 (toysat) S 14425 14428 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108736360 266792960 1251 33554432000 4194304 16246674 140736948787568 140503499648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14428/tid=14430] ppid=14425 vsize=264636 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14430/stat : 14430 (toysat) S 14425 14428 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108736360 270987264 1267 33554432000 4194304 16246674 140736948787568 140503412616432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14428/tid=14431] ppid=14425 vsize=269756 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14431/stat : 14431 (toysat) S 14425 14428 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108736360 276230144 1284 33554432000 4194304 16246674 140736948787568 140503402142896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100124 s]
/proc/loadavg: 2.07 2.11 2.09 3/179 14428
/proc/meminfo: memFree=26304936/32872528 swapFree=11196/354588
[pid=14428] ppid=14425 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/14428/stat : 14428 (toysat) R 14425 14428 12837 0 -1 4202496 26932 0 0 0 6 3 0 0 20 0 4 0 108736360 1333334016 27231 33554432000 4194304 16246674 140736948787568 140736948786880 7364033 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14428/statm: 325521 27245 799 2943 0 322415 0
[pid=14428/tid=14429] ppid=14425 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14429/stat : 14429 (toysat) S 14425 14428 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108736360 1333334016 27257 33554432000 4194304 16246674 140736948787568 140503499648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14428/tid=14430] ppid=14425 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14430/stat : 14430 (toysat) S 14425 14428 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108736360 1333334016 27267 33554432000 4194304 16246674 140736948787568 140503412616432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14428/tid=14431] ppid=14425 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14431/stat : 14431 (toysat) S 14425 14428 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108736360 1333334016 27273 33554432000 4194304 16246674 140736948787568 140503402142896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200483 s]
/proc/loadavg: 2.07 2.11 2.09 3/179 14428
/proc/meminfo: memFree=26304936/32872528 swapFree=11196/354588
[pid=14428] ppid=14425 vsize=1313348 CPUtime=0.18 cores=0,2,4,6
/proc/14428/stat : 14428 (toysat) R 14425 14428 12837 0 -1 4202496 41801 0 0 0 13 5 0 0 20 0 4 0 108736360 1344868352 42610 33554432000 4194304 16246674 140736948787568 140736948770560 7376858 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14428/statm: 328337 42610 799 2943 0 325231 0
[pid=14428/tid=14429] ppid=14425 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14429/stat : 14429 (toysat) S 14425 14428 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108736360 1344868352 42610 33554432000 4194304 16246674 140736948787568 140503499648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14428/tid=14430] ppid=14425 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14430/stat : 14430 (toysat) S 14425 14428 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108736360 1344868352 42610 33554432000 4194304 16246674 140736948787568 140503412616432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14428/tid=14431] ppid=14425 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14431/stat : 14431 (toysat) S 14425 14428 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108736360 1344868352 42610 33554432000 4194304 16246674 140736948787568 140503402142896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1313348

[startup+0.30046 s]
/proc/loadavg: 2.07 2.11 2.09 3/179 14428
/proc/meminfo: memFree=26304936/32872528 swapFree=11196/354588
[pid=14428] ppid=14425 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/14428/stat : 14428 (toysat) R 14425 14428 12837 0 -1 4202496 42220 0 0 0 23 6 0 0 20 0 4 0 108736360 1344868352 43029 33554432000 4194304 16246674 140736948787568 140736948770560 7439782 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14428/statm: 328337 43029 799 2943 0 325231 0
[pid=14428/tid=14429] ppid=14425 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14429/stat : 14429 (toysat) S 14425 14428 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108736360 1344868352 43029 33554432000 4194304 16246674 140736948787568 140503499648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14428/tid=14430] ppid=14425 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14430/stat : 14430 (toysat) S 14425 14428 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108736360 1344868352 43029 33554432000 4194304 16246674 140736948787568 140503412616432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14428/tid=14431] ppid=14425 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14431/stat : 14431 (toysat) S 14425 14428 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108736360 1344868352 43029 33554432000 4194304 16246674 140736948787568 140503402142896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700403 s]
/proc/loadavg: 2.07 2.11 2.09 3/179 14428
/proc/meminfo: memFree=26304936/32872528 swapFree=11196/354588
[pid=14428] ppid=14425 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/14428/stat : 14428 (toysat) R 14425 14428 12837 0 -1 4202496 58564 0 0 0 61 8 0 0 20 0 4 0 108736360 1344868352 59373 33554432000 4194304 16246674 140736948787568 140736948770560 8058930 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14428/statm: 328337 59373 801 2943 0 325231 0
[pid=14428/tid=14429] ppid=14425 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14429/stat : 14429 (toysat) S 14425 14428 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108736360 1344868352 59373 33554432000 4194304 16246674 140736948787568 140503499648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14428/tid=14430] ppid=14425 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14430/stat : 14430 (toysat) S 14425 14428 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108736360 1344868352 59373 33554432000 4194304 16246674 140736948787568 140503412616432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14428/tid=14431] ppid=14425 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14431/stat : 14431 (toysat) S 14425 14428 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108736360 1344868352 59373 33554432000 4194304 16246674 140736948787568 140503402142896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.5004 s]
/proc/loadavg: 2.07 2.11 2.09 3/183 14432
/proc/meminfo: memFree=26011972/32872528 swapFree=11196/354588
[pid=14428] ppid=14425 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/14428/stat : 14428 (toysat) R 14425 14428 12837 0 -1 4202496 76648 0 0 0 138 11 0 0 20 0 4 0 108736360 1344868352 77457 33554432000 4194304 16246674 140736948787568 140736948770560 8058627 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/14428/statm: 328337 77457 802 2943 0 325231 0
[pid=14428/tid=14429] ppid=14425 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14429/stat : 14429 (toysat) S 14425 14428 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108736360 1344868352 77457 33554432000 4194304 16246674 140736948787568 140503499648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14428/tid=14430] ppid=14425 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14430/stat : 14430 (toysat) S 14425 14428 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108736360 1344868352 77457 33554432000 4194304 16246674 140736948787568 140503412616432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14428/tid=14431] ppid=14425 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14431/stat : 14431 (toysat) S 14425 14428 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108736360 1344868352 77457 33554432000 4194304 16246674 140736948787568 140503402142896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.1004 s]
/proc/loadavg: 2.07 2.11 2.09 3/183 14432
/proc/meminfo: memFree=25876116/32872528 swapFree=11196/354588
[pid=14428] ppid=14425 vsize=1459780 CPUtime=3.08 cores=0,2,4,6
/proc/14428/stat : 14428 (toysat) R 14425 14428 12837 0 -1 4202496 144351 0 0 0 288 20 0 0 20 0 4 0 108736360 1494814720 149248 33554432000 4194304 16246674 140736948787568 140736948785408 4208644 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14428/statm: 364945 149248 839 2943 0 361839 0
[pid=14428/tid=14429] ppid=14425 vsize=1459780 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14429/stat : 14429 (toysat) S 14425 14428 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108736360 1494814720 149248 33554432000 4194304 16246674 140736948787568 140503499648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14428/tid=14430] ppid=14425 vsize=1459780 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14430/stat : 14430 (toysat) S 14425 14428 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108736360 1494814720 149248 33554432000 4194304 16246674 140736948787568 140503412616432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14428/tid=14431] ppid=14425 vsize=1459780 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14431/stat : 14431 (toysat) S 14425 14428 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108736360 1494814720 149248 33554432000 4194304 16246674 140736948787568 140503402142896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1459780

[startup+6.30045 s]
/proc/loadavg: 2.06 2.11 2.09 3/183 14432
/proc/meminfo: memFree=25527752/32872528 swapFree=11196/354588
[pid=14428] ppid=14425 vsize=1459780 CPUtime=6.29 cores=0,2,4,6
/proc/14428/stat : 14428 (toysat) R 14425 14428 12837 0 -1 4202496 267980 0 0 0 593 36 0 0 20 0 4 0 108736360 1494814720 274921 33554432000 4194304 16246674 140736948787568 140736948785472 6938474 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14428/statm: 364945 274921 840 2943 0 361839 0
[pid=14428/tid=14429] ppid=14425 vsize=1459780 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14429/stat : 14429 (toysat) S 14425 14428 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108736360 1494814720 274921 33554432000 4194304 16246674 140736948787568 140503499648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14428/tid=14430] ppid=14425 vsize=1459780 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14430/stat : 14430 (toysat) S 14425 14428 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108736360 1494814720 274921 33554432000 4194304 16246674 140736948787568 140503412616432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14428/tid=14431] ppid=14425 vsize=1459780 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14431/stat : 14431 (toysat) S 14425 14428 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108736360 1494814720 274921 33554432000 4194304 16246674 140736948787568 140503402142896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1459780

[startup+12.7005 s]
/proc/loadavg: 2.06 2.11 2.09 4/183 14432
/proc/meminfo: memFree=25043100/32872528 swapFree=11196/354588
[pid=14428] ppid=14425 vsize=1488452 CPUtime=12.68 cores=0,2,4,6
/proc/14428/stat : 14428 (toysat) R 14425 14428 12837 0 -1 4202496 306657 0 0 0 1227 41 0 0 20 0 4 0 108736360 1524174848 313598 33554432000 4194304 16246674 140736948787568 140736948769472 5754660 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14428/statm: 372113 313598 889 2943 0 369007 0
[pid=14428/tid=14429] ppid=14425 vsize=1488452 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14429/stat : 14429 (toysat) S 14425 14428 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108736360 1524174848 313598 33554432000 4194304 16246674 140736948787568 140503499648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14428/tid=14430] ppid=14425 vsize=1488452 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14430/stat : 14430 (toysat) S 14425 14428 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108736360 1524174848 313598 33554432000 4194304 16246674 140736948787568 140503412616432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14428/tid=14431] ppid=14425 vsize=1488452 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14431/stat : 14431 (toysat) S 14425 14428 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108736360 1524174848 313598 33554432000 4194304 16246674 140736948787568 140503402142896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1488452

[startup+25.5005 s]
/proc/loadavg: 2.04 2.10 2.08 3/183 14432
/proc/meminfo: memFree=25009500/32872528 swapFree=11196/354588
[pid=14428] ppid=14425 vsize=1488452 CPUtime=25.48 cores=0,2,4,6
/proc/14428/stat : 14428 (toysat) R 14425 14428 12837 0 -1 4202496 306657 0 0 0 2507 41 0 0 20 0 4 0 108736360 1524174848 313598 33554432000 4194304 16246674 140736948787568 140736948769472 6080508 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14428/statm: 372113 313598 889 2943 0 369007 0
[pid=14428/tid=14429] ppid=14425 vsize=1488452 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14429/stat : 14429 (toysat) S 14425 14428 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108736360 1524174848 313598 33554432000 4194304 16246674 140736948787568 140503499648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14428/tid=14430] ppid=14425 vsize=1488452 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14430/stat : 14430 (toysat) S 14425 14428 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108736360 1524174848 313598 33554432000 4194304 16246674 140736948787568 140503412616432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14428/tid=14431] ppid=14425 vsize=1488452 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14431/stat : 14431 (toysat) S 14425 14428 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108736360 1524174848 313598 33554432000 4194304 16246674 140736948787568 140503402142896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1488452

[startup+51.1005 s]
/proc/loadavg: 2.03 2.09 2.08 3/183 14432
/proc/meminfo: memFree=25002016/32872528 swapFree=11196/354588
[pid=14428] ppid=14425 vsize=1488452 CPUtime=51.08 cores=0,2,4,6
/proc/14428/stat : 14428 (toysat) R 14425 14428 12837 0 -1 4202496 306657 0 0 0 5066 42 0 0 20 0 4 0 108736360 1524174848 313598 33554432000 4194304 16246674 140736948787568 140736948770568 5722908 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14428/statm: 372113 313598 889 2943 0 369007 0
[pid=14428/tid=14429] ppid=14425 vsize=1488452 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14429/stat : 14429 (toysat) S 14425 14428 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108736360 1524174848 313598 33554432000 4194304 16246674 140736948787568 140503499648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14428/tid=14430] ppid=14425 vsize=1488452 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14430/stat : 14430 (toysat) S 14425 14428 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108736360 1524174848 313598 33554432000 4194304 16246674 140736948787568 140503412616432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14428/tid=14431] ppid=14425 vsize=1488452 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14431/stat : 14431 (toysat) S 14425 14428 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108736360 1524174848 313598 33554432000 4194304 16246674 140736948787568 140503402142896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1488452

[startup+102.3 s]
/proc/loadavg: 2.07 2.09 2.08 3/183 14433
/proc/meminfo: memFree=22924752/32872528 swapFree=11196/354588
[pid=14428] ppid=14425 vsize=3476036 CPUtime=102.27 cores=0,2,4,6
/proc/14428/stat : 14428 (toysat) R 14425 14428 12837 0 -1 4202496 803400 0 0 0 10119 108 0 0 20 0 4 0 108736360 3559460864 810341 33554432000 4194304 16246674 140736948787568 140736948786664 4220498 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14428/statm: 869009 810341 917 2943 0 865903 0
[pid=14428/tid=14429] ppid=14425 vsize=3476036 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14429/stat : 14429 (toysat) S 14425 14428 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108736360 3559460864 810341 33554432000 4194304 16246674 140736948787568 140503499648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14428/tid=14430] ppid=14425 vsize=3476036 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14430/stat : 14430 (toysat) S 14425 14428 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108736360 3559460864 810341 33554432000 4194304 16246674 140736948787568 140503412616432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14428/tid=14431] ppid=14425 vsize=3476036 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14431/stat : 14431 (toysat) S 14425 14428 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108736360 3559460864 810341 33554432000 4194304 16246674 140736948787568 140503402142896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 3476036


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

/proc/14428/task/14429/stat : 14429 (toysat) S 14425 14428 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108736360 6710431744 1580065 33554432000 4194304 16246674 140736948787568 140503499648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14428/tid=14430] ppid=14425 vsize=6553156 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14430/stat : 14430 (toysat) S 14425 14428 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108736360 6710431744 1580065 33554432000 4194304 16246674 140736948787568 140503412616432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14428/tid=14431] ppid=14425 vsize=6553156 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14431/stat : 14431 (toysat) S 14425 14428 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108736360 6710431744 1580065 33554432000 4194304 16246674 140736948787568 140503402142896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 6553156

[startup+1362.3 s]
/proc/loadavg: 2.15 2.13 2.09 3/183 14585
/proc/meminfo: memFree=24411032/32872528 swapFree=11196/354588
[pid=14428] ppid=14425 vsize=6363716 CPUtime=1362 cores=0,2,4,6
/proc/14428/stat : 14428 (toysat) R 14425 14428 12837 0 -1 4202496 3780129 0 0 0 134415 1785 0 0 20 0 4 0 108736360 6516445184 1532705 33554432000 4194304 16246674 140736948787568 140736948786664 4220480 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14428/statm: 1590929 1532705 919 2943 0 1587823 0
[pid=14428/tid=14429] ppid=14425 vsize=6363716 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14429/stat : 14429 (toysat) S 14425 14428 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108736360 6516445184 1532705 33554432000 4194304 16246674 140736948787568 140503499648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14428/tid=14430] ppid=14425 vsize=6363716 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14430/stat : 14430 (toysat) S 14425 14428 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108736360 6516445184 1532705 33554432000 4194304 16246674 140736948787568 140503412616432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14428/tid=14431] ppid=14425 vsize=6363716 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14431/stat : 14431 (toysat) S 14425 14428 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108736360 6516445184 1532705 33554432000 4194304 16246674 140736948787568 140503402142896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 6363716

[startup+1422.3 s]
/proc/loadavg: 2.20 2.15 2.10 3/183 14634
/proc/meminfo: memFree=26926620/32872528 swapFree=11196/354588
[pid=14428] ppid=14425 vsize=3816004 CPUtime=1422.01 cores=0,2,4,6
/proc/14428/stat : 14428 (toysat) R 14425 14428 12837 0 -1 4202496 3894049 0 0 0 140354 1847 0 0 20 0 4 0 108736360 3907588096 895777 33554432000 4194304 16246674 140736948787568 140736948786744 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14428/statm: 954001 895777 919 2943 0 950895 0
[pid=14428/tid=14429] ppid=14425 vsize=3816004 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14429/stat : 14429 (toysat) S 14425 14428 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108736360 3907588096 895777 33554432000 4194304 16246674 140736948787568 140503499648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14428/tid=14430] ppid=14425 vsize=3816004 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14430/stat : 14430 (toysat) S 14425 14428 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108736360 3907588096 895777 33554432000 4194304 16246674 140736948787568 140503412616432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14428/tid=14431] ppid=14425 vsize=3816004 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14431/stat : 14431 (toysat) S 14425 14428 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108736360 3907588096 895777 33554432000 4194304 16246674 140736948787568 140503402142896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 3816004

[startup+1482.3 s]
/proc/loadavg: 2.19 2.15 2.10 3/183 14635
/proc/meminfo: memFree=26913832/32872528 swapFree=11196/354588
[pid=14428] ppid=14425 vsize=3829316 CPUtime=1481.98 cores=0,2,4,6
/proc/14428/stat : 14428 (toysat) R 14425 14428 12837 0 -1 4202496 3897380 0 0 0 146341 1857 0 0 20 0 4 0 108736360 3921219584 899105 33554432000 4194304 16246674 140736948787568 140736948786664 4220880 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14428/statm: 957329 899105 919 2943 0 954223 0
[pid=14428/tid=14429] ppid=14425 vsize=3829316 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14429/stat : 14429 (toysat) S 14425 14428 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108736360 3921219584 899105 33554432000 4194304 16246674 140736948787568 140503499648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14428/tid=14430] ppid=14425 vsize=3829316 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14430/stat : 14430 (toysat) S 14425 14428 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108736360 3921219584 899105 33554432000 4194304 16246674 140736948787568 140503412616432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14428/tid=14431] ppid=14425 vsize=3829316 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14431/stat : 14431 (toysat) S 14425 14428 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108736360 3921219584 899105 33554432000 4194304 16246674 140736948787568 140503402142896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 3829316

[startup+1542.31 s]
/proc/loadavg: 2.10 2.13 2.09 3/183 14637
/proc/meminfo: memFree=26074744/32872528 swapFree=11196/354588
[pid=14428] ppid=14425 vsize=4666948 CPUtime=1541.98 cores=0,2,4,6
/proc/14428/stat : 14428 (toysat) R 14425 14428 12837 0 -1 4202496 4106789 0 0 0 152304 1894 0 0 20 0 4 0 108736360 4778954752 1108513 33554432000 4194304 16246674 140736948787568 140736948785424 4206916 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14428/statm: 1166737 1108513 919 2943 0 1163631 0
[pid=14428/tid=14429] ppid=14425 vsize=4666948 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14429/stat : 14429 (toysat) S 14425 14428 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108736360 4778954752 1108513 33554432000 4194304 16246674 140736948787568 140503499648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14428/tid=14430] ppid=14425 vsize=4666948 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14430/stat : 14430 (toysat) S 14425 14428 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108736360 4778954752 1108513 33554432000 4194304 16246674 140736948787568 140503412616208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14428/tid=14431] ppid=14425 vsize=4666948 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14431/stat : 14431 (toysat) S 14425 14428 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108736360 4778954752 1108513 33554432000 4194304 16246674 140736948787568 140503402142896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 4666948

[startup+1602.3 s]
/proc/loadavg: 2.12 2.14 2.09 3/184 14641
/proc/meminfo: memFree=25537140/32872528 swapFree=11196/354588
[pid=14428] ppid=14425 vsize=5203524 CPUtime=1601.97 cores=0,2,4,6
/proc/14428/stat : 14428 (toysat) R 14425 14428 12837 0 -1 4202496 4240933 0 0 0 158262 1935 0 0 20 0 4 0 108736360 5328408576 1242657 33554432000 4194304 16246674 140736948787568 140736948785472 4225113 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14428/statm: 1300881 1242657 919 2943 0 1297775 0
[pid=14428/tid=14429] ppid=14425 vsize=5203524 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14429/stat : 14429 (toysat) S 14425 14428 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108736360 5328408576 1242657 33554432000 4194304 16246674 140736948787568 140503499648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14428/tid=14430] ppid=14425 vsize=5203524 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14430/stat : 14430 (toysat) S 14425 14428 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108736360 5328408576 1242657 33554432000 4194304 16246674 140736948787568 140503412616208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=14428/tid=14431] ppid=14425 vsize=5203524 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14431/stat : 14431 (toysat) S 14425 14428 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108736360 5328408576 1242657 33554432000 4194304 16246674 140736948787568 140503402142896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 5203524

[startup+1662.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/182 14642
/proc/meminfo: memFree=25145104/32872528 swapFree=11196/354588
[pid=14428] ppid=14425 vsize=5594692 CPUtime=1661.96 cores=0,2,4,6
/proc/14428/stat : 14428 (toysat) R 14425 14428 12837 0 -1 4202496 4338725 0 0 0 164172 2024 0 0 20 0 4 0 108736360 5728964608 1340449 33554432000 4194304 16246674 140736948787568 140736948786784 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14428/statm: 1398673 1340449 919 2943 0 1395567 0
[pid=14428/tid=14429] ppid=14425 vsize=5594692 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14429/stat : 14429 (toysat) S 14425 14428 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108736360 5728964608 1340449 33554432000 4194304 16246674 140736948787568 140503499648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14428/tid=14430] ppid=14425 vsize=5594692 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14430/stat : 14430 (toysat) S 14425 14428 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108736360 5728964608 1340449 33554432000 4194304 16246674 140736948787568 140503412616432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14428/tid=14431] ppid=14425 vsize=5594692 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14431/stat : 14431 (toysat) S 14425 14428 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108736360 5728964608 1340449 33554432000 4194304 16246674 140736948787568 140503402142896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 5594692

[startup+1722.3 s]
/proc/loadavg: 2.04 2.10 2.08 3/183 14644
/proc/meminfo: memFree=24676416/32872528 swapFree=11196/354588
[pid=14428] ppid=14425 vsize=6060612 CPUtime=1721.95 cores=0,2,4,6
/proc/14428/stat : 14428 (toysat) R 14425 14428 12837 0 -1 4202496 4455205 0 0 0 170145 2050 0 0 20 0 4 0 108736360 6206066688 1456929 33554432000 4194304 16246674 140736948787568 140736948786744 4220888 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14428/statm: 1515153 1456929 919 2943 0 1512047 0
[pid=14428/tid=14429] ppid=14425 vsize=6060612 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14429/stat : 14429 (toysat) S 14425 14428 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108736360 6206066688 1456929 33554432000 4194304 16246674 140736948787568 140503499648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14428/tid=14430] ppid=14425 vsize=6060612 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14430/stat : 14430 (toysat) S 14425 14428 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108736360 6206066688 1456929 33554432000 4194304 16246674 140736948787568 140503412616432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14428/tid=14431] ppid=14425 vsize=6060612 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14431/stat : 14431 (toysat) S 14425 14428 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108736360 6206066688 1456929 33554432000 4194304 16246674 140736948787568 140503402142896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 6060612

[startup+1782.3 s]
/proc/loadavg: 2.15 2.12 2.09 3/183 14645
/proc/meminfo: memFree=24582832/32872528 swapFree=11196/354588
[pid=14428] ppid=14425 vsize=6153796 CPUtime=1781.95 cores=0,2,4,6
/proc/14428/stat : 14428 (toysat) R 14425 14428 12837 0 -1 4202496 4478501 0 0 0 176130 2065 0 0 20 0 4 0 108736360 6301487104 1480225 33554432000 4194304 16246674 140736948787568 140736948786664 4206688 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14428/statm: 1538449 1480225 919 2943 0 1535343 0
[pid=14428/tid=14429] ppid=14425 vsize=6153796 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14429/stat : 14429 (toysat) S 14425 14428 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108736360 6301487104 1480225 33554432000 4194304 16246674 140736948787568 140503499648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14428/tid=14430] ppid=14425 vsize=6153796 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14430/stat : 14430 (toysat) S 14425 14428 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108736360 6301487104 1480225 33554432000 4194304 16246674 140736948787568 140503412616432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14428/tid=14431] ppid=14425 vsize=6153796 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14431/stat : 14431 (toysat) S 14425 14428 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108736360 6301487104 1480225 33554432000 4194304 16246674 140736948787568 140503402142896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 6153796



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.18 2.13 2.09 3/182 14645
/proc/meminfo: memFree=24545732/32872528 swapFree=11196/354588
[pid=14428] ppid=14425 vsize=6190660 CPUtime=1800.04 cores=0,2,4,6
/proc/14428/stat : 14428 (toysat) R 14425 14428 12837 0 -1 4202496 4487717 0 0 0 177934 2070 0 0 20 0 4 0 108736360 6339235840 1489441 33554432000 4194304 16246674 140736948787568 140736948786664 13896856 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14428/statm: 1547665 1489441 919 2943 0 1544559 0
[pid=14428/tid=14429] ppid=14425 vsize=6190660 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14429/stat : 14429 (toysat) S 14425 14428 12837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108736360 6339235840 1489441 33554432000 4194304 16246674 140736948787568 140503499648240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=14428/tid=14430] ppid=14425 vsize=6190660 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14430/stat : 14430 (toysat) S 14425 14428 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108736360 6339235840 1489441 33554432000 4194304 16246674 140736948787568 140503412616432 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14428/tid=14431] ppid=14425 vsize=6190660 CPUtime=0 cores=0,2,4,6
/proc/14428/task/14431/stat : 14431 (toysat) S 14425 14428 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108736360 6339235840 1489441 33554432000 4194304 16246674 140736948787568 140503402142896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 6190660

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

[startup+1800.6 s]
/proc/loadavg: 2.18 2.13 2.09 3/182 14645
/proc/meminfo: memFree=24545732/32872528 swapFree=11196/354588
[pid=14428] ppid=14425 vsize=0 CPUtime=1800.25 cores=0,2,4,6
/proc/14428/stat : 14428 (toysat) Z 14425 14428 12837 0 -1 4203532 4487717 0 0 0 177935 2090 0 0 20 0 2 0 108736360 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14428/statm: 0 0 0 0 0 0 0
[pid=14428/tid=14429] ppid=14425 vsize=0 CPUtime=0.18 cores=0,2,4,6
/proc/14428/task/14429/stat : 14429 (toysat) R 14425 14428 12837 0 -1 4203588 9 0 0 0 0 18 0 0 20 0 2 0 108736360 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.67
CPU time (s): 1800.32
CPU user time (s): 1779.35
CPU system time (s): 20.9638
CPU usage (%): 99.9802
Max. virtual memory (cumulated for all children) (KiB): 6680132

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1779.35
system time used= 20.9638
maximum resident set size= 6447236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4487717
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= 1237
involuntary context switches= 2696

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.04508 second user time and 9.29659 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-07 04:53:49
IDJOB=4079119
IDBENCH=71904
IDSOLVER=2542
FILE ID=node126/4079119-1465268028
RUNJOBID= node126-1465253620-12853
PBS_JOBID= 19843265
Free space on /tmp= 71708 MiB

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

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

MD5SUM BENCH= 88a1b10031770f0260ca582c16661bcb
RANDOM SEED=1135630633

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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:        26305316 kB
Buffers:          126160 kB
Cached:           168112 kB
SwapCached:         2220 kB
Active:          5294496 kB
Inactive:         177288 kB
Active(anon):    5177280 kB
Inactive(anon):     2444 kB
Active(file):     117216 kB
Inactive(file):   174844 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098636 kB
Dirty:             31084 kB
Writeback:             0 kB
AnonPages:       5530896 kB
Mapped:            10780 kB
Shmem:                 0 kB
Slab:             599868 kB
SReclaimable:      43988 kB
SUnreclaim:       555880 kB
KernelStack:        1488 kB
PageTables:        14620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    5676112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2082816 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= 71692 MiB
End job on node126 at 2016-06-07 05:23:50