Trace number 4107150

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.34 1800.7

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_100_3__3_91__256.opb
MD5SUMc277e86a21dcc18ae5570c72f9bfb707
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark72735
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables76898
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 constraint256
Maximum length of a constraint4353
Number of terms in the objective function 76800
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 2771688192
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 94834
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 2771688192
Number of bits of the biggest sum of numbers32
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-18T23:00:16+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-4107150-1466283616.opb"]
0.00/0.01	c use --random-gen="388380753 1671606454 3446411490 1435053341 587402565 4058938986 1684072321 2368308216 3665854463 3457011246 2511768472 951050461 1734324734 1254288860 2613102335 830167367 2521905648 1833276726 1781584138 2283184771 1278466473 1660313765 70858235 3454713171 1762751437 1257077980 2470105045 3880531633 3520379419 1131539532 2417189531 1481135064 1149626932 15606028 3857641494 765279078 3422810359 708347906 2957744893 928212653 659643511 1358011969 1386216327 2819243138 1129555877 1846614270 2804018947 1623353317 510367845 4152831242 4049901652 3024282512 127523860 3093130728 3771636450 1090006655 3397235649 695663774 921330368 2766687369 1246895085 2955762566 2077919531 3354350782 3877231976 2679763966 2497897288 2838166325 2516140050 1682470447 3691267519 4107574661 2550293476 3147397917 1401939575 1868872098 2287838321 3859193725 35871329 343004551 3114424069 1298653933 14811057 2657061636 4173987820 491789357 1473752658 2119522570 3067200768 1979687394 3219784134 3726066452 786365218 786707688 1791477077 3653895972 2678224130 3571699397 136836514 1931573919 3994129753 4100112654 3033492474 3296102332 2856388194 1914172110 3119284387 278727148 531106733 3967432244 2896884841 2025031197 930930691 1963672427 3305825056 17783603 541075379 2614972938 3730369520 796764936 3854723728 350118996 2630653552 3576230871 2613862033 198928291 3021373219 1132160440 2038858156 561332092 263862091 731438665 3004996618 1483107742 1292648202 1308504604 160045495 3273498784 3816765090 1440713636 2655731944 1907572528 2078127446 596096624 1166682276 2395447302 1395818437 2590858460 2289031337 2045118428 698614400 1788479136 1082866064 555491189 269689539 2463082038 3709833501 1947209328 2998517257 3523726230 1008584187 2893380009 853142291 2489355 1273118973 274470254 2888482042 3863574590 2392299169 4292465904 2948824288 2970269401 1123503190 1644702238 2557001830 4069507322 3793088223 4049381696 4084169205 4058386890 213462024 3296468583 1324887311 2251089926 3471456071 2988238824 770509280 3233335239 2987680525 483435189 3206418690 1461262839 4113914348 43737250 4271733518 4111723093 1049837632 3261963346 502722922 120299504 3979991047 3346543566 2150850425 2469372870 3925287644 1181525243 1173470398 1293843453 862567045 1106395865 3873313996 2473656072 2029821829 904835514 1706121010 2265539847 1882688382 3867374335 4294400638 3814284520 1145612966 2357606749 3143615465 1134683098 2935912870 2700713376 2045975493 1030228330 4059505279 3802438555 934128180 3055176220 3504504213 3116896032 388854837 176349169 443562409 381253816 2038331135 4116250178 2607376948 1367906275 3615829939 1820098645 2276009946 2055851606 2169766601 517701133 2084878705 2212586470 2074670451 3008047012 3570282684 4089650942 3323725260 818403545 255 362436" option to reproduce the execution
0.49/0.54	c #vars 76898
0.49/0.54	c #constraints 400
1.79/1.82	c BCD2: Hardening is enabled.
1.79/1.82	c BCD2: BiasedSearch is enabled.
1.79/1.82	c Solving starts ...
1.79/1.82	c ============================[ Search Statistics ]============================
1.79/1.82	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.79/1.82	c       |         |          |          |    Limit     GC | Var      | Constra 
1.79/1.82	c =============================================================================
1.79/1.86	c  0.0s |       0 |        0 |        0 |    25799      0 |        0 |        0
4.89/4.99	c  3.1s |       0 |      417 |      100 |    25799      0 |        0 |        0
4.99/5.02	c  3.2s |       1 |      417 |      100 |    25799      0 |        0 |        0
14.39/14.44	c 12.6s |       1 |    26686 |      200 |    28379      0 |        0 |        0
24.09/24.15	c 22.3s |       2 |    33062 |      250 |    28379      0 |        0 |        0
26.29/26.36	c 24.5s |       2 |    60512 |      350 |    31217      0 |        0 |        0
28.49/28.52	c 26.7s |       3 |    71428 |      475 |    31217      0 |        0 |        0
32.09/32.15	c 30.3s |       3 |   105252 |      575 |    34339      0 |        0 |        0
39.08/39.17	c 37.3s |       3 |   108666 |      675 |    34339      0 |        0 |        0
41.98/42.03	c 40.2s |       3 |   110131 |      775 |    34339      0 |        0 |        0
43.78/43.81	c 42.0s |       4 |   110294 |      813 |    34339      0 |        0 |        0
48.39/48.45	c 46.6s |       4 |   143995 |     1013 |    37773      0 |        0 |        0
54.99/55.10	c 53.2s |       4 |   143995 |     1113 |    37773      0 |        0 |        0
61.18/61.26	c 59.4s |       4 |   147176 |     1213 |    37773      0 |        0 |        0
70.08/70.14	c 68.3s |       4 |   149325 |     1313 |    37773      0 |        0 |        0
70.98/71.01	c 69.2s |       5 |   149325 |     1320 |    37773      0 |        0 |        0
79.88/79.94	c 78.1s |       5 |   186307 |     1420 |    41551      0 |        0 |        0
89.88/89.93	c 88.1s |       5 |   189083 |     1520 |    41551      0 |        0 |        0
93.07/93.15	c 91.3s |       5 |   189566 |     1620 |    41551      0 |        0 |        0
96.78/96.87	c 95.0s |       5 |   192409 |     1720 |    41551      0 |        0 |        0
100.57/100.68	c 98.8s |       5 |   193206 |     1820 |    41551      0 |        0 |        0
104.17/104.22	c  102s |       5 |   195544 |     1920 |    41551      0 |        0 |        0
127.77/127.89	c  126s |       5 |   197934 |     2020 |    41551      0 |        0 |        0
130.27/130.36	c  128s |       6 |   198082 |     2081 |    45707      0 |        0 |        0
133.77/133.80	c  131s |       6 |   202147 |     2181 |    45707      0 |        0 |        0
138.06/138.15	c  136s |       6 |   202379 |     2281 |    45707      0 |        0 |        0
144.57/144.61	c  142s |       6 |   205219 |     2481 |    45707      0 |        0 |        0
146.66/146.73	c  144s |       6 |   206478 |     2581 |    45707      0 |        0 |        0
151.16/151.22	c  149s |       6 |   207275 |     2781 |    45707      0 |        0 |        0
154.67/154.72	c  152s |       6 |   240418 |     2881 |    45707      0 |        0 |        0
157.47/157.55	c  155s |       6 |   244300 |     2957 |    45707      0 |        0 |        0
157.47/157.55	c #cpu_time = 155.603s
157.47/157.55	c #wall_clock_time = 155.606s
157.47/157.55	c #decision = 244300
157.47/157.55	c #random_decision = 810
157.47/157.55	c #conflict = 2957
157.47/157.55	c #restart = 6
157.47/157.55	o 3245086
223.26/223.38	c BCD2: updating upper bound: 2771688192 -> 3245085
290.04/290.18	c BCD2: 0 <= obj <= 3245085
290.04/290.19	c BCD2: #cores=0, #unrelaxed=76800, #relaxed=0, #hardened=0
290.04/290.19	c BCD2: #sat=1 #unsat=1 bias=1/2
290.04/290.19	c Solving starts ...
290.04/290.19	c ============================[ Search Statistics ]============================
290.04/290.19	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
290.04/290.19	c       |         |          |          |    Limit     GC | Var      | Constra 
290.04/290.19	c =============================================================================
290.04/290.19	c  0.0s |       0 |        0 |        0 |    45707      0 |        0 |        0
290.64/290.71	c  0.5s |       0 |     9207 |        0 |    45707      0 |        0 |        0
290.64/290.71	c #cpu_time = 0.511s
290.64/290.71	c #wall_clock_time = 0.511s
290.64/290.71	c #decision = 9207
290.64/290.71	c #random_decision = 0
290.64/290.71	c #conflict = 0
290.64/290.71	c #restart = 0
290.64/290.71	c BCD2: found a new core of size 1535: cost of the new core is >=9941
290.64/290.71	c lower bound updated to 9941
358.23/358.35	c BCD2: 9941 <= obj <= 3245085
358.23/358.35	c BCD2: #cores=1, #unrelaxed=75265, #relaxed=1535, #hardened=0
358.23/358.35	c BCD2: #sat=1 #unsat=2 bias=2/3

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

pid=25314
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.06 2.11 2.11 4/180 25317
/proc/meminfo: memFree=29363020/32872528 swapFree=534252/566956
[pid=25317] ppid=25314 vsize=674236 CPUtime=0 cores=1,3,5,7
/proc/25317/stat : 25317 (toysat) R 25314 25317 24407 0 -1 4202496 2507 0 0 0 0 0 0 0 20 0 4 0 30407240 690417664 2357 33554432000 4194304 16246674 140733981467968 140733981467392 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25317/statm: 169071 2367 441 2943 0 165965 0
[pid=25317/tid=25318] ppid=25314 vsize=692668 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25318/stat : 25318 (toysat) S 25314 25317 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30407241 709292032 2430 33554432000 4194304 16246674 140733981467968 140463186095344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25319] ppid=25314 vsize=696764 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25319/stat : 25319 (toysat) S 25314 25317 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30407241 713486336 2447 33554432000 4194304 16246674 140733981467968 140463175605488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25320] ppid=25314 vsize=700860 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25320/stat : 25320 (toysat) S 25314 25317 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30407241 717680640 2464 33554432000 4194304 16246674 140733981467968 140463165131952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.06 2.11 2.11 4/180 25317
/proc/meminfo: memFree=29363020/32872528 swapFree=534252/566956
[pid=25317] ppid=25314 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/25317/stat : 25317 (toysat) R 25314 25317 24407 0 -1 4202496 30350 0 0 0 5 4 0 0 20 0 4 0 30407240 1333334016 30138 33554432000 4194304 16246674 140733981467968 140733981467280 8055408 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25317/statm: 325521 30155 799 2943 0 322415 0
[pid=25317/tid=25318] ppid=25314 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25318/stat : 25318 (toysat) S 25314 25317 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30407241 1333334016 30166 33554432000 4194304 16246674 140733981467968 140463186095344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25319] ppid=25314 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25319/stat : 25319 (toysat) S 25314 25317 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30407241 1333334016 30177 33554432000 4194304 16246674 140733981467968 140463175605488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25320] ppid=25314 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25320/stat : 25320 (toysat) S 25314 25317 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30407241 1333334016 30189 33554432000 4194304 16246674 140733981467968 140463165131952 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) 1302084

[startup+0.200522 s]
/proc/loadavg: 2.06 2.11 2.11 4/180 25317
/proc/meminfo: memFree=29363020/32872528 swapFree=534252/566956
[pid=25317] ppid=25314 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/25317/stat : 25317 (toysat) R 25314 25317 24407 0 -1 4202496 46859 0 0 0 12 7 0 0 20 0 4 0 30407240 1343819776 47158 33554432000 4194304 16246674 140733981467968 140733981467280 7368729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25317/statm: 328081 47176 800 2943 0 324975 0
[pid=25317/tid=25318] ppid=25314 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25318/stat : 25318 (toysat) S 25314 25317 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30407241 1343819776 47188 33554432000 4194304 16246674 140733981467968 140463186095344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25319] ppid=25314 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25319/stat : 25319 (toysat) S 25314 25317 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30407241 1343819776 47200 33554432000 4194304 16246674 140733981467968 140463175605488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25320] ppid=25314 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25320/stat : 25320 (toysat) S 25314 25317 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30407241 1343819776 47211 33554432000 4194304 16246674 140733981467968 140463165131952 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) 1312324

[startup+0.300486 s]
/proc/loadavg: 2.06 2.11 2.11 4/180 25317
/proc/meminfo: memFree=29363020/32872528 swapFree=534252/566956
[pid=25317] ppid=25314 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/25317/stat : 25317 (toysat) R 25314 25317 24407 0 -1 4202496 49311 0 0 0 22 7 0 0 20 0 4 0 30407240 1343819776 49610 33554432000 4194304 16246674 140733981467968 140733981450960 7364033 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25317/statm: 328081 49629 800 2943 0 324975 0
[pid=25317/tid=25318] ppid=25314 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25318/stat : 25318 (toysat) S 25314 25317 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30407241 1343819776 49640 33554432000 4194304 16246674 140733981467968 140463186095344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25319] ppid=25314 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25319/stat : 25319 (toysat) S 25314 25317 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30407241 1343819776 49651 33554432000 4194304 16246674 140733981467968 140463175605488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25320] ppid=25314 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25320/stat : 25320 (toysat) S 25314 25317 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30407241 1343819776 49663 33554432000 4194304 16246674 140733981467968 140463165131952 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) 1312324

[startup+0.70043 s]
/proc/loadavg: 2.06 2.11 2.11 4/180 25317
/proc/meminfo: memFree=29363020/32872528 swapFree=534252/566956
[pid=25317] ppid=25314 vsize=1343044 CPUtime=0.69 cores=1,3,5,7
/proc/25317/stat : 25317 (toysat) R 25314 25317 24407 0 -1 4202496 70872 0 0 0 59 10 0 0 20 0 4 0 30407240 1375277056 71171 33554432000 4194304 16246674 140733981467968 140733981467280 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25317/statm: 335761 71171 832 2943 0 332655 0
[pid=25317/tid=25318] ppid=25314 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25318/stat : 25318 (toysat) S 25314 25317 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30407241 1375277056 71171 33554432000 4194304 16246674 140733981467968 140463186095344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25319] ppid=25314 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25319/stat : 25319 (toysat) S 25314 25317 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30407241 1375277056 71171 33554432000 4194304 16246674 140733981467968 140463175605488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25320] ppid=25314 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25320/stat : 25320 (toysat) S 25314 25317 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30407241 1375277056 71171 33554432000 4194304 16246674 140733981467968 140463165131952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1343044

[startup+1.50042 s]
/proc/loadavg: 2.06 2.11 2.11 3/184 25321
/proc/meminfo: memFree=29079864/32872528 swapFree=534252/566956
[pid=25317] ppid=25314 vsize=1343044 CPUtime=1.48 cores=1,3,5,7
/proc/25317/stat : 25317 (toysat) R 25314 25317 24407 0 -1 4202496 74243 0 0 0 138 10 0 0 20 0 4 0 30407240 1375277056 74542 33554432000 4194304 16246674 140733981467968 140733981449856 4221112 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25317/statm: 335761 74542 838 2943 0 332655 0
[pid=25317/tid=25318] ppid=25314 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25318/stat : 25318 (toysat) S 25314 25317 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30407241 1375277056 74542 33554432000 4194304 16246674 140733981467968 140463186095344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25319] ppid=25314 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25319/stat : 25319 (toysat) S 25314 25317 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30407241 1375277056 74542 33554432000 4194304 16246674 140733981467968 140463175605488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25320] ppid=25314 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25320/stat : 25320 (toysat) S 25314 25317 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30407241 1375277056 74542 33554432000 4194304 16246674 140733981467968 140463165131952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1343044

[startup+3.10039 s]
/proc/loadavg: 2.06 2.11 2.11 3/184 25321
/proc/meminfo: memFree=28937216/32872528 swapFree=534252/566956
[pid=25317] ppid=25314 vsize=1343044 CPUtime=3.09 cores=1,3,5,7
/proc/25317/stat : 25317 (toysat) R 25314 25317 24407 0 -1 4202496 107805 0 0 0 294 15 0 0 20 0 4 0 30407240 1375277056 108104 33554432000 4194304 16246674 140733981467968 140733981449856 5712619 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25317/statm: 335761 108104 890 2943 0 332655 0
[pid=25317/tid=25318] ppid=25314 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25318/stat : 25318 (toysat) S 25314 25317 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30407241 1375277056 108104 33554432000 4194304 16246674 140733981467968 140463186095344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25319] ppid=25314 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25319/stat : 25319 (toysat) S 25314 25317 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30407241 1375277056 108104 33554432000 4194304 16246674 140733981467968 140463175605488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25320] ppid=25314 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25320/stat : 25320 (toysat) S 25314 25317 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30407241 1375277056 108104 33554432000 4194304 16246674 140733981467968 140463165131952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1343044

[startup+6.30042 s]
/proc/loadavg: 2.06 2.11 2.11 3/184 25321
/proc/meminfo: memFree=28929984/32872528 swapFree=534252/566956
[pid=25317] ppid=25314 vsize=1343044 CPUtime=6.29 cores=1,3,5,7
/proc/25317/stat : 25317 (toysat) R 25314 25317 24407 0 -1 4202496 108170 0 0 0 614 15 0 0 20 0 4 0 30407240 1375277056 108469 33554432000 4194304 16246674 140733981467968 140733981449856 13760140 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25317/statm: 335761 108469 890 2943 0 332655 0
[pid=25317/tid=25318] ppid=25314 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25318/stat : 25318 (toysat) S 25314 25317 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30407241 1375277056 108469 33554432000 4194304 16246674 140733981467968 140463186095344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25319] ppid=25314 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25319/stat : 25319 (toysat) S 25314 25317 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30407241 1375277056 108469 33554432000 4194304 16246674 140733981467968 140463175605488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25320] ppid=25314 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25320/stat : 25320 (toysat) S 25314 25317 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30407241 1375277056 108469 33554432000 4194304 16246674 140733981467968 140463165131952 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) 1343044

[startup+12.7004 s]
/proc/loadavg: 2.05 2.10 2.11 3/184 25321
/proc/meminfo: memFree=28929756/32872528 swapFree=534252/566956
[pid=25317] ppid=25314 vsize=1343044 CPUtime=12.68 cores=1,3,5,7
/proc/25317/stat : 25317 (toysat) R 25314 25317 24407 0 -1 4202496 108170 0 0 0 1253 15 0 0 20 0 4 0 30407240 1375277056 108469 33554432000 4194304 16246674 140733981467968 140733981467144 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25317/statm: 335761 108469 890 2943 0 332655 0
[pid=25317/tid=25318] ppid=25314 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25318/stat : 25318 (toysat) S 25314 25317 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30407241 1375277056 108469 33554432000 4194304 16246674 140733981467968 140463186095344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25319] ppid=25314 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25319/stat : 25319 (toysat) S 25314 25317 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30407241 1375277056 108469 33554432000 4194304 16246674 140733981467968 140463175605488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25320] ppid=25314 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25320/stat : 25320 (toysat) S 25314 25317 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30407241 1375277056 108469 33554432000 4194304 16246674 140733981467968 140463165131952 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) 1343044

[startup+25.5005 s]
/proc/loadavg: 2.04 2.10 2.10 4/184 25321
/proc/meminfo: memFree=28796812/32872528 swapFree=534252/566956
[pid=25317] ppid=25314 vsize=1343044 CPUtime=25.49 cores=1,3,5,7
/proc/25317/stat : 25317 (toysat) R 25314 25317 24407 0 -1 4202496 141403 0 0 0 2528 21 0 0 20 0 4 0 30407240 1375277056 141702 33554432000 4194304 16246674 140733981467968 140733981449856 13781202 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25317/statm: 335761 141702 890 2943 0 332655 0
[pid=25317/tid=25318] ppid=25314 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25318/stat : 25318 (toysat) S 25314 25317 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30407241 1375277056 141702 33554432000 4194304 16246674 140733981467968 140463186095344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25319] ppid=25314 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25319/stat : 25319 (toysat) S 25314 25317 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30407241 1375277056 141702 33554432000 4194304 16246674 140733981467968 140463175605488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25320] ppid=25314 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25320/stat : 25320 (toysat) S 25314 25317 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30407241 1375277056 141702 33554432000 4194304 16246674 140733981467968 140463165131952 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) 1343044

[startup+51.1005 s]
/proc/loadavg: 2.09 2.11 2.10 3/184 25344
/proc/meminfo: memFree=28784948/32872528 swapFree=534252/566956
[pid=25317] ppid=25314 vsize=1343044 CPUtime=51.08 cores=1,3,5,7
/proc/25317/stat : 25317 (toysat) R 25314 25317 24407 0 -1 4202496 144102 0 0 0 5086 22 0 0 20 0 4 0 30407240 1375277056 144401 33554432000 4194304 16246674 140733981467968 140733981449856 5712204 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25317/statm: 335761 144401 894 2943 0 332655 0
[pid=25317/tid=25318] ppid=25314 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25318/stat : 25318 (toysat) S 25314 25317 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30407241 1375277056 144401 33554432000 4194304 16246674 140733981467968 140463186095344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25319] ppid=25314 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25319/stat : 25319 (toysat) S 25314 25317 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30407241 1375277056 144401 33554432000 4194304 16246674 140733981467968 140463175605488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25320] ppid=25314 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25320/stat : 25320 (toysat) S 25314 25317 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30407241 1375277056 144401 33554432000 4194304 16246674 140733981467968 140463165131952 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) 1343044

[startup+102.3 s]
/proc/loadavg: 2.04 2.09 2.09 4/184 25345
/proc/meminfo: memFree=28716556/32872528 swapFree=534252/566956
[pid=25317] ppid=25314 vsize=1343044 CPUtime=102.28 cores=1,3,5,7
/proc/25317/stat : 25317 (toysat) R 25314 25317 24407 0 -1 4202496 161480 0 0 0 10201 27 0 0 20 0 4 0 30407240 1375277056 161779 33554432000 4194304 16246674 140733981467968 140733981449856 13874575 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25317/statm: 335761 161779 894 2943 0 332655 0
[pid=25317/tid=25318] ppid=25314 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25318/stat : 25318 (toysat) S 25314 25317 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30407241 1375277056 161779 33554432000 4194304 16246674 140733981467968 140463186095344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25319] ppid=25314 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25319/stat : 25319 (toysat) S 25314 25317 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30407241 1375277056 161779 33554432000 4194304 16246674 140733981467968 140463175605488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25320] ppid=25314 vsize=1343044 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25320/stat : 25320 (toysat) S 25314 25317 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30407241 1375277056 161779 33554432000 4194304 16246674 140733981467968 140463165131952 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) 1343044


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

/proc/25317/task/25318/stat : 25318 (toysat) S 25314 25317 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30407241 5687021568 1329703 33554432000 4194304 16246674 140733981467968 140463186095344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25319] ppid=25314 vsize=5553732 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25319/stat : 25319 (toysat) S 25314 25317 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30407241 5687021568 1329703 33554432000 4194304 16246674 140733981467968 140463175605488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25320] ppid=25314 vsize=5553732 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25320/stat : 25320 (toysat) S 25314 25317 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30407241 5687021568 1329703 33554432000 4194304 16246674 140733981467968 140463165131952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 5553732

[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.03 4/183 25425
/proc/meminfo: memFree=25969152/32872528 swapFree=534252/566956
[pid=25317] ppid=25314 vsize=4627012 CPUtime=1362.03 cores=1,3,5,7
/proc/25317/stat : 25317 (toysat) R 25314 25317 24407 0 -1 4202496 6362888 0 0 0 135126 1077 0 0 20 0 4 0 30407240 4738060288 1098024 33554432000 4194304 16246674 140733981467968 140733981467144 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25317/statm: 1156753 1098024 919 2943 0 1153647 0
[pid=25317/tid=25318] ppid=25314 vsize=4627012 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25318/stat : 25318 (toysat) S 25314 25317 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30407241 4738060288 1098024 33554432000 4194304 16246674 140733981467968 140463186095344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25319] ppid=25314 vsize=4627012 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25319/stat : 25319 (toysat) S 25314 25317 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30407241 4738060288 1098024 33554432000 4194304 16246674 140733981467968 140463175605488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25320] ppid=25314 vsize=4627012 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25320/stat : 25320 (toysat) S 25314 25317 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30407241 4738060288 1098024 33554432000 4194304 16246674 140733981467968 140463165131952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 4627012

[startup+1422.3 s]
/proc/loadavg: 2.00 2.02 2.03 5/183 25426
/proc/meminfo: memFree=25478492/32872528 swapFree=534252/566956
[pid=25317] ppid=25314 vsize=5118532 CPUtime=1422.02 cores=1,3,5,7
/proc/25317/stat : 25317 (toysat) R 25314 25317 24407 0 -1 4202496 6852055 0 0 0 141041 1161 0 0 20 0 4 0 30407240 5241376768 1220855 33554432000 4194304 16246674 140733981467968 140733981466632 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25317/statm: 1279633 1220858 919 2943 0 1276527 0
[pid=25317/tid=25318] ppid=25314 vsize=5118532 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25318/stat : 25318 (toysat) S 25314 25317 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30407241 5241376768 1220900 33554432000 4194304 16246674 140733981467968 140463186095344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25319] ppid=25314 vsize=5118532 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25319/stat : 25319 (toysat) S 25314 25317 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30407241 5241376768 1220904 33554432000 4194304 16246674 140733981467968 140463175605264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25320] ppid=25314 vsize=5119556 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25320/stat : 25320 (toysat) S 25314 25317 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30407241 5242425344 1220910 33554432000 4194304 16246674 140733981467968 140463165131952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 5118532

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.02 4/183 25427
/proc/meminfo: memFree=24780292/32872528 swapFree=534252/566956
[pid=25317] ppid=25314 vsize=5819972 CPUtime=1481.99 cores=1,3,5,7
/proc/25317/stat : 25317 (toysat) R 25314 25317 24407 0 -1 4202496 7401850 0 0 0 146945 1254 0 0 20 0 4 0 30407240 5959651328 1396122 33554432000 4194304 16246674 140733981467968 140733981467144 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25317/statm: 1454993 1396122 919 2943 0 1451887 0
[pid=25317/tid=25318] ppid=25314 vsize=5819972 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25318/stat : 25318 (toysat) S 25314 25317 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30407241 5959651328 1396122 33554432000 4194304 16246674 140733981467968 140463186095344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25319] ppid=25314 vsize=5819972 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25319/stat : 25319 (toysat) S 25314 25317 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30407241 5959651328 1396122 33554432000 4194304 16246674 140733981467968 140463175605488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25320] ppid=25314 vsize=5819972 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25320/stat : 25320 (toysat) S 25314 25317 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30407241 5959651328 1396122 33554432000 4194304 16246674 140733981467968 140463165131952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 5819972

[startup+1542.31 s]
/proc/loadavg: 2.04 2.03 2.02 4/183 25428
/proc/meminfo: memFree=25221252/32872528 swapFree=534252/566956
[pid=25317] ppid=25314 vsize=5372484 CPUtime=1541.99 cores=1,3,5,7
/proc/25317/stat : 25317 (toysat) R 25314 25317 24407 0 -1 4202496 7733001 0 0 0 152885 1314 0 0 20 0 4 0 30407240 5501423616 1284393 33554432000 4194304 16246674 140733981467968 140733981467064 4220996 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25317/statm: 1343121 1284393 919 2943 0 1340015 0
[pid=25317/tid=25318] ppid=25314 vsize=5372484 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25318/stat : 25318 (toysat) S 25314 25317 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30407241 5501423616 1284393 33554432000 4194304 16246674 140733981467968 140463186095344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25319] ppid=25314 vsize=5372484 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25319/stat : 25319 (toysat) S 25314 25317 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30407241 5501423616 1284393 33554432000 4194304 16246674 140733981467968 140463175605488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25320] ppid=25314 vsize=5372484 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25320/stat : 25320 (toysat) S 25314 25317 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30407241 5501423616 1284393 33554432000 4194304 16246674 140733981467968 140463165131952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 5372484

[startup+1602.3 s]
/proc/loadavg: 2.06 2.03 2.02 5/183 25429
/proc/meminfo: memFree=25055164/32872528 swapFree=534252/566956
[pid=25317] ppid=25314 vsize=5536324 CPUtime=1601.97 cores=1,3,5,7
/proc/25317/stat : 25317 (toysat) R 25314 25317 24407 0 -1 4202496 8090377 0 0 0 158823 1374 0 0 20 0 4 0 30407240 5669195776 1325353 33554432000 4194304 16246674 140733981467968 140733981467144 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25317/statm: 1384081 1325353 919 2943 0 1380975 0
[pid=25317/tid=25318] ppid=25314 vsize=5536324 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25318/stat : 25318 (toysat) S 25314 25317 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30407241 5669195776 1325353 33554432000 4194304 16246674 140733981467968 140463186095344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25319] ppid=25314 vsize=5536324 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25319/stat : 25319 (toysat) S 25314 25317 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30407241 5669195776 1325353 33554432000 4194304 16246674 140733981467968 140463175605488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25320] ppid=25314 vsize=5536324 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25320/stat : 25320 (toysat) S 25314 25317 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30407241 5669195776 1325353 33554432000 4194304 16246674 140733981467968 140463165131952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 5536324

[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.02 4/182 25430
/proc/meminfo: memFree=24527284/32872528 swapFree=534252/566956
[pid=25317] ppid=25314 vsize=6065732 CPUtime=1661.96 cores=1,3,5,7
/proc/25317/stat : 25317 (toysat) R 25314 25317 24407 0 -1 4202496 8518669 0 0 0 164753 1443 0 0 20 0 4 0 30407240 6211309568 1457706 33554432000 4194304 16246674 140733981467968 140733981467064 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25317/statm: 1516433 1457706 919 2943 0 1513327 0
[pid=25317/tid=25318] ppid=25314 vsize=6065732 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25318/stat : 25318 (toysat) S 25314 25317 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30407241 6211309568 1457706 33554432000 4194304 16246674 140733981467968 140463186095344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25319] ppid=25314 vsize=6065732 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25319/stat : 25319 (toysat) S 25314 25317 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30407241 6211309568 1457706 33554432000 4194304 16246674 140733981467968 140463175605488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25320] ppid=25314 vsize=6065732 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25320/stat : 25320 (toysat) S 25314 25317 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30407241 6211309568 1457706 33554432000 4194304 16246674 140733981467968 140463165131952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 6065732

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.01 4/183 25432
/proc/meminfo: memFree=24449140/32872528 swapFree=534252/566956
[pid=25317] ppid=25314 vsize=6143556 CPUtime=1721.94 cores=1,3,5,7
/proc/25317/stat : 25317 (toysat) R 25314 25317 24407 0 -1 4202496 8816653 0 0 0 170700 1494 0 0 20 0 4 0 30407240 6291001344 1477162 33554432000 4194304 16246674 140733981467968 140733981465792 4226104 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25317/statm: 1535889 1477162 919 2943 0 1532783 0
[pid=25317/tid=25318] ppid=25314 vsize=6143556 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25318/stat : 25318 (toysat) S 25314 25317 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30407241 6291001344 1477162 33554432000 4194304 16246674 140733981467968 140463186095344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25319] ppid=25314 vsize=6143556 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25319/stat : 25319 (toysat) S 25314 25317 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30407241 6291001344 1477162 33554432000 4194304 16246674 140733981467968 140463175605264 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25320] ppid=25314 vsize=6143556 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25320/stat : 25320 (toysat) S 25314 25317 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30407241 6291001344 1477162 33554432000 4194304 16246674 140733981467968 140463165131952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 6143556

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 5/183 25433
/proc/meminfo: memFree=24380648/32872528 swapFree=534252/566956
[pid=25317] ppid=25314 vsize=6210116 CPUtime=1781.93 cores=1,3,5,7
/proc/25317/stat : 25317 (toysat) R 25314 25317 24407 0 -1 4202496 9092365 0 0 0 176653 1540 0 0 20 0 4 0 30407240 6359158784 1493802 33554432000 4194304 16246674 140733981467968 140733981467064 4220894 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25317/statm: 1552529 1493802 919 2943 0 1549423 0
[pid=25317/tid=25318] ppid=25314 vsize=6210116 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25318/stat : 25318 (toysat) S 25314 25317 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30407241 6359158784 1493802 33554432000 4194304 16246674 140733981467968 140463186095344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25319] ppid=25314 vsize=6210116 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25319/stat : 25319 (toysat) S 25314 25317 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30407241 6359158784 1493802 33554432000 4194304 16246674 140733981467968 140463175605488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25320] ppid=25314 vsize=6210116 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25320/stat : 25320 (toysat) S 25314 25317 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30407241 6359158784 1493802 33554432000 4194304 16246674 140733981467968 140463165131952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 6210116



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.00 4/184 25437
/proc/meminfo: memFree=24334280/32872528 swapFree=534252/566956
[pid=25317] ppid=25314 vsize=6258244 CPUtime=1800.02 cores=1,3,5,7
/proc/25317/stat : 25317 (toysat) R 25314 25317 24407 0 -1 4202496 9268749 0 0 0 178434 1568 0 0 20 0 4 0 30407240 6408441856 1505834 33554432000 4194304 16246674 140733981467968 140733981467064 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25317/statm: 1564561 1505834 919 2943 0 1561455 0
[pid=25317/tid=25318] ppid=25314 vsize=6258244 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25318/stat : 25318 (toysat) S 25314 25317 24407 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30407241 6408441856 1505834 33554432000 4194304 16246674 140733981467968 140463186095344 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25317/tid=25319] ppid=25314 vsize=6258244 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25319/stat : 25319 (toysat) S 25314 25317 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30407241 6408441856 1505834 33554432000 4194304 16246674 140733981467968 140463175605488 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=25317/tid=25320] ppid=25314 vsize=6258244 CPUtime=0 cores=1,3,5,7
/proc/25317/task/25320/stat : 25320 (toysat) S 25314 25317 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30407241 6408441856 1505834 33554432000 4194304 16246674 140733981467968 140463165131952 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 6258244

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

[startup+1800.6 s]
/proc/loadavg: 2.00 2.01 2.00 4/184 25437
/proc/meminfo: memFree=24334280/32872528 swapFree=534252/566956
[pid=25317] ppid=25314 vsize=0 CPUtime=1800.23 cores=1,3,5,7
/proc/25317/stat : 25317 (toysat) Z 25314 25317 24407 0 -1 4203532 9268749 0 0 0 178435 1588 0 0 20 0 2 0 30407240 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25317/statm: 0 0 0 0 0 0 0
[pid=25317/tid=25318] ppid=25314 vsize=0 CPUtime=0.18 cores=1,3,5,7
/proc/25317/task/25318/stat : 25318 (toysat) R 25314 25317 24407 0 -1 4203588 10 0 0 0 0 18 0 0 20 0 2 0 30407241 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.23
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.7
CPU time (s): 1800.34
CPU user time (s): 1784.36
CPU system time (s): 15.9806
CPU usage (%): 99.9802
Max. virtual memory (cumulated for all children) (KiB): 6258244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.36
system time used= 15.9806
maximum resident set size= 6023336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9268749
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= 1368
involuntary context switches= 3218

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.53431 second user time and 7.06492 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-18 23:00:16
IDJOB=4107150
IDBENCH=71898
IDSOLVER=2542
FILE ID=node138/4107150-1466283616
RUNJOBID= node138-1466276409-24424
PBS_JOBID= 19918262
Free space on /tmp= 71712 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__256.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107150-1466283616/watcher-4107150-1466283616 -o /tmp/evaluation-result-4107150-1466283616/solver-4107150-1466283616 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466276409-24424 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107150-1466283616.opb

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

MD5SUM BENCH= c277e86a21dcc18ae5570c72f9bfb707
RANDOM SEED=54681249

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.395
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:        29363556 kB
Buffers:          153800 kB
Cached:           287308 kB
SwapCached:         1060 kB
Active:          1896064 kB
Inactive:         302824 kB
Active(anon):    1758616 kB
Inactive(anon):     1696 kB
Active(file):     137448 kB
Inactive(file):   301128 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099640 kB
Dirty:             19476 kB
Writeback:             0 kB
AnonPages:       2324336 kB
Mapped:            10796 kB
Shmem:                 0 kB
Slab:             608284 kB
SReclaimable:      51808 kB
SUnreclaim:       556476 kB
KernelStack:        1488 kB
PageTables:         8436 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2466192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    569344 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71692 MiB
End job on node138 at 2016-06-18 23:30:17