Trace number 4079093

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.512 151.547

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=460-sizeP=231-sizeQ=460-367423129-max.opb
MD5SUM74dac00a4979a8cd5d3f4292ad3ec004
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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -1
Optimality of the best value was proved NO
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 10273702932711667006330058365000251299903007427389011444332579888806117119150450980598364387789362806715159761636352224959479775105866707576248572053899244884258622387609641105402680464792324232304944082188954
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-06T23:09:32+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-4079093-1465247371.opb"]
0.00/0.01	c use --random-gen="3719925486 63107408 198270077 4284270214 2979773751 3905891061 573797199 2427743701 3552850215 885492717 1168702440 2068532457 3543817518 324167608 4139471076 3463385736 3111514730 4262124879 1359284427 4251069729 4249274827 1784815193 3442959686 790088529 2710106282 3557976339 2645405446 344850674 3678572893 2301568964 1673172411 1484173559 3596676223 3247957379 117515074 397261751 3109567166 2577083759 2089161438 3178247894 1178753351 756846965 2909581636 1726986929 84270373 2070554888 3012372860 2415560099 893455960 1886955587 3065352415 3421192436 2781682284 311007220 2910263343 2986303 2291046732 2057846384 3103983282 1483986513 1498175736 525705624 376630703 295783038 1227513212 3573297527 2868803430 3296481364 2335309650 1073265910 3655667726 97340134 1537203767 2750899803 2725262950 718007078 3077883813 3588959248 3573052808 2327548842 1344838828 599263128 4236543844 4035574879 3002284508 947860865 2519521649 1068100350 1604466254 589623596 3844334253 694799217 1338314850 1273208280 1780511035 2627987147 1357265595 277915013 2755134352 2755335753 3102498916 3417599780 2415404015 718091851 2159433560 3912610181 1393038156 1946240113 7873196 2098018288 348154323 1441464278 399740951 4172283380 2775287306 1009826187 2815537270 2192762868 1502310762 719703903 3747152860 3314136489 39407035 3127212270 926895412 3680543527 3750778316 1736695360 854291841 872374835 1463118554 1145893529 2267357143 3668667144 1887269947 4195463191 3245180524 3721507238 1392086319 3860432810 1622297181 3838020731 1184762698 2448674333 2371613158 3835532887 3027267792 1506711534 1877225202 144476912 1187347656 2524280326 2536115526 2358836407 2453910267 1617003501 2819095540 2696431411 2943735800 522708951 1174771863 1150244932 3870804129 1320104331 4119032502 3870303346 4170530103 1983300823 3524652287 2958265530 786880000 1721885158 2523678055 702855815 2885505992 586976605 1220757575 2402774468 1807170412 2843086761 4079724310 1243174563 1270420527 639528335 2006743633 2761351231 3085162876 770838061 2468186936 966985133 518346342 906223563 796923701 259721906 4207283393 818137914 2998045732 1603094952 1394203214 174098621 1033581469 166229332 1292451657 596986998 3252334833 2608116772 1763000830 4117736768 2775865923 3350827274 3992854555 61329403 4170880876 727554193 4052370065 1910935957 971426308 1828644042 2204833073 4283225519 1182973359 1429812462 388285248 254985057 332958068 3285648682 3284868623 551382420 454629402 2069673345 3936353231 209215941 4044625151 2977811926 432644092 167292663 1118679648 648478608 857052881 963096638 1721168930 3713529208 2160557091 1971163388 1009190292 3769598385 2902567349 3199926896 3666909444 449678622 2363356650 1561876484 3792529871 3283708353 1476220023 1002984005 255 362436" option to reproduce the execution
2.49/2.55	c #vars 106951
2.49/2.55	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-4079093-1465247371/watcher-4079093-1465247371 -o /tmp/evaluation-result-4079093-1465247371/solver-4079093-1465247371 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1858 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079093-1465247371.opb 

pid=6118
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.19 2.15 2.10 3/179 6121
/proc/meminfo: memFree=30270396/32872528 swapFree=13600/559348
[pid=6121] ppid=6118 vsize=777660 CPUtime=0 cores=0,2,4,6
/proc/6121/stat : 6121 (toysat) R 6118 6121 1842 0 -1 4202496 2909 0 0 0 0 0 0 0 20 0 4 0 106672141 796323840 3270 33554432000 4194304 16246674 140737206297184 140737206296608 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6121/statm: 194671 3277 441 2943 0 191565 0
[pid=6121/tid=6122] ppid=6118 vsize=795068 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6122/stat : 6122 (toysat) S 6118 6121 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106672141 814149632 3341 33554432000 4194304 16246674 140737206297184 139802558049520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6121/tid=6123] ppid=6118 vsize=800188 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6123/stat : 6123 (toysat) S 6118 6121 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106672141 819392512 3360 33554432000 4194304 16246674 140737206297184 139802547559664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6121/tid=6124] ppid=6118 vsize=804284 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6124/stat : 6124 (toysat) S 6118 6121 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106672141 823586816 3377 33554432000 4194304 16246674 140737206297184 139802460548272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100146 s]
/proc/loadavg: 2.19 2.15 2.10 3/179 6121
/proc/meminfo: memFree=30270396/32872528 swapFree=13600/559348
[pid=6121] ppid=6118 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/6121/stat : 6121 (toysat) R 6118 6121 1842 0 -1 4202496 26503 0 0 0 6 3 0 0 20 0 4 0 106672141 1332285440 26802 33554432000 4194304 16246674 140737206297184 140737206296496 8058796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6121/statm: 325265 26817 800 2943 0 322159 0
[pid=6121/tid=6122] ppid=6118 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6122/stat : 6122 (toysat) S 6118 6121 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106672141 1332285440 26828 33554432000 4194304 16246674 140737206297184 139802558049520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6121/tid=6123] ppid=6118 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6123/stat : 6123 (toysat) S 6118 6121 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106672141 1332285440 26839 33554432000 4194304 16246674 140737206297184 139802547559664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6121/tid=6124] ppid=6118 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6124/stat : 6124 (toysat) S 6118 6121 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106672141 1332285440 26850 33554432000 4194304 16246674 140737206297184 139802460548272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200464 s]
/proc/loadavg: 2.19 2.15 2.10 3/179 6121
/proc/meminfo: memFree=30270396/32872528 swapFree=13600/559348
[pid=6121] ppid=6118 vsize=1314372 CPUtime=0.19 cores=0,2,4,6
/proc/6121/stat : 6121 (toysat) R 6118 6121 1842 0 -1 4202496 46835 0 0 0 14 5 0 0 20 0 4 0 106672141 1345916928 47645 33554432000 4194304 16246674 140737206297184 140737206296496 7852948 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6121/statm: 328593 47645 801 2943 0 325487 0
[pid=6121/tid=6122] ppid=6118 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6122/stat : 6122 (toysat) S 6118 6121 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106672141 1345916928 47645 33554432000 4194304 16246674 140737206297184 139802558049520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6121/tid=6123] ppid=6118 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6123/stat : 6123 (toysat) S 6118 6121 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106672141 1345916928 47645 33554432000 4194304 16246674 140737206297184 139802547559664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6121/tid=6124] ppid=6118 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6124/stat : 6124 (toysat) S 6118 6121 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106672141 1345916928 47645 33554432000 4194304 16246674 140737206297184 139802460548272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300498 s]
/proc/loadavg: 2.19 2.15 2.10 3/179 6121
/proc/meminfo: memFree=30270396/32872528 swapFree=13600/559348
[pid=6121] ppid=6118 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/6121/stat : 6121 (toysat) R 6118 6121 1842 0 -1 4202496 64638 0 0 0 22 7 0 0 20 0 4 0 106672141 1345916928 65448 33554432000 4194304 16246674 140737206297184 140737206279104 4220543 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6121/statm: 328593 65448 801 2943 0 325487 0
[pid=6121/tid=6122] ppid=6118 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6122/stat : 6122 (toysat) S 6118 6121 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106672141 1345916928 65448 33554432000 4194304 16246674 140737206297184 139802558049520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6121/tid=6123] ppid=6118 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6123/stat : 6123 (toysat) S 6118 6121 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106672141 1345916928 65448 33554432000 4194304 16246674 140737206297184 139802547559664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6121/tid=6124] ppid=6118 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6124/stat : 6124 (toysat) S 6118 6121 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106672141 1345916928 65448 33554432000 4194304 16246674 140737206297184 139802460548272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700404 s]
/proc/loadavg: 2.19 2.15 2.10 3/179 6121
/proc/meminfo: memFree=30270396/32872528 swapFree=13600/559348
[pid=6121] ppid=6118 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/6121/stat : 6121 (toysat) R 6118 6121 1842 0 -1 4202496 69724 0 0 0 61 8 0 0 20 0 4 0 106672141 1345916928 70534 33554432000 4194304 16246674 140737206297184 140737206279104 8057043 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6121/statm: 328593 70534 801 2943 0 325487 0
[pid=6121/tid=6122] ppid=6118 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6122/stat : 6122 (toysat) S 6118 6121 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106672141 1345916928 70534 33554432000 4194304 16246674 140737206297184 139802558049520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6121/tid=6123] ppid=6118 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6123/stat : 6123 (toysat) S 6118 6121 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106672141 1345916928 70534 33554432000 4194304 16246674 140737206297184 139802547559664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6121/tid=6124] ppid=6118 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6124/stat : 6124 (toysat) S 6118 6121 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106672141 1345916928 70534 33554432000 4194304 16246674 140737206297184 139802460548272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50038 s]
/proc/loadavg: 2.19 2.15 2.10 3/183 6125
/proc/meminfo: memFree=29931768/32872528 swapFree=13600/559348
[pid=6121] ppid=6118 vsize=1314372 CPUtime=1.49 cores=0,2,4,6
/proc/6121/stat : 6121 (toysat) R 6118 6121 1842 0 -1 4202496 83733 0 0 0 139 10 0 0 20 0 4 0 106672141 1345916928 84543 33554432000 4194304 16246674 140737206297184 140737206294976 8057366 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6121/statm: 328593 84543 802 2943 0 325487 0
[pid=6121/tid=6122] ppid=6118 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6122/stat : 6122 (toysat) S 6118 6121 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106672141 1345916928 84543 33554432000 4194304 16246674 140737206297184 139802558049520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6121/tid=6123] ppid=6118 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6123/stat : 6123 (toysat) S 6118 6121 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106672141 1345916928 84543 33554432000 4194304 16246674 140737206297184 139802547559664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6121/tid=6124] ppid=6118 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6124/stat : 6124 (toysat) S 6118 6121 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106672141 1345916928 84543 33554432000 4194304 16246674 140737206297184 139802460548272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10039 s]
/proc/loadavg: 2.25 2.17 2.11 3/183 6125
/proc/meminfo: memFree=29866192/32872528 swapFree=13600/559348
[pid=6121] ppid=6118 vsize=1348164 CPUtime=3.09 cores=0,2,4,6
/proc/6121/stat : 6121 (toysat) R 6118 6121 1842 0 -1 4202496 162871 0 0 0 286 23 0 0 20 0 4 0 106672141 1380519936 168791 33554432000 4194304 16246674 140737206297184 140737206296360 13954914 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6121/statm: 337041 168800 835 2943 0 333935 0
[pid=6121/tid=6122] ppid=6118 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6122/stat : 6122 (toysat) S 6118 6121 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106672141 1380519936 168805 33554432000 4194304 16246674 140737206297184 139802558049520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6121/tid=6123] ppid=6118 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6123/stat : 6123 (toysat) S 6118 6121 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106672141 1380519936 168810 33554432000 4194304 16246674 140737206297184 139802547559664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6121/tid=6124] ppid=6118 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6124/stat : 6124 (toysat) S 6118 6121 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106672141 1380519936 168815 33554432000 4194304 16246674 140737206297184 139802460548272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.25 2.17 2.11 3/183 6125
/proc/meminfo: memFree=29150476/32872528 swapFree=13600/559348
[pid=6121] ppid=6118 vsize=1348164 CPUtime=6.29 cores=0,2,4,6
/proc/6121/stat : 6121 (toysat) R 6118 6121 1842 0 -1 4202496 271522 0 0 0 589 40 0 0 20 0 4 0 106672141 1380519936 277442 33554432000 4194304 16246674 140737206297184 140737206295040 4206664 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6121/statm: 337041 277442 837 2943 0 333935 0
[pid=6121/tid=6122] ppid=6118 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6122/stat : 6122 (toysat) S 6118 6121 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106672141 1380519936 277442 33554432000 4194304 16246674 140737206297184 139802558049520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6121/tid=6123] ppid=6118 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6123/stat : 6123 (toysat) S 6118 6121 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106672141 1380519936 277442 33554432000 4194304 16246674 140737206297184 139802547559440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6121/tid=6124] ppid=6118 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6124/stat : 6124 (toysat) S 6118 6121 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106672141 1380519936 277442 33554432000 4194304 16246674 140737206297184 139802460548272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.21 2.16 2.10 3/183 6125
/proc/meminfo: memFree=28898376/32872528 swapFree=13600/559348
[pid=6121] ppid=6118 vsize=1595972 CPUtime=12.69 cores=0,2,4,6
/proc/6121/stat : 6121 (toysat) R 6118 6121 1842 0 -1 4202496 333495 0 0 0 1220 49 0 0 20 0 4 0 106672141 1634275328 340437 33554432000 4194304 16246674 140737206297184 140737206296280 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6121/statm: 398993 340437 847 2943 0 395887 0
[pid=6121/tid=6122] ppid=6118 vsize=1595972 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6122/stat : 6122 (toysat) S 6118 6121 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106672141 1634275328 340437 33554432000 4194304 16246674 140737206297184 139802558049520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6121/tid=6123] ppid=6118 vsize=1595972 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6123/stat : 6123 (toysat) S 6118 6121 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106672141 1634275328 340437 33554432000 4194304 16246674 140737206297184 139802547559664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6121/tid=6124] ppid=6118 vsize=1595972 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6124/stat : 6124 (toysat) S 6118 6121 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106672141 1634275328 340437 33554432000 4194304 16246674 140737206297184 139802460548272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1595972

[startup+25.5073 s]
/proc/loadavg: 2.18 2.15 2.10 3/183 6125
/proc/meminfo: memFree=26592124/32872528 swapFree=13600/559348
[pid=6121] ppid=6118 vsize=3897924 CPUtime=25.49 cores=0,2,4,6
/proc/6121/stat : 6121 (toysat) R 6118 6121 1842 0 -1 4202496 908984 0 0 0 2422 127 0 0 20 0 4 0 106672141 3991474176 915926 33554432000 4194304 16246674 140737206297184 140737206296280 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6121/statm: 974481 915926 847 2943 0 971375 0
[pid=6121/tid=6122] ppid=6118 vsize=3897924 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6122/stat : 6122 (toysat) S 6118 6121 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106672141 3991474176 915926 33554432000 4194304 16246674 140737206297184 139802558049520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6121/tid=6123] ppid=6118 vsize=3897924 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6123/stat : 6123 (toysat) S 6118 6121 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106672141 3991474176 915926 33554432000 4194304 16246674 140737206297184 139802547559664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6121/tid=6124] ppid=6118 vsize=3897924 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6124/stat : 6124 (toysat) S 6118 6121 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106672141 3991474176 915926 33554432000 4194304 16246674 140737206297184 139802460548272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3897924

[startup+51.1003 s]
/proc/loadavg: 2.27 2.17 2.11 3/184 6128
/proc/meminfo: memFree=21860356/32872528 swapFree=13600/559348
[pid=6121] ppid=6118 vsize=8619588 CPUtime=51.08 cores=0,2,4,6
/proc/6121/stat : 6121 (toysat) R 6118 6121 1842 0 -1 4202496 2089402 0 0 0 4823 285 0 0 20 0 4 0 106672141 8826458112 2096344 33554432000 4194304 16246674 140737206297184 140737206296280 4220527 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6121/statm: 2154897 2096344 847 2943 0 2151791 0
[pid=6121/tid=6122] ppid=6118 vsize=8619588 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6122/stat : 6122 (toysat) S 6118 6121 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106672141 8826458112 2096344 33554432000 4194304 16246674 140737206297184 139802558049520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6121/tid=6123] ppid=6118 vsize=8619588 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6123/stat : 6123 (toysat) S 6118 6121 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106672141 8826458112 2096344 33554432000 4194304 16246674 140737206297184 139802547559664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6121/tid=6124] ppid=6118 vsize=8619588 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6124/stat : 6124 (toysat) S 6118 6121 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106672141 8826458112 2096344 33554432000 4194304 16246674 140737206297184 139802460548272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 8619588

[startup+102.3 s]
/proc/loadavg: 2.18 2.16 2.10 4/183 6129
/proc/meminfo: memFree=17487188/32872528 swapFree=13600/559348
[pid=6121] ppid=6118 vsize=12984900 CPUtime=102.27 cores=0,2,4,6
/proc/6121/stat : 6121 (toysat) R 6118 6121 1842 0 -1 4202496 3180736 0 0 0 9795 432 0 0 20 0 4 0 106672141 13296537600 3187678 33554432000 4194304 16246674 140737206297184 140737206295104 14003008 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6121/statm: 3246225 3187678 852 2943 0 3243119 0
[pid=6121/tid=6122] ppid=6118 vsize=12984900 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6122/stat : 6122 (toysat) S 6118 6121 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106672141 13296537600 3187678 33554432000 4194304 16246674 140737206297184 139802558049520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6121/tid=6123] ppid=6118 vsize=12984900 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6123/stat : 6123 (toysat) S 6118 6121 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106672141 13296537600 3187678 33554432000 4194304 16246674 140737206297184 139802547559440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6121/tid=6124] ppid=6118 vsize=12984900 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6124/stat : 6124 (toysat) S 6118 6121 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106672141 13296537600 3187678 33554432000 4194304 16246674 140737206297184 139802460548272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 12984900



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+150.7 s]
/proc/loadavg: 2.14 2.15 2.10 4/183 6130
/proc/meminfo: memFree=14725896/32872528 swapFree=13600/559348
[pid=6121] ppid=6118 vsize=15873604 CPUtime=150.67 cores=0,2,4,6
/proc/6121/stat : 6121 (toysat) R 6118 6121 1842 0 -1 4202496 3902762 0 0 0 14515 552 0 0 20 0 4 0 106672141 16254570496 3909704 33554432000 4194304 16246674 140737206297184 140737206296360 13769808 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6121/statm: 3968401 3909704 852 2943 0 3965295 0
[pid=6121/tid=6122] ppid=6118 vsize=15873604 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6122/stat : 6122 (toysat) S 6118 6121 1842 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106672141 16254570496 3909704 33554432000 4194304 16246674 140737206297184 139802558049520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6121/tid=6123] ppid=6118 vsize=15873604 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6123/stat : 6123 (toysat) S 6118 6121 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106672141 16254570496 3909704 33554432000 4194304 16246674 140737206297184 139802547559664 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6121/tid=6124] ppid=6118 vsize=15873604 CPUtime=0 cores=0,2,4,6
/proc/6121/task/6124/stat : 6124 (toysat) S 6118 6121 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106672141 16254570496 3909704 33554432000 4194304 16246674 140737206297184 139802460548272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 150.67
Current children cumulated vsize (KiB) 15873604

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

[startup+151.3 s]
/proc/loadavg: 2.14 2.15 2.10 3/181 6130
/proc/meminfo: memFree=16468496/32872528 swapFree=13600/559348
[pid=6121] ppid=6118 vsize=0 CPUtime=151.27 cores=0,2,4,6
/proc/6121/stat : 6121 (toysat) Z 6118 6121 1842 0 -1 4203532 3902939 0 0 0 14516 611 0 0 20 0 2 0 106672141 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6121/statm: 0 0 0 0 0 0 0
[pid=6121/tid=6123] ppid=6118 vsize=0 CPUtime=0.58 cores=0,2,4,6
/proc/6121/task/6123/stat : 6123 (toysat) R 6118 6121 1842 0 -1 4203588 8 0 0 0 0 58 0 0 20 0 2 0 106672141 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) 151.27
Current children cumulated vsize (KiB) 0

[startup+151.5 s]
/proc/loadavg: 2.14 2.15 2.10 3/181 6130
/proc/meminfo: memFree=16468496/32872528 swapFree=13600/559348
[pid=6121] ppid=6118 vsize=0 CPUtime=151.47 cores=0,2,4,6
/proc/6121/stat : 6121 (toysat) Z 6118 6121 1842 0 -1 4203532 3902939 0 0 0 14516 631 0 0 20 0 2 0 106672141 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6121/statm: 0 0 0 0 0 0 0
[pid=6121/tid=6123] ppid=6118 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/6121/task/6123/stat : 6123 (toysat) R 6118 6121 1842 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 106672141 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) 151.47
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 151.547
CPU time (s): 151.512
CPU user time (s): 145.162
CPU system time (s): 6.35003
CPU usage (%): 99.9768
Max. virtual memory (cumulated for all children) (KiB): 15873604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 145.162
system time used= 6.35003
maximum resident set size= 15639524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3902939
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= 44
involuntary context switches= 155

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.395939 second user time and 0.572912 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-06 23:09:32
IDJOB=4079093
IDBENCH=2960
IDSOLVER=2542
FILE ID=node106/4079093-1465247371
RUNJOBID= node106-1465219870-1858
PBS_JOBID= 19843217
Free space on /tmp= 71692 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-367423129-max.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079093-1465247371/watcher-4079093-1465247371 -o /tmp/evaluation-result-4079093-1465247371/solver-4079093-1465247371 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1858 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079093-1465247371.opb

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

MD5SUM BENCH= 74dac00a4979a8cd5d3f4292ad3ec004
RANDOM SEED=1307154676

node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30271048 kB
Buffers:           50956 kB
Cached:           176672 kB
SwapCached:         1844 kB
Active:          1224408 kB
Inactive:         113208 kB
Active(anon):    1111004 kB
Inactive(anon):     1280 kB
Active(file):     113404 kB
Inactive(file):   111928 kB
Unevictable:      559348 kB
Mlocked:           13600 kB
SwapTotal:      67108856 kB
SwapFree:       67098536 kB
Dirty:             65720 kB
Writeback:             0 kB
AnonPages:       1668980 kB
Mapped:            10436 kB
Shmem:                 0 kB
Slab:             571680 kB
SReclaimable:      15464 kB
SUnreclaim:       556216 kB
KernelStack:        1472 kB
PageTables:         7576 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1823700 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    575488 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= 71676 MiB
End job on node106 at 2016-06-06 23:12:03