Trace number 4105697

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? (MO) 163.792 163.855

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=140-sizeP=71-sizeQ=140-318609522.opb
MD5SUM7cd4640a7754cffece48a57d4d3f4a4f
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark1.47678
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
Number of variables10151
Total number of constraints29821
Number of constraints which are clauses29820
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint9940
Number of terms in the objective function 71
Biggest coefficient in the objective function 1180591620717411303424
Number of bits for the biggest coefficient in the objective function 71
Sum of the numbers in the objective function 2361183241434822606847
Number of bits of the sum of numbers in the objective function 71
Biggest number in a constraint 822752278660603021077484591278675252491367932816789931674304512
Number of bits of the biggest number in a constraint 210
Biggest sum of numbers in a constraint 3291009114642412084309088316738947240174611804419280895599096947
Number of bits of the biggest sum of numbers211
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-18T15:10:49+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4105697-1466255449.opb"]
0.00/0.01	c use --random-gen="4123874890 1150343350 2352788033 897303383 1387761315 3190686901 1909605592 129757706 2546134687 3191710546 3977818349 373385181 3457475839 1784418463 4085186983 564492605 2927247666 3880636720 325952641 1640619218 3817826539 2577384364 2564418821 4157627375 2400784716 1318634896 824296550 800514508 1608122821 2519571304 2736427925 1114555847 2849157488 2851894688 1110881283 1760965438 3027606831 2354942296 3144221381 1175801794 2613246585 26307140 2022718961 2027279634 1301665904 3880258618 249760602 1808975509 2374354055 2295323075 467396656 2650063114 3174496845 4247189051 4049144941 2249020123 957726801 731886109 2800784472 3411047529 3222444672 1820045554 4025380800 2341051741 2407591825 2231355418 1536399363 3955693004 1090408093 934003095 3150543055 1213773704 3738860222 2515443730 1897171667 3081499738 3750655898 2424602346 3996624561 3923985259 3919018499 18734757 290268149 1210315404 1106347745 1964953961 3975357679 1025578354 2001300553 2326907529 18178288 2983735130 2753344465 211166857 4095234379 327781917 521720422 3035068489 3391094819 2222311331 24230260 2029785487 772695918 2187534005 146634409 3510791930 1747185093 1650665260 2694758827 4642898 2541805936 2873002290 2531873412 2382037474 2985409103 4197570670 2342656029 1094968451 1703553551 3938420963 685880051 2899805677 3055541010 4211244450 2021447055 1168352645 3131104078 854772543 4020594190 408929991 1984696443 1572966598 842052173 550872737 864931105 849530508 4263034800 1769949091 1525896969 813141081 1428735824 2527422263 2269163520 777196376 1892483955 3520101073 3665266034 3412533579 836907799 22778708 3721652827 1058929294 3409976917 2646136039 750525592 1421370614 1571179380 1068724600 1779342219 3466095571 2255652860 4159146101 2557287205 3664196710 2372756316 4038931246 2215385335 1741372756 128294315 333406532 3854058368 1560771105 2525746079 4228902916 1130775496 702106829 3295739581 1710804019 1574250775 3002057692 4115993520 1146599633 2682332520 946768889 1485871637 2658971994 1226685148 1615439838 1967045406 3329447610 1964982837 3789961402 2902935067 751350359 1458821554 2582344509 2412469651 2837598085 3799034683 2550508788 376331693 907585716 804760835 585683315 2989784113 132262437 700347979 4112522959 4127088670 3789192062 2866121340 1334498386 3599618829 4229749830 4223099356 3685611148 4234842786 1896324989 3324314653 2818460652 1968503427 1666864455 546161969 2844033828 2643125841 4223861743 3839166119 1995394274 2455538500 4214010923 155780210 3270919473 3813034934 130850511 1182379209 3333843926 1934622129 3273017164 159263300 4061190376 1537215161 2668833963 2633624144 884410082 2687739378 3409177349 637277811 3288683317 3187830889 3916047259 2154438640 1167895783 3582518948 2143852446 2330407642 160867912 255 362436" option to reproduce the execution
0.18/0.24	c #vars 10151
0.18/0.24	c #constraints 29821

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

pid=6224
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.96 2.04 2.07 3/180 6227
/proc/meminfo: memFree=30171728/32872528 swapFree=526336/559040
[pid=6227] ppid=6224 vsize=545212 CPUtime=0 cores=0,2,4,6
/proc/6227/stat : 6227 (toysat) R 6224 6227 28898 0 -1 4202496 2002 0 0 0 0 0 0 0 20 0 4 0 27595065 558297088 1852 33554432000 4194304 16246674 140734928045312 140734928044736 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6227/statm: 136815 1863 441 2943 0 133709 0
[pid=6227/tid=6228] ppid=6224 vsize=572860 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6228/stat : 6228 (toysat) S 6224 6227 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27595065 586608640 1962 33554432000 4194304 16246674 140734928045312 139746767514864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6227/tid=6229] ppid=6224 vsize=577980 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6229/stat : 6229 (toysat) S 6224 6227 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27595065 591851520 1981 33554432000 4194304 16246674 140734928045312 139746757025008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6227/tid=6230] ppid=6224 vsize=582076 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6230/stat : 6230 (toysat) S 6224 6227 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27595065 596045824 1997 33554432000 4194304 16246674 140734928045312 139746746551472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100128 s]
/proc/loadavg: 1.96 2.04 2.07 3/180 6227
/proc/meminfo: memFree=30171728/32872528 swapFree=526336/559040
[pid=6227] ppid=6224 vsize=1220164 CPUtime=0.08 cores=0,2,4,6
/proc/6227/stat : 6227 (toysat) R 6224 6227 28898 0 -1 4202496 26130 0 0 0 5 3 0 0 20 0 4 0 27595065 1249447936 25918 33554432000 4194304 16246674 140734928045312 140734928044624 4221040 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6227/statm: 305041 25918 800 2943 0 301935 0
[pid=6227/tid=6228] ppid=6224 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6228/stat : 6228 (toysat) S 6224 6227 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27595065 1249447936 25918 33554432000 4194304 16246674 140734928045312 139746767514864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6227/tid=6229] ppid=6224 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6229/stat : 6229 (toysat) S 6224 6227 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27595065 1249447936 25918 33554432000 4194304 16246674 140734928045312 139746757025008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6227/tid=6230] ppid=6224 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6230/stat : 6230 (toysat) S 6224 6227 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27595065 1249447936 25918 33554432000 4194304 16246674 140734928045312 139746746551472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1220164

[startup+0.200478 s]
/proc/loadavg: 1.96 2.04 2.07 3/180 6227
/proc/meminfo: memFree=30171728/32872528 swapFree=526336/559040
[pid=6227] ppid=6224 vsize=1307204 CPUtime=0.18 cores=0,2,4,6
/proc/6227/stat : 6227 (toysat) R 6224 6227 28898 0 -1 4202496 47265 0 0 0 12 6 0 0 20 0 4 0 27595065 1338576896 47564 33554432000 4194304 16246674 140734928045312 140734928044624 4221105 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6227/statm: 326801 47567 800 2943 0 323695 0
[pid=6227/tid=6228] ppid=6224 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6228/stat : 6228 (toysat) S 6224 6227 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27595065 1338576896 47570 33554432000 4194304 16246674 140734928045312 139746767514864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6227/tid=6229] ppid=6224 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6229/stat : 6229 (toysat) S 6224 6227 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27595065 1338576896 47572 33554432000 4194304 16246674 140734928045312 139746757025008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6227/tid=6230] ppid=6224 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6230/stat : 6230 (toysat) S 6224 6227 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27595065 1338576896 47574 33554432000 4194304 16246674 140734928045312 139746746551472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1307204

[startup+0.300443 s]
/proc/loadavg: 1.96 2.04 2.07 3/180 6227
/proc/meminfo: memFree=30171728/32872528 swapFree=526336/559040
[pid=6227] ppid=6224 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/6227/stat : 6227 (toysat) R 6224 6227 28898 0 -1 4202496 49207 0 0 0 22 7 0 0 20 0 4 0 27595065 1345916928 49506 33554432000 4194304 16246674 140734928045312 140734928043136 6966855 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6227/statm: 328593 49506 834 2943 0 325487 0
[pid=6227/tid=6228] ppid=6224 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6228/stat : 6228 (toysat) S 6224 6227 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27595065 1345916928 49506 33554432000 4194304 16246674 140734928045312 139746767514864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6227/tid=6229] ppid=6224 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6229/stat : 6229 (toysat) S 6224 6227 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27595065 1345916928 49506 33554432000 4194304 16246674 140734928045312 139746757025008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6227/tid=6230] ppid=6224 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6230/stat : 6230 (toysat) S 6224 6227 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27595065 1345916928 49506 33554432000 4194304 16246674 140734928045312 139746746551472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700359 s]
/proc/loadavg: 1.96 2.04 2.07 3/180 6227
/proc/meminfo: memFree=30171728/32872528 swapFree=526336/559040
[pid=6227] ppid=6224 vsize=1322564 CPUtime=0.69 cores=0,2,4,6
/proc/6227/stat : 6227 (toysat) R 6224 6227 28898 0 -1 4202496 90773 0 0 0 56 13 0 0 20 0 4 0 27595065 1354305536 91072 33554432000 4194304 16246674 140734928045312 140734928044528 12497696 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6227/statm: 330641 91072 843 2943 0 327535 0
[pid=6227/tid=6228] ppid=6224 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6228/stat : 6228 (toysat) S 6224 6227 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27595065 1354305536 91072 33554432000 4194304 16246674 140734928045312 139746767514864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6227/tid=6229] ppid=6224 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6229/stat : 6229 (toysat) S 6224 6227 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27595065 1354305536 91072 33554432000 4194304 16246674 140734928045312 139746757025008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6227/tid=6230] ppid=6224 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6230/stat : 6230 (toysat) S 6224 6227 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27595065 1354305536 91072 33554432000 4194304 16246674 140734928045312 139746746551472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1322564

[startup+1.50037 s]
/proc/loadavg: 1.96 2.04 2.07 4/184 6231
/proc/meminfo: memFree=29688264/32872528 swapFree=526336/559040
[pid=6227] ppid=6224 vsize=1322564 CPUtime=1.49 cores=0,2,4,6
/proc/6227/stat : 6227 (toysat) R 6224 6227 28898 0 -1 4202496 180861 0 0 0 124 25 0 0 20 0 4 0 27595065 1354305536 181160 33554432000 4194304 16246674 140734928045312 140734928027200 12504453 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6227/statm: 330641 181163 843 2943 0 327535 0
[pid=6227/tid=6228] ppid=6224 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6228/stat : 6228 (toysat) S 6224 6227 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27595065 1354305536 181165 33554432000 4194304 16246674 140734928045312 139746767514864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6227/tid=6229] ppid=6224 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6229/stat : 6229 (toysat) S 6224 6227 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27595065 1354305536 181167 33554432000 4194304 16246674 140734928045312 139746757025008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6227/tid=6230] ppid=6224 vsize=1322564 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6230/stat : 6230 (toysat) S 6224 6227 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27595065 1354305536 181169 33554432000 4194304 16246674 140734928045312 139746746551472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1322564

[startup+3.1004 s]
/proc/loadavg: 1.96 2.04 2.07 3/184 6231
/proc/meminfo: memFree=29008620/32872528 swapFree=526336/559040
[pid=6227] ppid=6224 vsize=1574468 CPUtime=3.09 cores=0,2,4,6
/proc/6227/stat : 6227 (toysat) R 6224 6227 28898 0 -1 4202496 334081 0 0 0 264 45 0 0 20 0 4 0 27595065 1612255232 334380 33554432000 4194304 16246674 140734928045312 140734928027200 13767184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6227/statm: 393617 334380 844 2943 0 390511 0
[pid=6227/tid=6228] ppid=6224 vsize=1574468 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6228/stat : 6228 (toysat) S 6224 6227 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27595065 1612255232 334380 33554432000 4194304 16246674 140734928045312 139746767514864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6227/tid=6229] ppid=6224 vsize=1574468 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6229/stat : 6229 (toysat) S 6224 6227 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27595065 1612255232 334380 33554432000 4194304 16246674 140734928045312 139746757025008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6227/tid=6230] ppid=6224 vsize=1574468 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6230/stat : 6230 (toysat) S 6224 6227 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27595065 1612255232 334380 33554432000 4194304 16246674 140734928045312 139746746551472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1574468

[startup+6.3004 s]
/proc/loadavg: 1.96 2.03 2.07 3/184 6231
/proc/meminfo: memFree=28834428/32872528 swapFree=526336/559040
[pid=6227] ppid=6224 vsize=1574468 CPUtime=6.29 cores=0,2,4,6
/proc/6227/stat : 6227 (toysat) R 6224 6227 28898 0 -1 4202496 334251 0 0 0 584 45 0 0 20 0 4 0 27595065 1612255232 334550 33554432000 4194304 16246674 140734928045312 140734928027200 13769608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6227/statm: 393617 334550 844 2943 0 390511 0
[pid=6227/tid=6228] ppid=6224 vsize=1574468 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6228/stat : 6228 (toysat) S 6224 6227 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27595065 1612255232 334550 33554432000 4194304 16246674 140734928045312 139746767514864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6227/tid=6229] ppid=6224 vsize=1574468 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6229/stat : 6229 (toysat) S 6224 6227 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27595065 1612255232 334550 33554432000 4194304 16246674 140734928045312 139746757025008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6227/tid=6230] ppid=6224 vsize=1574468 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6230/stat : 6230 (toysat) S 6224 6227 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27595065 1612255232 334550 33554432000 4194304 16246674 140734928045312 139746746551472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1574468

[startup+12.7004 s]
/proc/loadavg: 1.97 2.03 2.07 3/183 6231
/proc/meminfo: memFree=28203692/32872528 swapFree=526336/559040
[pid=6227] ppid=6224 vsize=2204228 CPUtime=12.68 cores=0,2,4,6
/proc/6227/stat : 6227 (toysat) R 6224 6227 28898 0 -1 4202496 491691 0 0 0 1200 68 0 0 20 0 4 0 27595065 2257129472 491990 33554432000 4194304 16246674 140734928045312 140734928044488 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6227/statm: 551057 491990 844 2943 0 547951 0
[pid=6227/tid=6228] ppid=6224 vsize=2204228 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6228/stat : 6228 (toysat) S 6224 6227 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27595065 2257129472 491990 33554432000 4194304 16246674 140734928045312 139746767514864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6227/tid=6229] ppid=6224 vsize=2204228 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6229/stat : 6229 (toysat) S 6224 6227 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27595065 2257129472 491990 33554432000 4194304 16246674 140734928045312 139746757025008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6227/tid=6230] ppid=6224 vsize=2204228 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6230/stat : 6230 (toysat) S 6224 6227 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27595065 2257129472 491990 33554432000 4194304 16246674 140734928045312 139746746551472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2204228

[startup+25.5073 s]
/proc/loadavg: 1.97 2.03 2.06 3/183 6231
/proc/meminfo: memFree=25930616/32872528 swapFree=526336/559040
[pid=6227] ppid=6224 vsize=4472388 CPUtime=25.49 cores=0,2,4,6
/proc/6227/stat : 6227 (toysat) R 6224 6227 28898 0 -1 4202496 1058733 0 0 0 2402 147 0 0 20 0 4 0 27595065 4579725312 1059287 33554432000 4194304 16246674 140734928045312 140734928044408 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6227/statm: 1118097 1059287 844 2943 0 1114991 0
[pid=6227/tid=6228] ppid=6224 vsize=4472388 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6228/stat : 6228 (toysat) S 6224 6227 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27595065 4579725312 1059287 33554432000 4194304 16246674 140734928045312 139746767514864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6227/tid=6229] ppid=6224 vsize=4472388 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6229/stat : 6229 (toysat) S 6224 6227 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27595065 4579725312 1059287 33554432000 4194304 16246674 140734928045312 139746757025008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6227/tid=6230] ppid=6224 vsize=4472388 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6230/stat : 6230 (toysat) S 6224 6227 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27595065 4579725312 1059287 33554432000 4194304 16246674 140734928045312 139746746551472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 4472388

[startup+51.1004 s]
/proc/loadavg: 1.98 2.03 2.06 3/183 6231
/proc/meminfo: memFree=21652884/32872528 swapFree=526336/559040
[pid=6227] ppid=6224 vsize=8741444 CPUtime=51.07 cores=0,2,4,6
/proc/6227/stat : 6227 (toysat) R 6224 6227 28898 0 -1 4202496 2125999 0 0 0 4819 288 0 0 20 0 4 0 27595065 8951238656 2126553 33554432000 4194304 16246674 140734928045312 140734928044488 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6227/statm: 2185361 2126553 844 2943 0 2182255 0
[pid=6227/tid=6228] ppid=6224 vsize=8741444 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6228/stat : 6228 (toysat) S 6224 6227 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27595065 8951238656 2126553 33554432000 4194304 16246674 140734928045312 139746767514864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6227/tid=6229] ppid=6224 vsize=8741444 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6229/stat : 6229 (toysat) S 6224 6227 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27595065 8951238656 2126553 33554432000 4194304 16246674 140734928045312 139746757025008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6227/tid=6230] ppid=6224 vsize=8741444 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6230/stat : 6230 (toysat) S 6224 6227 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27595065 8951238656 2126553 33554432000 4194304 16246674 140734928045312 139746746551472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 8741444

[startup+102.3 s]
/proc/loadavg: 2.03 2.04 2.06 3/182 6232
/proc/meminfo: memFree=17000384/32872528 swapFree=526336/559040
[pid=6227] ppid=6224 vsize=13385284 CPUtime=102.26 cores=0,2,4,6
/proc/6227/stat : 6227 (toysat) R 6224 6227 28898 0 -1 4202496 3286961 0 0 0 9772 454 0 0 20 0 4 0 27595065 13706530816 3287515 33554432000 4194304 16246674 140734928045312 140734928043264 13899632 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6227/statm: 3346321 3287515 845 2943 0 3343215 0
[pid=6227/tid=6228] ppid=6224 vsize=13385284 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6228/stat : 6228 (toysat) S 6224 6227 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27595065 13706530816 3287515 33554432000 4194304 16246674 140734928045312 139746767514864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6227/tid=6229] ppid=6224 vsize=13385284 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6229/stat : 6229 (toysat) S 6224 6227 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27595065 13706530816 3287515 33554432000 4194304 16246674 140734928045312 139746757024784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6227/tid=6230] ppid=6224 vsize=13385284 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6230/stat : 6230 (toysat) S 6224 6227 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27595065 13706530816 3287515 33554432000 4194304 16246674 140734928045312 139746746551472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 13385284

[startup+162.3 s]
/proc/loadavg: 2.05 2.04 2.06 3/183 6234
/proc/meminfo: memFree=14868392/32872528 swapFree=526336/559040
[pid=6227] ppid=6224 vsize=15670852 CPUtime=162.25 cores=0,2,4,6
/proc/6227/stat : 6227 (toysat) R 6224 6227 28898 0 -1 4202496 3858247 0 0 0 15678 547 0 0 20 0 4 0 27595065 16046952448 3858799 33554432000 4194304 16246674 140734928045312 140734928044408 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6227/statm: 3917713 3858806 849 2943 0 3914607 0
[pid=6227/tid=6228] ppid=6224 vsize=15670852 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6228/stat : 6228 (toysat) S 6224 6227 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27595065 16046952448 3858810 33554432000 4194304 16246674 140734928045312 139746767514864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6227/tid=6229] ppid=6224 vsize=15670852 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6229/stat : 6229 (toysat) S 6224 6227 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27595065 16046952448 3858815 33554432000 4194304 16246674 140734928045312 139746757025008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6227/tid=6230] ppid=6224 vsize=15670852 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6230/stat : 6230 (toysat) S 6224 6227 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27595065 16046952448 3858819 33554432000 4194304 16246674 140734928045312 139746746551472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 15670852



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+163.007 s]
/proc/loadavg: 2.05 2.04 2.06 3/183 6234
/proc/meminfo: memFree=14522292/32872528 swapFree=526336/559040
[pid=6227] ppid=6224 vsize=15892036 CPUtime=162.95 cores=0,2,4,6
/proc/6227/stat : 6227 (toysat) R 6224 6227 28898 0 -1 4202496 3913420 0 0 0 15739 556 0 0 20 0 4 0 27595065 16273444864 3913972 33554432000 4194304 16246674 140734928045312 140734928043136 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6227/statm: 3973009 3913972 849 2943 0 3969903 0
[pid=6227/tid=6228] ppid=6224 vsize=15892036 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6228/stat : 6228 (toysat) S 6224 6227 28898 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27595065 16273444864 3913972 33554432000 4194304 16246674 140734928045312 139746767514864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=6227/tid=6229] ppid=6224 vsize=15892036 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6229/stat : 6229 (toysat) S 6224 6227 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27595065 16273444864 3913976 33554432000 4194304 16246674 140734928045312 139746757025008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=6227/tid=6230] ppid=6224 vsize=15892036 CPUtime=0 cores=0,2,4,6
/proc/6227/task/6230/stat : 6230 (toysat) S 6224 6227 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27595065 16273444864 3913980 33554432000 4194304 16246674 140734928045312 139746746551472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.95
Current children cumulated vsize (KiB) 15892036

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

[startup+163.3 s]
/proc/loadavg: 2.05 2.04 2.06 3/183 6234
/proc/meminfo: memFree=14522292/32872528 swapFree=526336/559040
[pid=6227] ppid=6224 vsize=0 CPUtime=163.24 cores=0,2,4,6
/proc/6227/stat : 6227 (toysat) Z 6224 6227 28898 0 -1 4203532 3913939 0 0 0 15739 585 0 0 20 0 2 0 27595065 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6227/statm: 0 0 0 0 0 0 0
[pid=6227/tid=6229] ppid=6224 vsize=0 CPUtime=0.27 cores=0,2,4,6
/proc/6227/task/6229/stat : 6229 (toysat) R 6224 6227 28898 0 -1 4203588 8 0 0 0 0 27 0 0 20 0 2 0 27595065 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 163.24
Current children cumulated vsize (KiB) 0

[startup+163.7 s]
/proc/loadavg: 2.05 2.04 2.06 3/183 6234
/proc/meminfo: memFree=14522292/32872528 swapFree=526336/559040
[pid=6227] ppid=6224 vsize=0 CPUtime=163.64 cores=0,2,4,6
/proc/6227/stat : 6227 (toysat) Z 6224 6227 28898 0 -1 4203532 3913939 0 0 0 15739 625 0 0 20 0 2 0 27595065 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6227/statm: 0 0 0 0 0 0 0
[pid=6227/tid=6229] ppid=6224 vsize=0 CPUtime=0.67 cores=0,2,4,6
/proc/6227/task/6229/stat : 6229 (toysat) R 6224 6227 28898 0 -1 4203588 8 0 0 0 0 67 0 0 20 0 2 0 27595065 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 163.64
Current children cumulated vsize (KiB) 0

[startup+163.8 s]
/proc/loadavg: 2.05 2.04 2.06 3/183 6234
/proc/meminfo: memFree=14522292/32872528 swapFree=526336/559040
[pid=6227] ppid=6224 vsize=0 CPUtime=163.74 cores=0,2,4,6
/proc/6227/stat : 6227 (toysat) Z 6224 6227 28898 0 -1 4203532 3913939 0 0 0 15739 635 0 0 20 0 2 0 27595065 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6227/statm: 0 0 0 0 0 0 0
[pid=6227/tid=6229] ppid=6224 vsize=0 CPUtime=0.77 cores=0,2,4,6
/proc/6227/task/6229/stat : 6229 (toysat) R 6224 6227 28898 0 -1 4203588 8 0 0 0 0 77 0 0 20 0 2 0 27595065 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 163.74
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 163.855
CPU time (s): 163.792
CPU user time (s): 157.397
CPU system time (s): 6.39503
CPU usage (%): 99.9617
Max. virtual memory (cumulated for all children) (KiB): 15892036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 157.397
system time used= 6.39503
maximum resident set size= 15657964
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3913939
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= 79
involuntary context switches= 188

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.542917 second user time and 0.91686 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-18 15:10:49
IDJOB=4105697
IDBENCH=2981
IDSOLVER=2542
FILE ID=node106/4105697-1466255449
RUNJOBID= node106-1466241787-28914
PBS_JOBID= 19918214
Free space on /tmp= 71684 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=140-sizeP=71-sizeQ=140-318609522.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105697-1466255449/watcher-4105697-1466255449 -o /tmp/evaluation-result-4105697-1466255449/solver-4105697-1466255449 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105697-1466255449.opb

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

MD5SUM BENCH= 7cd4640a7754cffece48a57d4d3f4a4f
RANDOM SEED=432600868

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30172372 kB
Buffers:          101392 kB
Cached:           218760 kB
SwapCached:         1868 kB
Active:          1168368 kB
Inactive:         226144 kB
Active(anon):    1073200 kB
Inactive(anon):     3048 kB
Active(file):      95168 kB
Inactive(file):   223096 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             17492 kB
Writeback:             0 kB
AnonPages:       1631784 kB
Mapped:            10420 kB
Shmem:                 0 kB
Slab:             612172 kB
SReclaimable:      56024 kB
SUnreclaim:       556148 kB
KernelStack:        1528 kB
PageTables:         7340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1777172 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1099776 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= 71668 MiB
End job on node106 at 2016-06-18 15:13:33