Trace number 4105741

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) 156.581 156.637

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=300-sizeP=151-sizeQ=300-346995195-max.opb
MD5SUM7d90035947bf106909c324d346feadc0
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables45751
Total number of constraints135901
Number of constraints which are clauses135900
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 constraint45300
Number of terms in the objective function 151
Biggest coefficient in the objective function 1427247692705959881058285969449495136382746624
Number of bits for the biggest coefficient in the objective function 151
Sum of the numbers in the objective function 2854495385411919762116571938898990272765493247
Number of bits of the sum of numbers in the objective function 151
Biggest number in a constraint 1453677448591213781098647615776009068707282721374636120562980398361278576226795846652382101427527131121525043212532355867069203257229312
Number of bits of the biggest number in a constraint 450
Biggest sum of numbers in a constraint 5814709794364855124394590463104036274829130884442601547409146523709370688892119900517445885328649663330068882186640259952495850427021820
Number of bits of the biggest sum of numbers451
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:19:34+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-4105741-1466255974.opb"]
0.00/0.01	c use --random-gen="2903642470 2621290469 962647294 3718502442 844983804 3605158318 2373810366 2727451259 2345267944 2140534374 1960372500 309209849 3061353610 3825587376 3912722129 701646709 2888235341 3959102215 3184568838 2604764294 238831883 1754013498 311823974 2309920459 3202951464 2806824494 1213952558 2103284201 579060542 4128960728 3550151555 2921034771 565688007 3500572816 2898740961 2323739081 1063553680 4254985564 4017336469 198304214 75720913 4253713752 1739779505 2838739148 258880036 543404029 537205571 3388496984 1031674173 269223265 3703622583 2429960961 1590007643 553027671 4235368770 3419767186 3653056824 2684962372 270349391 1413707457 1617794275 266922210 2135279887 1658384413 4254376465 3019410569 1407576914 2729326399 1412534214 2757081564 3384543950 99652041 3003510787 309855491 1962259757 3523558744 2558327801 986678043 1299190817 2075631115 1751329287 1341442160 3563760303 2756002653 70286325 760505862 288084671 3226654128 2277473889 2190238766 413871134 3504778818 2330506303 2275728125 2916114395 3429348839 1158180609 2485285362 3965343831 1971062529 4096883722 1268357708 793855459 3260905763 625753413 3161221178 1543209105 1549660827 1403998392 775895229 803506363 2844676638 315028969 2368481822 4187286886 199988929 2685224740 2383115461 2398677479 3700004790 2032770836 1741160201 2883130156 969099216 2595129838 616596202 4009872727 2506196843 2237030111 746682008 3737580059 1537317515 2468938371 3524064813 3611810182 2397273341 3960617105 1349231531 567562961 1915410577 1964721587 3181398200 1864893043 1851288501 3879253760 1908107485 3099397722 1150124352 380275817 1591618430 2309004479 1552079527 4212041261 347662784 1402605151 3675393643 3674015729 843168835 1177237101 345117940 272750619 2590555935 377992740 1664464453 3899541942 658777284 3331316286 3968774423 3602590594 4223377641 841351494 3381874941 2284969068 2910725711 127141484 1934011344 643371881 4268303747 1310682487 1673311167 2318350745 1381310085 1144837539 1676621660 542950386 3908171792 2280542272 813636898 1985495179 1423810808 2104541768 338395688 821383744 1121750837 884603932 2139712401 2558109503 2712088469 2032792533 2318235067 2931937226 3376285092 3170973594 3656458860 3641167880 217544237 1578499737 3726707397 3214424767 799336838 282968636 3969372957 3049090836 1603316711 254832955 3147692177 816077824 724760315 3431023020 3152937558 1793317803 3760066586 2358372193 1735954180 986027867 2796976936 4244800624 1105712569 510839961 3482910664 1962043478 2082079879 3411280888 4004697181 179521830 3475660512 1394810054 1253382372 285041102 799561941 426672046 1649419932 2446812849 3685190943 801709176 1492234463 914103825 3077914982 1102382821 3643488441 2851977511 1931948224 3195250492 3129452175 1555537290 2778749673 255 362436" option to reproduce the execution
0.89/0.99	c #vars 45751
0.89/0.99	c #constraints 135901

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-4105741-1466255974/watcher-4105741-1466255974 -o /tmp/evaluation-result-4105741-1466255974/solver-4105741-1466255974 -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-4105741-1466255974.opb 

pid=6476
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: 2.17 2.07 2.06 3/179 6479
/proc/meminfo: memFree=22437264/32872528 swapFree=526336/559040
[pid=6479] ppid=6476 vsize=508348 CPUtime=0 cores=0,2,4,6
/proc/6479/stat : 6479 (toysat) R 6476 6479 28898 0 -1 4202496 1857 0 0 0 0 0 0 0 20 0 4 0 27647551 520548352 2729 33554432000 4194304 16246674 140733911270432 140733911269856 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6479/statm: 127855 2739 441 2943 0 124749 0
[pid=6479/tid=6480] ppid=6476 vsize=552380 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6480/stat : 6480 (toysat) S 6476 6479 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27647552 565637120 2901 33554432000 4194304 16246674 140733911270432 140422158462192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6479/tid=6481] ppid=6476 vsize=556476 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6481/stat : 6481 (toysat) S 6476 6479 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27647552 569831424 2918 33554432000 4194304 16246674 140733911270432 140422076673264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6479/tid=6482] ppid=6476 vsize=561596 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6482/stat : 6482 (toysat) S 6476 6479 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27647552 575074304 2936 33554432000 4194304 16246674 140733911270432 140422066199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.17 2.07 2.06 3/179 6479
/proc/meminfo: memFree=22437264/32872528 swapFree=526336/559040
[pid=6479] ppid=6476 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/6479/stat : 6479 (toysat) R 6476 6479 28898 0 -1 4202496 26814 0 0 0 6 3 0 0 20 0 4 0 27647551 1332285440 27625 33554432000 4194304 16246674 140733911270432 140733911269744 8058197 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6479/statm: 325265 27639 800 2943 0 322159 0
[pid=6479/tid=6480] ppid=6476 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6480/stat : 6480 (toysat) S 6476 6479 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27647552 1332285440 27650 33554432000 4194304 16246674 140733911270432 140422158462192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6479/tid=6481] ppid=6476 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6481/stat : 6481 (toysat) S 6476 6479 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27647552 1332285440 27661 33554432000 4194304 16246674 140733911270432 140422076673264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6479/tid=6482] ppid=6476 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6482/stat : 6482 (toysat) S 6476 6479 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27647552 1332285440 27671 33554432000 4194304 16246674 140733911270432 140422066199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200535 s]
/proc/loadavg: 2.17 2.07 2.06 3/179 6479
/proc/meminfo: memFree=22437264/32872528 swapFree=526336/559040
[pid=6479] ppid=6476 vsize=1311300 CPUtime=0.19 cores=0,2,4,6
/proc/6479/stat : 6479 (toysat) R 6476 6479 28898 0 -1 4202496 49380 0 0 0 13 6 0 0 20 0 4 0 27647551 1342771200 50702 33554432000 4194304 16246674 140733911270432 140733911269528 4221105 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6479/statm: 327825 50709 800 2943 0 324719 0
[pid=6479/tid=6480] ppid=6476 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6480/stat : 6480 (toysat) S 6476 6479 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27647552 1342771200 50712 33554432000 4194304 16246674 140733911270432 140422158462192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6479/tid=6481] ppid=6476 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6481/stat : 6481 (toysat) S 6476 6479 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27647552 1342771200 50717 33554432000 4194304 16246674 140733911270432 140422076673264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6479/tid=6482] ppid=6476 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6482/stat : 6482 (toysat) S 6476 6479 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27647552 1342771200 50721 33554432000 4194304 16246674 140733911270432 140422066199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300533 s]
/proc/loadavg: 2.17 2.07 2.06 3/179 6479
/proc/meminfo: memFree=22437264/32872528 swapFree=526336/559040
[pid=6479] ppid=6476 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/6479/stat : 6479 (toysat) R 6476 6479 28898 0 -1 4202496 61484 0 0 0 21 8 0 0 20 0 4 0 27647551 1345916928 62805 33554432000 4194304 16246674 140733911270432 140733911269528 4220552 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6479/statm: 328593 62805 800 2943 0 325487 0
[pid=6479/tid=6480] ppid=6476 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6480/stat : 6480 (toysat) S 6476 6479 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27647552 1345916928 62805 33554432000 4194304 16246674 140733911270432 140422158462192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6479/tid=6481] ppid=6476 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6481/stat : 6481 (toysat) S 6476 6479 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27647552 1345916928 62805 33554432000 4194304 16246674 140733911270432 140422076673264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6479/tid=6482] ppid=6476 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6482/stat : 6482 (toysat) S 6476 6479 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27647552 1345916928 62805 33554432000 4194304 16246674 140733911270432 140422066199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700416 s]
/proc/loadavg: 2.17 2.07 2.06 3/179 6479
/proc/meminfo: memFree=22437264/32872528 swapFree=526336/559040
[pid=6479] ppid=6476 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/6479/stat : 6479 (toysat) R 6476 6479 28898 0 -1 4202496 70699 0 0 0 60 9 0 0 20 0 4 0 27647551 1345916928 72020 33554432000 4194304 16246674 140733911270432 140733911269528 7377576 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6479/statm: 328593 72020 800 2943 0 325487 0
[pid=6479/tid=6480] ppid=6476 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6480/stat : 6480 (toysat) S 6476 6479 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27647552 1345916928 72020 33554432000 4194304 16246674 140733911270432 140422158462192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6479/tid=6481] ppid=6476 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6481/stat : 6481 (toysat) S 6476 6479 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27647552 1345916928 72020 33554432000 4194304 16246674 140733911270432 140422076673264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6479/tid=6482] ppid=6476 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6482/stat : 6482 (toysat) S 6476 6479 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27647552 1345916928 72020 33554432000 4194304 16246674 140733911270432 140422066199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.5004 s]
/proc/loadavg: 2.17 2.07 2.06 3/182 6483
/proc/meminfo: memFree=22137316/32872528 swapFree=526336/559040
[pid=6479] ppid=6476 vsize=1327684 CPUtime=1.49 cores=0,2,4,6
/proc/6479/stat : 6479 (toysat) R 6476 6479 28898 0 -1 4202496 142985 0 0 0 129 20 0 0 20 0 4 0 27647551 1359548416 146350 33554432000 4194304 16246674 140733911270432 140733911252352 5885249 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6479/statm: 331921 146358 835 2943 0 328815 0
[pid=6479/tid=6480] ppid=6476 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6480/stat : 6480 (toysat) S 6476 6479 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27647552 1359548416 146364 33554432000 4194304 16246674 140733911270432 140422158462192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6479/tid=6481] ppid=6476 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6481/stat : 6481 (toysat) S 6476 6479 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27647552 1359548416 146369 33554432000 4194304 16246674 140733911270432 140422076673264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6479/tid=6482] ppid=6476 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6482/stat : 6482 (toysat) S 6476 6479 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27647552 1359548416 146374 33554432000 4194304 16246674 140733911270432 140422066199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1327684

[startup+3.10042 s]
/proc/loadavg: 2.17 2.07 2.06 3/182 6483
/proc/meminfo: memFree=21356488/32872528 swapFree=526336/559040
[pid=6479] ppid=6476 vsize=1327684 CPUtime=3.08 cores=0,2,4,6
/proc/6479/stat : 6479 (toysat) R 6476 6479 28898 0 -1 4202496 269477 0 0 0 268 40 0 0 20 0 4 0 27647551 1359548416 273864 33554432000 4194304 16246674 140733911270432 140733911269744 4206964 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6479/statm: 331921 273864 837 2943 0 328815 0
[pid=6479/tid=6480] ppid=6476 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6480/stat : 6480 (toysat) S 6476 6479 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27647552 1359548416 273864 33554432000 4194304 16246674 140733911270432 140422158462192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6479/tid=6481] ppid=6476 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6481/stat : 6481 (toysat) S 6476 6479 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27647552 1359548416 273864 33554432000 4194304 16246674 140733911270432 140422076673264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6479/tid=6482] ppid=6476 vsize=1327684 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6482/stat : 6482 (toysat) S 6476 6479 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27647552 1359548416 273864 33554432000 4194304 16246674 140733911270432 140422066199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1327684

[startup+6.30041 s]
/proc/loadavg: 2.15 2.07 2.06 3/183 6484
/proc/meminfo: memFree=21102656/32872528 swapFree=526336/559040
[pid=6479] ppid=6476 vsize=1568324 CPUtime=6.29 cores=0,2,4,6
/proc/6479/stat : 6479 (toysat) R 6476 6479 28898 0 -1 4202496 329555 0 0 0 580 49 0 0 20 0 4 0 27647551 1605963776 333942 33554432000 4194304 16246674 140733911270432 140733911252352 13767184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6479/statm: 392081 333942 847 2943 0 388975 0
[pid=6479/tid=6480] ppid=6476 vsize=1568324 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6480/stat : 6480 (toysat) S 6476 6479 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27647552 1605963776 333942 33554432000 4194304 16246674 140733911270432 140422158462192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6479/tid=6481] ppid=6476 vsize=1568324 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6481/stat : 6481 (toysat) S 6476 6479 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27647552 1605963776 333942 33554432000 4194304 16246674 140733911270432 140422076673264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6479/tid=6482] ppid=6476 vsize=1568324 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6482/stat : 6482 (toysat) S 6476 6479 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27647552 1605963776 333942 33554432000 4194304 16246674 140733911270432 140422066199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1568324

[startup+12.7004 s]
/proc/loadavg: 2.14 2.07 2.06 3/183 6484
/proc/meminfo: memFree=17218192/32872528 swapFree=526336/559040
[pid=6479] ppid=6476 vsize=1939012 CPUtime=12.69 cores=0,2,4,6
/proc/6479/stat : 6479 (toysat) R 6476 6479 28898 0 -1 4202496 422092 0 0 0 1206 63 0 0 20 0 4 0 27647551 1985548288 426480 33554432000 4194304 16246674 140733911270432 140733911269528 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6479/statm: 484753 426488 847 2943 0 481647 0
[pid=6479/tid=6480] ppid=6476 vsize=1939012 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6480/stat : 6480 (toysat) S 6476 6479 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27647552 1985548288 426492 33554432000 4194304 16246674 140733911270432 140422158462192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6479/tid=6481] ppid=6476 vsize=1939012 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6481/stat : 6481 (toysat) S 6476 6479 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27647552 1985548288 426497 33554432000 4194304 16246674 140733911270432 140422076673040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6479/tid=6482] ppid=6476 vsize=1939012 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6482/stat : 6482 (toysat) S 6476 6479 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27647552 1985548288 426501 33554432000 4194304 16246674 140733911270432 140422066199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1939012

[startup+25.5005 s]
/proc/loadavg: 2.11 2.07 2.06 3/183 6484
/proc/meminfo: memFree=14363948/32872528 swapFree=526336/559040
[pid=6479] ppid=6476 vsize=3984964 CPUtime=25.49 cores=0,2,4,6
/proc/6479/stat : 6479 (toysat) R 6476 6479 28898 0 -1 4202496 933809 0 0 0 2419 130 0 0 20 0 4 0 27647551 4080603136 938196 33554432000 4194304 16246674 140733911270432 140733911269608 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6479/statm: 996241 938196 847 2943 0 993135 0
[pid=6479/tid=6480] ppid=6476 vsize=3984964 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6480/stat : 6480 (toysat) S 6476 6479 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27647552 4080603136 938196 33554432000 4194304 16246674 140733911270432 140422158462192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6479/tid=6481] ppid=6476 vsize=3984964 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6481/stat : 6481 (toysat) S 6476 6479 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27647552 4080603136 938196 33554432000 4194304 16246674 140733911270432 140422076673264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6479/tid=6482] ppid=6476 vsize=3984964 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6482/stat : 6482 (toysat) S 6476 6479 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27647552 4080603136 938196 33554432000 4194304 16246674 140733911270432 140422066199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3984964

[startup+51.1005 s]
/proc/loadavg: 2.07 2.06 2.05 3/184 6487
/proc/meminfo: memFree=9212796/32872528 swapFree=526336/559040
[pid=6479] ppid=6476 vsize=9125444 CPUtime=51.08 cores=0,2,4,6
/proc/6479/stat : 6479 (toysat) R 6476 6479 28898 0 -1 4202496 2218931 0 0 0 4802 306 0 0 20 0 4 0 27647551 9344454656 2223318 33554432000 4194304 16246674 140733911270432 140733911269528 13782402 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6479/statm: 2281361 2223318 847 2943 0 2278255 0
[pid=6479/tid=6480] ppid=6476 vsize=9125444 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6480/stat : 6480 (toysat) S 6476 6479 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27647552 9344454656 2223318 33554432000 4194304 16246674 140733911270432 140422158462192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6479/tid=6481] ppid=6476 vsize=9125444 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6481/stat : 6481 (toysat) S 6476 6479 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27647552 9344454656 2223318 33554432000 4194304 16246674 140733911270432 140422076673264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6479/tid=6482] ppid=6476 vsize=9125444 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6482/stat : 6482 (toysat) S 6476 6479 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27647552 9344454656 2223318 33554432000 4194304 16246674 140733911270432 140422066199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9125444

[startup+102.301 s]
/proc/loadavg: 2.03 2.05 2.05 3/183 6537
/proc/meminfo: memFree=15905640/32872528 swapFree=526336/559040
[pid=6479] ppid=6476 vsize=12944964 CPUtime=102.28 cores=0,2,4,6
/proc/6479/stat : 6479 (toysat) R 6476 6479 28898 0 -1 4202496 3173817 0 0 0 9785 443 0 0 20 0 4 0 27647551 13255643136 3178204 33554432000 4194304 16246674 140733911270432 140733911268352 14014083 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6479/statm: 3236241 3178204 852 2943 0 3233135 0
[pid=6479/tid=6480] ppid=6476 vsize=12944964 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6480/stat : 6480 (toysat) S 6476 6479 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27647552 13255643136 3178204 33554432000 4194304 16246674 140733911270432 140422158462192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6479/tid=6481] ppid=6476 vsize=12944964 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6481/stat : 6481 (toysat) S 6476 6479 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27647552 13255643136 3178204 33554432000 4194304 16246674 140733911270432 140422076673040 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6479/tid=6482] ppid=6476 vsize=12944964 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6482/stat : 6482 (toysat) S 6476 6479 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27647552 13255643136 3178204 33554432000 4194304 16246674 140733911270432 140422066199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 12944964



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+155.6 s]
/proc/loadavg: 2.01 2.04 2.04 3/183 6538
/proc/meminfo: memFree=4167956/32872528 swapFree=526336/559040
[pid=6479] ppid=6476 vsize=15882820 CPUtime=155.55 cores=0,2,4,6
/proc/6479/stat : 6479 (toysat) R 6476 6479 28898 0 -1 4202496 3908124 0 0 0 14999 556 0 0 20 0 4 0 27647551 16264007680 3912508 33554432000 4194304 16246674 140733911270432 140733911269608 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6479/statm: 3970705 3912514 852 2943 0 3967599 0
[pid=6479/tid=6480] ppid=6476 vsize=15882820 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6480/stat : 6480 (toysat) S 6476 6479 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27647552 16264007680 3912520 33554432000 4194304 16246674 140733911270432 140422158462192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6479/tid=6481] ppid=6476 vsize=15882820 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6481/stat : 6481 (toysat) S 6476 6479 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27647552 16264007680 3912525 33554432000 4194304 16246674 140733911270432 140422076673264 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6479/tid=6482] ppid=6476 vsize=15882820 CPUtime=0 cores=0,2,4,6
/proc/6479/task/6482/stat : 6482 (toysat) S 6476 6479 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27647552 16264007680 3912530 33554432000 4194304 16246674 140733911270432 140422066199728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 155.55
Current children cumulated vsize (KiB) 15882820

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

[startup+156 s]
/proc/loadavg: 2.01 2.04 2.04 3/183 6538
/proc/meminfo: memFree=4167956/32872528 swapFree=526336/559040
[pid=6479] ppid=6476 vsize=0 CPUtime=155.95 cores=0,2,4,6
/proc/6479/stat : 6479 (toysat) Z 6476 6479 28898 0 -1 4203532 3908497 0 0 0 15000 595 0 0 20 0 2 0 27647551 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6479/statm: 0 0 0 0 0 0 0
[pid=6479/tid=6481] ppid=6476 vsize=0 CPUtime=0.38 cores=0,2,4,6
/proc/6479/task/6481/stat : 6481 (toysat) R 6476 6479 28898 0 -1 4203588 7 0 0 0 0 38 0 0 20 0 2 0 27647552 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 155.95
Current children cumulated vsize (KiB) 0

[startup+156.4 s]
/proc/loadavg: 2.01 2.04 2.04 3/181 6538
/proc/meminfo: memFree=13096088/32872528 swapFree=526336/559040
[pid=6479] ppid=6476 vsize=0 CPUtime=156.35 cores=0,2,4,6
/proc/6479/stat : 6479 (toysat) Z 6476 6479 28898 0 -1 4203532 3908497 0 0 0 15000 635 0 0 20 0 2 0 27647551 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6479/statm: 0 0 0 0 0 0 0
[pid=6479/tid=6481] ppid=6476 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/6479/task/6481/stat : 6481 (toysat) R 6476 6479 28898 0 -1 4203588 7 0 0 0 0 78 0 0 20 0 2 0 27647552 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 156.35
Current children cumulated vsize (KiB) 0

[startup+156.6 s]
/proc/loadavg: 2.01 2.04 2.04 3/181 6538
/proc/meminfo: memFree=13096088/32872528 swapFree=526336/559040
[pid=6479] ppid=6476 vsize=0 CPUtime=156.55 cores=0,2,4,6
/proc/6479/stat : 6479 (toysat) Z 6476 6479 28898 0 -1 4203532 3908497 0 0 0 15000 655 0 0 20 0 2 0 27647551 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6479/statm: 0 0 0 0 0 0 0
[pid=6479/tid=6481] ppid=6476 vsize=0 CPUtime=0.98 cores=0,2,4,6
/proc/6479/task/6481/stat : 6481 (toysat) R 6476 6479 28898 0 -1 4203588 7 0 0 0 0 98 0 0 20 0 2 0 27647552 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 156.55
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 156.637
CPU time (s): 156.581
CPU user time (s): 149.999
CPU system time (s): 6.582
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (KiB): 15882820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 149.999
system time used= 6.582
maximum resident set size= 15651524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3908497
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= 73
involuntary context switches= 199

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.13683 second user time and 1.34879 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-18 15:19:34
IDJOB=4105741
IDBENCH=2996
IDSOLVER=2542
FILE ID=node106/4105741-1466255974
RUNJOBID= node106-1466241787-28914
PBS_JOBID= 19918214
Free space on /tmp= 71676 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=300-sizeP=151-sizeQ=300-346995195-max.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105741-1466255974/watcher-4105741-1466255974 -o /tmp/evaluation-result-4105741-1466255974/solver-4105741-1466255974 -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-4105741-1466255974.opb

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

MD5SUM BENCH= 7d90035947bf106909c324d346feadc0
RANDOM SEED=407525236

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:        22437976 kB
Buffers:          101992 kB
Cached:           229728 kB
SwapCached:         1868 kB
Active:          8884048 kB
Inactive:         228716 kB
Active(anon):    8780044 kB
Inactive(anon):     3048 kB
Active(file):     104004 kB
Inactive(file):   225668 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             23328 kB
Writeback:             0 kB
AnonPages:       9339008 kB
Mapped:            10488 kB
Shmem:                 0 kB
Slab:             612444 kB
SReclaimable:      56208 kB
SUnreclaim:       556236 kB
KernelStack:        1480 kB
PageTables:        22020 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    9482772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     36864 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= 71664 MiB
End job on node106 at 2016-06-18 15:22:11