Trace number 4079131

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.29 1800.59

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_500_3__212_366__32.opb
MD5SUMdb32a99ae563cdd0a4508d97506524ef
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark676244
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables48498
Total number of constraints2000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)1502
Number of constraints which are nor clauses,nor cardinality constraints498
Minimum length of a constraint32
Maximum length of a constraint673
Number of terms in the objective function 48000
Biggest coefficient in the objective function 114804
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 1641931968
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 114804
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 1641931968
Number of bits of the biggest sum of numbers31
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T04:55:55+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-4079131-1465268155.opb"]
0.00/0.01	c use --random-gen="2545131237 1411615141 992708149 2052415117 1547340417 453253572 877857315 511401356 351286319 3441829595 266779094 1979390674 2255479342 3537873077 4137139127 421935412 745371018 3466435321 1547004876 3564902367 1856445071 3832755765 3422978974 1375858817 3885003311 2660472503 2595937426 2708752660 3402127283 3997892920 1595680916 2714057186 160324243 1095817244 1055631434 3859530979 3528737495 1164868058 2091629769 330065984 1582060070 145945248 995931022 3150821032 311054899 1863098110 1013645149 1435752658 2200954521 2644675000 3580005716 2030604091 3918000600 2430115056 294319925 160662796 3945443757 2801066264 3121528483 3187440572 1879297358 25800401 2941487582 1094237311 3017807292 4171330118 2041814010 2791809122 2247513070 4031430172 3275684489 15697947 609468961 2108222832 3661675220 2731455768 219041537 2608776268 51015434 319881815 1063388109 720967223 4066811319 669077718 2820301102 3830007020 2859695710 4152132579 1425632666 748980754 3951656693 520123870 1604852246 1730587348 3936437678 2436013654 3451449964 4178329874 2224523986 3650790439 2666262130 992602494 1311568728 934918705 650284183 3644860436 3492073302 4203498368 2958974220 3509520113 2828626948 3667500489 3498386608 52300403 3624100355 1883062681 3832644705 3188502782 1892869800 3642949123 721337892 1955124562 878241660 1515775530 748474023 1290784829 2555155777 1046460132 2431244787 4123293869 545967319 1937237984 2103466542 979700654 3393319666 2808469230 786910658 710631651 2134090878 1274655142 2490572916 515159111 3615717125 1529224563 2593060975 4098196214 4225661510 3680409137 4059185980 2243196106 264934094 1274599110 444023157 67541075 2473382570 303946700 4036369027 3695330826 1099223347 2959852427 3490086584 706782107 848072555 1711398732 1541260743 2211015649 3278996600 2441261903 2554347704 4214264691 2654942328 784597319 3169816553 2106973879 2017970970 3885731781 3475088370 234380464 884566942 2678713499 420584301 1145541084 128367597 388856927 198524434 650524482 2452824449 2786047663 1012575899 2011913850 1389451223 998141956 272432031 3068009578 524415395 958691058 843032924 578968592 3928953700 3043894433 2074739416 3214968110 1620200244 3680979692 4111269784 2875028916 4157143856 1453438367 3536310613 588018482 2768246122 55972717 1479799139 956772878 2467497608 2671694542 1817452679 2936440683 3509043403 4026758724 1430562386 70796926 249073992 3019564596 488307205 365924989 1634127860 1763727043 390843090 1596722397 3733973743 3985206545 2216518282 2150118810 2280484 65802819 539911673 3654130221 1931067215 2933946327 3351943355 886102887 2982979242 1761520345 3249955742 1125110152 2434375727 992010370 1110122848 3694604463 435814222 4641759 4211401294 1612660295 3640847568 2726900250 255 362436" option to reproduce the execution
0.29/0.38	c #vars 48498
0.29/0.38	c #constraints 2000
0.98/1.05	c BCD2: Hardening is enabled.
0.98/1.05	c BCD2: BiasedSearch is enabled.
0.98/1.05	c Solving starts ...
0.98/1.05	c ============================[ Search Statistics ]============================
0.98/1.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.98/1.05	c       |         |          |          |    Limit     GC | Var      | Constra 
0.98/1.05	c =============================================================================
1.10/1.13	c  0.0s |       0 |        0 |        0 |    16999      0 |        0 |        0
1.20/1.29	c  0.2s |       1 |     2216 |      100 |    16999      0 |        0 |        0
1.49/1.58	c  0.4s |       2 |     8016 |      250 |    18699      0 |        0 |        0
1.89/1.97	c  0.8s |       3 |    22660 |      475 |    20569      0 |        0 |        0
2.69/2.70	c  1.6s |       4 |    43097 |      813 |    22626      0 |        0 |        0
3.59/3.69	c  2.6s |       5 |    79762 |     1320 |    24889      0 |        0 |        0
4.69/4.75	c  3.6s |       6 |   121653 |     2081 |    30116      0 |        0 |        0
6.79/6.85	c  5.7s |       6 |   154662 |     3181 |    30116      0 |        0 |        0
6.99/7.04	c  5.9s |       7 |   154843 |     3223 |    33128      0 |        0 |        0
9.09/9.13	c  8.0s |       7 |   185979 |     4823 |    33128      0 |        0 |        0
9.39/9.42	c  8.3s |       8 |   186335 |     4936 |    36441      0 |        0 |        0
10.00/10.07	c  8.9s |       8 |   209379 |     5247 |    36441      0 |        0 |        0
10.00/10.07	c #cpu_time = 8.863s
10.00/10.07	c #wall_clock_time = 8.886s
10.00/10.07	c #decision = 209379
10.00/10.07	c #random_decision = 634
10.00/10.07	c #conflict = 5247
10.00/10.07	c #restart = 8
10.00/10.08	o 15846839
10.09/10.18	c BCD2: updating upper bound: 1641931968 -> 15846838
10.49/10.55	c BCD2: 0 <= obj <= 15846838
10.49/10.55	c BCD2: #cores=0, #unrelaxed=48000, #relaxed=0, #hardened=0
10.49/10.55	c BCD2: #sat=1 #unsat=1 bias=1/2
10.49/10.57	c Solving starts ...
10.49/10.57	c ============================[ Search Statistics ]============================
10.49/10.57	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.49/10.57	c       |         |          |          |    Limit     GC | Var      | Constra 
10.49/10.57	c =============================================================================
10.49/10.57	c  0.0s |       0 |        0 |        0 |    36441      0 |        0 |        0
10.69/10.74	c  0.2s |       0 |    13018 |        0 |    36441      0 |        0 |        0
10.69/10.74	c #cpu_time = 0.159s
10.69/10.74	c #wall_clock_time = 0.159s
10.69/10.74	c #decision = 13018
10.69/10.74	c #random_decision = 0
10.69/10.74	c #conflict = 0
10.69/10.74	c #restart = 0
10.69/10.74	c BCD2: found a new core of size 96: cost of the new core is >=9805
10.69/10.74	c lower bound updated to 9805
10.69/10.78	c BCD2: 9805 <= obj <= 15846838
10.69/10.78	c BCD2: #cores=1, #unrelaxed=47904, #relaxed=96, #hardened=0
10.69/10.78	c BCD2: #sat=1 #unsat=2 bias=2/3
10.69/10.79	c Solving starts ...
10.69/10.79	c ============================[ Search Statistics ]============================
10.69/10.79	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.69/10.79	c       |         |          |          |    Limit     GC | Var      | Constra 
10.69/10.79	c =============================================================================
10.69/10.79	c  0.0s |       0 |        0 |        0 |    36441      0 |        0 |        1
11.00/11.01	c  0.2s |       0 |    27493 |        0 |    36441      0 |        0 |        1
11.00/11.01	c #cpu_time = 0.197s
11.00/11.01	c #wall_clock_time = 0.198s
11.00/11.01	c #decision = 27493
11.00/11.01	c #random_decision = 0
11.00/11.01	c #conflict = 0
11.00/11.01	c #restart = 0
11.00/11.01	c BCD2: found a new core of size 413: cost of the new core is >=5818
11.00/11.01	c lower bound updated to 15623
11.00/11.04	c BCD2: 15623 <= obj <= 15846838
11.00/11.04	c BCD2: #cores=2, #unrelaxed=47491, #relaxed=509, #hardened=0
11.00/11.04	c BCD2: #sat=1 #unsat=3 bias=3/4
1109.49/1109.70	c Solving starts ...
1109.49/1109.70	c ============================[ Search Statistics ]============================
1109.49/1109.70	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1109.49/1109.70	c       |         |          |          |    Limit     GC | Var      | Constra 
1109.49/1109.70	c =============================================================================
1109.49/1109.70	c  0.0s |       0 |        0 |        0 |    36441      0 |        0 |        1
1109.81/1110.09	c  0.4s |       0 |    73196 |       70 |    36441      0 |        0 |        1
1109.81/1110.09	c #cpu_time = 0.359s
1109.81/1110.09	c #wall_clock_time = 0.360s
1109.81/1110.09	c #decision = 73196
1109.81/1110.09	c #random_decision = 0
1109.81/1110.09	c #conflict = 70
1109.81/1110.09	c #restart = 0
1109.81/1110.09	c BCD2: relaxing 574 and merging with 1 cores into a new core of size 670: cost of the new core is >=16411
1109.81/1110.09	c lower bound updated to 22229
1109.90/1110.13	c BCD2: 22229 <= obj <= 15846838
1109.90/1110.13	c BCD2: #cores=2, #unrelaxed=46917, #relaxed=1083, #hardened=0
1109.90/1110.13	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-4079131-1465268155/watcher-4079131-1465268155 -o /tmp/evaluation-result-4079131-1465268155/solver-4079131-1465268155 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node114-1465241547-9911 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079131-1465268155.opb 

pid=13562
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.11 2.09 2.09 3/179 13565
/proc/meminfo: memFree=21715156/32872528 swapFree=12208/1156848
[pid=13565] ppid=13562 vsize=530876 CPUtime=0 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 9895 0 -1 4202496 1944 0 0 0 0 0 0 0 20 0 4 0 108750034 543617024 2305 33554432000 4194304 16246674 140735896419520 140735896418944 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13565/statm: 133231 2315 441 2943 0 130125 0
[pid=13565/tid=13566] ppid=13562 vsize=548284 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108750034 561442816 2373 33554432000 4194304 16246674 140735896419520 140481060121840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=552380 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108750034 565637120 2390 33554432000 4194304 16246674 140735896419520 140481049631984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=556476 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108750035 569831424 2408 33554432000 4194304 16246674 140735896419520 140480931163312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100126 s]
/proc/loadavg: 2.11 2.09 2.09 3/179 13565
/proc/meminfo: memFree=21715156/32872528 swapFree=12208/1156848
[pid=13565] ppid=13562 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 9895 0 -1 4202496 28111 0 0 0 5 4 0 0 20 0 4 0 108750034 1333334016 28410 33554432000 4194304 16246674 140735896419520 140735896418832 8056990 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13565/statm: 325521 28425 799 2943 0 322415 0
[pid=13565/tid=13566] ppid=13562 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108750034 1333334016 28436 33554432000 4194304 16246674 140735896419520 140481060121840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108750034 1333334016 28447 33554432000 4194304 16246674 140735896419520 140481049631984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108750035 1333334016 28459 33554432000 4194304 16246674 140735896419520 140480931163312 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.200467 s]
/proc/loadavg: 2.11 2.09 2.09 3/179 13565
/proc/meminfo: memFree=21715156/32872528 swapFree=12208/1156848
[pid=13565] ppid=13562 vsize=1310276 CPUtime=0.19 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 9895 0 -1 4202496 42581 0 0 0 13 6 0 0 20 0 4 0 108750034 1341722624 43391 33554432000 4194304 16246674 140735896419520 140735896418832 7889646 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13565/statm: 327569 43393 801 2943 0 324463 0
[pid=13565/tid=13566] ppid=13562 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108750034 1341722624 43397 33554432000 4194304 16246674 140735896419520 140481060121840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108750034 1341722624 43397 33554432000 4194304 16246674 140735896419520 140481049631984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108750035 1341722624 43406 33554432000 4194304 16246674 140735896419520 140480931163312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1310276

[startup+0.300437 s]
/proc/loadavg: 2.11 2.09 2.09 3/179 13565
/proc/meminfo: memFree=21715156/32872528 swapFree=12208/1156848
[pid=13565] ppid=13562 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 9895 0 -1 4202496 55329 0 0 0 21 8 0 0 20 0 4 0 108750034 1343819776 56138 33554432000 4194304 16246674 140735896419520 140735896418832 4220897 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13565/statm: 328081 56138 801 2943 0 324975 0
[pid=13565/tid=13566] ppid=13562 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108750034 1343819776 56138 33554432000 4194304 16246674 140735896419520 140481060121840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108750034 1343819776 56138 33554432000 4194304 16246674 140735896419520 140481049631984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108750035 1343819776 56138 33554432000 4194304 16246674 140735896419520 140480931163312 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) 1312324

[startup+0.700361 s]
/proc/loadavg: 2.11 2.09 2.09 3/179 13565
/proc/meminfo: memFree=21715156/32872528 swapFree=12208/1156848
[pid=13565] ppid=13562 vsize=1329732 CPUtime=0.69 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 9895 0 -1 4202496 62422 0 0 0 60 9 0 0 20 0 4 0 108750034 1361645568 63231 33554432000 4194304 16246674 140735896419520 140735896418832 4221116 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13565/statm: 332433 63231 838 2943 0 329327 0
[pid=13565/tid=13566] ppid=13562 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108750034 1361645568 63231 33554432000 4194304 16246674 140735896419520 140481060121840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108750034 1361645568 63231 33554432000 4194304 16246674 140735896419520 140481049631984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108750035 1361645568 63231 33554432000 4194304 16246674 140735896419520 140480931163312 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) 1329732

[startup+1.50034 s]
/proc/loadavg: 2.11 2.09 2.09 3/183 13569
/proc/meminfo: memFree=21174440/32872528 swapFree=12208/1156848
[pid=13565] ppid=13562 vsize=1332804 CPUtime=1.49 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 9895 0 -1 4202496 131933 0 0 0 131 18 0 0 20 0 4 0 108750034 1364791296 132742 33554432000 4194304 16246674 140735896419520 140735896401408 12415665 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13565/statm: 333201 132742 885 2943 0 330095 0
[pid=13565/tid=13566] ppid=13562 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108750034 1364791296 132742 33554432000 4194304 16246674 140735896419520 140481060121840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108750034 1364791296 132742 33554432000 4194304 16246674 140735896419520 140481049631984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108750035 1364791296 132742 33554432000 4194304 16246674 140735896419520 140480931163312 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) 1332804

[startup+3.10035 s]
/proc/loadavg: 2.18 2.10 2.09 4/183 13569
/proc/meminfo: memFree=20904748/32872528 swapFree=12208/1156848
[pid=13565] ppid=13562 vsize=1332804 CPUtime=3.09 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 9895 0 -1 4202496 273679 0 0 0 275 34 0 0 20 0 4 0 108750034 1364791296 274488 33554432000 4194304 16246674 140735896419520 140735896401408 5711576 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13565/statm: 333201 274488 888 2943 0 330095 0
[pid=13565/tid=13566] ppid=13562 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108750034 1364791296 274488 33554432000 4194304 16246674 140735896419520 140481060121840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108750034 1364791296 274488 33554432000 4194304 16246674 140735896419520 140481049631984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108750035 1364791296 274488 33554432000 4194304 16246674 140735896419520 140480931163312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1332804

[startup+6.30035 s]
/proc/loadavg: 2.18 2.10 2.09 3/183 13569
/proc/meminfo: memFree=20602780/32872528 swapFree=12208/1156848
[pid=13565] ppid=13562 vsize=1332804 CPUtime=6.29 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 9895 0 -1 4202496 273879 0 0 0 594 35 0 0 20 0 4 0 108750034 1364791296 274688 33554432000 4194304 16246674 140735896419520 140735896401408 5712760 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13565/statm: 333201 274688 891 2943 0 330095 0
[pid=13565/tid=13566] ppid=13562 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108750034 1364791296 274688 33554432000 4194304 16246674 140735896419520 140481060121840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108750034 1364791296 274688 33554432000 4194304 16246674 140735896419520 140481049631984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108750035 1364791296 274688 33554432000 4194304 16246674 140735896419520 140480931163312 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) 1332804

[startup+12.7004 s]
/proc/loadavg: 2.25 2.12 2.10 3/183 13569
/proc/meminfo: memFree=20578404/32872528 swapFree=12208/1156848
[pid=13565] ppid=13562 vsize=1357380 CPUtime=12.69 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 9895 0 -1 4202496 279963 0 0 0 1233 36 0 0 20 0 4 0 108750034 1389957120 280772 33554432000 4194304 16246674 140735896419520 140735896401408 12371230 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13565/statm: 339345 280772 918 2943 0 336239 0
[pid=13565/tid=13566] ppid=13562 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108750034 1389957120 280772 33554432000 4194304 16246674 140735896419520 140481060121840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108750034 1389957120 280772 33554432000 4194304 16246674 140735896419520 140481049631984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108750035 1389957120 280772 33554432000 4194304 16246674 140735896419520 140480931163312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.19 2.11 2.09 3/183 13569
/proc/meminfo: memFree=20223424/32872528 swapFree=12208/1156848
[pid=13565] ppid=13562 vsize=1711684 CPUtime=25.48 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 9895 0 -1 4202496 368626 0 0 0 2501 47 0 0 20 0 4 0 108750034 1752764416 369435 33554432000 4194304 16246674 140735896419520 140735896417344 4206514 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13565/statm: 427921 369435 918 2943 0 424815 0
[pid=13565/tid=13566] ppid=13562 vsize=1711684 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108750034 1752764416 369435 33554432000 4194304 16246674 140735896419520 140481060121840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=1711684 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108750034 1752764416 369435 33554432000 4194304 16246674 140735896419520 140481049631760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=1711684 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108750035 1752764416 369435 33554432000 4194304 16246674 140735896419520 140480931163312 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) 1711684

[startup+51.1005 s]
/proc/loadavg: 2.12 2.10 2.09 4/183 13569
/proc/meminfo: memFree=19492048/32872528 swapFree=12208/1156848
[pid=13565] ppid=13562 vsize=2358852 CPUtime=51.08 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 9895 0 -1 4202496 530418 0 0 0 5038 70 0 0 20 0 4 0 108750034 2415464448 531227 33554432000 4194304 16246674 140735896419520 140735896417408 12449497 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13565/statm: 589713 531227 918 2943 0 586607 0
[pid=13565/tid=13566] ppid=13562 vsize=2358852 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108750034 2415464448 531227 33554432000 4194304 16246674 140735896419520 140481060121840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=2358852 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108750034 2415464448 531227 33554432000 4194304 16246674 140735896419520 140481049631984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=2358852 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108750035 2415464448 531227 33554432000 4194304 16246674 140735896419520 140480931163312 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) 2358852

[startup+102.3 s]
/proc/loadavg: 2.17 2.11 2.09 3/183 13571
/proc/meminfo: memFree=19029760/32872528 swapFree=12208/1156848
[pid=13565] ppid=13562 vsize=2751044 CPUtime=102.27 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 9895 0 -1 4202496 628466 0 0 0 10143 84 0 0 20 0 4 0 108750034 2817069056 629275 33554432000 4194304 16246674 140735896419520 140735896418616 14628944 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13565/statm: 687761 629275 918 2943 0 684655 0
[pid=13565/tid=13566] ppid=13562 vsize=2751044 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108750034 2817069056 629275 33554432000 4194304 16246674 140735896419520 140481060121840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=2751044 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 9895 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108750034 2817069056 629275 33554432000 4194304 16246674 140735896419520 140481049631984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=2751044 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108750035 2817069056 629275 33554432000 4194304 16246674 140735896419520 140480931163312 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) 2751044


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

/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108750034 2647199744 588061 33554432000 4194304 16246674 140735896419520 140481060121840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=2585156 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108750034 2647199744 588061 33554432000 4194304 16246674 140735896419520 140481049631984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=2585156 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108750035 2647199744 588061 33554432000 4194304 16246674 140735896419520 140480931163312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 2585156

[startup+1362.3 s]
/proc/loadavg: 2.23 2.26 2.17 4/183 14506
/proc/meminfo: memFree=26871212/32872528 swapFree=12208/1156848
[pid=13565] ppid=13562 vsize=2890308 CPUtime=1362.06 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 9895 0 -1 4202496 1543421 0 0 0 135877 329 0 0 20 0 4 0 108750034 2959675392 664349 33554432000 4194304 16246674 140735896419520 140735896417296 4206996 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13565/statm: 722577 664349 919 2943 0 719471 0
[pid=13565/tid=13566] ppid=13562 vsize=2890308 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108750034 2959675392 664349 33554432000 4194304 16246674 140735896419520 140481060121840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=2890308 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108750034 2959675392 664349 33554432000 4194304 16246674 140735896419520 140481049631760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=2890308 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108750035 2959675392 664349 33554432000 4194304 16246674 140735896419520 140480931163312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 2890308

[startup+1422.3 s]
/proc/loadavg: 2.38 2.30 2.19 3/183 14507
/proc/meminfo: memFree=26397684/32872528 swapFree=12208/1156848
[pid=13565] ppid=13562 vsize=3362372 CPUtime=1422.05 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 9895 0 -1 4202496 1661437 0 0 0 141851 354 0 0 20 0 4 0 108750034 3443068928 782365 33554432000 4194304 16246674 140735896419520 140735896418616 13885029 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13565/statm: 840593 782365 919 2943 0 837487 0
[pid=13565/tid=13566] ppid=13562 vsize=3362372 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108750034 3443068928 782365 33554432000 4194304 16246674 140735896419520 140481060121840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=3362372 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108750034 3443068928 782365 33554432000 4194304 16246674 140735896419520 140481049631984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=3362372 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108750035 3443068928 782365 33554432000 4194304 16246674 140735896419520 140480931163312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 3362372

[startup+1482.3 s]
/proc/loadavg: 2.27 2.29 2.18 3/184 14511
/proc/meminfo: memFree=25756020/32872528 swapFree=12208/1156848
[pid=13565] ppid=13562 vsize=4003396 CPUtime=1482.03 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 9895 0 -1 4202496 1821695 0 0 0 147822 381 0 0 20 0 4 0 108750034 4099477504 942623 33554432000 4194304 16246674 140735896419520 140735896418616 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13565/statm: 1000849 942623 919 2943 0 997743 0
[pid=13565/tid=13566] ppid=13562 vsize=4003396 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108750034 4099477504 942623 33554432000 4194304 16246674 140735896419520 140481060121840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=4003396 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108750034 4099477504 942623 33554432000 4194304 16246674 140735896419520 140481049631984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=4003396 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108750035 4099477504 942623 33554432000 4194304 16246674 140735896419520 140480931163312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 4003396

[startup+1542.31 s]
/proc/loadavg: 2.17 2.26 2.18 3/183 14512
/proc/meminfo: memFree=25535928/32872528 swapFree=12208/1156848
[pid=13565] ppid=13562 vsize=4222532 CPUtime=1542.03 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 9895 0 -1 4202496 1876479 0 0 0 153806 397 0 0 20 0 4 0 108750034 4323872768 997407 33554432000 4194304 16246674 140735896419520 140735896417408 4220880 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13565/statm: 1055633 997407 919 2943 0 1052527 0
[pid=13565/tid=13566] ppid=13562 vsize=4222532 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108750034 4323872768 997407 33554432000 4194304 16246674 140735896419520 140481060121840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=4222532 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108750034 4323872768 997407 33554432000 4194304 16246674 140735896419520 140481049631760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=4222532 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108750035 4323872768 997407 33554432000 4194304 16246674 140735896419520 140480931163312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 4222532

[startup+1602.3 s]
/proc/loadavg: 2.20 2.25 2.18 3/183 14513
/proc/meminfo: memFree=25460836/32872528 swapFree=12208/1156848
[pid=13565] ppid=13562 vsize=4297284 CPUtime=1602.02 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 9895 0 -1 4202496 1895167 0 0 0 159797 405 0 0 20 0 4 0 108750034 4400418816 1016095 33554432000 4194304 16246674 140735896419520 140735896418616 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13565/statm: 1074321 1016095 919 2943 0 1071215 0
[pid=13565/tid=13566] ppid=13562 vsize=4297284 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108750034 4400418816 1016095 33554432000 4194304 16246674 140735896419520 140481060121840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=4297284 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108750034 4400418816 1016095 33554432000 4194304 16246674 140735896419520 140481049631984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=4297284 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108750035 4400418816 1016095 33554432000 4194304 16246674 140735896419520 140480931163312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 4297284

[startup+1662.3 s]
/proc/loadavg: 2.12 2.22 2.17 3/183 14515
/proc/meminfo: memFree=25397860/32872528 swapFree=12208/1156848
[pid=13565] ppid=13562 vsize=4361796 CPUtime=1662.01 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 9895 0 -1 4202496 1911295 0 0 0 165788 413 0 0 20 0 4 0 108750034 4466479104 1032223 33554432000 4194304 16246674 140735896419520 140735896418736 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13565/statm: 1090449 1032223 919 2943 0 1087343 0
[pid=13565/tid=13566] ppid=13562 vsize=4361796 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108750034 4466479104 1032223 33554432000 4194304 16246674 140735896419520 140481060121840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=4361796 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108750034 4466479104 1032223 33554432000 4194304 16246674 140735896419520 140481049631984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=4361796 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108750035 4466479104 1032223 33554432000 4194304 16246674 140735896419520 140480931163312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 4361796

[startup+1722.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/183 14516
/proc/meminfo: memFree=25263856/32872528 swapFree=12208/1156848
[pid=13565] ppid=13562 vsize=4494916 CPUtime=1721.99 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 9895 0 -1 4202496 1944575 0 0 0 171774 425 0 0 20 0 4 0 108750034 4602793984 1065503 33554432000 4194304 16246674 140735896419520 140735896417296 4220520 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13565/statm: 1123729 1065503 919 2943 0 1120623 0
[pid=13565/tid=13566] ppid=13562 vsize=4494916 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108750034 4602793984 1065503 33554432000 4194304 16246674 140735896419520 140481060121840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=4494916 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108750034 4602793984 1065503 33554432000 4194304 16246674 140735896419520 140481049631760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=4494916 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108750035 4602793984 1065503 33554432000 4194304 16246674 140735896419520 140480931163312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 4494916

[startup+1782.3 s]
/proc/loadavg: 2.14 2.20 2.17 3/183 14517
/proc/meminfo: memFree=25081484/32872528 swapFree=12208/1156848
[pid=13565] ppid=13562 vsize=4676164 CPUtime=1781.99 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 9895 0 -1 4202496 1989887 0 0 0 177762 437 0 0 20 0 4 0 108750034 4788391936 1110815 33554432000 4194304 16246674 140735896419520 140735896417296 4220880 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13565/statm: 1169041 1110815 919 2943 0 1165935 0
[pid=13565/tid=13566] ppid=13562 vsize=4676164 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108750034 4788391936 1110815 33554432000 4194304 16246674 140735896419520 140481060121840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=4676164 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108750034 4788391936 1110815 33554432000 4194304 16246674 140735896419520 140481049631760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=4676164 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108750035 4788391936 1110815 33554432000 4194304 16246674 140735896419520 140480931163312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 4676164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.10 2.18 2.17 3/183 14517
/proc/meminfo: memFree=25036952/32872528 swapFree=12208/1156848
[pid=13565] ppid=13562 vsize=4721220 CPUtime=1800.08 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) R 13562 13565 9895 0 -1 4202496 2001151 0 0 0 179568 440 0 0 20 0 4 0 108750034 4834529280 1122079 33554432000 4194304 16246674 140735896419520 140735896418616 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13565/statm: 1180305 1122079 919 2943 0 1177199 0
[pid=13565/tid=13566] ppid=13562 vsize=4721220 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) S 13562 13565 9895 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108750034 4834529280 1122079 33554432000 4194304 16246674 140735896419520 140481060121840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=13565/tid=13567] ppid=13562 vsize=4721220 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13567/stat : 13567 (toysat) S 13562 13565 9895 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108750034 4834529280 1122079 33554432000 4194304 16246674 140735896419520 140481049631984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=13565/tid=13568] ppid=13562 vsize=4721220 CPUtime=0 cores=0,2,4,6
/proc/13565/task/13568/stat : 13568 (toysat) S 13562 13565 9895 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108750035 4834529280 1122079 33554432000 4194304 16246674 140735896419520 140480931163312 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 4721220

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

[startup+1800.5 s]
/proc/loadavg: 2.10 2.18 2.17 3/183 14517
/proc/meminfo: memFree=25036952/32872528 swapFree=12208/1156848
[pid=13565] ppid=13562 vsize=0 CPUtime=1800.2 cores=0,2,4,6
/proc/13565/stat : 13565 (toysat) Z 13562 13565 9895 0 -1 4203532 2001151 0 0 0 179569 451 0 0 20 0 2 0 108750034 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13565/statm: 0 0 0 0 0 0 0
[pid=13565/tid=13566] ppid=13562 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/13565/task/13566/stat : 13566 (toysat) R 13562 13565 9895 0 -1 4203588 10 0 0 0 0 8 0 0 20 0 2 0 108750034 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.2
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.59
CPU time (s): 1800.29
CPU user time (s): 1795.69
CPU system time (s): 4.5973
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 5476932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.69
system time used= 4.5973
maximum resident set size= 5244020
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2001151
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= 1853
involuntary context switches= 3706

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9171 second user time and 8.33773 second system time

The end

Launcher Data 

Begin job on node114 at 2016-06-07 04:55:55
IDJOB=4079131
IDBENCH=71907
IDSOLVER=2542
FILE ID=node114/4079131-1465268155
RUNJOBID= node114-1465241547-9911
PBS_JOBID= 19843245
Free space on /tmp= 71716 MiB

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

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

MD5SUM BENCH= db32a99ae563cdd0a4508d97506524ef
RANDOM SEED=885930599

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.852
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:        21715312 kB
Buffers:          125772 kB
Cached:           230800 kB
SwapCached:         1696 kB
Active:          9032880 kB
Inactive:         216904 kB
Active(anon):    8893796 kB
Inactive(anon):     1252 kB
Active(file):     139084 kB
Inactive(file):   215652 kB
Unevictable:     1156848 kB
Mlocked:           12208 kB
SwapTotal:      67108856 kB
SwapFree:       67096680 kB
Dirty:             18276 kB
Writeback:             0 kB
AnonPages:      10048620 kB
Mapped:            10776 kB
Shmem:                 0 kB
Slab:             601348 kB
SReclaimable:      45332 kB
SUnreclaim:       556016 kB
KernelStack:        1520 kB
PageTables:        23600 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   10192788 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1150976 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= 71704 MiB
End job on node114 at 2016-06-07 05:25:55