Trace number 4105673

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) 148.055 148.109

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=460-sizeP=231-sizeQ=460-510733673.opb
MD5SUMd36f723aeb357b1886dd165bafa2139f
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.82211
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 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:04:38+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-4105673-1466255078.opb"]
0.00/0.01	c use --random-gen="1950113846 1080637745 2075457277 2420833135 2505197407 1628520893 3531791970 1319168110 3038690176 1844459619 1329406832 1996879577 376801208 3621074438 3632696928 4281946164 356290010 1821099431 917095433 586353776 1250272554 2137785681 1636501116 3174332702 91407147 309314421 427589821 312525807 1948020667 4026500999 890497071 668421496 3834078772 2535189756 1163510942 1306202825 2547725809 3344266072 2999996327 3004908805 1588313291 157636624 2272842721 3787340097 3366024513 1512498935 4213401555 709604841 2386024849 574636115 2171488744 1071644555 2021250390 1122778958 1360778597 3277920056 2377318269 3951101525 1475070875 4255040375 2672311136 2903855223 3760353107 940854358 2936472243 3581635374 3206267719 2588686318 4030510436 747205868 3042283676 3353870647 140089636 2406974111 1709351060 4013959538 52715953 2708148041 3070093004 1887494318 3159070197 176638255 3162621105 2641419496 292339062 2151226042 4249677060 3056808730 3106535972 735599641 2286086378 536169310 2576230603 853989283 2365866556 2229719394 73456828 1514586604 3810104859 3098708283 4250352258 2235025479 1732229563 3604082318 1442731878 1584987203 305106193 1025298189 1788130050 2363944810 3931461512 667665046 843743424 1037426660 2775580380 3554918202 2295376111 2249741971 4087348082 78723398 687952269 511396809 3733984303 328778138 3608154324 3314255871 2018743240 272897250 591590019 2109224118 1012214808 2213553686 2016097298 1972401624 140060322 2399980040 2521989408 3426041871 242762844 2424634190 331517459 2138688472 857777447 1010416091 508883988 2237228893 4206881493 3226729034 64219569 751455099 2534417600 1536399759 1164548504 3068091203 1728130727 3430781082 166696788 2448843536 1572005582 3631151540 2410515551 2165498265 1843127441 808481207 4096929659 2695927090 3450487741 3420893283 2039026367 4057976462 2743800973 2300941684 3852022507 1625423327 4151797436 2780121409 747899411 2012265139 3876786147 2881129266 4252098892 2511189589 2351214285 2623255398 1492513542 237726910 1601088075 782093001 2179711011 1346480044 1724145291 524037529 328620605 316709967 1734192889 704320501 3290391896 1387978470 1386489639 128158124 1649187887 1295756664 4027790881 287147024 3233725019 1682535489 578370326 2004710583 3208101122 3301202061 2709365065 2373764097 3445592416 1087206631 3535352731 1194376360 468350419 2762231590 1526101096 3575766908 480403271 1119432364 2725231522 1629767741 535167706 3322584070 3427008446 2146253300 1259188750 1585281319 4031305297 3632077517 1713104634 3988206003 496946759 2739610827 1180113540 3677173304 2838647424 2133676624 1227043304 2630981247 4276984144 2960871653 3222404564 2548192812 3448628156 3850790780 3930647042 3649567384 3374054555 2599056302 3903081502 3867340410 3518678211 733765309 255 362436" option to reproduce the execution
2.50/2.60	c #vars 106951
2.50/2.60	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-4105673-1466255078/watcher-4105673-1466255078 -o /tmp/evaluation-result-4105673-1466255078/solver-4105673-1466255078 -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-4105673-1466255078.opb 

pid=24060
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.00 2.01 2.00 2/179 24063
/proc/meminfo: memFree=30542672/32872528 swapFree=163656/177964
[pid=24063] ppid=24060 vsize=712124 CPUtime=0 cores=0,2,4,6
/proc/24063/stat : 24063 (toysat) R 24060 24063 20760 0 -1 4202496 2655 0 0 0 0 0 0 0 20 0 4 0 27557773 729214976 3015 33554432000 4194304 16246674 140735482271872 140735482271296 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24063/statm: 178799 3025 441 2943 0 175693 0
[pid=24063/tid=24064] ppid=24060 vsize=729532 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24064/stat : 24064 (toysat) S 24060 24063 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27557773 747040768 3084 33554432000 4194304 16246674 140735482271872 139781832944880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24063/tid=24065] ppid=24060 vsize=733628 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24065/stat : 24065 (toysat) S 24060 24063 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27557773 751235072 3100 33554432000 4194304 16246674 140735482271872 139781822455024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24063/tid=24066] ppid=24060 vsize=737724 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24066/stat : 24066 (toysat) S 24060 24063 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27557773 755429376 3117 33554432000 4194304 16246674 140735482271872 139781811981488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.00 2.01 2.00 2/179 24063
/proc/meminfo: memFree=30542672/32872528 swapFree=163656/177964
[pid=24063] ppid=24060 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/24063/stat : 24063 (toysat) R 24060 24063 20760 0 -1 4202496 25627 0 0 0 6 3 0 0 20 0 4 0 27557773 1332285440 25926 33554432000 4194304 16246674 140735482271872 140735482271184 13780501 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24063/statm: 325265 25940 800 2943 0 322159 0
[pid=24063/tid=24064] ppid=24060 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24064/stat : 24064 (toysat) S 24060 24063 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27557773 1332285440 25950 33554432000 4194304 16246674 140735482271872 139781832944880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24063/tid=24065] ppid=24060 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24065/stat : 24065 (toysat) S 24060 24063 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27557773 1332285440 25961 33554432000 4194304 16246674 140735482271872 139781822455024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24063/tid=24066] ppid=24060 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24066/stat : 24066 (toysat) S 24060 24063 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27557773 1332285440 25972 33554432000 4194304 16246674 140735482271872 139781811981488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200521 s]
/proc/loadavg: 2.00 2.01 2.00 2/179 24063
/proc/meminfo: memFree=30542672/32872528 swapFree=163656/177964
[pid=24063] ppid=24060 vsize=1314372 CPUtime=0.19 cores=0,2,4,6
/proc/24063/stat : 24063 (toysat) R 24060 24063 20760 0 -1 4202496 46773 0 0 0 13 6 0 0 20 0 4 0 27557773 1345916928 47582 33554432000 4194304 16246674 140735482271872 140735482271184 7369376 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24063/statm: 328593 47582 801 2943 0 325487 0
[pid=24063/tid=24064] ppid=24060 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24064/stat : 24064 (toysat) S 24060 24063 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27557773 1345916928 47582 33554432000 4194304 16246674 140735482271872 139781832944880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24063/tid=24065] ppid=24060 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24065/stat : 24065 (toysat) S 24060 24063 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27557773 1345916928 47582 33554432000 4194304 16246674 140735482271872 139781822455024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24063/tid=24066] ppid=24060 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24066/stat : 24066 (toysat) S 24060 24063 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27557773 1345916928 47582 33554432000 4194304 16246674 140735482271872 139781811981488 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.300497 s]
/proc/loadavg: 2.00 2.01 2.00 2/179 24063
/proc/meminfo: memFree=30542672/32872528 swapFree=163656/177964
[pid=24063] ppid=24060 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/24063/stat : 24063 (toysat) R 24060 24063 20760 0 -1 4202496 64638 0 0 0 20 9 0 0 20 0 4 0 27557773 1345916928 65447 33554432000 4194304 16246674 140735482271872 140735482271184 4222992 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24063/statm: 328593 65447 801 2943 0 325487 0
[pid=24063/tid=24064] ppid=24060 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24064/stat : 24064 (toysat) S 24060 24063 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27557773 1345916928 65447 33554432000 4194304 16246674 140735482271872 139781832944880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24063/tid=24065] ppid=24060 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24065/stat : 24065 (toysat) S 24060 24063 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27557773 1345916928 65447 33554432000 4194304 16246674 140735482271872 139781822455024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24063/tid=24066] ppid=24060 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24066/stat : 24066 (toysat) S 24060 24063 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27557773 1345916928 65447 33554432000 4194304 16246674 140735482271872 139781811981488 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.754108 s]
/proc/loadavg: 2.00 2.01 2.00 2/179 24063
/proc/meminfo: memFree=30542672/32872528 swapFree=163656/177964
[pid=24063] ppid=24060 vsize=1314372 CPUtime=0.74 cores=0,2,4,6
/proc/24063/stat : 24063 (toysat) R 24060 24063 20760 0 -1 4202496 73345 0 0 0 64 10 0 0 20 0 4 0 27557773 1345916928 74154 33554432000 4194304 16246674 140735482271872 140735482271184 8058796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24063/statm: 328593 74171 801 2943 0 325487 0
[pid=24063/tid=24064] ppid=24060 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24064/stat : 24064 (toysat) S 24060 24063 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27557773 1345916928 74181 33554432000 4194304 16246674 140735482271872 139781832944880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24063/tid=24065] ppid=24060 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24065/stat : 24065 (toysat) S 24060 24063 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27557773 1345916928 74193 33554432000 4194304 16246674 140735482271872 139781822455024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24063/tid=24066] ppid=24060 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24066/stat : 24066 (toysat) S 24060 24063 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27557773 1345916928 74204 33554432000 4194304 16246674 140735482271872 139781811981488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 1314372

[startup+1.50768 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24067
/proc/meminfo: memFree=30209952/32872528 swapFree=163656/177964
[pid=24063] ppid=24060 vsize=1314372 CPUtime=1.5 cores=0,2,4,6
/proc/24063/stat : 24063 (toysat) R 24060 24063 20760 0 -1 4202496 83734 0 0 0 138 12 0 0 20 0 4 0 27557773 1345916928 84543 33554432000 4194304 16246674 140735482271872 140735482254864 7440114 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24063/statm: 328593 84543 802 2943 0 325487 0
[pid=24063/tid=24064] ppid=24060 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24064/stat : 24064 (toysat) S 24060 24063 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27557773 1345916928 84543 33554432000 4194304 16246674 140735482271872 139781832944880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24063/tid=24065] ppid=24060 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24065/stat : 24065 (toysat) S 24060 24063 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27557773 1345916928 84543 33554432000 4194304 16246674 140735482271872 139781822455024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24063/tid=24066] ppid=24060 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24066/stat : 24066 (toysat) S 24060 24063 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27557773 1345916928 84543 33554432000 4194304 16246674 140735482271872 139781811981488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 1314372

[startup+3.10041 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24067
/proc/meminfo: memFree=30147044/32872528 swapFree=163656/177964
[pid=24063] ppid=24060 vsize=1348164 CPUtime=3.09 cores=0,2,4,6
/proc/24063/stat : 24063 (toysat) R 24060 24063 20760 0 -1 4202496 153728 0 0 0 286 23 0 0 20 0 4 0 27557773 1380519936 160158 33554432000 4194304 16246674 140735482271872 140735482253760 5590097 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24063/statm: 337041 160167 837 2943 0 333935 0
[pid=24063/tid=24064] ppid=24060 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24064/stat : 24064 (toysat) S 24060 24063 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27557773 1380519936 160171 33554432000 4194304 16246674 140735482271872 139781832944880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24063/tid=24065] ppid=24060 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24065/stat : 24065 (toysat) S 24060 24063 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27557773 1380519936 160176 33554432000 4194304 16246674 140735482271872 139781822455024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24063/tid=24066] ppid=24060 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24066/stat : 24066 (toysat) S 24060 24063 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27557773 1380519936 160182 33554432000 4194304 16246674 140735482271872 139781811981488 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.3004 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24067
/proc/meminfo: memFree=29432344/32872528 swapFree=163656/177964
[pid=24063] ppid=24060 vsize=1348164 CPUtime=6.29 cores=0,2,4,6
/proc/24063/stat : 24063 (toysat) R 24060 24063 20760 0 -1 4202496 271525 0 0 0 589 40 0 0 20 0 4 0 27557773 1380519936 277955 33554432000 4194304 16246674 140735482271872 140735482269760 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24063/statm: 337041 277955 837 2943 0 333935 0
[pid=24063/tid=24064] ppid=24060 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24064/stat : 24064 (toysat) S 24060 24063 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27557773 1380519936 277955 33554432000 4194304 16246674 140735482271872 139781832944880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24063/tid=24065] ppid=24060 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24065/stat : 24065 (toysat) S 24060 24063 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27557773 1380519936 277955 33554432000 4194304 16246674 140735482271872 139781822454800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24063/tid=24066] ppid=24060 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24066/stat : 24066 (toysat) S 24060 24063 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27557773 1380519936 277955 33554432000 4194304 16246674 140735482271872 139781811981488 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.00 2.01 2.00 3/183 24067
/proc/meminfo: memFree=29188468/32872528 swapFree=163656/177964
[pid=24063] ppid=24060 vsize=1589828 CPUtime=12.69 cores=0,2,4,6
/proc/24063/stat : 24063 (toysat) R 24060 24063 20760 0 -1 4202496 331961 0 0 0 1218 51 0 0 20 0 4 0 27557773 1627983872 338902 33554432000 4194304 16246674 140735482271872 140735482271048 4225056 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24063/statm: 397457 338902 847 2943 0 394351 0
[pid=24063/tid=24064] ppid=24060 vsize=1589828 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24064/stat : 24064 (toysat) S 24060 24063 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27557773 1627983872 338902 33554432000 4194304 16246674 140735482271872 139781832944880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24063/tid=24065] ppid=24060 vsize=1589828 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24065/stat : 24065 (toysat) S 24060 24063 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27557773 1627983872 338902 33554432000 4194304 16246674 140735482271872 139781822455024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24063/tid=24066] ppid=24060 vsize=1589828 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24066/stat : 24066 (toysat) S 24060 24063 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27557773 1627983872 338902 33554432000 4194304 16246674 140735482271872 139781811981488 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.00 2.01 2.00 3/183 24067
/proc/meminfo: memFree=26890124/32872528 swapFree=163656/177964
[pid=24063] ppid=24060 vsize=3884612 CPUtime=25.48 cores=0,2,4,6
/proc/24063/stat : 24063 (toysat) R 24060 24063 20760 0 -1 4202496 905660 0 0 0 2420 128 0 0 20 0 4 0 27557773 3977842688 912599 33554432000 4194304 16246674 140735482271872 140735482270968 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24063/statm: 971153 912599 847 2943 0 968047 0
[pid=24063/tid=24064] ppid=24060 vsize=3884612 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24064/stat : 24064 (toysat) S 24060 24063 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27557773 3977842688 912599 33554432000 4194304 16246674 140735482271872 139781832944880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24063/tid=24065] ppid=24060 vsize=3884612 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24065/stat : 24065 (toysat) S 24060 24063 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27557773 3977842688 912599 33554432000 4194304 16246674 140735482271872 139781822455024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24063/tid=24066] ppid=24060 vsize=3884612 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24066/stat : 24066 (toysat) S 24060 24063 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27557773 3977842688 912599 33554432000 4194304 16246674 140735482271872 139781811981488 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) 3884612

[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 24067
/proc/meminfo: memFree=22244036/32872528 swapFree=163656/177964
[pid=24063] ppid=24060 vsize=8521284 CPUtime=51.07 cores=0,2,4,6
/proc/24063/stat : 24063 (toysat) R 24060 24063 20760 0 -1 4202496 2064831 0 0 0 4828 279 0 0 20 0 4 0 27557773 8725794816 2071769 33554432000 4194304 16246674 140735482271872 140735482270968 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24063/statm: 2130321 2071769 847 2943 0 2127215 0
[pid=24063/tid=24064] ppid=24060 vsize=8521284 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24064/stat : 24064 (toysat) S 24060 24063 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27557773 8725794816 2071769 33554432000 4194304 16246674 140735482271872 139781832944880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24063/tid=24065] ppid=24060 vsize=8521284 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24065/stat : 24065 (toysat) S 24060 24063 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27557773 8725794816 2071769 33554432000 4194304 16246674 140735482271872 139781822455024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24063/tid=24066] ppid=24060 vsize=8521284 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24066/stat : 24066 (toysat) S 24060 24063 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27557773 8725794816 2071769 33554432000 4194304 16246674 140735482271872 139781811981488 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.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 24069
/proc/meminfo: memFree=17925756/32872528 swapFree=163656/177964
[pid=24063] ppid=24060 vsize=12836420 CPUtime=102.26 cores=0,2,4,6
/proc/24063/stat : 24063 (toysat) R 24060 24063 20760 0 -1 4202496 3143630 0 0 0 9795 431 0 0 20 0 4 0 27557773 13144494080 3150559 33554432000 4194304 16246674 140735482271872 140735482269696 14013805 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24063/statm: 3209105 3150559 852 2943 0 3205999 0
[pid=24063/tid=24064] ppid=24060 vsize=12836420 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24064/stat : 24064 (toysat) S 24060 24063 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27557773 13144494080 3150559 33554432000 4194304 16246674 140735482271872 139781832944880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24063/tid=24065] ppid=24060 vsize=12836420 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24065/stat : 24065 (toysat) S 24060 24063 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27557773 13144494080 3150559 33554432000 4194304 16246674 140735482271872 139781822454800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=24063/tid=24066] ppid=24060 vsize=12836420 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24066/stat : 24066 (toysat) S 24060 24063 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27557773 13144494080 3150559 33554432000 4194304 16246674 140735482271872 139781811981488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 12836420



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+147.2 s]
/proc/loadavg: 2.15 2.05 2.01 3/183 24070
/proc/meminfo: memFree=14961444/32872528 swapFree=163656/177964
[pid=24063] ppid=24060 vsize=15874628 CPUtime=147.14 cores=0,2,4,6
/proc/24063/stat : 24063 (toysat) R 24060 24063 20760 0 -1 4202496 3903164 0 0 0 14165 549 0 0 20 0 4 0 27557773 16255619072 3910089 33554432000 4194304 16246674 140735482271872 140735482253760 12483797 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24063/statm: 3968657 3910089 852 2943 0 3965551 0
[pid=24063/tid=24064] ppid=24060 vsize=15874628 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24064/stat : 24064 (toysat) S 24060 24063 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27557773 16255619072 3910089 33554432000 4194304 16246674 140735482271872 139781832944880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24063/tid=24065] ppid=24060 vsize=15874628 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24065/stat : 24065 (toysat) S 24060 24063 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27557773 16255619072 3910089 33554432000 4194304 16246674 140735482271872 139781822455024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24063/tid=24066] ppid=24060 vsize=15874628 CPUtime=0 cores=0,2,4,6
/proc/24063/task/24066/stat : 24066 (toysat) S 24060 24063 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27557773 16255619072 3910089 33554432000 4194304 16246674 140735482271872 139781811981488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 147.14
Current children cumulated vsize (KiB) 15874628

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

[startup+147.5 s]
/proc/loadavg: 2.15 2.05 2.01 3/183 24070
/proc/meminfo: memFree=14961444/32872528 swapFree=163656/177964
[pid=24063] ppid=24060 vsize=0 CPUtime=147.45 cores=0,2,4,6
/proc/24063/stat : 24063 (toysat) Z 24060 24063 20760 0 -1 4203532 3903342 0 0 0 14166 579 0 0 20 0 2 0 27557773 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24063/statm: 0 0 0 0 0 0 0
[pid=24063/tid=24065] ppid=24060 vsize=0 CPUtime=0.28 cores=0,2,4,6
/proc/24063/task/24065/stat : 24065 (toysat) R 24060 24063 20760 0 -1 4203588 8 0 0 0 0 28 0 0 20 0 2 0 27557773 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) 147.45
Current children cumulated vsize (KiB) 0

[startup+147.9 s]
/proc/loadavg: 2.14 2.05 2.01 3/181 24070
/proc/meminfo: memFree=23098548/32872528 swapFree=163656/177964
[pid=24063] ppid=24060 vsize=0 CPUtime=147.84 cores=0,2,4,6
/proc/24063/stat : 24063 (toysat) Z 24060 24063 20760 0 -1 4203532 3903342 0 0 0 14166 618 0 0 20 0 2 0 27557773 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24063/statm: 0 0 0 0 0 0 0
[pid=24063/tid=24065] ppid=24060 vsize=0 CPUtime=0.68 cores=0,2,4,6
/proc/24063/task/24065/stat : 24065 (toysat) R 24060 24063 20760 0 -1 4203588 8 0 0 0 0 68 0 0 20 0 2 0 27557773 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 147.84
Current children cumulated vsize (KiB) 0

[startup+148.1 s]
/proc/loadavg: 2.14 2.05 2.01 3/181 24070
/proc/meminfo: memFree=23098548/32872528 swapFree=163656/177964
[pid=24063] ppid=24060 vsize=0 CPUtime=148.04 cores=0,2,4,6
/proc/24063/stat : 24063 (toysat) Z 24060 24063 20760 0 -1 4203532 3903342 0 0 0 14166 638 0 0 20 0 2 0 27557773 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24063/statm: 0 0 0 0 0 0 0
[pid=24063/tid=24065] ppid=24060 vsize=0 CPUtime=0.88 cores=0,2,4,6
/proc/24063/task/24065/stat : 24065 (toysat) R 24060 24063 20760 0 -1 4203588 8 0 0 0 0 88 0 0 20 0 2 0 27557773 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 148.04
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 148.109
CPU time (s): 148.055
CPU user time (s): 141.659
CPU system time (s): 6.39603
CPU usage (%): 99.9639
Max. virtual memory (cumulated for all children) (KiB): 15874628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 141.659
system time used= 6.39603
maximum resident set size= 15641068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3903342
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= 82
involuntary context switches= 162

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

The end

Launcher Data 

Begin job on node105 at 2016-06-18 15:04:38
IDJOB=4105673
IDBENCH=2974
IDSOLVER=2542
FILE ID=node105/4105673-1466255078
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=460-sizeP=231-sizeQ=460-510733673.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105673-1466255078/watcher-4105673-1466255078 -o /tmp/evaluation-result-4105673-1466255078/solver-4105673-1466255078 -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-4105673-1466255078.opb

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

MD5SUM BENCH= d36f723aeb357b1886dd165bafa2139f
RANDOM SEED=1321332949

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:        30543208 kB
Buffers:          113744 kB
Cached:           222248 kB
SwapCached:         1676 kB
Active:          1188120 kB
Inactive:         222880 kB
Active(anon):    1072880 kB
Inactive(anon):     4412 kB
Active(file):     115240 kB
Inactive(file):   218468 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67097160 kB
Dirty:             36676 kB
Writeback:            20 kB
AnonPages:       1252384 kB
Mapped:            10480 kB
Shmem:                 0 kB
Slab:             605776 kB
SReclaimable:      49204 kB
SUnreclaim:       556572 kB
KernelStack:        1448 kB
PageTables:         6520 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1396200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1079296 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:07:07