Trace number 4105785

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) 195.346 195.391

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=400-sizeP=201-sizeQ=400-517735400.opb
MD5SUM33f790680e3647223b55f80e5f90d59e
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 benchmark5.2522
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 variables81001
Total number of constraints241201
Number of constraints which are clauses241200
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 constraint80400
Number of terms in the objective function 201
Biggest coefficient in the objective function 1606938044258990275541962092341162602522202993782792835301376
Number of bits for the biggest coefficient in the objective function 201
Sum of the numbers in the objective function 3213876088517980551083924184682325205044405987565585670602751
Number of bits of the sum of numbers in the objective function 201
Biggest number in a constraint 2074757784440496479256203931845580575506223116121218449997828664845326405706454073199853524473551897144098943305650394591197575537705887653943437417056981843530590901700754761842688
Number of bits of the biggest number in a constraint 600
Biggest sum of numbers in a constraint 8299031137761985917024815727382322302024892464484873799991313498100123611208949766753886495932953416094301423590956938717964645268420282271424527841217460028761689119972815147010025
Number of bits of the biggest sum of numbers601
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:26:13+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-4105785-1466256373.opb"]
0.00/0.01	c use --random-gen="4111278496 3397445872 4264145825 2248398230 2669146001 1296192842 3776815928 701959666 2798417008 3331453303 1040208020 1570251556 803829779 3951322675 4206517969 1351769614 403835548 89876357 3778418631 1262166695 1884964477 1914176075 2787233953 3201367366 1498602242 4255594497 2809641786 120701111 3359096650 2203818112 3772584193 570222774 2695590723 310617862 1890445894 4092048775 3079915352 3726057347 3658723204 1849877038 3947203465 1383471606 1494043650 725834298 4020104856 1360352704 615486406 45620925 3399395784 3114651443 1133777980 1868850998 2341058059 4178636344 1746875665 231110141 4181218985 4175680168 1381813442 2757382589 2127713659 4215266277 622220906 3275785790 687713155 459410049 614394816 1192571282 3763818253 776403763 191355208 1445216249 2734771495 2358368432 2426316481 726864634 3462047956 577896659 457917021 3376493374 316520474 3966618061 664709100 3681057508 19172971 773187476 1402756584 344697972 584368361 3153252820 2892723874 4293377000 1023349403 189041694 1109386799 2536956767 3840739365 4183093739 420144977 928352596 1180334510 2031305887 3922117185 3321213723 2496415914 2505865854 2656858191 3699296156 4195509034 2336108197 4032698142 146037358 2754971108 195829491 3241693969 2527719903 3358542663 1461474924 3503100926 2103589142 1925540053 1862209252 2685767676 1560427602 3634555632 1964333968 1702355222 3352575367 2050337000 766673644 243227744 2298766527 465911669 1502540973 1424057148 1884435610 3666503509 1529279872 682675577 3936723043 3535205146 999984466 258281814 3235223423 3228888714 787156202 2210154618 502407487 3315422775 674577617 2400902430 2714656135 501451232 2238556471 966996846 49041053 3824294050 4107235656 2735082736 895450383 730458692 1744803392 1840593643 3897412733 3246036959 2646818984 4039324299 76025332 1937371659 2276722684 741431855 52972538 3095316332 1985516041 2643146622 2522951065 731063812 2202879440 2103742369 2807695685 661278078 1230471472 4230752563 1204865899 760167724 451195427 2930513047 121523340 1419946935 505900680 261642601 3944753203 2191879530 2042159988 1510928603 2171351806 1071967334 3082323253 900739046 1999579491 2457090030 2701441817 883206688 4073316857 400347235 2768291098 2009662712 658765483 2682913530 1386656605 1573213064 48322505 1974379301 2151379844 3441750346 793953171 17471316 521487688 3189108480 2407083690 422620732 4248556790 457155994 3984339868 1236811491 560868824 3230879360 3689834592 3422155584 3862266957 4012729610 268446739 2913264377 3376197436 1803396173 3889083902 796903896 2396710796 1175300101 138971327 238700551 2853189179 3786928328 4151337702 3440569103 631872104 2026622540 3500501 1909256222 3506465034 1942695790 4066817320 548204647 3379476558 3915684028 707060554 255 362436" option to reproduce the execution
1.78/1.82	c #vars 81001
1.78/1.82	c #constraints 241201

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

pid=24870
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.05 2.04 2.00 3/179 24873
/proc/meminfo: memFree=30530488/32872528 swapFree=163656/177964
[pid=24873] ppid=24870 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/24873/stat : 24873 (toysat) R 24870 24873 20760 0 -1 4202496 773 0 0 0 0 0 0 0 20 0 4 0 27687272 246870016 1645 33554432000 4194304 16246674 140735433163168 140735433162592 13159426 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/24873/statm: 60271 1649 426 2943 0 57165 0
[pid=24873/tid=24874] ppid=24870 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24874/stat : 24874 (toysat) S 24870 24873 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27687272 246870016 1674 33554432000 4194304 16246674 140735433163168 139859702295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24873/tid=24875] ppid=24870 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24875/stat : 24875 (toysat) S 24870 24873 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27687272 246870016 1686 33554432000 4194304 16246674 140735433163168 139859691805936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24873/tid=24876] ppid=24870 vsize=245180 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24876/stat : 24876 (toysat) S 24870 24873 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27687272 251064320 1699 33554432000 4194304 16246674 140735433163168 139859570191536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.05 2.04 2.00 3/179 24873
/proc/meminfo: memFree=30530488/32872528 swapFree=163656/177964
[pid=24873] ppid=24870 vsize=1278532 CPUtime=0.08 cores=0,2,4,6
/proc/24873/stat : 24873 (toysat) R 24870 24873 20760 0 -1 4202496 23195 0 0 0 5 3 0 0 20 0 4 0 27687272 1309216768 24005 33554432000 4194304 16246674 140735433163168 140735433162384 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24873/statm: 320913 24022 800 2943 0 317807 0
[pid=24873/tid=24874] ppid=24870 vsize=1286724 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24874/stat : 24874 (toysat) S 24870 24873 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27687272 1317605376 24034 33554432000 4194304 16246674 140735433163168 139859702295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24873/tid=24875] ppid=24870 vsize=1289796 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24875/stat : 24875 (toysat) S 24870 24873 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27687272 1320751104 24048 33554432000 4194304 16246674 140735433163168 139859691805936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24873/tid=24876] ppid=24870 vsize=1293892 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24876/stat : 24876 (toysat) S 24870 24873 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27687272 1324945408 24062 33554432000 4194304 16246674 140735433163168 139859570191536 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) 1278532

[startup+0.200493 s]
/proc/loadavg: 2.05 2.04 2.00 3/179 24873
/proc/meminfo: memFree=30530488/32872528 swapFree=163656/177964
[pid=24873] ppid=24870 vsize=1313348 CPUtime=0.18 cores=0,2,4,6
/proc/24873/stat : 24873 (toysat) R 24870 24873 20760 0 -1 4202496 46869 0 0 0 12 6 0 0 20 0 4 0 27687272 1344868352 48191 33554432000 4194304 16246674 140735433163168 140735433162384 4223718 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24873/statm: 328337 48198 801 2943 0 325231 0
[pid=24873/tid=24874] ppid=24870 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24874/stat : 24874 (toysat) S 24870 24873 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27687272 1344868352 48202 33554432000 4194304 16246674 140735433163168 139859702295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24873/tid=24875] ppid=24870 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24875/stat : 24875 (toysat) S 24870 24873 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27687272 1344868352 48206 33554432000 4194304 16246674 140735433163168 139859691805936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24873/tid=24876] ppid=24870 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24876/stat : 24876 (toysat) S 24870 24873 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27687272 1344868352 48210 33554432000 4194304 16246674 140735433163168 139859570191536 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) 1313348

[startup+0.300512 s]
/proc/loadavg: 2.05 2.04 2.00 3/179 24873
/proc/meminfo: memFree=30530488/32872528 swapFree=163656/177964
[pid=24873] ppid=24870 vsize=1313348 CPUtime=0.28 cores=0,2,4,6
/proc/24873/stat : 24873 (toysat) R 24870 24873 20760 0 -1 4202496 61252 0 0 0 20 8 0 0 20 0 4 0 27687272 1344868352 62573 33554432000 4194304 16246674 140735433163168 140735433162384 4220807 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24873/statm: 328337 62573 801 2943 0 325231 0
[pid=24873/tid=24874] ppid=24870 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24874/stat : 24874 (toysat) S 24870 24873 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27687272 1344868352 62573 33554432000 4194304 16246674 140735433163168 139859702295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24873/tid=24875] ppid=24870 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24875/stat : 24875 (toysat) S 24870 24873 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27687272 1344868352 62573 33554432000 4194304 16246674 140735433163168 139859691805936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24873/tid=24876] ppid=24870 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24876/stat : 24876 (toysat) S 24870 24873 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27687272 1344868352 62573 33554432000 4194304 16246674 140735433163168 139859570191536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.700406 s]
/proc/loadavg: 2.05 2.04 2.00 3/179 24873
/proc/meminfo: memFree=30530488/32872528 swapFree=163656/177964
[pid=24873] ppid=24870 vsize=1313348 CPUtime=0.68 cores=0,2,4,6
/proc/24873/stat : 24873 (toysat) R 24870 24873 20760 0 -1 4202496 68591 0 0 0 59 9 0 0 20 0 4 0 27687272 1344868352 69912 33554432000 4194304 16246674 140735433163168 140735433162384 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24873/statm: 328337 69912 801 2943 0 325231 0
[pid=24873/tid=24874] ppid=24870 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24874/stat : 24874 (toysat) S 24870 24873 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27687272 1344868352 69912 33554432000 4194304 16246674 140735433163168 139859702295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24873/tid=24875] ppid=24870 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24875/stat : 24875 (toysat) S 24870 24873 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27687272 1344868352 69912 33554432000 4194304 16246674 140735433163168 139859691805936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24873/tid=24876] ppid=24870 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24876/stat : 24876 (toysat) S 24870 24873 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27687272 1344868352 69912 33554432000 4194304 16246674 140735433163168 139859570191536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.50039 s]
/proc/loadavg: 2.05 2.04 2.00 3/183 24877
/proc/meminfo: memFree=30100852/32872528 swapFree=163656/177964
[pid=24873] ppid=24870 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/24873/stat : 24873 (toysat) R 24870 24873 20760 0 -1 4202496 80825 0 0 0 138 11 0 0 20 0 4 0 27687272 1344868352 82146 33554432000 4194304 16246674 140735433163168 140735433146160 7439750 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24873/statm: 328337 82146 802 2943 0 325231 0
[pid=24873/tid=24874] ppid=24870 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24874/stat : 24874 (toysat) S 24870 24873 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27687272 1344868352 82146 33554432000 4194304 16246674 140735433163168 139859702295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24873/tid=24875] ppid=24870 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24875/stat : 24875 (toysat) S 24870 24873 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27687272 1344868352 82146 33554432000 4194304 16246674 140735433163168 139859691805936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24873/tid=24876] ppid=24870 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24876/stat : 24876 (toysat) S 24870 24873 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27687272 1344868352 82146 33554432000 4194304 16246674 140735433163168 139859570191536 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) 1313348

[startup+3.10045 s]
/proc/loadavg: 2.05 2.04 2.00 3/183 24877
/proc/meminfo: memFree=29791288/32872528 swapFree=163656/177964
[pid=24873] ppid=24870 vsize=1344068 CPUtime=3.09 cores=0,2,4,6
/proc/24873/stat : 24873 (toysat) R 24870 24873 20760 0 -1 4202496 270492 0 0 0 268 41 0 0 20 0 4 0 27687272 1376325632 275390 33554432000 4194304 16246674 140735433163168 140735433145088 4221570 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24873/statm: 336017 275390 835 2943 0 332911 0
[pid=24873/tid=24874] ppid=24870 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24874/stat : 24874 (toysat) S 24870 24873 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27687272 1376325632 275390 33554432000 4194304 16246674 140735433163168 139859702295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24873/tid=24875] ppid=24870 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24875/stat : 24875 (toysat) S 24870 24873 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27687272 1376325632 275390 33554432000 4194304 16246674 140735433163168 139859691805936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24873/tid=24876] ppid=24870 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24876/stat : 24876 (toysat) S 24870 24873 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27687272 1376325632 275390 33554432000 4194304 16246674 140735433163168 139859570191536 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) 1344068

[startup+6.30039 s]
/proc/loadavg: 2.05 2.04 2.00 3/182 24877
/proc/meminfo: memFree=28864956/32872528 swapFree=163656/177964
[pid=24873] ppid=24870 vsize=1351236 CPUtime=6.28 cores=0,2,4,6
/proc/24873/stat : 24873 (toysat) R 24870 24873 20760 0 -1 4202496 272309 0 0 0 587 41 0 0 20 0 4 0 27687272 1383665664 279762 33554432000 4194304 16246674 140735433163168 140735433145088 12483933 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24873/statm: 337809 279762 847 2943 0 334703 0
[pid=24873/tid=24874] ppid=24870 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24874/stat : 24874 (toysat) S 24870 24873 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27687272 1383665664 279762 33554432000 4194304 16246674 140735433163168 139859702295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24873/tid=24875] ppid=24870 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24875/stat : 24875 (toysat) S 24870 24873 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27687272 1383665664 279762 33554432000 4194304 16246674 140735433163168 139859691805936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24873/tid=24876] ppid=24870 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24876/stat : 24876 (toysat) S 24870 24873 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27687272 1383665664 279762 33554432000 4194304 16246674 140735433163168 139859570191536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1351236

[startup+12.7004 s]
/proc/loadavg: 2.05 2.04 2.00 3/183 24878
/proc/meminfo: memFree=26924504/32872528 swapFree=163656/177964
[pid=24873] ppid=24870 vsize=2284100 CPUtime=12.68 cores=0,2,4,6
/proc/24873/stat : 24873 (toysat) R 24870 24873 20760 0 -1 4202496 505527 0 0 0 1196 72 0 0 20 0 4 0 27687272 2338918400 512980 33554432000 4194304 16246674 140735433163168 140735433145088 4220543 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24873/statm: 571025 512980 847 2943 0 567919 0
[pid=24873/tid=24874] ppid=24870 vsize=2284100 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24874/stat : 24874 (toysat) S 24870 24873 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27687272 2338918400 512980 33554432000 4194304 16246674 140735433163168 139859702295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24873/tid=24875] ppid=24870 vsize=2284100 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24875/stat : 24875 (toysat) S 24870 24873 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27687272 2338918400 512980 33554432000 4194304 16246674 140735433163168 139859691805936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24873/tid=24876] ppid=24870 vsize=2284100 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24876/stat : 24876 (toysat) S 24870 24873 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27687272 2338918400 512980 33554432000 4194304 16246674 140735433163168 139859570191536 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) 2284100

[startup+25.5004 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 24878
/proc/meminfo: memFree=22497104/32872528 swapFree=163656/177964
[pid=24873] ppid=24870 vsize=4715076 CPUtime=25.48 cores=0,2,4,6
/proc/24873/stat : 24873 (toysat) R 24870 24873 20760 0 -1 4202496 1113113 0 0 0 2391 157 0 0 20 0 4 0 27687272 4828237824 1120566 33554432000 4194304 16246674 140735433163168 140735433161832 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24873/statm: 1178769 1120575 847 2943 0 1175663 0
[pid=24873/tid=24874] ppid=24870 vsize=4715076 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24874/stat : 24874 (toysat) S 24870 24873 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27687272 4828237824 1120580 33554432000 4194304 16246674 140735433163168 139859702295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24873/tid=24875] ppid=24870 vsize=4715076 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24875/stat : 24875 (toysat) S 24870 24873 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27687272 4828237824 1120585 33554432000 4194304 16246674 140735433163168 139859691805712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24873/tid=24876] ppid=24870 vsize=4715076 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24876/stat : 24876 (toysat) S 24870 24873 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27687272 4828237824 1120590 33554432000 4194304 16246674 140735433163168 139859570191536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 4715076

[startup+51.1005 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 24878
/proc/meminfo: memFree=14624176/32872528 swapFree=163656/177964
[pid=24873] ppid=24870 vsize=8642116 CPUtime=51.07 cores=0,2,4,6
/proc/24873/stat : 24873 (toysat) R 24870 24873 20760 0 -1 4202496 2095029 0 0 0 4820 287 0 0 20 0 4 0 27687272 8849526784 2102482 33554432000 4194304 16246674 140735433163168 140735433161832 4221799 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24873/statm: 2160785 2102494 847 2943 0 2157679 0
[pid=24873/tid=24874] ppid=24870 vsize=8643140 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24874/stat : 24874 (toysat) S 24870 24873 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27687272 8850575360 2102499 33554432000 4194304 16246674 140735433163168 139859702295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24873/tid=24875] ppid=24870 vsize=8643140 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24875/stat : 24875 (toysat) S 24870 24873 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27687272 8850575360 2102505 33554432000 4194304 16246674 140735433163168 139859691805712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24873/tid=24876] ppid=24870 vsize=8643140 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24876/stat : 24876 (toysat) S 24870 24873 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27687272 8850575360 2102511 33554432000 4194304 16246674 140735433163168 139859570191536 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) 8642116

[startup+102.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 24879
/proc/meminfo: memFree=7670236/32872528 swapFree=163656/177964
[pid=24873] ppid=24870 vsize=11263556 CPUtime=102.28 cores=0,2,4,6
/proc/24873/stat : 24873 (toysat) R 24870 24873 20760 0 -1 4202496 2750399 0 0 0 9852 376 0 0 20 0 4 0 27687272 11533881344 2757852 33554432000 4194304 16246674 140735433163168 140735433161088 14016631 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24873/statm: 2815889 2757852 852 2943 0 2812783 0
[pid=24873/tid=24874] ppid=24870 vsize=11263556 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24874/stat : 24874 (toysat) S 24870 24873 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27687272 11533881344 2757852 33554432000 4194304 16246674 140735433163168 139859702295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24873/tid=24875] ppid=24870 vsize=11263556 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24875/stat : 24875 (toysat) S 24870 24873 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27687272 11533881344 2757852 33554432000 4194304 16246674 140735433163168 139859691805712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24873/tid=24876] ppid=24870 vsize=11263556 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24876/stat : 24876 (toysat) S 24870 24873 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27687272 11533881344 2757852 33554432000 4194304 16246674 140735433163168 139859570191536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 11263556

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 24929
/proc/meminfo: memFree=14874556/32872528 swapFree=163656/177964
[pid=24873] ppid=24870 vsize=15493700 CPUtime=162.26 cores=0,2,4,6
/proc/24873/stat : 24873 (toysat) R 24870 24873 20760 0 -1 4202496 3750539 0 0 0 15702 524 0 0 20 0 4 0 27687272 15865548800 3815224 33554432000 4194304 16246674 140735433163168 140735433161088 14013920 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24873/statm: 3873425 3815224 852 2943 0 3870319 0
[pid=24873/tid=24874] ppid=24870 vsize=15493700 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24874/stat : 24874 (toysat) S 24870 24873 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27687272 15865548800 3815224 33554432000 4194304 16246674 140735433163168 139859702295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24873/tid=24875] ppid=24870 vsize=15493700 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24875/stat : 24875 (toysat) S 24870 24873 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27687272 15865548800 3815224 33554432000 4194304 16246674 140735433163168 139859691805712 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=24873/tid=24876] ppid=24870 vsize=15493700 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24876/stat : 24876 (toysat) S 24870 24873 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27687272 15865548800 3815224 33554432000 4194304 16246674 140735433163168 139859570191536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 15493700



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+194.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24929
/proc/meminfo: memFree=9768452/32872528 swapFree=163656/177964
[pid=24873] ppid=24870 vsize=15872580 CPUtime=194.36 cores=0,2,4,6
/proc/24873/stat : 24873 (toysat) R 24870 24873 20760 0 -1 4202496 3845208 0 0 0 18897 539 0 0 20 0 4 0 27687272 16253521920 3909895 33554432000 4194304 16246674 140735433163168 140735433162264 4226078 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24873/statm: 3968145 3909895 852 2943 0 3965039 0
[pid=24873/tid=24874] ppid=24870 vsize=15872580 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24874/stat : 24874 (toysat) S 24870 24873 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27687272 16253521920 3909895 33554432000 4194304 16246674 140735433163168 139859702295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=24873/tid=24875] ppid=24870 vsize=15872580 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24875/stat : 24875 (toysat) S 24870 24873 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27687272 16253521920 3909895 33554432000 4194304 16246674 140735433163168 139859691805936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=24873/tid=24876] ppid=24870 vsize=15872580 CPUtime=0 cores=0,2,4,6
/proc/24873/task/24876/stat : 24876 (toysat) S 24870 24873 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27687272 16253521920 3909895 33554432000 4194304 16246674 140735433163168 139859570191536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 194.36
Current children cumulated vsize (KiB) 15872580

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

[startup+194.807 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 24929
/proc/meminfo: memFree=13437228/32872528 swapFree=163656/177964
[pid=24873] ppid=24870 vsize=0 CPUtime=194.76 cores=0,2,4,6
/proc/24873/stat : 24873 (toysat) Z 24870 24873 20760 0 -1 4203532 3845596 0 0 0 18897 579 0 0 20 0 2 0 27687272 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24873/statm: 0 0 0 0 0 0 0
[pid=24873/tid=24876] ppid=24870 vsize=0 CPUtime=0.39 cores=0,2,4,6
/proc/24873/task/24876/stat : 24876 (toysat) R 24870 24873 20760 0 -1 4203588 1 0 0 0 0 39 0 0 20 0 2 0 27687272 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) 194.76
Current children cumulated vsize (KiB) 0

[startup+195.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 24929
/proc/meminfo: memFree=13437228/32872528 swapFree=163656/177964
[pid=24873] ppid=24870 vsize=0 CPUtime=195.16 cores=0,2,4,6
/proc/24873/stat : 24873 (toysat) Z 24870 24873 20760 0 -1 4203532 3845596 0 0 0 18897 619 0 0 20 0 2 0 27687272 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24873/statm: 0 0 0 0 0 0 0
[pid=24873/tid=24876] ppid=24870 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/24873/task/24876/stat : 24876 (toysat) R 24870 24873 20760 0 -1 4203588 1 0 0 0 0 78 0 0 20 0 2 0 27687272 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) 195.16
Current children cumulated vsize (KiB) 0

[startup+195.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 24929
/proc/meminfo: memFree=13437228/32872528 swapFree=163656/177964
[pid=24873] ppid=24870 vsize=0 CPUtime=195.25 cores=0,2,4,6
/proc/24873/stat : 24873 (toysat) Z 24870 24873 20760 0 -1 4203532 3845596 0 0 0 18897 628 0 0 20 0 2 0 27687272 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24873/statm: 0 0 0 0 0 0 0
[pid=24873/tid=24876] ppid=24870 vsize=0 CPUtime=0.88 cores=0,2,4,6
/proc/24873/task/24876/stat : 24876 (toysat) R 24870 24873 20760 0 -1 4203588 1 0 0 0 0 88 0 0 20 0 2 0 27687272 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) 195.25
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 195.391
CPU time (s): 195.346
CPU user time (s): 188.972
CPU system time (s): 6.37403
CPU usage (%): 99.9769
Max. virtual memory (cumulated for all children) (KiB): 15872580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 188.972
system time used= 6.37403
maximum resident set size= 15641132
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3845596
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= 53
involuntary context switches= 211

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.754885 second user time and 0.954854 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-18 15:26:13
IDJOB=4105785
IDBENCH=3013
IDSOLVER=2542
FILE ID=node105/4105785-1466256373
RUNJOBID= node105-1466229502-20776
PBS_JOBID= 19918174
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=400-sizeP=201-sizeQ=400-517735400.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105785-1466256373/watcher-4105785-1466256373 -o /tmp/evaluation-result-4105785-1466256373/solver-4105785-1466256373 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20776 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105785-1466256373.opb

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

MD5SUM BENCH= 33f790680e3647223b55f80e5f90d59e
RANDOM SEED=1279873706

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.561
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.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30531016 kB
Buffers:           96760 kB
Cached:           226152 kB
SwapCached:         1460 kB
Active:          1212856 kB
Inactive:         206704 kB
Active(anon):    1094252 kB
Inactive(anon):     4768 kB
Active(file):     118604 kB
Inactive(file):   201936 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67097160 kB
Dirty:             55464 kB
Writeback:             0 kB
AnonPages:       1276592 kB
Mapped:            10516 kB
Shmem:                 0 kB
Slab:             606304 kB
SReclaimable:      49212 kB
SUnreclaim:       557092 kB
KernelStack:        1448 kB
PageTables:         6560 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1422876 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     28672 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71696 MiB
End job on node105 at 2016-06-18 15:29:29