Trace number 4105865

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) 151.269 151.337

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=460-sizeP=231-sizeQ=460-510733673-max.opb
MD5SUM9e60200cb127c02542a69a69c594f660
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 variables106951
Total number of constraints318781
Number of constraints which are clauses318780
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 constraint106260
Number of terms in the objective function 231
Biggest coefficient in the objective function 1725436586697640946858688965569256363112777243042596638790631055949824
Number of bits for the biggest coefficient in the objective function 231
Sum of the numbers in the objective function 3450873173395281893717377931138512726225554486085193277581262111899647
Number of bits of the sum of numbers in the objective function 231
Biggest number in a constraint 2568425733177916751582514591250062824975751856847252861083144972201529372215371495172688738416791235950675277761805770367685269653410060480042878305982363696267199058168185838960773319279454451792623658074112
Number of bits of the biggest number in a constraint 690
Biggest sum of numbers in a constraint 10273702932711667006330058365000251299903007427389011444332579888806116436559522729154650984843832920045401539706695598567047484917734073472225003787287432253368951530392938530295691567089778039848062225499498
Number of bits of the biggest sum of numbers691
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:40:23+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-4105865-1466257222.opb"]
0.00/0.01	c use --random-gen="3078523843 3442427750 2538527112 3975426145 3681564761 1836424622 3746508822 1104581652 2058039400 265657452 3190085383 1695384247 868336625 894773115 3328966997 266916542 584755366 1929265113 1865863596 149510084 384540362 762462909 237359056 3853968955 4106287779 755724386 209636322 2981044026 3839625831 1885615661 1876804922 1201313427 406759929 2567581654 3526666137 3347235320 3406308211 2557651406 2095441658 3423350337 3755384704 484398608 2999253903 456606957 185221276 2605359623 2860775119 1573583310 3612215145 3735362647 3525824789 735860944 1301980237 2970102346 2543102856 392655368 743103652 1285310396 3990552897 352274404 1920874270 1796863577 1744677835 2238687839 3495385976 1180373104 3214596023 2765568908 617189954 879471394 2688076510 2860407863 3940615218 3585724769 1357791431 3225276236 717154178 3309510661 1850239972 4234317760 1242399682 3192924546 3301350921 2113705427 1436166297 2452360817 2907681803 3532119607 4130899742 3517855270 2680305486 1125015747 2303414287 203884993 2465911352 3320426698 3950474065 3502582574 3070115074 3250688120 2585736204 93151720 213936490 3086031172 618173093 4204945522 2017342844 1348780927 2753592473 2592160091 2387027859 2007525432 3108985314 2852466558 3874105407 3876892812 1052113422 660840071 2642759049 980342500 1628332661 921231387 2075789113 2170272579 693930889 3931813638 396062313 2805851081 641538833 2720619870 125630362 1199715283 2703216998 3056461936 2568852796 1593323797 1995631915 283100778 1759302108 811104789 659394182 2445172088 1155872251 1283951150 1046388042 1875800967 941870290 4103169587 805328767 3373276169 267408264 3192133485 3524595785 1427599862 1232499987 3052512743 2890122387 3511074865 960837319 3396908281 3899588789 2629630 3492169534 3290899178 242362919 1783755684 3437792569 822147913 1357238585 2352134008 2097547589 3998731002 1263008800 3255133768 110479493 135315965 1946449744 1424872626 4015656561 332875208 1593306158 531739450 4274063308 1157826397 382196280 2420248251 3103636467 3163063820 3907826323 1755314348 274102215 158896948 3864574577 1302833699 2370489233 2457705767 928526284 1806274000 1375461170 187759694 3500504142 296862096 1056889311 3134030233 1533519834 666487715 3830827687 2792497852 2155078417 259005919 3891248368 573528332 1618020438 236384568 655058466 596257090 1319830694 1305584612 3041949185 1403797987 1750908958 1172600946 514960724 2032998613 2546666135 1945894523 1134811460 1050737700 4254982293 2311416795 3441161672 2472240938 1735512035 2183081834 814499913 2687549898 1539079917 816632701 728907639 3165544990 2275257494 1360564093 3968371294 2666982227 1588077225 1773126007 3741727503 3381257429 3295029315 3163689843 1951457584 1605521432 613387240 121437064 473215034 1550912004 255 362436" option to reproduce the execution
2.58/2.67	c #vars 106951
2.58/2.67	c #constraints 318781

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

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

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


[startup+0 s]
/proc/loadavg: 1.99 1.98 1.99 3/180 25333
/proc/meminfo: memFree=16841048/32872528 swapFree=163656/177964
[pid=25333] ppid=25330 vsize=812612 CPUtime=0 cores=0,2,4,6
/proc/25333/stat : 25333 (toysat) R 25330 25333 20760 0 -1 4202496 3048 0 0 0 0 0 0 0 20 0 4 0 27772222 832114688 2897 33554432000 4194304 16246674 140737311743888 140737311743312 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25333/statm: 203665 2905 442 2943 0 200559 0
[pid=25333/tid=25334] ppid=25330 vsize=830020 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25334/stat : 25334 (toysat) S 25330 25333 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27772222 849940480 2966 33554432000 4194304 16246674 140737311743888 140681117936880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25333/tid=25335] ppid=25330 vsize=834116 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25335/stat : 25335 (toysat) S 25330 25333 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27772222 854134784 2984 33554432000 4194304 16246674 140737311743888 140681107447024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25333/tid=25336] ppid=25330 vsize=838212 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25336/stat : 25336 (toysat) S 25330 25333 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27772222 858329088 2999 33554432000 4194304 16246674 140737311743888 140681096973488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 1.99 1.98 1.99 3/180 25333
/proc/meminfo: memFree=16841048/32872528 swapFree=163656/177964
[pid=25333] ppid=25330 vsize=1301060 CPUtime=0.08 cores=0,2,4,6
/proc/25333/stat : 25333 (toysat) R 25330 25333 20760 0 -1 4202496 26472 0 0 0 5 3 0 0 20 0 4 0 27772222 1332285440 26260 33554432000 4194304 16246674 140737311743888 140737311743200 8058796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25333/statm: 325265 26274 801 2943 0 322159 0
[pid=25333/tid=25334] ppid=25330 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25334/stat : 25334 (toysat) S 25330 25333 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27772222 1332285440 26283 33554432000 4194304 16246674 140737311743888 140681117936880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25333/tid=25335] ppid=25330 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25335/stat : 25335 (toysat) S 25330 25333 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27772222 1332285440 26294 33554432000 4194304 16246674 140737311743888 140681107447024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25333/tid=25336] ppid=25330 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25336/stat : 25336 (toysat) S 25330 25333 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27772222 1332285440 26305 33554432000 4194304 16246674 140737311743888 140681096973488 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.200507 s]
/proc/loadavg: 1.99 1.98 1.99 3/180 25333
/proc/meminfo: memFree=16841048/32872528 swapFree=163656/177964
[pid=25333] ppid=25330 vsize=1314372 CPUtime=0.19 cores=0,2,4,6
/proc/25333/stat : 25333 (toysat) R 25330 25333 20760 0 -1 4202496 46839 0 0 0 13 6 0 0 20 0 4 0 27772222 1345916928 47137 33554432000 4194304 16246674 140737311743888 140737311743200 7364568 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25333/statm: 328593 47137 802 2943 0 325487 0
[pid=25333/tid=25334] ppid=25330 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25334/stat : 25334 (toysat) S 25330 25333 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27772222 1345916928 47137 33554432000 4194304 16246674 140737311743888 140681117936880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25333/tid=25335] ppid=25330 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25335/stat : 25335 (toysat) S 25330 25333 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27772222 1345916928 47137 33554432000 4194304 16246674 140737311743888 140681107447024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25333/tid=25336] ppid=25330 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25336/stat : 25336 (toysat) S 25330 25333 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27772222 1345916928 47137 33554432000 4194304 16246674 140737311743888 140681096973488 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) 1314372

[startup+0.300447 s]
/proc/loadavg: 1.99 1.98 1.99 3/180 25333
/proc/meminfo: memFree=16841048/32872528 swapFree=163656/177964
[pid=25333] ppid=25330 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/25333/stat : 25333 (toysat) R 25330 25333 20760 0 -1 4202496 64642 0 0 0 19 10 0 0 20 0 4 0 27772222 1345916928 64940 33554432000 4194304 16246674 140737311743888 140737311743200 4221019 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25333/statm: 328593 64940 802 2943 0 325487 0
[pid=25333/tid=25334] ppid=25330 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25334/stat : 25334 (toysat) S 25330 25333 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27772222 1345916928 64940 33554432000 4194304 16246674 140737311743888 140681117936880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25333/tid=25335] ppid=25330 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25335/stat : 25335 (toysat) S 25330 25333 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27772222 1345916928 64940 33554432000 4194304 16246674 140737311743888 140681107447024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25333/tid=25336] ppid=25330 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25336/stat : 25336 (toysat) S 25330 25333 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27772222 1345916928 64940 33554432000 4194304 16246674 140737311743888 140681096973488 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.700391 s]
/proc/loadavg: 1.99 1.98 1.99 3/180 25333
/proc/meminfo: memFree=16841048/32872528 swapFree=163656/177964
[pid=25333] ppid=25330 vsize=1314372 CPUtime=0.68 cores=0,2,4,6
/proc/25333/stat : 25333 (toysat) R 25330 25333 20760 0 -1 4202496 69728 0 0 0 58 10 0 0 20 0 4 0 27772222 1345916928 70026 33554432000 4194304 16246674 140737311743888 140737311741696 7371696 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25333/statm: 328593 70026 802 2943 0 325487 0
[pid=25333/tid=25334] ppid=25330 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25334/stat : 25334 (toysat) S 25330 25333 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27772222 1345916928 70026 33554432000 4194304 16246674 140737311743888 140681117936880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25333/tid=25335] ppid=25330 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25335/stat : 25335 (toysat) S 25330 25333 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27772222 1345916928 70026 33554432000 4194304 16246674 140737311743888 140681107447024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25333/tid=25336] ppid=25330 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25336/stat : 25336 (toysat) S 25330 25333 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27772222 1345916928 70026 33554432000 4194304 16246674 140737311743888 140681096973488 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) 1314372

[startup+1.50041 s]
/proc/loadavg: 1.99 1.98 1.99 3/184 25337
/proc/meminfo: memFree=16518056/32872528 swapFree=163656/177964
[pid=25333] ppid=25330 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/25333/stat : 25333 (toysat) R 25330 25333 20760 0 -1 4202496 83737 0 0 0 136 13 0 0 20 0 4 0 27772222 1345916928 84035 33554432000 4194304 16246674 140737311743888 140737311726880 4206916 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25333/statm: 328593 84035 803 2943 0 325487 0
[pid=25333/tid=25334] ppid=25330 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25334/stat : 25334 (toysat) S 25330 25333 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27772222 1345916928 84035 33554432000 4194304 16246674 140737311743888 140681117936880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25333/tid=25335] ppid=25330 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25335/stat : 25335 (toysat) S 25330 25333 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27772222 1345916928 84035 33554432000 4194304 16246674 140737311743888 140681107447024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25333/tid=25336] ppid=25330 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25336/stat : 25336 (toysat) S 25330 25333 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27772222 1345916928 84035 33554432000 4194304 16246674 140737311743888 140681096973488 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) 1314372

[startup+3.10038 s]
/proc/loadavg: 1.99 1.98 1.99 3/184 25337
/proc/meminfo: memFree=16451320/32872528 swapFree=163656/177964
[pid=25333] ppid=25330 vsize=1348164 CPUtime=3.09 cores=0,2,4,6
/proc/25333/stat : 25333 (toysat) R 25330 25333 20760 0 -1 4202496 136648 0 0 0 287 22 0 0 20 0 4 0 27772222 1380519936 142056 33554432000 4194304 16246674 140737311743888 140737311726880 5741135 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25333/statm: 337041 142064 836 2943 0 333935 0
[pid=25333/tid=25334] ppid=25330 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25334/stat : 25334 (toysat) S 25330 25333 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27772222 1380519936 142069 33554432000 4194304 16246674 140737311743888 140681117936880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25333/tid=25335] ppid=25330 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25335/stat : 25335 (toysat) S 25330 25333 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27772222 1380519936 142074 33554432000 4194304 16246674 140737311743888 140681107447024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25333/tid=25336] ppid=25330 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25336/stat : 25336 (toysat) S 25330 25333 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27772222 1380519936 142079 33554432000 4194304 16246674 140737311743888 140681096973488 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) 1348164

[startup+6.30039 s]
/proc/loadavg: 2.07 2.00 2.00 3/184 25337
/proc/meminfo: memFree=15733560/32872528 swapFree=163656/177964
[pid=25333] ppid=25330 vsize=1348164 CPUtime=6.29 cores=0,2,4,6
/proc/25333/stat : 25333 (toysat) R 25330 25333 20760 0 -1 4202496 271526 0 0 0 584 45 0 0 20 0 4 0 27772222 1380519936 276934 33554432000 4194304 16246674 140737311743888 140737311725760 4220897 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25333/statm: 337041 276934 838 2943 0 333935 0
[pid=25333/tid=25334] ppid=25330 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25334/stat : 25334 (toysat) S 25330 25333 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27772222 1380519936 276934 33554432000 4194304 16246674 140737311743888 140681117936880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25333/tid=25335] ppid=25330 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25335/stat : 25335 (toysat) S 25330 25333 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27772222 1380519936 276934 33554432000 4194304 16246674 140737311743888 140681107447024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25333/tid=25336] ppid=25330 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25336/stat : 25336 (toysat) S 25330 25333 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27772222 1380519936 276934 33554432000 4194304 16246674 140737311743888 140681096973488 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) 1348164

[startup+12.7004 s]
/proc/loadavg: 2.07 2.00 2.00 3/184 25337
/proc/meminfo: memFree=15291508/32872528 swapFree=163656/177964
[pid=25333] ppid=25330 vsize=1589828 CPUtime=12.69 cores=0,2,4,6
/proc/25333/stat : 25333 (toysat) R 25330 25333 20760 0 -1 4202496 331962 0 0 0 1215 54 0 0 20 0 4 0 27772222 1627983872 338392 33554432000 4194304 16246674 140737311743888 140737311742984 4221728 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25333/statm: 397457 338392 847 2943 0 394351 0
[pid=25333/tid=25334] ppid=25330 vsize=1589828 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25334/stat : 25334 (toysat) S 25330 25333 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27772222 1627983872 338392 33554432000 4194304 16246674 140737311743888 140681117936880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25333/tid=25335] ppid=25330 vsize=1589828 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25335/stat : 25335 (toysat) S 25330 25333 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27772222 1627983872 338392 33554432000 4194304 16246674 140737311743888 140681107447024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25333/tid=25336] ppid=25330 vsize=1589828 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25336/stat : 25336 (toysat) S 25330 25333 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27772222 1627983872 338392 33554432000 4194304 16246674 140737311743888 140681096973488 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) 1589828

[startup+25.5004 s]
/proc/loadavg: 2.13 2.02 2.00 3/184 25386
/proc/meminfo: memFree=26581464/32872528 swapFree=163656/177964
[pid=25333] ppid=25330 vsize=3885636 CPUtime=25.48 cores=0,2,4,6
/proc/25333/stat : 25333 (toysat) R 25330 25333 20760 0 -1 4202496 905914 0 0 0 2416 132 0 0 20 0 4 0 27772222 3978891264 912344 33554432000 4194304 16246674 140737311743888 140737311742984 14628944 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25333/statm: 971409 912344 847 2943 0 968303 0
[pid=25333/tid=25334] ppid=25330 vsize=3885636 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25334/stat : 25334 (toysat) S 25330 25333 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27772222 3978891264 912344 33554432000 4194304 16246674 140737311743888 140681117936880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25333/tid=25335] ppid=25330 vsize=3885636 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25335/stat : 25335 (toysat) S 25330 25333 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27772222 3978891264 912344 33554432000 4194304 16246674 140737311743888 140681107447024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25333/tid=25336] ppid=25330 vsize=3885636 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25336/stat : 25336 (toysat) S 25330 25333 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27772222 3978891264 912344 33554432000 4194304 16246674 140737311743888 140681096973488 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) 3885636

[startup+51.1004 s]
/proc/loadavg: 2.08 2.01 2.00 3/183 25386
/proc/meminfo: memFree=18476908/32872528 swapFree=163656/177964
[pid=25333] ppid=25330 vsize=8521284 CPUtime=51.07 cores=0,2,4,6
/proc/25333/stat : 25333 (toysat) R 25330 25333 20760 0 -1 4202496 2064830 0 0 0 4814 293 0 0 20 0 4 0 27772222 8725794816 2071258 33554432000 4194304 16246674 140737311743888 140737311742984 4225320 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25333/statm: 2130321 2071258 847 2943 0 2127215 0
[pid=25333/tid=25334] ppid=25330 vsize=8521284 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25334/stat : 25334 (toysat) S 25330 25333 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27772222 8725794816 2071258 33554432000 4194304 16246674 140737311743888 140681117936880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25333/tid=25335] ppid=25330 vsize=8521284 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25335/stat : 25335 (toysat) S 25330 25333 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27772222 8725794816 2071258 33554432000 4194304 16246674 140737311743888 140681107447024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25333/tid=25336] ppid=25330 vsize=8521284 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25336/stat : 25336 (toysat) S 25330 25333 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27772222 8725794816 2071258 33554432000 4194304 16246674 140737311743888 140681096973488 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) 8521284

[startup+102.304 s]
/proc/loadavg: 2.09 2.03 2.00 3/183 25388
/proc/meminfo: memFree=4577768/32872528 swapFree=163656/177964
[pid=25333] ppid=25330 vsize=12836420 CPUtime=102.27 cores=0,2,4,6
/proc/25333/stat : 25333 (toysat) R 25330 25333 20760 0 -1 4202496 3143625 0 0 0 9779 448 0 0 20 0 4 0 27772222 13144494080 3150048 33554432000 4194304 16246674 140737311743888 140737311741696 14003399 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25333/statm: 3209105 3150048 852 2943 0 3205999 0
[pid=25333/tid=25334] ppid=25330 vsize=12836420 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25334/stat : 25334 (toysat) S 25330 25333 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27772222 13144494080 3150048 33554432000 4194304 16246674 140737311743888 140681117936880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25333/tid=25335] ppid=25330 vsize=12836420 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25335/stat : 25335 (toysat) S 25330 25333 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27772222 13144494080 3150048 33554432000 4194304 16246674 140737311743888 140681107446800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25333/tid=25336] ppid=25330 vsize=12836420 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25336/stat : 25336 (toysat) S 25330 25333 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27772222 13144494080 3150048 33554432000 4194304 16246674 140737311743888 140681096973488 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) 12836420



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+150.5 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 25389
/proc/meminfo: memFree=1661964/32872528 swapFree=163656/177964
[pid=25333] ppid=25330 vsize=15878724 CPUtime=150.42 cores=0,2,4,6
/proc/25333/stat : 25333 (toysat) R 25330 25333 20760 0 -1 4202496 3903955 0 0 0 14475 567 0 0 20 0 4 0 27772222 16259813376 3910374 33554432000 4194304 16246674 140737311743888 140737311742984 12490031 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25333/statm: 3969681 3910374 852 2943 0 3966575 0
[pid=25333/tid=25334] ppid=25330 vsize=15878724 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25334/stat : 25334 (toysat) S 25330 25333 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27772222 16259813376 3910374 33554432000 4194304 16246674 140737311743888 140681117936880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25333/tid=25335] ppid=25330 vsize=15878724 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25335/stat : 25335 (toysat) S 25330 25333 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27772222 16259813376 3910374 33554432000 4194304 16246674 140737311743888 140681107447024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25333/tid=25336] ppid=25330 vsize=15878724 CPUtime=0 cores=0,2,4,6
/proc/25333/task/25336/stat : 25336 (toysat) S 25330 25333 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27772222 16259813376 3910374 33554432000 4194304 16246674 140737311743888 140681096973488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 150.42
Current children cumulated vsize (KiB) 15878724

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

[startup+150.807 s]
/proc/loadavg: 2.08 2.03 2.00 3/181 25389
/proc/meminfo: memFree=5350300/32872528 swapFree=163656/177964
[pid=25333] ppid=25330 vsize=0 CPUtime=150.73 cores=0,2,4,6
/proc/25333/stat : 25333 (toysat) Z 25330 25333 20760 0 -1 4203532 3904127 0 0 0 14475 598 0 0 20 0 2 0 27772222 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25333/statm: 0 0 0 0 0 0 0
[pid=25333/tid=25336] ppid=25330 vsize=0 CPUtime=0.29 cores=0,2,4,6
/proc/25333/task/25336/stat : 25336 (toysat) R 25330 25333 20760 0 -1 4203588 2 0 0 0 0 29 0 0 20 0 2 0 27772222 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) 150.73
Current children cumulated vsize (KiB) 0

[startup+151.2 s]
/proc/loadavg: 2.08 2.03 2.00 3/181 25389
/proc/meminfo: memFree=5350300/32872528 swapFree=163656/177964
[pid=25333] ppid=25330 vsize=0 CPUtime=151.12 cores=0,2,4,6
/proc/25333/stat : 25333 (toysat) Z 25330 25333 20760 0 -1 4203532 3904127 0 0 0 14475 637 0 0 20 0 2 0 27772222 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25333/statm: 0 0 0 0 0 0 0
[pid=25333/tid=25336] ppid=25330 vsize=0 CPUtime=0.68 cores=0,2,4,6
/proc/25333/task/25336/stat : 25336 (toysat) R 25330 25333 20760 0 -1 4203588 2 0 0 0 0 68 0 0 20 0 2 0 27772222 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) 151.12
Current children cumulated vsize (KiB) 0

[startup+151.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/181 25389
/proc/meminfo: memFree=5350300/32872528 swapFree=163656/177964
[pid=25333] ppid=25330 vsize=0 CPUtime=151.22 cores=0,2,4,6
/proc/25333/stat : 25333 (toysat) Z 25330 25333 20760 0 -1 4203532 3904127 0 0 0 14475 647 0 0 20 0 2 0 27772222 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25333/statm: 0 0 0 0 0 0 0
[pid=25333/tid=25336] ppid=25330 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/25333/task/25336/stat : 25336 (toysat) R 25330 25333 20760 0 -1 4203588 2 0 0 0 0 78 0 0 20 0 2 0 27772222 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) 151.22
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 151.337
CPU time (s): 151.269
CPU user time (s): 144.76
CPU system time (s): 6.50901
CPU usage (%): 99.9552
Max. virtual memory (cumulated for all children) (KiB): 15878724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 144.76
system time used= 6.50901
maximum resident set size= 15642184
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3904127
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= 80
involuntary context switches= 246

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.11483 second user time and 0.98585 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-18 15:40:23
IDJOB=4105865
IDBENCH=3044
IDSOLVER=2542
FILE ID=node105/4105865-1466257222
RUNJOBID= node105-1466229502-20776
PBS_JOBID= 19918174
Free space on /tmp= 71688 MiB

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

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

MD5SUM BENCH= 9e60200cb127c02542a69a69c594f660
RANDOM SEED=397391951

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:        16841564 kB
Buffers:           81684 kB
Cached:           244732 kB
SwapCached:         1460 kB
Active:         14855328 kB
Inactive:         230988 kB
Active(anon):   14713128 kB
Inactive(anon):    49268 kB
Active(file):     142200 kB
Inactive(file):   181720 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67097160 kB
Dirty:             36736 kB
Writeback:            28 kB
AnonPages:      14939800 kB
Mapped:            10564 kB
Shmem:                 0 kB
Slab:             606232 kB
SReclaimable:      49616 kB
SUnreclaim:       556616 kB
KernelStack:        1480 kB
PageTables:        33456 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   15078940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    512000 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:42:54