Trace number 4105645

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) 190.113 190.166

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=400-sizeP=201-sizeQ=400-87904490-max.opb
MD5SUMf145615704a2957501e412155c176c53
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 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 8299031137761985917024815727382322302024892464484873799991313419664837827391154871651005228706296088699355875555839163484213727699346231811168069148386972247138995410784642717179115
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-18T14:53:25+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-4105645-1466254405.opb"]
0.00/0.01	c use --random-gen="743565272 3311499922 3420742466 4259388645 3154762844 278666082 3915239576 843461642 1574414716 4224852552 3704348749 1711927718 173404282 1366368337 2208931108 1849524138 1057888321 4003655319 1081250117 668075821 319873399 505188395 3061509022 268207462 1561391881 1058188204 4068266101 2324011826 10721511 736913250 210806856 2859478587 1946811715 1877505945 406978215 3277525532 2614703130 1072405895 670170793 4196036877 2932619053 596859642 1820802157 4256863468 3996980802 3088965979 90146504 1417272326 3074774077 4193305004 733815607 1959084881 2394911394 1785832473 2901876447 3010198242 3091885218 1868837885 3856915351 1606487228 2002366856 1074806477 2648068346 371216437 1740962427 1886764541 548326032 4073778100 1108251244 639850374 190756013 2751813308 3799285808 1962173318 904889208 1929156299 190068032 273142795 3528299424 3984378556 582729540 578271365 2303802374 1999762306 1503599163 2360064260 391930541 4088070598 1781744688 1425715663 1048053876 1101074986 3643688497 2877515958 2033097831 481932738 2507649824 2082391893 2147013909 3239833666 192132308 2336166130 3303396113 3970389869 3248291446 1723793248 609503635 2264344839 2960541474 1986956397 2421877312 1846752174 983218500 3438692184 859622147 677793048 90829837 3141942517 1125758591 2160847854 2685928371 1544938254 4210551204 356363795 3586455069 2089277227 3125952336 3915786113 4139655009 2910344527 3347151168 3327741249 2271589979 1165134258 1200475454 287834485 2670071950 1521926148 901344944 2386359553 3300713979 108808430 836392474 4201703254 2164742764 3157901948 3577052732 2908043016 491572628 2851720101 3287720467 629127844 1597506234 1232845276 2384033514 2209678573 3563528917 3537261914 2807782791 4198491054 3060967708 4144719487 3940523032 1033812067 3149212854 3415891596 1745926848 2933518521 3567737715 3459939284 153741036 580031779 3698656163 2099268704 116124963 2799989188 3403702579 1398465388 2798426093 3173758644 735699244 2837225755 3417139222 2047880297 1369460018 1665851598 686117736 3458607326 3905960015 1605907889 3705451507 3491916510 3870807610 2290488161 1595900585 3698892662 437937536 1208697991 3750777797 4284148375 1639990382 724863551 393510938 1886368717 3756030662 3989606752 3995809912 2754189232 1570299648 1029340624 2054334814 443638122 4091232015 3405216828 2142992758 4118592931 2942898921 1337733169 3819373111 4110455572 1924352382 4193178994 363826276 2083980549 4235459503 3359323505 1740925780 364862351 4104753313 596538345 3021244161 4043586474 2465873240 4122890728 2815976841 2137860910 1322022998 1201462445 2884849018 3670333580 1158275876 3074183403 2588585110 2598201905 1274042730 1841943799 1768160739 1770455088 2868322518 3897019953 2816701962 1969022611 431805668 1862244041 2469751454 2404768404 255 362436" option to reproduce the execution
1.78/1.84	c #vars 81001
1.78/1.84	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-4105645-1466254405/watcher-4105645-1466254405 -o /tmp/evaluation-result-4105645-1466254405/solver-4105645-1466254405 -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-4105645-1466254405.opb 

pid=23828
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.05 2.00 3/179 23831
/proc/meminfo: memFree=30553752/32872528 swapFree=163656/177964
[pid=23831] ppid=23828 vsize=241088 CPUtime=0 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23828 23831 20760 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 4 0 27490456 246874112 1396 33554432000 4194304 16246674 140733355705680 140733355705104 14073296 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 60271 1398 301 2943 0 57165 0
[pid=23831/tid=23832] ppid=23828 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23832/stat : 23832 (toysat) S 23828 23831 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27490456 246870016 1464 33554432000 4194304 16246674 140733355705680 139911944449264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23831/tid=23833] ppid=23828 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23833/stat : 23833 (toysat) S 23828 23831 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27490456 246870016 1480 33554432000 4194304 16246674 140733355705680 139911933959408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23831/tid=23834] ppid=23828 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23834/stat : 23834 (toysat) S 23828 23831 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27490456 246870016 1489 33554432000 4194304 16246674 140733355705680 139911847996592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.05 2.05 2.00 3/179 23831
/proc/meminfo: memFree=30553752/32872528 swapFree=163656/177964
[pid=23831] ppid=23828 vsize=1301060 CPUtime=0.08 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23828 23831 20760 0 -1 4202496 24092 0 0 0 5 3 0 0 20 0 4 0 27490456 1332285440 24902 33554432000 4194304 16246674 140733355705680 140733355704992 8058796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 325265 24917 801 2943 0 322159 0
[pid=23831/tid=23832] ppid=23828 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23832/stat : 23832 (toysat) S 23828 23831 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27490456 1332285440 24928 33554432000 4194304 16246674 140733355705680 139911944449264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23831/tid=23833] ppid=23828 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23833/stat : 23833 (toysat) S 23828 23831 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27490456 1332285440 24939 33554432000 4194304 16246674 140733355705680 139911933959408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23831/tid=23834] ppid=23828 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23834/stat : 23834 (toysat) S 23828 23831 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27490456 1332285440 24950 33554432000 4194304 16246674 140733355705680 139911847996592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1301060

[startup+0.200543 s]
/proc/loadavg: 2.05 2.05 2.00 3/179 23831
/proc/meminfo: memFree=30553752/32872528 swapFree=163656/177964
[pid=23831] ppid=23828 vsize=1313348 CPUtime=0.18 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23828 23831 20760 0 -1 4202496 46976 0 0 0 12 6 0 0 20 0 4 0 27490456 1344868352 48296 33554432000 4194304 16246674 140733355705680 140733355687552 4220580 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 328337 48296 802 2943 0 325231 0
[pid=23831/tid=23832] ppid=23828 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23832/stat : 23832 (toysat) S 23828 23831 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27490456 1344868352 48296 33554432000 4194304 16246674 140733355705680 139911944449264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23831/tid=23833] ppid=23828 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23833/stat : 23833 (toysat) S 23828 23831 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27490456 1344868352 48296 33554432000 4194304 16246674 140733355705680 139911933959408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23831/tid=23834] ppid=23828 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23834/stat : 23834 (toysat) S 23828 23831 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27490456 1344868352 48296 33554432000 4194304 16246674 140733355705680 139911847996592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1313348

[startup+0.30052 s]
/proc/loadavg: 2.05 2.05 2.00 3/179 23831
/proc/meminfo: memFree=30553752/32872528 swapFree=163656/177964
[pid=23831] ppid=23828 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23828 23831 20760 0 -1 4202496 61257 0 0 0 21 8 0 0 20 0 4 0 27490456 1344868352 62577 33554432000 4194304 16246674 140733355705680 140733355687552 4220936 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 328337 62577 802 2943 0 325231 0
[pid=23831/tid=23832] ppid=23828 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23832/stat : 23832 (toysat) S 23828 23831 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27490456 1344868352 62577 33554432000 4194304 16246674 140733355705680 139911944449264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23831/tid=23833] ppid=23828 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23833/stat : 23833 (toysat) S 23828 23831 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27490456 1344868352 62577 33554432000 4194304 16246674 140733355705680 139911933959408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23831/tid=23834] ppid=23828 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23834/stat : 23834 (toysat) S 23828 23831 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27490456 1344868352 62577 33554432000 4194304 16246674 140733355705680 139911847996592 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) 1313348

[startup+0.700421 s]
/proc/loadavg: 2.05 2.05 2.00 3/179 23831
/proc/meminfo: memFree=30553752/32872528 swapFree=163656/177964
[pid=23831] ppid=23828 vsize=1313348 CPUtime=0.68 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23828 23831 20760 0 -1 4202496 68595 0 0 0 58 10 0 0 20 0 4 0 27490456 1344868352 69915 33554432000 4194304 16246674 140733355705680 140733355687552 7378128 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 328337 69915 802 2943 0 325231 0
[pid=23831/tid=23832] ppid=23828 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23832/stat : 23832 (toysat) S 23828 23831 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27490456 1344868352 69915 33554432000 4194304 16246674 140733355705680 139911944449264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23831/tid=23833] ppid=23828 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23833/stat : 23833 (toysat) S 23828 23831 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27490456 1344868352 69915 33554432000 4194304 16246674 140733355705680 139911933959408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23831/tid=23834] ppid=23828 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23834/stat : 23834 (toysat) S 23828 23831 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27490456 1344868352 69915 33554432000 4194304 16246674 140733355705680 139911847996592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.50041 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 23835
/proc/meminfo: memFree=30228260/32872528 swapFree=163656/177964
[pid=23831] ppid=23828 vsize=1313348 CPUtime=1.48 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23828 23831 20760 0 -1 4202496 80830 0 0 0 135 13 0 0 20 0 4 0 27490456 1344868352 82150 33554432000 4194304 16246674 140733355705680 140733355687552 7439876 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 328337 82150 803 2943 0 325231 0
[pid=23831/tid=23832] ppid=23828 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23832/stat : 23832 (toysat) S 23828 23831 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27490456 1344868352 82150 33554432000 4194304 16246674 140733355705680 139911944449264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23831/tid=23833] ppid=23828 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23833/stat : 23833 (toysat) S 23828 23831 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27490456 1344868352 82150 33554432000 4194304 16246674 140733355705680 139911933959408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23831/tid=23834] ppid=23828 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23834/stat : 23834 (toysat) S 23828 23831 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27490456 1344868352 82150 33554432000 4194304 16246674 140733355705680 139911847996592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1313348

[startup+3.1004 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 23835
/proc/meminfo: memFree=30045044/32872528 swapFree=163656/177964
[pid=23831] ppid=23828 vsize=1344068 CPUtime=3.09 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23828 23831 20760 0 -1 4202496 270386 0 0 0 263 46 0 0 20 0 4 0 27490456 1376325632 275283 33554432000 4194304 16246674 140733355705680 140733355687552 4220543 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 336017 275283 838 2943 0 332911 0
[pid=23831/tid=23832] ppid=23828 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23832/stat : 23832 (toysat) S 23828 23831 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27490456 1376325632 275283 33554432000 4194304 16246674 140733355705680 139911944449264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23831/tid=23833] ppid=23828 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23833/stat : 23833 (toysat) S 23828 23831 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27490456 1376325632 275283 33554432000 4194304 16246674 140733355705680 139911933959408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23831/tid=23834] ppid=23828 vsize=1344068 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23834/stat : 23834 (toysat) S 23828 23831 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27490456 1376325632 275283 33554432000 4194304 16246674 140733355705680 139911847996592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1344068

[startup+6.3004 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 23835
/proc/meminfo: memFree=29435420/32872528 swapFree=163656/177964
[pid=23831] ppid=23828 vsize=1351236 CPUtime=6.29 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23828 23831 20760 0 -1 4202496 272311 0 0 0 577 52 0 0 20 0 4 0 27490456 1383665664 279763 33554432000 4194304 16246674 140733355705680 140733355687552 12500014 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 337809 279763 847 2943 0 334703 0
[pid=23831/tid=23832] ppid=23828 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23832/stat : 23832 (toysat) S 23828 23831 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27490456 1383665664 279763 33554432000 4194304 16246674 140733355705680 139911944449264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23831/tid=23833] ppid=23828 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23833/stat : 23833 (toysat) S 23828 23831 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27490456 1383665664 279763 33554432000 4194304 16246674 140733355705680 139911933959408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23831/tid=23834] ppid=23828 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23834/stat : 23834 (toysat) S 23828 23831 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27490456 1383665664 279763 33554432000 4194304 16246674 140733355705680 139911847996592 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) 1351236

[startup+12.7004 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 23835
/proc/meminfo: memFree=28496048/32872528 swapFree=163656/177964
[pid=23831] ppid=23828 vsize=2288196 CPUtime=12.68 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23828 23831 20760 0 -1 4202496 506552 0 0 0 1181 87 0 0 20 0 4 0 27490456 2343112704 514004 33554432000 4194304 16246674 140733355705680 140733355687552 4220520 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 572049 514004 847 2943 0 568943 0
[pid=23831/tid=23832] ppid=23828 vsize=2288196 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23832/stat : 23832 (toysat) S 23828 23831 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27490456 2343112704 514004 33554432000 4194304 16246674 140733355705680 139911944449264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23831/tid=23833] ppid=23828 vsize=2288196 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23833/stat : 23833 (toysat) S 23828 23831 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27490456 2343112704 514004 33554432000 4194304 16246674 140733355705680 139911933959408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23831/tid=23834] ppid=23828 vsize=2288196 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23834/stat : 23834 (toysat) S 23828 23831 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27490456 2343112704 514004 33554432000 4194304 16246674 140733355705680 139911847996592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2288196

[startup+25.5005 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 23835
/proc/meminfo: memFree=26232364/32872528 swapFree=163656/177964
[pid=23831] ppid=23828 vsize=4639300 CPUtime=25.48 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23828 23831 20760 0 -1 4202496 1094080 0 0 0 2381 167 0 0 20 0 4 0 27490456 4750643200 1101532 33554432000 4194304 16246674 140733355705680 140733355703552 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 1159825 1101536 847 2943 0 1156719 0
[pid=23831/tid=23832] ppid=23828 vsize=4639300 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23832/stat : 23832 (toysat) S 23828 23831 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27490456 4750643200 1101539 33554432000 4194304 16246674 140733355705680 139911944449264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23831/tid=23833] ppid=23828 vsize=4639300 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23833/stat : 23833 (toysat) S 23828 23831 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27490456 4750643200 1101543 33554432000 4194304 16246674 140733355705680 139911933959184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23831/tid=23834] ppid=23828 vsize=4639300 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23834/stat : 23834 (toysat) S 23828 23831 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27490456 4750643200 1101546 33554432000 4194304 16246674 140733355705680 139911847996592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 4639300

[startup+51.1005 s]
/proc/loadavg: 2.02 2.04 2.00 3/183 23835
/proc/meminfo: memFree=22308780/32872528 swapFree=163656/177964
[pid=23831] ppid=23828 vsize=8870468 CPUtime=51.07 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23828 23831 20760 0 -1 4202496 2152031 0 0 0 4791 316 0 0 20 0 4 0 27490456 9083359232 2159483 33554432000 4194304 16246674 140733355705680 140733355703552 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 2217617 2159491 847 2943 0 2214511 0
[pid=23831/tid=23832] ppid=23828 vsize=8870468 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23832/stat : 23832 (toysat) S 23828 23831 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27490456 9083359232 2159496 33554432000 4194304 16246674 140733355705680 139911944449264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23831/tid=23833] ppid=23828 vsize=8870468 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23833/stat : 23833 (toysat) S 23828 23831 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27490456 9083359232 2159502 33554432000 4194304 16246674 140733355705680 139911933959184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23831/tid=23834] ppid=23828 vsize=8870468 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23834/stat : 23834 (toysat) S 23828 23831 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27490456 9083359232 2159508 33554432000 4194304 16246674 140733355705680 139911847996592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 8870468

[startup+102.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 23836
/proc/meminfo: memFree=19725256/32872528 swapFree=163656/177964
[pid=23831] ppid=23828 vsize=11043396 CPUtime=102.27 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23828 23831 20760 0 -1 4202496 2695360 0 0 0 9825 402 0 0 20 0 4 0 27490456 11308437504 2702815 33554432000 4194304 16246674 140733355705680 140733355703616 14013626 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 2760849 2702815 852 2943 0 2757743 0
[pid=23831/tid=23832] ppid=23828 vsize=11043396 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23832/stat : 23832 (toysat) S 23828 23831 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27490456 11308437504 2702815 33554432000 4194304 16246674 140733355705680 139911944449264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23831/tid=23833] ppid=23828 vsize=11043396 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23833/stat : 23833 (toysat) S 23828 23831 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27490456 11308437504 2702815 33554432000 4194304 16246674 140733355705680 139911933959184 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=23831/tid=23834] ppid=23828 vsize=11043396 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23834/stat : 23834 (toysat) S 23828 23831 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27490456 11308437504 2702815 33554432000 4194304 16246674 140733355705680 139911847996592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 11043396

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 23838
/proc/meminfo: memFree=16160868/32872528 swapFree=163656/177964
[pid=23831] ppid=23828 vsize=14600772 CPUtime=162.25 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23828 23831 20760 0 -1 4202496 3530539 0 0 0 15680 545 0 0 20 0 4 0 27490456 14951190528 3592160 33554432000 4194304 16246674 140733355705680 140733355687552 14105099 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 3650193 3592160 852 2943 0 3647087 0
[pid=23831/tid=23832] ppid=23828 vsize=14600772 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23832/stat : 23832 (toysat) S 23828 23831 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27490456 14951190528 3592160 33554432000 4194304 16246674 140733355705680 139911944449264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23831/tid=23833] ppid=23828 vsize=14600772 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23833/stat : 23833 (toysat) S 23828 23831 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27490456 14951190528 3592160 33554432000 4194304 16246674 140733355705680 139911933959408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23831/tid=23834] ppid=23828 vsize=14600772 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23834/stat : 23834 (toysat) S 23828 23831 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27490456 14951190528 3592160 33554432000 4194304 16246674 140733355705680 139911847996592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 14600772



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+189.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 23839
/proc/meminfo: memFree=14910764/32872528 swapFree=163656/177964
[pid=23831] ppid=23828 vsize=15882820 CPUtime=189.25 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) R 23828 23831 20760 0 -1 4202496 3850837 0 0 0 18330 595 0 0 20 0 4 0 27490456 16264007680 3912456 33554432000 4194304 16246674 140733355705680 140733355704776 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 3970705 3912456 852 2943 0 3967599 0
[pid=23831/tid=23832] ppid=23828 vsize=15882820 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23832/stat : 23832 (toysat) S 23828 23831 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27490456 16264007680 3912456 33554432000 4194304 16246674 140733355705680 139911944449264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23831/tid=23833] ppid=23828 vsize=15882820 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23833/stat : 23833 (toysat) S 23828 23831 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27490456 16264007680 3912456 33554432000 4194304 16246674 140733355705680 139911933959408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23831/tid=23834] ppid=23828 vsize=15882820 CPUtime=0 cores=0,2,4,6
/proc/23831/task/23834/stat : 23834 (toysat) S 23828 23831 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27490456 16264007680 3912456 33554432000 4194304 16246674 140733355705680 139911847996592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 189.25
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 23831 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+189.6 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 23839
/proc/meminfo: memFree=14910764/32872528 swapFree=163656/177964
[pid=23831] ppid=23828 vsize=0 CPUtime=189.54 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) Z 23828 23831 20760 0 -1 4203532 3851184 0 0 0 18331 623 0 0 20 0 2 0 27490456 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 0 0 0 0 0 0 0
[pid=23831/tid=23833] ppid=23828 vsize=0 CPUtime=0.27 cores=0,2,4,6
/proc/23831/task/23833/stat : 23833 (toysat) R 23828 23831 20760 0 -1 4203588 8 0 0 0 0 27 0 0 20 0 2 0 27490456 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 189.54
Current children cumulated vsize (KiB) 0

[startup+190 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 23839
/proc/meminfo: memFree=14910764/32872528 swapFree=163656/177964
[pid=23831] ppid=23828 vsize=0 CPUtime=189.94 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) Z 23828 23831 20760 0 -1 4203532 3851184 0 0 0 18331 663 0 0 20 0 2 0 27490456 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 0 0 0 0 0 0 0
[pid=23831/tid=23833] ppid=23828 vsize=0 CPUtime=0.67 cores=0,2,4,6
/proc/23831/task/23833/stat : 23833 (toysat) R 23828 23831 20760 0 -1 4203588 8 0 0 0 0 67 0 0 20 0 2 0 27490456 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 189.94
Current children cumulated vsize (KiB) 0

[startup+190.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 23839
/proc/meminfo: memFree=14910764/32872528 swapFree=163656/177964
[pid=23831] ppid=23828 vsize=0 CPUtime=190.04 cores=0,2,4,6
/proc/23831/stat : 23831 (toysat) Z 23828 23831 20760 0 -1 4203532 3851184 0 0 0 18331 673 0 0 20 0 2 0 27490456 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23831/statm: 0 0 0 0 0 0 0
[pid=23831/tid=23833] ppid=23828 vsize=0 CPUtime=0.77 cores=0,2,4,6
/proc/23831/task/23833/stat : 23833 (toysat) R 23828 23831 20760 0 -1 4203588 8 0 0 0 0 77 0 0 20 0 2 0 27490456 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 190.166
CPU time (s): 190.113
CPU user time (s): 183.311
CPU system time (s): 6.80196
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 15882820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 183.311
system time used= 6.80197
maximum resident set size= 15651212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3851184
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= 69
involuntary context switches= 237

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.21781 second user time and 1.70774 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-18 14:53:25
IDJOB=4105645
IDBENCH=2966
IDSOLVER=2542
FILE ID=node105/4105645-1466254405
RUNJOBID= node105-1466229502-20776
PBS_JOBID= 19918174
Free space on /tmp= 71720 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-87904490-max.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105645-1466254405/watcher-4105645-1466254405 -o /tmp/evaluation-result-4105645-1466254405/solver-4105645-1466254405 -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-4105645-1466254405.opb

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

MD5SUM BENCH= f145615704a2957501e412155c176c53
RANDOM SEED=1420447351

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:        30554124 kB
Buffers:          112656 kB
Cached:           212580 kB
SwapCached:         1676 kB
Active:          1181224 kB
Inactive:         218896 kB
Active(anon):    1072640 kB
Inactive(anon):     4412 kB
Active(file):     108584 kB
Inactive(file):   214484 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67097160 kB
Dirty:             30708 kB
Writeback:             0 kB
AnonPages:       1252348 kB
Mapped:            10564 kB
Shmem:                 0 kB
Slab:             605044 kB
SReclaimable:      48656 kB
SUnreclaim:       556388 kB
KernelStack:        1504 kB
PageTables:         6348 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1396252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1003520 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= 71704 MiB
End job on node105 at 2016-06-18 14:56:36