Trace number 4079117

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

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_100_3__3_91__64.opb
MD5SUM5aed6138edeb8c25258479e857e113ee
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark71863
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19298
Total number of constraints400
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)302
Number of constraints which are nor clauses,nor cardinality constraints98
Minimum length of a constraint64
Maximum length of a constraint1089
Number of terms in the objective function 19200
Biggest coefficient in the objective function 94834
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 692922048
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 94834
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 692922048
Number of bits of the biggest sum of numbers30
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:33: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-4079117-1465266829.opb"]
0.00/0.01	c use --random-gen="2825975463 1066333119 810219141 1008323882 781893611 2387974540 738655606 3288149777 1536488440 87401259 995766528 2011437245 3320896120 3422368826 589930381 2798875229 3556279926 1072985054 1060687335 826473685 3929911566 3792615313 4059674383 1579306329 289889370 2603134056 63027728 2629813512 2811132269 1686634728 2406848448 1050384882 1224930123 1648695169 2756640738 3879316801 3822874427 2011574867 2093100453 2742257713 1755069807 1748568588 2380932367 1617357648 4207214790 2248924792 3659752830 4100008662 2628076804 1357426891 21976436 3348508232 79201981 4231733639 4045946366 1086869980 3523903860 169169195 2114888486 168027241 598756272 759657572 3777727470 3300131084 631507413 46863205 2555043824 2214057978 2831613259 3280893230 1921746830 3428322005 2577260667 870949213 1323445915 2549320744 1814473183 2153020469 3497293579 433591396 182549044 838039484 4111499699 3339143881 2691510356 3409397497 3731172990 2636885256 2845799916 2037681459 2162816724 1728593758 2354628581 1124491004 1452497446 3305820089 2577515037 3563358761 3928192347 1546337008 1179145088 4056558559 420642652 155541628 3427253388 1232767776 127292237 3616979744 3411201002 3643557466 2266795322 4274671913 2549142754 3099702337 626468978 514463631 942303699 2078282969 3548971352 1969722823 3095178813 805642356 3215684077 2161903434 3197392021 3573863528 2397902684 773054123 4085318298 899210323 1198122377 4018515597 112814346 4276760800 681142922 3542658729 2254734541 2821514557 3684765787 1907052812 2493286897 421322408 1231227166 456218338 530822227 3096557061 2520597816 2016764349 1736296739 443933421 1652847160 2747775818 3253360890 873720883 1243330797 2633388542 3330105006 335675659 1256651956 782101844 357386314 1916417021 3670724504 3470056658 1591391168 662127566 2541061576 486034731 306435141 262661734 1984071658 360999923 737088521 608653810 3908010209 3307078104 323870215 4202989509 3800578355 932812621 2919117124 3127809016 2825447227 2616679775 2009669214 2120089881 3110461054 4041560204 397590456 1828082948 3193357793 75781796 637880683 757922596 1064534659 100214807 1397870569 3022131607 4094426392 549479791 892708609 3061999186 2432232674 3261991290 3910029518 2101954720 325143324 540150547 2261786354 946789021 3010400106 2098836953 2591264656 1158995414 1469371914 3275686193 609216749 2554121936 2619514943 1578048943 773884155 3259448323 424700180 3314548427 1557859920 2500576668 3866035160 4217444927 1408909376 2398807501 2778779978 4185476417 3527062437 2207886796 3145358958 1563482947 3682913146 3488887024 829200214 2179188678 2538160596 2595021418 4043496552 2987096801 506197283 3335659950 1527877472 4204041391 1557959221 1713069427 2231938915 866103379 721140821 848958912 475740667 534711156 255 362436" option to reproduce the execution
0.09/0.17	c #vars 19298
0.09/0.17	c #constraints 400
0.39/0.40	c BCD2: Hardening is enabled.
0.39/0.40	c BCD2: BiasedSearch is enabled.
0.39/0.40	c Solving starts ...
0.39/0.40	c ============================[ Search Statistics ]============================
0.39/0.40	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.40	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.40	c =============================================================================
0.39/0.40	c  0.0s |       0 |        0 |        0 |     6599      0 |        0 |        0
0.59/0.68	c  0.3s |       1 |      680 |      100 |     6599      0 |        0 |        0
0.79/0.86	c  0.5s |       2 |     2367 |      250 |     7259      0 |        0 |        0
1.79/1.90	c  1.5s |       3 |    10785 |      475 |     7985      0 |        0 |        0
3.29/3.39	c  3.0s |       4 |    21537 |      813 |     8784      0 |        0 |        0
3.68/3.75	c  3.3s |       4 |    34075 |      877 |     9663      0 |        0 |        0
3.68/3.75	c #cpu_time = 3.327s
3.68/3.75	c #wall_clock_time = 3.327s
3.68/3.75	c #decision = 34075
3.68/3.75	c #random_decision = 99
3.68/3.75	c #conflict = 877
3.68/3.75	c #restart = 4
3.68/3.75	o 3509101
3.78/3.83	c BCD2: updating upper bound: 692922048 -> 3509100
3.88/3.96	c BCD2: 0 <= obj <= 3509100
3.88/3.97	c BCD2: #cores=0, #unrelaxed=19200, #relaxed=0, #hardened=0
3.88/3.97	c BCD2: #sat=1 #unsat=1 bias=1/2
3.88/3.98	c Solving starts ...
3.88/3.98	c ============================[ Search Statistics ]============================
3.88/3.98	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.88/3.98	c       |         |          |          |    Limit     GC | Var      | Constra 
3.88/3.98	c =============================================================================
3.88/3.98	c  0.0s |       0 |        0 |        0 |     9663      0 |        0 |        0
3.98/4.02	c  0.0s |       0 |     2295 |        0 |     9663      0 |        0 |        0
3.98/4.02	c #cpu_time = 0.043s
3.98/4.02	c #wall_clock_time = 0.043s
3.98/4.02	c #decision = 2295
3.98/4.02	c #random_decision = 0
3.98/4.02	c #conflict = 0
3.98/4.02	c #restart = 0
3.98/4.02	c BCD2: found a new core of size 383: cost of the new core is >=9941
3.98/4.02	c lower bound updated to 9941
4.08/4.10	c BCD2: 9941 <= obj <= 3509100
4.08/4.10	c BCD2: #cores=1, #unrelaxed=18817, #relaxed=383, #hardened=0
4.08/4.10	c BCD2: #sat=1 #unsat=2 bias=2/3
10.39/10.42	c Solving starts ...
10.39/10.42	c ============================[ Search Statistics ]============================
10.39/10.42	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.39/10.42	c       |         |          |          |    Limit     GC | Var      | Constra 
10.39/10.42	c =============================================================================
10.39/10.42	c  0.0s |       0 |        0 |        0 |     9663      0 |        0 |        0
10.78/10.87	c  0.4s |       1 |    19165 |      100 |     9663      0 |        0 |        0
11.48/11.53	c  1.1s |       2 |    37977 |      250 |     9663      0 |        0 |        0
11.68/11.70	c  1.3s |       2 |    56389 |      258 |     9663      0 |        0 |        0
11.68/11.70	c #cpu_time = 1.268s
11.68/11.70	c #wall_clock_time = 1.268s
11.68/11.70	c #decision = 56389
11.68/11.70	c #random_decision = 0
11.68/11.70	c #conflict = 258
11.68/11.70	c #restart = 2
11.68/11.72	c BCD2: found a new core of size 17709: cost of the new core is >=2279
11.68/11.72	c lower bound updated to 12220
11.78/11.84	c BCD2: 12220 <= obj <= 3509100
11.78/11.84	c BCD2: #cores=2, #unrelaxed=1108, #relaxed=18092, #hardened=0
11.78/11.84	c BCD2: #sat=1 #unsat=3 bias=3/4
928.03/928.24	c Solving starts ...
928.03/928.24	c ============================[ Search Statistics ]============================
928.03/928.24	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
928.03/928.24	c       |         |          |          |    Limit     GC | Var      | Constra 
928.03/928.24	c =============================================================================
928.03/928.24	c  0.0s |       0 |        0 |        0 |     9663      0 |        0 |        0
928.34/928.51	c  0.3s |       1 |    12756 |      100 |     9663      0 |        0 |        0
928.73/928.91	c  0.7s |       1 |    28637 |      219 |    10630      0 |        0 |        0
928.73/928.91	c #cpu_time = 0.652s
928.73/928.91	c #wall_clock_time = 0.653s
928.73/928.91	c #decision = 28637
928.73/928.91	c #random_decision = 99
928.73/928.91	c #conflict = 219
928.73/928.91	c #restart = 1
928.73/928.91	o 1114054
930.63/930.83	c BCD2: updating upper bound: 3509100 -> 1114053
932.23/932.48	c BCD2: 12220 <= obj <= 1114053
932.23/932.48	c BCD2: #cores=2, #unrelaxed=1108, #relaxed=18092, #hardened=0
932.23/932.48	c BCD2: #sat=2 #unsat=3 bias=3/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-4079117-1465266829/watcher-4079117-1465266829 -o /tmp/evaluation-result-4079117-1465266829/solver-4079117-1465266829 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1465264781-27960 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079117-1465266829.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.04 2.10 2.20 3/179 28313
/proc/meminfo: memFree=30360296/32872528 swapFree=11320/319964
[pid=28313] ppid=28310 vsize=711236 CPUtime=0 cores=1,3,5,7
/proc/28313/stat : 28313 (toysat) R 28310 28313 20210 0 -1 4202496 2652 0 0 0 0 0 0 0 20 0 4 0 108616220 728305664 3012 33554432000 4194304 16246674 140736417402912 140736417402336 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 178321 3020 442 2943 0 175215 0
[pid=28313/tid=28314] ppid=28310 vsize=728644 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28314/stat : 28314 (toysat) S 28310 28313 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108616221 746131456 3078 33554432000 4194304 16246674 140736417402912 140690123107568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28313/tid=28315] ppid=28310 vsize=732740 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28315/stat : 28315 (toysat) S 28310 28313 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108616221 750325760 3096 33554432000 4194304 16246674 140736417402912 140690042367216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28313/tid=28316] ppid=28310 vsize=736836 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28316/stat : 28316 (toysat) S 28310 28313 20210 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108616221 754520064 3112 33554432000 4194304 16246674 140736417402912 140690031893680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.04 2.10 2.20 3/179 28313
/proc/meminfo: memFree=30360296/32872528 swapFree=11320/319964
[pid=28313] ppid=28310 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/28313/stat : 28313 (toysat) R 28310 28313 20210 0 -1 4202496 30873 0 0 0 5 4 0 0 20 0 4 0 108616220 1334382592 31172 33554432000 4194304 16246674 140736417402912 140736417402224 7371468 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 325777 31189 801 2943 0 322671 0
[pid=28313/tid=28314] ppid=28310 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28314/stat : 28314 (toysat) S 28310 28313 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108616221 1334382592 31201 33554432000 4194304 16246674 140736417402912 140690123107568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28313/tid=28315] ppid=28310 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28315/stat : 28315 (toysat) S 28310 28313 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108616221 1334382592 31212 33554432000 4194304 16246674 140736417402912 140690042367216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28313/tid=28316] ppid=28310 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28316/stat : 28316 (toysat) S 28310 28313 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108616221 1334382592 31223 33554432000 4194304 16246674 140736417402912 140690031893680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200534 s]
/proc/loadavg: 2.04 2.10 2.20 3/179 28313
/proc/meminfo: memFree=30360296/32872528 swapFree=11320/319964
[pid=28313] ppid=28310 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/28313/stat : 28313 (toysat) R 28310 28313 20210 0 -1 4202496 46802 0 0 0 13 6 0 0 20 0 4 0 108616220 1344868352 47611 33554432000 4194304 16246674 140736417402912 140736417402224 4208636 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 328337 47611 812 2943 0 325231 0
[pid=28313/tid=28314] ppid=28310 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28314/stat : 28314 (toysat) S 28310 28313 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108616221 1344868352 47611 33554432000 4194304 16246674 140736417402912 140690123107568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28313/tid=28315] ppid=28310 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28315/stat : 28315 (toysat) S 28310 28313 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108616221 1344868352 47611 33554432000 4194304 16246674 140736417402912 140690042367216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28313/tid=28316] ppid=28310 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28316/stat : 28316 (toysat) S 28310 28313 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108616221 1344868352 47611 33554432000 4194304 16246674 140736417402912 140690031893680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300503 s]
/proc/loadavg: 2.04 2.10 2.20 3/179 28313
/proc/meminfo: memFree=30360296/32872528 swapFree=11320/319964
[pid=28313] ppid=28310 vsize=1316420 CPUtime=0.29 cores=1,3,5,7
/proc/28313/stat : 28313 (toysat) R 28310 28313 20210 0 -1 4202496 47654 0 0 0 23 6 0 0 20 0 4 0 108616220 1348014080 48463 33554432000 4194304 16246674 140736417402912 140736417402224 12517896 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 329105 48463 839 2943 0 325999 0
[pid=28313/tid=28314] ppid=28310 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28314/stat : 28314 (toysat) S 28310 28313 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108616221 1348014080 48463 33554432000 4194304 16246674 140736417402912 140690123107568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28313/tid=28315] ppid=28310 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28315/stat : 28315 (toysat) S 28310 28313 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108616221 1348014080 48463 33554432000 4194304 16246674 140736417402912 140690042367216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28313/tid=28316] ppid=28310 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28316/stat : 28316 (toysat) S 28310 28313 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108616221 1348014080 48463 33554432000 4194304 16246674 140736417402912 140690031893680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1316420

[startup+0.700368 s]
/proc/loadavg: 2.04 2.10 2.20 3/179 28313
/proc/meminfo: memFree=30360296/32872528 swapFree=11320/319964
[pid=28313] ppid=28310 vsize=1316420 CPUtime=0.68 cores=1,3,5,7
/proc/28313/stat : 28313 (toysat) R 28310 28313 20210 0 -1 4202496 61523 0 0 0 60 8 0 0 20 0 4 0 108616220 1348014080 62332 33554432000 4194304 16246674 140736417402912 140736417384832 5602147 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 329105 62338 886 2943 0 325999 0
[pid=28313/tid=28314] ppid=28310 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28314/stat : 28314 (toysat) S 28310 28313 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108616221 1348014080 62341 33554432000 4194304 16246674 140736417402912 140690123107568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28313/tid=28315] ppid=28310 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28315/stat : 28315 (toysat) S 28310 28313 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108616221 1348014080 62345 33554432000 4194304 16246674 140736417402912 140690042367216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28313/tid=28316] ppid=28310 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28316/stat : 28316 (toysat) S 28310 28313 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108616221 1348014080 62348 33554432000 4194304 16246674 140736417402912 140690031893680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1316420

[startup+1.50037 s]
/proc/loadavg: 2.04 2.10 2.20 3/183 28317
/proc/meminfo: memFree=29893252/32872528 swapFree=11320/319964
[pid=28313] ppid=28310 vsize=1316420 CPUtime=1.49 cores=1,3,5,7
/proc/28313/stat : 28313 (toysat) R 28310 28313 20210 0 -1 4202496 245707 0 0 0 117 32 0 0 20 0 4 0 108616220 1348014080 246517 33554432000 4194304 16246674 140736417402912 140736417384832 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 329105 246534 886 2943 0 325999 0
[pid=28313/tid=28314] ppid=28310 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28314/stat : 28314 (toysat) S 28310 28313 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108616221 1348014080 246546 33554432000 4194304 16246674 140736417402912 140690123107568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28313/tid=28315] ppid=28310 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28315/stat : 28315 (toysat) S 28310 28313 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108616221 1348014080 246556 33554432000 4194304 16246674 140736417402912 140690042367216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28313/tid=28316] ppid=28310 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28316/stat : 28316 (toysat) S 28310 28313 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108616221 1348014080 246567 33554432000 4194304 16246674 140736417402912 140690031893680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1316420

[startup+3.10038 s]
/proc/loadavg: 2.04 2.10 2.20 3/183 28317
/proc/meminfo: memFree=29278956/32872528 swapFree=11320/319964
[pid=28313] ppid=28310 vsize=1316420 CPUtime=3.08 cores=1,3,5,7
/proc/28313/stat : 28313 (toysat) R 28310 28313 20210 0 -1 4202496 269786 0 0 0 273 35 0 0 20 0 4 0 108616220 1348014080 270595 33554432000 4194304 16246674 140736417402912 140736417402088 5712628 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 329105 270595 893 2943 0 325999 0
[pid=28313/tid=28314] ppid=28310 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28314/stat : 28314 (toysat) S 28310 28313 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108616221 1348014080 270595 33554432000 4194304 16246674 140736417402912 140690123107568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28313/tid=28315] ppid=28310 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28315/stat : 28315 (toysat) S 28310 28313 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108616221 1348014080 270595 33554432000 4194304 16246674 140736417402912 140690042367216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28313/tid=28316] ppid=28310 vsize=1316420 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28316/stat : 28316 (toysat) S 28310 28313 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108616221 1348014080 270595 33554432000 4194304 16246674 140736417402912 140690031893680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1316420

[startup+6.30038 s]
/proc/loadavg: 2.03 2.10 2.20 3/183 28317
/proc/meminfo: memFree=29266324/32872528 swapFree=11320/319964
[pid=28313] ppid=28310 vsize=1328708 CPUtime=6.29 cores=1,3,5,7
/proc/28313/stat : 28313 (toysat) R 28310 28313 20210 0 -1 4202496 272638 0 0 0 593 36 0 0 20 0 4 0 108616220 1360596992 273447 33554432000 4194304 16246674 140736417402912 140736417384832 12449269 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 332177 273447 917 2943 0 329071 0
[pid=28313/tid=28314] ppid=28310 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28314/stat : 28314 (toysat) S 28310 28313 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108616221 1360596992 273447 33554432000 4194304 16246674 140736417402912 140690123107568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28313/tid=28315] ppid=28310 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28315/stat : 28315 (toysat) S 28310 28313 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108616221 1360596992 273447 33554432000 4194304 16246674 140736417402912 140690042367216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28313/tid=28316] ppid=28310 vsize=1328708 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28316/stat : 28316 (toysat) S 28310 28313 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108616221 1360596992 273447 33554432000 4194304 16246674 140736417402912 140690031893680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1328708

[startup+12.7004 s]
/proc/loadavg: 2.03 2.10 2.20 3/183 28317
/proc/meminfo: memFree=29187852/32872528 swapFree=11320/319964
[pid=28313] ppid=28310 vsize=1406532 CPUtime=12.68 cores=1,3,5,7
/proc/28313/stat : 28313 (toysat) R 28310 28313 20210 0 -1 4202496 292339 0 0 0 1229 39 0 0 20 0 4 0 108616220 1440288768 293148 33554432000 4194304 16246674 140736417402912 140736417384832 12429087 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 351633 293148 917 2943 0 348527 0
[pid=28313/tid=28314] ppid=28310 vsize=1406532 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28314/stat : 28314 (toysat) S 28310 28313 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108616221 1440288768 293148 33554432000 4194304 16246674 140736417402912 140690123107568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28313/tid=28315] ppid=28310 vsize=1406532 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28315/stat : 28315 (toysat) S 28310 28313 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108616221 1440288768 293148 33554432000 4194304 16246674 140736417402912 140690042367216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28313/tid=28316] ppid=28310 vsize=1406532 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28316/stat : 28316 (toysat) S 28310 28313 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108616221 1440288768 293148 33554432000 4194304 16246674 140736417402912 140690031893680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1406532

[startup+25.5005 s]
/proc/loadavg: 2.02 2.09 2.19 3/183 28366
/proc/meminfo: memFree=29131740/32872528 swapFree=11320/319964
[pid=28313] ppid=28310 vsize=1485380 CPUtime=25.49 cores=1,3,5,7
/proc/28313/stat : 28313 (toysat) R 28310 28313 20210 0 -1 4202496 312051 0 0 0 2506 43 0 0 20 0 4 0 108616220 1521029120 312860 33554432000 4194304 16246674 140736417402912 140736417402008 13895958 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28313/statm: 371345 312860 917 2943 0 368239 0
[pid=28313/tid=28314] ppid=28310 vsize=1485380 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28314/stat : 28314 (toysat) S 28310 28313 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108616221 1521029120 312860 33554432000 4194304 16246674 140736417402912 140690123107568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28313/tid=28315] ppid=28310 vsize=1485380 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28315/stat : 28315 (toysat) S 28310 28313 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108616221 1521029120 312860 33554432000 4194304 16246674 140736417402912 140690042367216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28313/tid=28316] ppid=28310 vsize=1485380 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28316/stat : 28316 (toysat) S 28310 28313 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108616221 1521029120 312860 33554432000 4194304 16246674 140736417402912 140690031893680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1485380

[startup+51.1005 s]
/proc/loadavg: 2.01 2.08 2.18 3/183 28366
/proc/meminfo: memFree=28422428/32872528 swapFree=11320/319964
[pid=28313] ppid=28310 vsize=2170436 CPUtime=51.08 cores=1,3,5,7
/proc/28313/stat : 28313 (toysat) R 28310 28313 20210 0 -1 4202496 483315 0 0 0 5042 66 0 0 20 0 4 0 108616220 2222526464 484380 33554432000 4194304 16246674 140736417402912 140736417402224 4206886 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/28313/statm: 542609 484380 917 2943 0 539503 0
[pid=28313/tid=28314] ppid=28310 vsize=2170436 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28314/stat : 28314 (toysat) S 28310 28313 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108616221 2222526464 484380 33554432000 4194304 16246674 140736417402912 140690123107568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28313/tid=28315] ppid=28310 vsize=2170436 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28315/stat : 28315 (toysat) S 28310 28313 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108616221 2222526464 484380 33554432000 4194304 16246674 140736417402912 140690042367216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28313/tid=28316] ppid=28310 vsize=2170436 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28316/stat : 28316 (toysat) S 28310 28313 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108616221 2222526464 484380 33554432000 4194304 16246674 140736417402912 140690031893680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2170436

[startup+102.301 s]
/proc/loadavg: 2.00 2.07 2.17 3/183 28367
/proc/meminfo: memFree=25004284/32872528 swapFree=11320/319964
[pid=28313] ppid=28310 vsize=2902596 CPUtime=102.28 cores=1,3,5,7
/proc/28313/stat : 28313 (toysat) R 28310 28313 20210 0 -1 4202496 666356 0 0 0 10130 98 0 0 20 0 4 0 108616220 2972258304 667420 33554432000 4194304 16246674 140736417402912 140736417402008 4225113 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 725649 667420 917 2943 0 722543 0
[pid=28313/tid=28314] ppid=28310 vsize=2902596 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28314/stat : 28314 (toysat) S 28310 28313 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108616221 2972258304 667420 33554432000 4194304 16246674 140736417402912 140690123107568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28313/tid=28315] ppid=28310 vsize=2902596 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28315/stat : 28315 (toysat) S 28310 28313 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108616221 2972258304 667420 33554432000 4194304 16246674 140736417402912 140690042366992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28313/tid=28316] ppid=28310 vsize=2902596 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28316/stat : 28316 (toysat) S 28310 28313 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108616221 2972258304 667420 33554432000 4194304 16246674 140736417402912 140690031893680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2902596


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

/proc/28313/task/28314/stat : 28314 (toysat) S 28310 28313 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108616221 4317581312 995872 33554432000 4194304 16246674 140736417402912 140690123107568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28313/tid=28315] ppid=28310 vsize=4216388 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28315/stat : 28315 (toysat) S 28310 28313 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108616221 4317581312 995872 33554432000 4194304 16246674 140736417402912 140690042366992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28313/tid=28316] ppid=28310 vsize=4216388 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28316/stat : 28316 (toysat) S 28310 28313 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108616221 4317581312 995872 33554432000 4194304 16246674 140736417402912 140690031893680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 4216388

[startup+1362.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/183 28399
/proc/meminfo: memFree=20442024/32872528 swapFree=11320/319964
[pid=28313] ppid=28310 vsize=5448260 CPUtime=1362.05 cores=1,3,5,7
/proc/28313/stat : 28313 (toysat) R 28310 28313 20210 0 -1 4202496 2017542 0 0 0 135758 447 0 0 20 0 4 0 108616220 5579018240 1303840 33554432000 4194304 16246674 140736417402912 140736417402224 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 1362065 1303840 919 2943 0 1358959 0
[pid=28313/tid=28314] ppid=28310 vsize=5448260 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28314/stat : 28314 (toysat) S 28310 28313 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108616221 5579018240 1303840 33554432000 4194304 16246674 140736417402912 140690123107568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28313/tid=28315] ppid=28310 vsize=5448260 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28315/stat : 28315 (toysat) S 28310 28313 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108616221 5579018240 1303840 33554432000 4194304 16246674 140736417402912 140690042367216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28313/tid=28316] ppid=28310 vsize=5448260 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28316/stat : 28316 (toysat) S 28310 28313 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108616221 5579018240 1303840 33554432000 4194304 16246674 140736417402912 140690031893680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 5448260

[startup+1422.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/183 28400
/proc/meminfo: memFree=20670080/32872528 swapFree=11320/319964
[pid=28313] ppid=28310 vsize=5845572 CPUtime=1422.04 cores=1,3,5,7
/proc/28313/stat : 28313 (toysat) R 28310 28313 20210 0 -1 4202496 2116871 0 0 0 141737 467 0 0 20 0 4 0 108616220 5985865728 1403168 33554432000 4194304 16246674 140736417402912 140736417402008 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 1461393 1403168 919 2943 0 1458287 0
[pid=28313/tid=28314] ppid=28310 vsize=5845572 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28314/stat : 28314 (toysat) S 28310 28313 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108616221 5985865728 1403168 33554432000 4194304 16246674 140736417402912 140690123107568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28313/tid=28315] ppid=28310 vsize=5845572 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28315/stat : 28315 (toysat) S 28310 28313 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108616221 5985865728 1403168 33554432000 4194304 16246674 140736417402912 140690042366992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28313/tid=28316] ppid=28310 vsize=5845572 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28316/stat : 28316 (toysat) S 28310 28313 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108616221 5985865728 1403168 33554432000 4194304 16246674 140736417402912 140690031893680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 5845572

[startup+1482.3 s]
/proc/loadavg: 2.07 2.05 2.05 4/183 28402
/proc/meminfo: memFree=19743332/32872528 swapFree=11320/319964
[pid=28313] ppid=28310 vsize=6112836 CPUtime=1482.03 cores=1,3,5,7
/proc/28313/stat : 28313 (toysat) R 28310 28313 20210 0 -1 4202496 2183688 0 0 0 147720 483 0 0 20 0 4 0 108616220 6259544064 1469985 33554432000 4194304 16246674 140736417402912 140736417402224 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 1528209 1469985 919 2943 0 1525103 0
[pid=28313/tid=28314] ppid=28310 vsize=6112836 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28314/stat : 28314 (toysat) S 28310 28313 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108616221 6259544064 1469985 33554432000 4194304 16246674 140736417402912 140690123107568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28313/tid=28315] ppid=28310 vsize=6112836 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28315/stat : 28315 (toysat) S 28310 28313 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108616221 6259544064 1469985 33554432000 4194304 16246674 140736417402912 140690042367216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28313/tid=28316] ppid=28310 vsize=6112836 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28316/stat : 28316 (toysat) S 28310 28313 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108616221 6259544064 1469985 33554432000 4194304 16246674 140736417402912 140690031893680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 6112836

[startup+1542.31 s]
/proc/loadavg: 2.12 2.06 2.05 3/183 28403
/proc/meminfo: memFree=19552152/32872528 swapFree=11320/319964
[pid=28313] ppid=28310 vsize=6272580 CPUtime=1542.03 cores=1,3,5,7
/proc/28313/stat : 28313 (toysat) R 28310 28313 20210 0 -1 4202496 2223438 0 0 0 153707 496 0 0 20 0 4 0 108616220 6423121920 1509733 33554432000 4194304 16246674 140736417402912 140736417400704 13880719 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 1568145 1509733 919 2943 0 1565039 0
[pid=28313/tid=28314] ppid=28310 vsize=6272580 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28314/stat : 28314 (toysat) S 28310 28313 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108616221 6423121920 1509733 33554432000 4194304 16246674 140736417402912 140690123107568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28313/tid=28315] ppid=28310 vsize=6272580 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28315/stat : 28315 (toysat) S 28310 28313 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108616221 6423121920 1509733 33554432000 4194304 16246674 140736417402912 140690042366992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28313/tid=28316] ppid=28310 vsize=6272580 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28316/stat : 28316 (toysat) S 28310 28313 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108616221 6423121920 1509733 33554432000 4194304 16246674 140736417402912 140690031893680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 6272580

[startup+1602.3 s]
/proc/loadavg: 2.09 2.06 2.05 3/184 28407
/proc/meminfo: memFree=19442608/32872528 swapFree=11320/319964
[pid=28313] ppid=28310 vsize=6365764 CPUtime=1602.01 cores=1,3,5,7
/proc/28313/stat : 28313 (toysat) R 28310 28313 20210 0 -1 4202496 2246923 0 0 0 159693 508 0 0 20 0 4 0 108616220 6518542336 1533217 33554432000 4194304 16246674 140736417402912 140736417400704 4221122 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 1591441 1533217 919 2943 0 1588335 0
[pid=28313/tid=28314] ppid=28310 vsize=6365764 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28314/stat : 28314 (toysat) S 28310 28313 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108616221 6518542336 1533217 33554432000 4194304 16246674 140736417402912 140690123107568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28313/tid=28315] ppid=28310 vsize=6365764 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28315/stat : 28315 (toysat) S 28310 28313 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108616221 6518542336 1533217 33554432000 4194304 16246674 140736417402912 140690042366992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28313/tid=28316] ppid=28310 vsize=6365764 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28316/stat : 28316 (toysat) S 28310 28313 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108616221 6518542336 1533217 33554432000 4194304 16246674 140736417402912 140690031893680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 6365764

[startup+1662.3 s]
/proc/loadavg: 2.03 2.05 2.04 4/184 28431
/proc/meminfo: memFree=19066888/32872528 swapFree=11320/319964
[pid=28313] ppid=28310 vsize=6437444 CPUtime=1662 cores=1,3,5,7
/proc/28313/stat : 28313 (toysat) R 28310 28313 20210 0 -1 4202496 2264843 0 0 0 165682 518 0 0 20 0 4 0 108616220 6591942656 1551137 33554432000 4194304 16246674 140736417402912 140736417402008 4206864 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 1609361 1551137 919 2943 0 1606255 0
[pid=28313/tid=28314] ppid=28310 vsize=6437444 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28314/stat : 28314 (toysat) S 28310 28313 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108616221 6591942656 1551137 33554432000 4194304 16246674 140736417402912 140690123107568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28313/tid=28315] ppid=28310 vsize=6437444 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28315/stat : 28315 (toysat) S 28310 28313 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108616221 6591942656 1551137 33554432000 4194304 16246674 140736417402912 140690042366992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28313/tid=28316] ppid=28310 vsize=6437444 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28316/stat : 28316 (toysat) S 28310 28313 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108616221 6591942656 1551137 33554432000 4194304 16246674 140736417402912 140690031893680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 6437444

[startup+1722.3 s]
/proc/loadavg: 1.97 2.04 2.04 3/183 28432
/proc/meminfo: memFree=19246724/32872528 swapFree=11320/319964
[pid=28313] ppid=28310 vsize=6476356 CPUtime=1721.98 cores=1,3,5,7
/proc/28313/stat : 28313 (toysat) R 28310 28313 20210 0 -1 4202496 2274571 0 0 0 171672 526 0 0 20 0 4 0 108616220 6631788544 1560865 33554432000 4194304 16246674 140736417402912 140736417402008 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 1619089 1560865 919 2943 0 1615983 0
[pid=28313/tid=28314] ppid=28310 vsize=6476356 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28314/stat : 28314 (toysat) S 28310 28313 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108616221 6631788544 1560865 33554432000 4194304 16246674 140736417402912 140690123107568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28313/tid=28315] ppid=28310 vsize=6476356 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28315/stat : 28315 (toysat) S 28310 28313 20210 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108616221 6631788544 1560865 33554432000 4194304 16246674 140736417402912 140690042367216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28313/tid=28316] ppid=28310 vsize=6476356 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28316/stat : 28316 (toysat) S 28310 28313 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108616221 6631788544 1560865 33554432000 4194304 16246674 140736417402912 140690031893680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 6476356

[startup+1782.3 s]
/proc/loadavg: 1.95 2.01 2.03 3/183 28434
/proc/meminfo: memFree=18721964/32872528 swapFree=11320/319964
[pid=28313] ppid=28310 vsize=6506052 CPUtime=1781.97 cores=1,3,5,7
/proc/28313/stat : 28313 (toysat) R 28310 28313 20210 0 -1 4202496 2281995 0 0 0 177663 534 0 0 20 0 4 0 108616220 6662197248 1568289 33554432000 4194304 16246674 140736417402912 140736417402224 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 1626513 1568289 919 2943 0 1623407 0
[pid=28313/tid=28314] ppid=28310 vsize=6506052 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28314/stat : 28314 (toysat) S 28310 28313 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108616221 6662197248 1568289 33554432000 4194304 16246674 140736417402912 140690123107568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28313/tid=28315] ppid=28310 vsize=6506052 CPUtime=0.01 cores=1,3,5,7
/proc/28313/task/28315/stat : 28315 (toysat) S 28310 28313 20210 0 -1 4202560 7 0 0 0 0 1 0 0 20 0 4 0 108616221 6662197248 1568289 33554432000 4194304 16246674 140736417402912 140690042367216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28313/tid=28316] ppid=28310 vsize=6506052 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28316/stat : 28316 (toysat) S 28310 28313 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108616221 6662197248 1568289 33554432000 4194304 16246674 140736417402912 140690031893680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 6506052



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.96 2.01 2.03 3/183 28434
/proc/meminfo: memFree=18679292/32872528 swapFree=11320/319964
[pid=28313] ppid=28310 vsize=6506052 CPUtime=1800.07 cores=1,3,5,7
/proc/28313/stat : 28313 (toysat) R 28310 28313 20210 0 -1 4202496 2281995 0 0 0 179470 537 0 0 20 0 4 0 108616220 6662197248 1568289 33554432000 4194304 16246674 140736417402912 140736417402008 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 1626513 1568289 919 2943 0 1623407 0
[pid=28313/tid=28314] ppid=28310 vsize=6506052 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28314/stat : 28314 (toysat) S 28310 28313 20210 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108616221 6662197248 1568289 33554432000 4194304 16246674 140736417402912 140690123107568 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28313/tid=28315] ppid=28310 vsize=6506052 CPUtime=0.01 cores=1,3,5,7
/proc/28313/task/28315/stat : 28315 (toysat) S 28310 28313 20210 0 -1 4202560 7 0 0 0 0 1 0 0 20 0 4 0 108616221 6662197248 1568289 33554432000 4194304 16246674 140736417402912 140690042367216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28313/tid=28316] ppid=28310 vsize=6506052 CPUtime=0 cores=1,3,5,7
/proc/28313/task/28316/stat : 28316 (toysat) S 28310 28313 20210 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108616221 6662197248 1568289 33554432000 4194304 16246674 140736417402912 140690031893680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 6506052

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

[startup+1800.6 s]
/proc/loadavg: 1.96 2.01 2.03 3/183 28434
/proc/meminfo: memFree=18679292/32872528 swapFree=11320/319964
[pid=28313] ppid=28310 vsize=0 CPUtime=1800.27 cores=1,3,5,7
/proc/28313/stat : 28313 (toysat) Z 28310 28313 20210 0 -1 4203532 2281995 0 0 0 179471 556 0 0 20 0 2 0 108616220 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28313/statm: 0 0 0 0 0 0 0
[pid=28313/tid=28315] ppid=28310 vsize=0 CPUtime=0.2 cores=1,3,5,7
/proc/28313/task/28315/stat : 28315 (toysat) R 28310 28313 20210 0 -1 4203588 7 0 0 0 0 20 0 0 20 0 2 0 108616221 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.67
CPU time (s): 1800.36
CPU user time (s): 1794.72
CPU system time (s): 5.63914
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 6506052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.72
system time used= 5.63914
maximum resident set size= 6273156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2281995
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= 1373
involuntary context switches= 3562

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.67929 second user time and 6.78697 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-07 04:33:49
IDJOB=4079117
IDBENCH=71885
IDSOLVER=2542
FILE ID=node128/4079117-1465266829
RUNJOBID= node128-1465264781-27960
PBS_JOBID= 19843253
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 5aed6138edeb8c25258479e857e113ee
RANDOM SEED=1995734955

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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.486
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.486
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30360568 kB
Buffers:          108276 kB
Cached:           247900 kB
SwapCached:         1668 kB
Active:          1228940 kB
Inactive:         227212 kB
Active(anon):    1101348 kB
Inactive(anon):      588 kB
Active(file):     127592 kB
Inactive(file):   226624 kB
Unevictable:      319964 kB
Mlocked:           11320 kB
SwapTotal:      67108856 kB
SwapFree:       67098516 kB
Dirty:             17116 kB
Writeback:             0 kB
AnonPages:       1510484 kB
Mapped:            10416 kB
Shmem:                 0 kB
Slab:             603064 kB
SReclaimable:      46632 kB
SUnreclaim:       556432 kB
KernelStack:        1520 kB
PageTables:         6816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1560820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1492992 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= 71716 MiB
End job on node128 at 2016-06-07 05:03:50