Trace number 4079134

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.53 1800.83

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_50_2__8_45__128.opb
MD5SUMc57c1a163af10ea174ed9d51ace361ef
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark45008
Best CPU time to get the best result obtained on this benchmark4.05438
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables12848
Total number of constraints150
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)102
Number of constraints which are nor clauses,nor cardinality constraints48
Minimum length of a constraint128
Maximum length of a constraint1153
Number of terms in the objective function 12800
Biggest coefficient in the objective function 126454
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 429636480
Number of bits of the sum of numbers in the objective function 29
Biggest number in a constraint 126454
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 429636480
Number of bits of the biggest sum of numbers29
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:54:00+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-4079134-1465268040.opb"]
0.00/0.01	c use --random-gen="4103457033 817025808 1699744795 1714768213 1526956356 263545972 2803826709 2598107642 2104947703 3675080925 817334153 979907401 1798143619 1651960093 2513487144 941083138 846277356 2716322771 1987991865 3017103368 1372013278 818045426 2498967668 505659820 1323360151 3350370306 1216140948 2937025241 1944312735 3062730436 679501467 2067583888 2383891913 1695369369 1950507931 2122225793 614561183 976781185 1702556776 954965898 3217006197 3045016370 3438690754 3570966600 3186481320 3660653342 2354123357 2930853787 1998593673 3663815214 1845219480 3701332780 3509152746 583352438 1655151402 2825491398 3276603460 421858778 987246723 4093569486 3895001466 686506331 940826173 2090106661 81418752 3098407828 4118930121 2489745245 1927748535 1205237631 737077583 514108499 3879895083 718872006 1787409647 933211536 688978174 1431014611 152719108 108088810 3018362705 2159313330 2572080582 2401916553 33821880 3955434667 2048522899 36323008 3218671059 3374871898 3204276261 3419729217 1151288529 90560294 915071768 985545585 1933377424 878646958 450866884 1182126198 993578505 302283234 3121360473 2276243563 160750987 2900671827 3446852057 1179747394 247366198 2183794241 1792755216 2889816828 2880018393 1500748879 3564807276 3368648884 3649862129 4059945601 3624884016 1214251160 3168795149 2167481871 2184247841 2186192468 4253925901 1059862493 2374802796 80822196 511572985 3131256224 3556148741 102462697 1651053792 2050206553 1332252247 614333214 2999829661 1621787244 4021929616 1274297400 930250048 2679491961 1159715071 3183616320 2865031417 82005415 3811466488 822713523 2583648640 3016240371 3567095414 3331587059 313852170 2717219969 1406384674 304313053 1437843463 1254893377 1161485153 1624732272 385651230 1873979557 1267805995 2416368798 154029904 376772336 3439097775 3827321054 3808162412 3248389262 4058683011 2039861090 2292821375 4057484279 512405863 2317931972 1750922383 910075507 463947127 3659982517 1782884988 613211441 676894669 2478510745 2199790796 2733353631 3166652088 191214688 1818575759 3250370734 2167044544 3170188643 1978752560 1810123834 543714721 1744866426 2431200642 3294190575 1576666120 1378055558 1940835356 402830518 510385055 1432102148 3202941495 3296271971 278933324 465671353 2915828554 1874699156 3912123937 841708942 1132919034 3127327012 1049403244 3564350381 1158931716 2047757521 1153596698 1714530302 1951623674 2176578396 2481358492 3775059163 1798317808 1090708337 3070637177 3604507866 587249267 2508180707 1808997795 1409505382 3535089362 4196672611 3782095286 3102306977 614489632 3896933467 3667246309 2605101295 3937472077 703592458 1711722019 1198356504 3897793033 956362516 1196504380 3929187841 2820696056 4291331978 3941474177 890499338 858637883 3085753737 512783956 3431304314 255 362436" option to reproduce the execution
0.08/0.12	c #vars 12848
0.08/0.12	c #constraints 150
0.19/0.29	c BCD2: Hardening is enabled.
0.19/0.29	c BCD2: BiasedSearch is enabled.
0.19/0.29	c Solving starts ...
0.19/0.29	c ============================[ Search Statistics ]============================
0.19/0.29	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.29	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.29	c =============================================================================
0.29/0.31	c  0.0s |       0 |        0 |        0 |     4349      0 |        0 |        0
0.59/0.63	c  0.3s |       1 |      181 |      100 |     4349      0 |        0 |        0
1.10/1.19	c  0.9s |       2 |      986 |      250 |     4784      0 |        0 |        0
1.79/1.82	c  1.5s |       3 |     4371 |      475 |     5263      0 |        0 |        0
4.89/4.92	c  4.6s |       3 |    18462 |      775 |     5790      0 |        0 |        0
5.39/5.44	c  5.1s |       4 |    18602 |      813 |     5790      0 |        0 |        0
7.39/7.41	c  7.1s |       5 |    34424 |     1320 |     6370      0 |        0 |        0
9.49/9.53	c  9.2s |       5 |    41241 |     1720 |     7008      0 |        0 |        0
11.58/11.60	c 11.3s |       5 |    42033 |     2020 |     7008      0 |        0 |        0
11.88/11.99	c 11.7s |       6 |    42250 |     2081 |     7709      0 |        0 |        0
14.30/14.34	c 14.0s |       6 |    55054 |     2781 |     7709      0 |        0 |        0
16.79/16.89	c 16.6s |       6 |    58727 |     3181 |     7709      0 |        0 |        0
17.19/17.21	c 16.9s |       7 |    59033 |     3223 |     8480      0 |        0 |        0
19.19/19.28	c 19.0s |       7 |    66450 |     3523 |     8480      0 |        0 |        0
21.58/21.67	c 21.4s |       7 |    76246 |     4123 |     8480      0 |        0 |        0
24.29/24.35	c 24.0s |       7 |    84594 |     4923 |     9328      0 |        0 |        0
24.58/24.63	c 24.3s |       8 |    84614 |     4936 |     9328      0 |        0 |        0
26.28/26.31	c 26.0s |       8 |    90795 |     5177 |     9328      0 |        0 |        0
26.28/26.31	c #cpu_time = 25.923s
26.28/26.31	c #wall_clock_time = 25.990s
26.28/26.31	c #decision = 90795
26.28/26.31	c #random_decision = 265
26.28/26.31	c #conflict = 5177
26.28/26.31	c #restart = 8
26.28/26.31	o 1139931
26.28/26.38	c BCD2: updating upper bound: 429636480 -> 1139930
26.49/26.51	c BCD2: 0 <= obj <= 1139930
26.49/26.51	c BCD2: #cores=0, #unrelaxed=12800, #relaxed=0, #hardened=0
26.49/26.51	c BCD2: #sat=1 #unsat=1 bias=1/2
26.49/26.52	c Solving starts ...
26.49/26.52	c ============================[ Search Statistics ]============================
26.49/26.52	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
26.49/26.52	c       |         |          |          |    Limit     GC | Var      | Constra 
26.49/26.52	c =============================================================================
26.49/26.52	c  0.0s |       0 |        0 |        0 |     9328      0 |        0 |        0
26.68/26.75	c  0.2s |       0 |     1787 |        0 |     9328      0 |        0 |        0
26.68/26.75	c #cpu_time = 0.230s
26.68/26.75	c #wall_clock_time = 0.230s
26.68/26.75	c #decision = 1787
26.68/26.75	c #random_decision = 0
26.68/26.75	c #conflict = 0
26.68/26.75	c #restart = 0
26.68/26.75	c BCD2: found a new core of size 256: cost of the new core is >=10131
26.68/26.75	c lower bound updated to 10131
26.78/26.81	c BCD2: 10131 <= obj <= 1139930
26.78/26.81	c BCD2: #cores=1, #unrelaxed=12544, #relaxed=256, #hardened=0
26.78/26.81	c BCD2: #sat=1 #unsat=2 bias=2/3
26.78/26.82	c Solving starts ...
26.78/26.82	c ============================[ Search Statistics ]============================
26.78/26.82	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
26.78/26.82	c       |         |          |          |    Limit     GC | Var      | Constra 
26.78/26.82	c =============================================================================
26.78/26.82	c  0.0s |       0 |        0 |        0 |     9328      0 |        0 |        1
27.08/27.10	c  0.3s |       0 |    10840 |        0 |     9328      0 |        0 |        1
27.08/27.10	c #cpu_time = 0.272s
27.08/27.10	c #wall_clock_time = 0.273s
27.08/27.10	c #decision = 10840
27.08/27.10	c #random_decision = 0
27.08/27.10	c #conflict = 0
27.08/27.10	c #restart = 0
27.08/27.10	c BCD2: found a new core of size 1407: cost of the new core is >=9426
27.08/27.10	c lower bound updated to 19557
27.08/27.17	c BCD2: 19557 <= obj <= 1139930
27.08/27.17	c BCD2: #cores=2, #unrelaxed=11137, #relaxed=1663, #hardened=0
27.08/27.17	c BCD2: #sat=1 #unsat=3 bias=3/4

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

pid=15420
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.46 2.36 2.29 4/179 15423
/proc/meminfo: memFree=23696796/32872528 swapFree=17452/1581112
[pid=15423] ppid=15420 vsize=845244 CPUtime=0 cores=1,3,5,7
/proc/15423/stat : 15423 (toysat) R 15420 15423 13546 0 -1 4202496 3176 0 0 0 0 0 0 0 20 0 4 0 108735910 865529856 3025 33554432000 4194304 16246674 140736221510640 140736221510064 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15423/statm: 212079 3034 441 2943 0 208973 0
[pid=15423/tid=15424] ppid=15420 vsize=863676 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15424/stat : 15424 (toysat) S 15420 15423 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108735910 884404224 3097 33554432000 4194304 16246674 140736221510640 139724590132464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15423/tid=15425] ppid=15420 vsize=868796 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15425/stat : 15425 (toysat) S 15420 15423 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108735910 889647104 3114 33554432000 4194304 16246674 140736221510640 139724579642608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15423/tid=15426] ppid=15420 vsize=872892 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15426/stat : 15426 (toysat) S 15420 15423 13546 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108735910 893841408 3134 33554432000 4194304 16246674 140736221510640 139724569169072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100173 s]
/proc/loadavg: 2.46 2.36 2.29 4/179 15423
/proc/meminfo: memFree=23696796/32872528 swapFree=17452/1581112
[pid=15423] ppid=15420 vsize=1302084 CPUtime=0.08 cores=1,3,5,7
/proc/15423/stat : 15423 (toysat) R 15420 15423 13546 0 -1 4202496 29819 0 0 0 5 3 0 0 20 0 4 0 108735910 1333334016 29606 33554432000 4194304 16246674 140736221510640 140736221509952 7364033 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15423/statm: 325521 29621 799 2943 0 322415 0
[pid=15423/tid=15424] ppid=15420 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15424/stat : 15424 (toysat) S 15420 15423 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108735910 1333334016 29633 33554432000 4194304 16246674 140736221510640 139724590132464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15423/tid=15425] ppid=15420 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15425/stat : 15425 (toysat) S 15420 15423 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108735910 1333334016 29644 33554432000 4194304 16246674 140736221510640 139724579642608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15423/tid=15426] ppid=15420 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15426/stat : 15426 (toysat) S 15420 15423 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108735910 1333334016 29656 33554432000 4194304 16246674 140736221510640 139724569169072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200596 s]
/proc/loadavg: 2.46 2.36 2.29 4/179 15423
/proc/meminfo: memFree=23696796/32872528 swapFree=17452/1581112
[pid=15423] ppid=15420 vsize=1314372 CPUtime=0.19 cores=1,3,5,7
/proc/15423/stat : 15423 (toysat) R 15420 15423 13546 0 -1 4202496 45410 0 0 0 14 5 0 0 20 0 4 0 108735910 1345916928 45197 33554432000 4194304 16246674 140736221510640 140736221509952 5913161 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15423/statm: 328593 45197 836 2943 0 325487 0
[pid=15423/tid=15424] ppid=15420 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15424/stat : 15424 (toysat) S 15420 15423 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108735910 1345916928 45197 33554432000 4194304 16246674 140736221510640 139724590132464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15423/tid=15425] ppid=15420 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15425/stat : 15425 (toysat) S 15420 15423 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108735910 1345916928 45197 33554432000 4194304 16246674 140736221510640 139724579642608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15423/tid=15426] ppid=15420 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15426/stat : 15426 (toysat) S 15420 15423 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108735910 1345916928 45197 33554432000 4194304 16246674 140736221510640 139724569169072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300542 s]
/proc/loadavg: 2.46 2.36 2.29 4/179 15423
/proc/meminfo: memFree=23696796/32872528 swapFree=17452/1581112
[pid=15423] ppid=15420 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/15423/stat : 15423 (toysat) R 15420 15423 13546 0 -1 4202496 48536 0 0 0 23 6 0 0 20 0 4 0 108735910 1345916928 48323 33554432000 4194304 16246674 140736221510640 140736221509952 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15423/statm: 328593 48323 854 2943 0 325487 0
[pid=15423/tid=15424] ppid=15420 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15424/stat : 15424 (toysat) S 15420 15423 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108735910 1345916928 48323 33554432000 4194304 16246674 140736221510640 139724590132464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15423/tid=15425] ppid=15420 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15425/stat : 15425 (toysat) S 15420 15423 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108735910 1345916928 48323 33554432000 4194304 16246674 140736221510640 139724579642608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15423/tid=15426] ppid=15420 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15426/stat : 15426 (toysat) S 15420 15423 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108735910 1345916928 48323 33554432000 4194304 16246674 140736221510640 139724569169072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700402 s]
/proc/loadavg: 2.46 2.36 2.29 4/179 15423
/proc/meminfo: memFree=23696796/32872528 swapFree=17452/1581112
[pid=15423] ppid=15420 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/15423/stat : 15423 (toysat) R 15420 15423 13546 0 -1 4202496 48567 0 0 0 63 6 0 0 20 0 4 0 108735910 1345916928 48354 33554432000 4194304 16246674 140736221510640 140736221492544 5711968 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15423/statm: 328593 48354 885 2943 0 325487 0
[pid=15423/tid=15424] ppid=15420 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15424/stat : 15424 (toysat) S 15420 15423 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108735910 1345916928 48354 33554432000 4194304 16246674 140736221510640 139724590132464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15423/tid=15425] ppid=15420 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15425/stat : 15425 (toysat) S 15420 15423 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108735910 1345916928 48354 33554432000 4194304 16246674 140736221510640 139724579642608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15423/tid=15426] ppid=15420 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15426/stat : 15426 (toysat) S 15420 15423 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108735910 1345916928 48354 33554432000 4194304 16246674 140736221510640 139724569169072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50041 s]
/proc/loadavg: 2.46 2.36 2.29 4/183 15427
/proc/meminfo: memFree=23488960/32872528 swapFree=17452/1581112
[pid=15423] ppid=15420 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/15423/stat : 15423 (toysat) R 15420 15423 13546 0 -1 4202496 82235 0 0 0 139 10 0 0 20 0 4 0 108735910 1345916928 82022 33554432000 4194304 16246674 140736221510640 140736221492544 5723366 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15423/statm: 328593 82022 885 2943 0 325487 0
[pid=15423/tid=15424] ppid=15420 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15424/stat : 15424 (toysat) S 15420 15423 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108735910 1345916928 82023 33554432000 4194304 16246674 140736221510640 139724590132464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15423/tid=15425] ppid=15420 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15425/stat : 15425 (toysat) S 15420 15423 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108735910 1345916928 82023 33554432000 4194304 16246674 140736221510640 139724579642608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15423/tid=15426] ppid=15420 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15426/stat : 15426 (toysat) S 15420 15423 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108735910 1345916928 82023 33554432000 4194304 16246674 140736221510640 139724569169072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.1004 s]
/proc/loadavg: 2.46 2.36 2.29 4/183 15427
/proc/meminfo: memFree=23180688/32872528 swapFree=17452/1581112
[pid=15423] ppid=15420 vsize=1314372 CPUtime=3.09 cores=1,3,5,7
/proc/15423/stat : 15423 (toysat) R 15420 15423 13546 0 -1 4202496 140758 0 0 0 291 18 0 0 20 0 4 0 108735910 1345916928 140545 33554432000 4194304 16246674 140736221510640 140736221492544 12483183 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15423/statm: 328593 140545 892 2943 0 325487 0
[pid=15423/tid=15424] ppid=15420 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15424/stat : 15424 (toysat) S 15420 15423 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108735910 1345916928 140545 33554432000 4194304 16246674 140736221510640 139724590132464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15423/tid=15425] ppid=15420 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15425/stat : 15425 (toysat) S 15420 15423 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108735910 1345916928 140545 33554432000 4194304 16246674 140736221510640 139724579642608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15423/tid=15426] ppid=15420 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15426/stat : 15426 (toysat) S 15420 15423 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108735910 1345916928 140545 33554432000 4194304 16246674 140736221510640 139724569169072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1314372

[startup+6.30044 s]
/proc/loadavg: 2.43 2.35 2.29 3/183 15427
/proc/meminfo: memFree=23087836/32872528 swapFree=17452/1581112
[pid=15423] ppid=15420 vsize=1314372 CPUtime=6.29 cores=1,3,5,7
/proc/15423/stat : 15423 (toysat) R 15420 15423 13546 0 -1 4202496 269785 0 0 0 597 32 0 0 20 0 4 0 108735910 1345916928 269572 33554432000 4194304 16246674 140736221510640 140736221492544 5545796 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15423/statm: 328593 269572 892 2943 0 325487 0
[pid=15423/tid=15424] ppid=15420 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15424/stat : 15424 (toysat) S 15420 15423 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108735910 1345916928 269572 33554432000 4194304 16246674 140736221510640 139724590132464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15423/tid=15425] ppid=15420 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15425/stat : 15425 (toysat) S 15420 15423 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108735910 1345916928 269572 33554432000 4194304 16246674 140736221510640 139724579642608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15423/tid=15426] ppid=15420 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15426/stat : 15426 (toysat) S 15420 15423 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108735910 1345916928 269572 33554432000 4194304 16246674 140736221510640 139724569169072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1314372

[startup+12.7004 s]
/proc/loadavg: 2.39 2.35 2.29 4/183 15427
/proc/meminfo: memFree=21347536/32872528 swapFree=17452/1581112
[pid=15423] ppid=15420 vsize=1314372 CPUtime=12.68 cores=1,3,5,7
/proc/15423/stat : 15423 (toysat) R 15420 15423 13546 0 -1 4202496 269785 0 0 0 1236 32 0 0 20 0 4 0 108735910 1345916928 269572 33554432000 4194304 16246674 140736221510640 140736221492544 12995176 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15423/statm: 328593 269572 892 2943 0 325487 0
[pid=15423/tid=15424] ppid=15420 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15424/stat : 15424 (toysat) S 15420 15423 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108735910 1345916928 269572 33554432000 4194304 16246674 140736221510640 139724590132464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15423/tid=15425] ppid=15420 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15425/stat : 15425 (toysat) S 15420 15423 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108735910 1345916928 269572 33554432000 4194304 16246674 140736221510640 139724579642608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15423/tid=15426] ppid=15420 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15426/stat : 15426 (toysat) S 15420 15423 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108735910 1345916928 269572 33554432000 4194304 16246674 140736221510640 139724569169072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1314372

[startup+25.5005 s]
/proc/loadavg: 2.37 2.35 2.29 3/183 15427
/proc/meminfo: memFree=19486616/32872528 swapFree=17452/1581112
[pid=15423] ppid=15420 vsize=1314372 CPUtime=25.48 cores=1,3,5,7
/proc/15423/stat : 15423 (toysat) R 15420 15423 13546 0 -1 4202496 269785 0 0 0 2515 33 0 0 20 0 4 0 108735910 1345916928 269572 33554432000 4194304 16246674 140736221510640 140736221492544 12483387 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15423/statm: 328593 269572 892 2943 0 325487 0
[pid=15423/tid=15424] ppid=15420 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15424/stat : 15424 (toysat) S 15420 15423 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108735910 1345916928 269572 33554432000 4194304 16246674 140736221510640 139724590132464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15423/tid=15425] ppid=15420 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15425/stat : 15425 (toysat) S 15420 15423 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108735910 1345916928 269572 33554432000 4194304 16246674 140736221510640 139724579642608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15423/tid=15426] ppid=15420 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15426/stat : 15426 (toysat) S 15420 15423 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108735910 1345916928 269572 33554432000 4194304 16246674 140736221510640 139724569169072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1314372

[startup+51.1006 s]
/proc/loadavg: 2.31 2.33 2.28 3/183 15427
/proc/meminfo: memFree=14951408/32872528 swapFree=17452/1581112
[pid=15423] ppid=15420 vsize=1344068 CPUtime=51.08 cores=1,3,5,7
/proc/15423/stat : 15423 (toysat) R 15420 15423 13546 0 -1 4202496 277237 0 0 0 5074 34 0 0 20 0 4 0 108735910 1376325632 277024 33554432000 4194304 16246674 140736221510640 140736221492544 12654401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15423/statm: 336017 277024 920 2943 0 332911 0
[pid=15423/tid=15424] ppid=15420 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15424/stat : 15424 (toysat) S 15420 15423 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108735910 1376325632 277024 33554432000 4194304 16246674 140736221510640 139724590132464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15423/tid=15425] ppid=15420 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15425/stat : 15425 (toysat) S 15420 15423 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108735910 1376325632 277024 33554432000 4194304 16246674 140736221510640 139724579642608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15423/tid=15426] ppid=15420 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15426/stat : 15426 (toysat) S 15420 15423 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108735910 1376325632 277024 33554432000 4194304 16246674 140736221510640 139724569169072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1344068

[startup+102.3 s]
/proc/loadavg: 2.25 2.31 2.27 4/183 15428
/proc/meminfo: memFree=14800180/32872528 swapFree=17452/1581112
[pid=15423] ppid=15420 vsize=1497668 CPUtime=102.28 cores=1,3,5,7
/proc/15423/stat : 15423 (toysat) R 15420 15423 13546 0 -1 4202496 315637 0 0 0 10189 39 0 0 20 0 4 0 108735910 1533612032 315424 33554432000 4194304 16246674 140736221510640 140736221509856 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15423/statm: 374417 315424 920 2943 0 371311 0
[pid=15423/tid=15424] ppid=15420 vsize=1497668 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15424/stat : 15424 (toysat) S 15420 15423 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108735910 1533612032 315424 33554432000 4194304 16246674 140736221510640 139724590132464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15423/tid=15425] ppid=15420 vsize=1497668 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15425/stat : 15425 (toysat) S 15420 15423 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108735910 1533612032 315424 33554432000 4194304 16246674 140736221510640 139724579642608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15423/tid=15426] ppid=15420 vsize=1497668 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15426/stat : 15426 (toysat) S 15420 15423 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108735910 1533612032 315424 33554432000 4194304 16246674 140736221510640 139724569169072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1497668


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

/proc/15423/task/15424/stat : 15424 (toysat) S 15420 15423 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108735910 7938314240 1879076 33554432000 4194304 16246674 140736221510640 139724590132464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15423/tid=15425] ppid=15420 vsize=7752260 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15425/stat : 15425 (toysat) S 15420 15423 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108735910 7938314240 1879076 33554432000 4194304 16246674 140736221510640 139724579642384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15423/tid=15426] ppid=15420 vsize=7752260 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15426/stat : 15426 (toysat) S 15420 15423 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108735910 7938314240 1879076 33554432000 4194304 16246674 140736221510640 139724569169072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 7752260

[startup+1362.3 s]
/proc/loadavg: 2.27 2.28 2.27 3/183 15774
/proc/meminfo: memFree=21686384/32872528 swapFree=17452/1581112
[pid=15423] ppid=15420 vsize=7829060 CPUtime=1362.05 cores=1,3,5,7
/proc/15423/stat : 15423 (toysat) R 15420 15423 13546 0 -1 4202496 2548823 0 0 0 135706 499 0 0 20 0 4 0 108735910 8016957440 1898095 33554432000 4194304 16246674 140736221510640 140736221509856 12652957 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15423/statm: 1957265 1898095 921 2943 0 1954159 0
[pid=15423/tid=15424] ppid=15420 vsize=7829060 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15424/stat : 15424 (toysat) S 15420 15423 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108735910 8016957440 1898095 33554432000 4194304 16246674 140736221510640 139724590132464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15423/tid=15425] ppid=15420 vsize=7829060 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15425/stat : 15425 (toysat) S 15420 15423 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108735910 8016957440 1898095 33554432000 4194304 16246674 140736221510640 139724579642608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15423/tid=15426] ppid=15420 vsize=7829060 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15426/stat : 15426 (toysat) S 15420 15423 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108735910 8016957440 1898095 33554432000 4194304 16246674 140736221510640 139724569169072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 7829060

[startup+1422.3 s]
/proc/loadavg: 2.36 2.30 2.28 3/183 15775
/proc/meminfo: memFree=21635556/32872528 swapFree=17452/1581112
[pid=15423] ppid=15420 vsize=7866948 CPUtime=1422.05 cores=1,3,5,7
/proc/15423/stat : 15423 (toysat) R 15420 15423 13546 0 -1 4202496 2558476 0 0 0 141696 509 0 0 20 0 4 0 108735910 8055754752 1907748 33554432000 4194304 16246674 140736221510640 140736221508480 4206604 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15423/statm: 1966737 1907748 921 2943 0 1963631 0
[pid=15423/tid=15424] ppid=15420 vsize=7866948 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15424/stat : 15424 (toysat) S 15420 15423 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108735910 8055754752 1907748 33554432000 4194304 16246674 140736221510640 139724590132464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15423/tid=15425] ppid=15420 vsize=7866948 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15425/stat : 15425 (toysat) S 15420 15423 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108735910 8055754752 1907748 33554432000 4194304 16246674 140736221510640 139724579642384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15423/tid=15426] ppid=15420 vsize=7866948 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15426/stat : 15426 (toysat) S 15420 15423 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108735910 8055754752 1907748 33554432000 4194304 16246674 140736221510640 139724569169072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 7866948

[startup+1482.3 s]
/proc/loadavg: 2.26 2.29 2.27 3/183 15777
/proc/meminfo: memFree=23037192/32872528 swapFree=17452/1581112
[pid=15423] ppid=15420 vsize=6466116 CPUtime=1482.04 cores=1,3,5,7
/proc/15423/stat : 15423 (toysat) R 15420 15423 13546 0 -1 4202496 2558477 0 0 0 147683 521 0 0 20 0 4 0 108735910 6621302784 1557540 33554432000 4194304 16246674 140736221510640 140736221509816 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15423/statm: 1616529 1557540 921 2943 0 1613423 0
[pid=15423/tid=15424] ppid=15420 vsize=6466116 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15424/stat : 15424 (toysat) S 15420 15423 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108735910 6621302784 1557540 33554432000 4194304 16246674 140736221510640 139724590132464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15423/tid=15425] ppid=15420 vsize=6466116 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15425/stat : 15425 (toysat) S 15420 15423 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108735910 6621302784 1557540 33554432000 4194304 16246674 140736221510640 139724579642608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15423/tid=15426] ppid=15420 vsize=6466116 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15426/stat : 15426 (toysat) S 15420 15423 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108735910 6621302784 1557540 33554432000 4194304 16246674 140736221510640 139724569169072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 6466116

[startup+1542.31 s]
/proc/loadavg: 2.25 2.28 2.27 3/183 15778
/proc/meminfo: memFree=21482084/32872528 swapFree=17452/1581112
[pid=15423] ppid=15420 vsize=8020548 CPUtime=1542.04 cores=1,3,5,7
/proc/15423/stat : 15423 (toysat) R 15420 15423 13546 0 -1 4202496 2947085 0 0 0 153622 582 0 0 20 0 4 0 108735910 8213041152 1946148 33554432000 4194304 16246674 140736221510640 140736221509736 4206912 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15423/statm: 2005137 1946148 921 2943 0 2002031 0
[pid=15423/tid=15424] ppid=15420 vsize=8020548 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15424/stat : 15424 (toysat) S 15420 15423 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108735910 8213041152 1946148 33554432000 4194304 16246674 140736221510640 139724590132464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15423/tid=15425] ppid=15420 vsize=8020548 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15425/stat : 15425 (toysat) S 15420 15423 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108735910 8213041152 1946148 33554432000 4194304 16246674 140736221510640 139724579642608 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=15423/tid=15426] ppid=15420 vsize=8020548 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15426/stat : 15426 (toysat) S 15420 15423 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108735910 8213041152 1946148 33554432000 4194304 16246674 140736221510640 139724569169072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 8020548

[startup+1602.3 s]
/proc/loadavg: 2.39 2.31 2.28 3/184 15782
/proc/meminfo: memFree=21423872/32872528 swapFree=17452/1581112
[pid=15423] ppid=15420 vsize=8085060 CPUtime=1602.02 cores=1,3,5,7
/proc/15423/stat : 15423 (toysat) R 15420 15423 13546 0 -1 4202496 2963154 0 0 0 159610 592 0 0 20 0 4 0 108735910 8279101440 1962217 33554432000 4194304 16246674 140736221510640 140736221508480 13883727 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15423/statm: 2021265 1962217 921 2943 0 2018159 0
[pid=15423/tid=15424] ppid=15420 vsize=8085060 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15424/stat : 15424 (toysat) S 15420 15423 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108735910 8279101440 1962217 33554432000 4194304 16246674 140736221510640 139724590132464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15423/tid=15425] ppid=15420 vsize=8085060 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15425/stat : 15425 (toysat) S 15420 15423 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108735910 8279101440 1962217 33554432000 4194304 16246674 140736221510640 139724579642384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15423/tid=15426] ppid=15420 vsize=8085060 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15426/stat : 15426 (toysat) S 15420 15423 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108735910 8279101440 1962217 33554432000 4194304 16246674 140736221510640 139724569169072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 8085060

[startup+1662.3 s]
/proc/loadavg: 2.33 2.30 2.27 3/183 15783
/proc/meminfo: memFree=21358888/32872528 swapFree=17452/1581112
[pid=15423] ppid=15420 vsize=8143428 CPUtime=1662.02 cores=1,3,5,7
/proc/15423/stat : 15423 (toysat) R 15420 15423 13546 0 -1 4202496 2977806 0 0 0 165599 603 0 0 20 0 4 0 108735910 8338870272 1976869 33554432000 4194304 16246674 140736221510640 140736221508544 4220871 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15423/statm: 2035857 1976869 921 2943 0 2032751 0
[pid=15423/tid=15424] ppid=15420 vsize=8143428 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15424/stat : 15424 (toysat) S 15420 15423 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108735910 8338870272 1976869 33554432000 4194304 16246674 140736221510640 139724590132464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15423/tid=15425] ppid=15420 vsize=8143428 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15425/stat : 15425 (toysat) S 15420 15423 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108735910 8338870272 1976869 33554432000 4194304 16246674 140736221510640 139724579642384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15423/tid=15426] ppid=15420 vsize=8143428 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15426/stat : 15426 (toysat) S 15420 15423 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108735910 8338870272 1976869 33554432000 4194304 16246674 140736221510640 139724569169072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 8143428

[startup+1722.3 s]
/proc/loadavg: 2.25 2.29 2.27 3/183 15784
/proc/meminfo: memFree=21327628/32872528 swapFree=17452/1581112
[pid=15423] ppid=15420 vsize=8175172 CPUtime=1722 cores=1,3,5,7
/proc/15423/stat : 15423 (toysat) R 15420 15423 13546 0 -1 4202496 2985742 0 0 0 171590 610 0 0 20 0 4 0 108735910 8371376128 1984805 33554432000 4194304 16246674 140736221510640 140736221508496 4226104 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15423/statm: 2043793 1984805 921 2943 0 2040687 0
[pid=15423/tid=15424] ppid=15420 vsize=8175172 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15424/stat : 15424 (toysat) S 15420 15423 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108735910 8371376128 1984805 33554432000 4194304 16246674 140736221510640 139724590132464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15423/tid=15425] ppid=15420 vsize=8175172 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15425/stat : 15425 (toysat) S 15420 15423 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108735910 8371376128 1984805 33554432000 4194304 16246674 140736221510640 139724579642384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15423/tid=15426] ppid=15420 vsize=8175172 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15426/stat : 15426 (toysat) S 15420 15423 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108735910 8371376128 1984805 33554432000 4194304 16246674 140736221510640 139724569169072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 8175172

[startup+1782.3 s]
/proc/loadavg: 2.35 2.31 2.27 4/182 15785
/proc/meminfo: memFree=21231688/32872528 swapFree=17452/1581112
[pid=15423] ppid=15420 vsize=8270404 CPUtime=1781.98 cores=1,3,5,7
/proc/15423/stat : 15423 (toysat) R 15420 15423 13546 0 -1 4202496 3539215 0 0 0 177500 698 0 0 20 0 4 0 108735910 8468893696 2008613 33554432000 4194304 16246674 140736221510640 140736221508480 4220495 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15423/statm: 2067601 2008613 921 2943 0 2064495 0
[pid=15423/tid=15424] ppid=15420 vsize=8270404 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15424/stat : 15424 (toysat) S 15420 15423 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108735910 8468893696 2008613 33554432000 4194304 16246674 140736221510640 139724590132464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15423/tid=15425] ppid=15420 vsize=8270404 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15425/stat : 15425 (toysat) S 15420 15423 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108735910 8468893696 2008613 33554432000 4194304 16246674 140736221510640 139724579642384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15423/tid=15426] ppid=15420 vsize=8270404 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15426/stat : 15426 (toysat) S 15420 15423 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108735910 8468893696 2008613 33554432000 4194304 16246674 140736221510640 139724569169072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 8270404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.25 2.29 2.27 3/183 15786
/proc/meminfo: memFree=21212316/32872528 swapFree=17452/1581112
[pid=15423] ppid=15420 vsize=8289860 CPUtime=1800.09 cores=1,3,5,7
/proc/15423/stat : 15423 (toysat) R 15420 15423 13546 0 -1 4202496 3544079 0 0 0 179307 702 0 0 20 0 4 0 108735910 8488816640 2013477 33554432000 4194304 16246674 140736221510640 140736221508480 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15423/statm: 2072465 2013477 921 2943 0 2069359 0
[pid=15423/tid=15424] ppid=15420 vsize=8289860 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15424/stat : 15424 (toysat) S 15420 15423 13546 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108735910 8488816640 2013477 33554432000 4194304 16246674 140736221510640 139724590132464 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=15423/tid=15425] ppid=15420 vsize=8289860 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15425/stat : 15425 (toysat) S 15420 15423 13546 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108735910 8488816640 2013477 33554432000 4194304 16246674 140736221510640 139724579642384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=15423/tid=15426] ppid=15420 vsize=8289860 CPUtime=0 cores=1,3,5,7
/proc/15423/task/15426/stat : 15426 (toysat) S 15420 15423 13546 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108735910 8488816640 2013477 33554432000 4194304 16246674 140736221510640 139724569169072 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 8289860

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

[startup+1800.81 s]
/proc/loadavg: 2.25 2.29 2.27 3/181 15786
/proc/meminfo: memFree=26857996/32872528 swapFree=17452/1581112
[pid=15423] ppid=15420 vsize=0 CPUtime=1800.5 cores=1,3,5,7
/proc/15423/stat : 15423 (toysat) Z 15420 15423 13546 0 -1 4203532 3544079 0 0 0 179308 742 0 0 20 0 2 0 108735910 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15423/statm: 0 0 0 0 0 0 0
[pid=15423/tid=15424] ppid=15420 vsize=0 CPUtime=0.39 cores=1,3,5,7
/proc/15423/task/15424/stat : 15424 (toysat) R 15420 15423 13546 0 -1 4203588 10 0 0 0 0 39 0 0 20 0 2 0 108735910 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.5
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.83
CPU time (s): 1800.53
CPU user time (s): 1793.08
CPU system time (s): 7.44287
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 8289860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.08
system time used= 7.44287
maximum resident set size= 8053908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3544079
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= 1180
involuntary context switches= 2980

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.0022 second user time and 16.9694 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-07 04:54:00
IDJOB=4079134
IDBENCH=71905
IDSOLVER=2542
FILE ID=node139/4079134-1465268040
RUNJOBID= node139-1465254943-13563
PBS_JOBID= 19843273
Free space on /tmp= 71212 MiB

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

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

MD5SUM BENCH= c57c1a163af10ea174ed9d51ace361ef
RANDOM SEED=1838268980

node139.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.868
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.73
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.868
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.868
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.56
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.868
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.868
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.868
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.868
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.868
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:        23697060 kB
Buffers:          123080 kB
Cached:           744208 kB
SwapCached:         1464 kB
Active:          6587428 kB
Inactive:         231732 kB
Active(anon):    5951504 kB
Inactive(anon):     2220 kB
Active(file):     635924 kB
Inactive(file):   229512 kB
Unevictable:     1581112 kB
Mlocked:           17452 kB
SwapTotal:      67108856 kB
SwapFree:       67099808 kB
Dirty:             16732 kB
Writeback:             0 kB
AnonPages:       7541304 kB
Mapped:            10336 kB
Shmem:                 0 kB
Slab:             615692 kB
SReclaimable:      59616 kB
SUnreclaim:       556076 kB
KernelStack:        1488 kB
PageTables:        18900 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    7738312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2082816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71696 MiB
End job on node139 at 2016-06-07 05:24:01