Trace number 4093144

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.06 1800.31

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/celar/
normalized-celar7-sub4_wcsp.wbo
MD5SUMd0b0b5ffd622ea62c2efad9dcf2f5ece
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmark
Best cost obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables928
Total number of constraints357050
Number of soft constraints357028
Number of constraints which are clauses357028
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint44
Top cost 55058437
Min constraint cost 1
Max constraint cost 1000000
Sum of constraints costs 28629521944
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
Number of bits of the biggest sum of numbers6
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-16T21:28:50+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","--wbo","--search=bcd2","HOME/instance-4093144-1466105328.wbo"]
0.00/0.01	c use --random-gen="4103667183 2148810365 2958240300 365387190 3109213666 1550146190 1783015290 245673040 3070825587 984554544 3676353504 1730111000 2709381533 2393815981 2759952076 3331738780 2656916905 2410256830 3029938 1153555553 864748213 1162772244 357461361 509433801 3310721561 3524786923 3094938972 1853110107 554309939 80284886 2847366221 2911677915 2889509432 3753456452 3322037099 1869103481 4012083655 4242678775 1236498152 4217995130 2742225425 2232520511 641338573 2283203906 2310738585 3229368768 3333960552 2619597105 2844813259 2179371345 3956697333 2285980861 687731286 2190536916 603937 1585215776 445580442 3908696598 2242516594 4259735499 1147777314 2650543767 586595827 3500261478 2716541353 3053122036 46462956 770031065 4165562797 1442684328 477822156 1103529814 2095063763 865845590 912080507 1212400604 3639198389 362412851 2419687837 3224731586 107256472 326423259 3382978545 2434449420 3545991646 2021163447 747912610 2008996501 3731662405 2542673652 1341030338 4122712130 4207914641 247014766 4145361809 3511017474 4229533556 996932226 3637227920 2122220453 53910373 3247515145 3951630166 650397079 4146418555 2621962919 2184761219 93881640 1289620792 3918975820 2323905607 3152861082 2425528804 1964723090 2619892096 1431914960 1785583014 3205206798 1613251460 551197295 271309715 1951831781 1448221733 2102489849 2635241623 2588508523 28972869 232339296 4012042712 1714809284 4068884927 298108622 1482605809 3577815332 4148842446 2342439491 1891819141 837736014 51391269 550092839 2801672586 3059232266 3480523980 1294812913 529515374 796436839 3328505021 1460602376 2976634583 3751371418 1368612417 1102046699 233680424 3329914827 3706261093 2834050091 2641150406 2416603784 1042637548 4171121684 2424864648 2494777549 2320832866 1133766818 693680569 241076500 247729806 996961260 3688585663 740290573 97828517 525001447 4175828206 981944671 1616297187 3346107447 313071891 3493991443 2297157988 2153759243 2844507316 2435545630 2808646519 2754682664 1038034546 4128026471 2966279910 488389300 2641411298 453976375 672425979 4044455136 3446638009 3930959058 2600169819 1770366700 655995160 2239448199 1872592089 4218511842 282939835 3870361343 1499416374 3425589896 515167365 2673513207 815577502 1555336417 2050967286 151512899 995729236 3640579665 2538399032 3202422531 1160541817 4012662689 2943003413 1815471452 1262040294 4146140519 7975538 1829467528 3579933111 2546138420 2789818345 533920308 108240018 3996498227 1312877314 1939742553 557479900 3878527269 1465966154 1978292709 263223833 2107602856 413727448 1854824610 737221687 2506718943 1082153484 294526123 3268390438 3042970748 3037660987 327687306 2240083370 2751614453 634255152 50474621 3418285288 4047975819 505454122 2514510349 2490965088 33719423 255 362436" option to reproduce the execution

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-4093144-1466105328/watcher-4093144-1466105328 -o /tmp/evaluation-result-4093144-1466105328/solver-4093144-1466105328 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466105328-18866 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093144-1466105328.wbo 

pid=18887
running on 8 cores: 0-3,8-11

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: 1.63 1.37 1.64 2/255 18890
/proc/meminfo: memFree=31949244/32872528 swapFree=7036/7036
[pid=18890] ppid=18887 vsize=878012 CPUtime=0 cores=0-3,8-11
/proc/18890/stat : 18890 (toysat) R 18887 18890 17918 0 -1 4202496 3301 0 0 0 0 0 0 0 20 0 4 0 12577543 899084288 4172 33554432000 4194304 16246674 140733860566256 140733860565680 13880264 0 2 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18890/statm: 220015 4183 441 2943 0 216909 0
[pid=18890/tid=18891] ppid=18887 vsize=897468 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18891/stat : 18891 (toysat) S 18887 18890 17918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12577543 919007232 4251 33554432000 4194304 16246674 140733860566256 140611017485552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=18890/tid=18892] ppid=18887 vsize=902588 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18892/stat : 18892 (toysat) S 18887 18890 17918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12577543 924250112 4269 33554432000 4194304 16246674 140733860566256 140611006995696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 10 0 0 0 0 0
[pid=18890/tid=18893] ppid=18887 vsize=906684 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18893/stat : 18893 (toysat) S 18887 18890 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12577543 928444416 4287 33554432000 4194304 16246674 140733860566256 140610921032880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0

[startup+0.100125 s]
/proc/loadavg: 1.63 1.37 1.64 2/255 18890
/proc/meminfo: memFree=31949244/32872528 swapFree=7036/7036
[pid=18890] ppid=18887 vsize=1221188 CPUtime=0.09 cores=0-3,8-11
/proc/18890/stat : 18890 (toysat) R 18887 18890 17918 0 -1 4202496 24996 0 0 0 5 4 0 0 20 0 4 0 12577543 1250496512 25807 33554432000 4194304 16246674 140733860566256 140733860565568 13780501 0 0 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18890/statm: 305297 25821 801 2943 0 302191 0
[pid=18890/tid=18891] ppid=18887 vsize=1221188 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18891/stat : 18891 (toysat) S 18887 18890 17918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12577543 1250496512 25831 33554432000 4194304 16246674 140733860566256 140611017485552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=18890/tid=18892] ppid=18887 vsize=1221188 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18892/stat : 18892 (toysat) S 18887 18890 17918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12577543 1250496512 25843 33554432000 4194304 16246674 140733860566256 140611006995696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 10 0 0 0 0 0
[pid=18890/tid=18893] ppid=18887 vsize=1221188 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18893/stat : 18893 (toysat) S 18887 18890 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12577543 1250496512 25853 33554432000 4194304 16246674 140733860566256 140610921032880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200483 s]
/proc/loadavg: 1.63 1.37 1.64 2/255 18890
/proc/meminfo: memFree=31949244/32872528 swapFree=7036/7036
[pid=18890] ppid=18887 vsize=1305156 CPUtime=0.19 cores=0-3,8-11
/proc/18890/stat : 18890 (toysat) R 18887 18890 17918 0 -1 4202496 47553 0 0 0 12 7 0 0 20 0 4 0 12577543 1336479744 48875 33554432000 4194304 16246674 140733860566256 140733860565568 4221105 0 2 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18890/statm: 326289 48880 802 2943 0 323183 0
[pid=18890/tid=18891] ppid=18887 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18891/stat : 18891 (toysat) S 18887 18890 17918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12577543 1336479744 48882 33554432000 4194304 16246674 140733860566256 140611017485552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=18890/tid=18892] ppid=18887 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18892/stat : 18892 (toysat) S 18887 18890 17918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12577543 1336479744 48885 33554432000 4194304 16246674 140733860566256 140611006995696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 10 0 0 0 0 0
[pid=18890/tid=18893] ppid=18887 vsize=1305156 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18893/stat : 18893 (toysat) S 18887 18890 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12577543 1336479744 48888 33554432000 4194304 16246674 140733860566256 140610921032880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1305156

[startup+0.300493 s]
/proc/loadavg: 1.63 1.37 1.64 2/255 18890
/proc/meminfo: memFree=31949244/32872528 swapFree=7036/7036
[pid=18890] ppid=18887 vsize=1314372 CPUtime=0.29 cores=0-3,8-11
/proc/18890/stat : 18890 (toysat) R 18887 18890 17918 0 -1 4202496 62036 0 0 0 19 10 0 0 20 0 4 0 12577543 1345916928 63358 33554432000 4194304 16246674 140733860566256 140733860549248 8055525 0 0 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18890/statm: 328593 63378 802 2943 0 325487 0
[pid=18890/tid=18891] ppid=18887 vsize=1314372 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18891/stat : 18891 (toysat) S 18887 18890 17918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12577543 1345916928 63388 33554432000 4194304 16246674 140733860566256 140611017485552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=18890/tid=18892] ppid=18887 vsize=1314372 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18892/stat : 18892 (toysat) S 18887 18890 17918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12577543 1345916928 63400 33554432000 4194304 16246674 140733860566256 140611006995696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 10 0 0 0 0 0
[pid=18890/tid=18893] ppid=18887 vsize=1314372 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18893/stat : 18893 (toysat) S 18887 18890 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12577543 1345916928 63411 33554432000 4194304 16246674 140733860566256 140610921032880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700379 s]
/proc/loadavg: 1.63 1.37 1.64 2/255 18890
/proc/meminfo: memFree=31949244/32872528 swapFree=7036/7036
[pid=18890] ppid=18887 vsize=1314372 CPUtime=0.69 cores=0-3,8-11
/proc/18890/stat : 18890 (toysat) R 18887 18890 17918 0 -1 4202496 72368 0 0 0 55 14 0 0 20 0 4 0 12577543 1345916928 73690 33554432000 4194304 16246674 140733860566256 140733860549248 4220514 0 2 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18890/statm: 328593 73690 802 2943 0 325487 0
[pid=18890/tid=18891] ppid=18887 vsize=1314372 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18891/stat : 18891 (toysat) S 18887 18890 17918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12577543 1345916928 73690 33554432000 4194304 16246674 140733860566256 140611017485552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=18890/tid=18892] ppid=18887 vsize=1314372 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18892/stat : 18892 (toysat) S 18887 18890 17918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12577543 1345916928 73690 33554432000 4194304 16246674 140733860566256 140611006995696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 10 0 0 0 0 0
[pid=18890/tid=18893] ppid=18887 vsize=1314372 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18893/stat : 18893 (toysat) S 18887 18890 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12577543 1345916928 73690 33554432000 4194304 16246674 140733860566256 140610921032880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50038 s]
/proc/loadavg: 1.63 1.37 1.64 3/265 18903
/proc/meminfo: memFree=31307592/32872528 swapFree=7036/7036
[pid=18890] ppid=18887 vsize=1314372 CPUtime=1.49 cores=0-3,8-11
/proc/18890/stat : 18890 (toysat) R 18887 18890 17918 0 -1 4202496 85196 0 0 0 128 21 0 0 20 0 4 0 12577543 1345916928 86518 33554432000 4194304 16246674 140733860566256 140733860548160 8055408 0 0 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18890/statm: 328593 86518 803 2943 0 325487 0
[pid=18890/tid=18891] ppid=18887 vsize=1314372 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18891/stat : 18891 (toysat) S 18887 18890 17918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12577543 1345916928 86518 33554432000 4194304 16246674 140733860566256 140611017485552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=18890/tid=18892] ppid=18887 vsize=1314372 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18892/stat : 18892 (toysat) S 18887 18890 17918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12577543 1345916928 86518 33554432000 4194304 16246674 140733860566256 140611006995696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 10 0 0 0 0 0
[pid=18890/tid=18893] ppid=18887 vsize=1314372 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18893/stat : 18893 (toysat) S 18887 18890 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12577543 1345916928 86518 33554432000 4194304 16246674 140733860566256 140610921032880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10037 s]
/proc/loadavg: 1.63 1.37 1.64 3/265 18903
/proc/meminfo: memFree=31146764/32872528 swapFree=7036/7036
[pid=18890] ppid=18887 vsize=1314372 CPUtime=3.09 cores=0-3,8-11
/proc/18890/stat : 18890 (toysat) R 18887 18890 17918 0 -1 4202496 104915 0 0 0 274 35 0 0 20 0 4 0 12577543 1345916928 106237 33554432000 4194304 16246674 140733860566256 140733860565568 4220897 0 2 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18890/statm: 328593 106237 835 2943 0 325487 0
[pid=18890/tid=18891] ppid=18887 vsize=1314372 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18891/stat : 18891 (toysat) S 18887 18890 17918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12577543 1345916928 106237 33554432000 4194304 16246674 140733860566256 140611017485552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=18890/tid=18892] ppid=18887 vsize=1314372 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18892/stat : 18892 (toysat) S 18887 18890 17918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12577543 1345916928 106237 33554432000 4194304 16246674 140733860566256 140611006995696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 10 0 0 0 0 0
[pid=18890/tid=18893] ppid=18887 vsize=1314372 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18893/stat : 18893 (toysat) S 18887 18890 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12577543 1345916928 106237 33554432000 4194304 16246674 140733860566256 140610921032880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1314372

[startup+6.30038 s]
/proc/loadavg: 1.82 1.41 1.65 3/265 18903
/proc/meminfo: memFree=29639548/32872528 swapFree=7036/7036
[pid=18890] ppid=18887 vsize=1387076 CPUtime=6.29 cores=0-3,8-11
/proc/18890/stat : 18890 (toysat) R 18887 18890 17918 0 -1 4202496 287390 0 0 0 542 87 0 0 20 0 4 0 12577543 1420365824 288712 33554432000 4194304 16246674 140733860566256 140733860564096 4220880 0 2 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18890/statm: 346769 288712 838 2943 0 343663 0
[pid=18890/tid=18891] ppid=18887 vsize=1387076 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18891/stat : 18891 (toysat) S 18887 18890 17918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12577543 1420365824 288712 33554432000 4194304 16246674 140733860566256 140611017485552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=18890/tid=18892] ppid=18887 vsize=1387076 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18892/stat : 18892 (toysat) S 18887 18890 17918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12577543 1420365824 288712 33554432000 4194304 16246674 140733860566256 140611006995696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 10 0 0 0 0 0
[pid=18890/tid=18893] ppid=18887 vsize=1387076 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18893/stat : 18893 (toysat) S 18887 18890 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12577543 1420365824 288712 33554432000 4194304 16246674 140733860566256 140610921032880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1387076

[startup+12.7004 s]
/proc/loadavg: 1.83 1.42 1.65 3/265 18903
/proc/meminfo: memFree=29322940/32872528 swapFree=7036/7036
[pid=18890] ppid=18887 vsize=1544772 CPUtime=12.69 cores=0-3,8-11
/proc/18890/stat : 18890 (toysat) R 18887 18890 17918 0 -1 4202496 326820 0 0 0 1114 155 0 0 20 0 4 0 12577543 1581846528 328142 33554432000 4194304 16246674 140733860566256 140733860548160 12654369 0 0 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18890/statm: 386193 328142 844 2943 0 383087 0
[pid=18890/tid=18891] ppid=18887 vsize=1544772 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18891/stat : 18891 (toysat) S 18887 18890 17918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12577543 1581846528 328142 33554432000 4194304 16246674 140733860566256 140611017485552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=18890/tid=18892] ppid=18887 vsize=1544772 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18892/stat : 18892 (toysat) S 18887 18890 17918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12577543 1581846528 328142 33554432000 4194304 16246674 140733860566256 140611006995696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 10 0 0 0 0 0
[pid=18890/tid=18893] ppid=18887 vsize=1544772 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18893/stat : 18893 (toysat) S 18887 18890 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12577543 1581846528 328142 33554432000 4194304 16246674 140733860566256 140610921032880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1544772

[startup+25.5005 s]
/proc/loadavg: 1.87 1.45 1.65 3/265 18904
/proc/meminfo: memFree=29112576/32872528 swapFree=7036/7036
[pid=18890] ppid=18887 vsize=1655364 CPUtime=25.49 cores=0-3,8-11
/proc/18890/stat : 18890 (toysat) R 18887 18890 17918 0 -1 4202496 354445 0 0 0 2263 286 0 0 20 0 4 0 12577543 1695092736 355767 33554432000 4194304 16246674 140733860566256 140733860565568 12429095 0 0 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18890/statm: 413841 355767 844 2943 0 410735 0
[pid=18890/tid=18891] ppid=18887 vsize=1655364 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18891/stat : 18891 (toysat) S 18887 18890 17918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12577543 1695092736 355767 33554432000 4194304 16246674 140733860566256 140611017485552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=18890/tid=18892] ppid=18887 vsize=1655364 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18892/stat : 18892 (toysat) S 18887 18890 17918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12577543 1695092736 355767 33554432000 4194304 16246674 140733860566256 140611006995696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 10 0 0 0 0 0
[pid=18890/tid=18893] ppid=18887 vsize=1655364 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18893/stat : 18893 (toysat) S 18887 18890 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12577543 1695092736 355767 33554432000 4194304 16246674 140733860566256 140610921032880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1655364

[startup+51.1005 s]
/proc/loadavg: 1.91 1.49 1.66 3/265 18904
/proc/meminfo: memFree=28696136/32872528 swapFree=7036/7036
[pid=18890] ppid=18887 vsize=1858116 CPUtime=51.08 cores=0-3,8-11
/proc/18890/stat : 18890 (toysat) R 18887 18890 17918 0 -1 4202496 405156 0 0 0 4562 546 0 0 20 0 4 0 12577543 1902710784 406478 33554432000 4194304 16246674 140733860566256 140733860564096 4220897 0 2 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18890/statm: 464529 406478 844 2943 0 461423 0
[pid=18890/tid=18891] ppid=18887 vsize=1858116 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18891/stat : 18891 (toysat) S 18887 18890 17918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12577543 1902710784 406478 33554432000 4194304 16246674 140733860566256 140611017485552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=18890/tid=18892] ppid=18887 vsize=1858116 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18892/stat : 18892 (toysat) S 18887 18890 17918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12577543 1902710784 406478 33554432000 4194304 16246674 140733860566256 140611006995696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 10 0 0 0 0 0
[pid=18890/tid=18893] ppid=18887 vsize=1858116 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18893/stat : 18893 (toysat) S 18887 18890 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12577543 1902710784 406478 33554432000 4194304 16246674 140733860566256 140610921032880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1858116

[startup+102.3 s]
/proc/loadavg: 1.96 1.57 1.68 3/266 18908
/proc/meminfo: memFree=27993328/32872528 swapFree=7036/7036
[pid=18890] ppid=18887 vsize=2202180 CPUtime=102.28 cores=0-3,8-11
/proc/18890/stat : 18890 (toysat) R 18887 18890 17918 0 -1 4202496 491176 0 0 0 9228 1000 0 0 20 0 4 0 12577543 2255032320 492496 33554432000 4194304 16246674 140733860566256 140733860564096 6958540 0 0 0 34082818 18446744073709551615 0 0 17 8 0 0 0 0 0
/proc/18890/statm: 550545 492496 845 2943 0 547439 0
[pid=18890/tid=18891] ppid=18887 vsize=2202180 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18891/stat : 18891 (toysat) S 18887 18890 17918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12577543 2255032320 492496 33554432000 4194304 16246674 140733860566256 140611017485552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=18890/tid=18892] ppid=18887 vsize=2202180 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18892/stat : 18892 (toysat) S 18887 18890 17918 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12577543 2255032320 492496 33554432000 4194304 16246674 140733860566256 140611006995696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 10 0 0 0 0 0
[pid=18890/tid=18893] ppid=18887 vsize=2202180 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18893/stat : 18893 (toysat) S 18887 18890 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12577543 2255032320 492496 33554432000 4194304 16246674 140733860566256 140610921032880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2202180


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

[pid=18890/tid=18893] ppid=18887 vsize=2303556 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18893/stat : 18893 (toysat) S 18887 18890 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140610921032880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 2303556

[startup+1422.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/264 18941
/proc/meminfo: memFree=27801608/32872528 swapFree=7036/7036
[pid=18890] ppid=18887 vsize=2303556 CPUtime=1422.09 cores=0-3,8-11
/proc/18890/stat : 18890 (toysat) R 18887 18890 17918 0 -1 4202496 516540 0 0 0 140134 2075 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140733860565352 4220982 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18890/statm: 575889 517840 845 2943 0 572783 0
[pid=18890/tid=18891] ppid=18887 vsize=2303556 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18891/stat : 18891 (toysat) S 18887 18890 17918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140611017485552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=18890/tid=18892] ppid=18887 vsize=2303556 CPUtime=0.01 cores=0-3,8-11
/proc/18890/task/18892/stat : 18892 (toysat) S 18887 18890 17918 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140611006995696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 10 0 0 0 0 0
[pid=18890/tid=18893] ppid=18887 vsize=2303556 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18893/stat : 18893 (toysat) S 18887 18890 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140610921032880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1422.09
Current children cumulated vsize (KiB) 2303556

[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/265 18943
/proc/meminfo: memFree=27801000/32872528 swapFree=7036/7036
[pid=18890] ppid=18887 vsize=2303556 CPUtime=1482.07 cores=0-3,8-11
/proc/18890/stat : 18890 (toysat) R 18887 18890 17918 0 -1 4202496 516540 0 0 0 146128 2079 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140733860564160 4220897 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18890/statm: 575889 517840 845 2943 0 572783 0
[pid=18890/tid=18891] ppid=18887 vsize=2303556 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18891/stat : 18891 (toysat) S 18887 18890 17918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140611017485552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=18890/tid=18892] ppid=18887 vsize=2303556 CPUtime=0.01 cores=0-3,8-11
/proc/18890/task/18892/stat : 18892 (toysat) S 18887 18890 17918 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140611006995472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18890/tid=18893] ppid=18887 vsize=2303556 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18893/stat : 18893 (toysat) S 18887 18890 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140610921032880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 2303556

[startup+1542.31 s]
/proc/loadavg: 2.00 1.99 1.91 3/265 18944
/proc/meminfo: memFree=27800516/32872528 swapFree=7036/7036
[pid=18890] ppid=18887 vsize=2303556 CPUtime=1542.08 cores=0-3,8-11
/proc/18890/stat : 18890 (toysat) R 18887 18890 17918 0 -1 4202496 516540 0 0 0 152123 2085 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140733860564160 4207014 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18890/statm: 575889 517840 845 2943 0 572783 0
[pid=18890/tid=18891] ppid=18887 vsize=2303556 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18891/stat : 18891 (toysat) S 18887 18890 17918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140611017485552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=18890/tid=18892] ppid=18887 vsize=2303556 CPUtime=0.01 cores=0-3,8-11
/proc/18890/task/18892/stat : 18892 (toysat) S 18887 18890 17918 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140611006995696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 10 0 0 0 0 0
[pid=18890/tid=18893] ppid=18887 vsize=2303556 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18893/stat : 18893 (toysat) S 18887 18890 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140610921032880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1542.08
Current children cumulated vsize (KiB) 2303556

[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/265 18946
/proc/meminfo: memFree=27801140/32872528 swapFree=7036/7036
[pid=18890] ppid=18887 vsize=2303556 CPUtime=1602.07 cores=0-3,8-11
/proc/18890/stat : 18890 (toysat) R 18887 18890 17918 0 -1 4202496 516540 0 0 0 158116 2091 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140733860564096 4220990 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18890/statm: 575889 517840 845 2943 0 572783 0
[pid=18890/tid=18891] ppid=18887 vsize=2303556 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18891/stat : 18891 (toysat) S 18887 18890 17918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140611017485552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=18890/tid=18892] ppid=18887 vsize=2303556 CPUtime=0.01 cores=0-3,8-11
/proc/18890/task/18892/stat : 18892 (toysat) S 18887 18890 17918 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140611006995472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18890/tid=18893] ppid=18887 vsize=2303556 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18893/stat : 18893 (toysat) S 18887 18890 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140610921032880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1602.07
Current children cumulated vsize (KiB) 2303556

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/265 18947
/proc/meminfo: memFree=27800748/32872528 swapFree=7036/7036
[pid=18890] ppid=18887 vsize=2303556 CPUtime=1662.07 cores=0-3,8-11
/proc/18890/stat : 18890 (toysat) R 18887 18890 17918 0 -1 4202496 516540 0 0 0 164112 2095 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140733860564096 4220543 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18890/statm: 575889 517840 845 2943 0 572783 0
[pid=18890/tid=18891] ppid=18887 vsize=2303556 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18891/stat : 18891 (toysat) S 18887 18890 17918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140611017485552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=18890/tid=18892] ppid=18887 vsize=2303556 CPUtime=0.01 cores=0-3,8-11
/proc/18890/task/18892/stat : 18892 (toysat) S 18887 18890 17918 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140611006995696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 10 0 0 0 0 0
[pid=18890/tid=18893] ppid=18887 vsize=2303556 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18893/stat : 18893 (toysat) S 18887 18890 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140610921032880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1662.07
Current children cumulated vsize (KiB) 2303556

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/265 18948
/proc/meminfo: memFree=27800760/32872528 swapFree=7036/7036
[pid=18890] ppid=18887 vsize=2303556 CPUtime=1722.06 cores=0-3,8-11
/proc/18890/stat : 18890 (toysat) R 18887 18890 17918 0 -1 4202496 516540 0 0 0 170107 2099 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140733860565352 13950184 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18890/statm: 575889 517840 845 2943 0 572783 0
[pid=18890/tid=18891] ppid=18887 vsize=2303556 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18891/stat : 18891 (toysat) S 18887 18890 17918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140611017485552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=18890/tid=18892] ppid=18887 vsize=2303556 CPUtime=0.02 cores=0-3,8-11
/proc/18890/task/18892/stat : 18892 (toysat) S 18887 18890 17918 0 -1 4202560 8 0 0 0 0 2 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140611006995696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 10 0 0 0 0 0
[pid=18890/tid=18893] ppid=18887 vsize=2303556 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18893/stat : 18893 (toysat) S 18887 18890 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140610921032880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1722.06
Current children cumulated vsize (KiB) 2303556

[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 1.91 3/265 18949
/proc/meminfo: memFree=27800472/32872528 swapFree=7036/7036
[pid=18890] ppid=18887 vsize=2303556 CPUtime=1782.06 cores=0-3,8-11
/proc/18890/stat : 18890 (toysat) R 18887 18890 17918 0 -1 4202496 516540 0 0 0 176103 2103 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140733860564096 4220897 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18890/statm: 575889 517840 845 2943 0 572783 0
[pid=18890/tid=18891] ppid=18887 vsize=2303556 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18891/stat : 18891 (toysat) S 18887 18890 17918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140611017485552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=18890/tid=18892] ppid=18887 vsize=2303556 CPUtime=0.02 cores=0-3,8-11
/proc/18890/task/18892/stat : 18892 (toysat) S 18887 18890 17918 0 -1 4202560 8 0 0 0 0 2 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140611006995472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 10 0 0 0 0 0
[pid=18890/tid=18893] ppid=18887 vsize=2303556 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18893/stat : 18893 (toysat) S 18887 18890 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140610921032880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1782.06
Current children cumulated vsize (KiB) 2303556



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.04 2.00 1.91 3/265 18949
/proc/meminfo: memFree=27801200/32872528 swapFree=7036/7036
[pid=18890] ppid=18887 vsize=2303556 CPUtime=1800.06 cores=0-3,8-11
/proc/18890/stat : 18890 (toysat) R 18887 18890 17918 0 -1 4202496 516540 0 0 0 177901 2105 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140733860564096 4206607 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18890/statm: 575889 517840 845 2943 0 572783 0
[pid=18890/tid=18891] ppid=18887 vsize=2303556 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18891/stat : 18891 (toysat) S 18887 18890 17918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140611017485552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=18890/tid=18892] ppid=18887 vsize=2303556 CPUtime=0.02 cores=0-3,8-11
/proc/18890/task/18892/stat : 18892 (toysat) S 18887 18890 17918 0 -1 4202560 8 0 0 0 0 2 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140611006995696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 10 0 0 0 0 0
[pid=18890/tid=18893] ppid=18887 vsize=2303556 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18893/stat : 18893 (toysat) S 18887 18890 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140610921032880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2303556

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

[startup+1800.3 s]
/proc/loadavg: 2.04 2.00 1.91 3/265 18949
/proc/meminfo: memFree=27801200/32872528 swapFree=7036/7036
[pid=18890] ppid=18887 vsize=2303556 CPUtime=1800.06 cores=0-3,8-11
/proc/18890/stat : 18890 (toysat) R 18887 18890 17918 0 -1 4202496 516540 0 0 0 177901 2105 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140733860564096 4206607 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/18890/statm: 575889 517840 845 2943 0 572783 0
[pid=18890/tid=18891] ppid=18887 vsize=2303556 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18891/stat : 18891 (toysat) S 18887 18890 17918 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140611017485552 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 9 0 0 0 0 0
[pid=18890/tid=18892] ppid=18887 vsize=2303556 CPUtime=0.02 cores=0-3,8-11
/proc/18890/task/18892/stat : 18892 (toysat) S 18887 18890 17918 0 -1 4202560 8 0 0 0 0 2 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140611006995696 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 10 0 0 0 0 0
[pid=18890/tid=18893] ppid=18887 vsize=2303556 CPUtime=0 cores=0-3,8-11
/proc/18890/task/18893/stat : 18893 (toysat) S 18887 18890 17918 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12577543 2358841344 517840 33554432000 4194304 16246674 140733860566256 140610921032880 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 9 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2303556

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18890 and gives
#  childrusage.ru_utime.tv_sec=1779
#  childrusage.ru_utime.tv_usec=23547
#  childrusage.ru_stime.tv_sec=20
#  childrusage.ru_stime.tv_usec=971811
# CPU time returned by wait4() is 1800
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.31
CPU time (s): 1800.06
CPU user time (s): 1779.01
CPU system time (s): 21.05
CPU usage (%): 99.986
Max. virtual memory (cumulated for all children) (KiB): 2303556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1779.02
system time used= 20.9718
maximum resident set size= 2071360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516540
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= 2268
involuntary context switches= 1962

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.132 second user time and 19.886 second system time

The end

Launcher Data 

Begin job on node132 at 2016-06-16 21:28:49
IDJOB=4093144
IDBENCH=79549
IDSOLVER=2553
FILE ID=node132/4093144-1466105328
RUNJOBID= node132-1466105328-18866
PBS_JOBID= 19904047
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/celar/normalized-celar7-sub4_wcsp.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093144-1466105328/watcher-4093144-1466105328 -o /tmp/evaluation-result-4093144-1466105328/solver-4093144-1466105328 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1466105328-18866 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093144-1466105328.wbo

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

MD5SUM BENCH= d0b0b5ffd622ea62c2efad9dcf2f5ece
RANDOM SEED=101999772

node132.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.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.53
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.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.51
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.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        31949780 kB
Buffers:           40196 kB
Cached:           160508 kB
SwapCached:          568 kB
Active:           119316 kB
Inactive:          84276 kB
Active(anon):       4068 kB
Inactive(anon):     1040 kB
Active(file):     115248 kB
Inactive(file):    83236 kB
Unevictable:        7036 kB
Mlocked:            7036 kB
SwapTotal:      67108856 kB
SwapFree:       67100508 kB
Dirty:             54056 kB
Writeback:             0 kB
AnonPages:          9436 kB
Mapped:             6668 kB
Shmem:                 0 kB
Slab:             575244 kB
SReclaimable:      15004 kB
SUnreclaim:       560240 kB
KernelStack:        2208 kB
PageTables:         3756 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     102208 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987140 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71684 MiB
End job on node132 at 2016-06-16 21:58:50