Trace number 4105893

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) 158.115 158.152

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=380-sizeP=191-sizeQ=380-376320478-max.opb
MD5SUMc427a567f3b7633834233277c8a24b51
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 variables73151
Total number of constraints217741
Number of constraints which are clauses217740
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 constraint72580
Number of terms in the objective function 191
Biggest coefficient in the objective function 1569275433846670190958947355801916604025588861116008628224
Number of bits for the biggest coefficient in the objective function 191
Sum of the numbers in the objective function 3138550867693340381917894711603833208051177722232017256447
Number of bits of the sum of numbers in the objective function 191
Biggest number in a constraint 1932268761508629172347675945465993672149463664853217499328617625725759571144780212268096883290961288981231808015751088588682539330521493827871454336733540374348490407411712
Number of bits of the biggest number in a constraint 570
Biggest sum of numbers in a constraint 7729075046034516689390703781863974688597854659412869997314224381048371193901200617177559040099268686897928050057991124859366103339630073271419918449372999566708003739316703
Number of bits of the biggest sum of numbers571
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:45:42+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-4105893-1466257541.opb"]
0.00/0.01	c use --random-gen="1670968220 620733794 3007170207 3485170048 2732869140 1688070209 2068906805 1457893004 905795611 99615228 3737812670 2965969872 3745112944 2679335377 4243769526 2820370662 2551428356 1117132555 1094458605 4170403455 2120246315 691702948 2871943122 3357906041 3717691835 2718807755 3107651714 3965084595 3974038257 4040611644 1584872045 2895742110 3122458344 993286397 1138942353 2405302993 313333077 3511180015 671642232 1519555038 2682397888 2820670411 521169430 1667111226 2462483689 2297604581 1978764949 2728629050 965260278 490274171 870262566 2383258289 1961948928 3954703325 4022538590 2627374009 3336775419 2104308137 4115271041 2955645923 722282748 1459621067 4135792831 4046965545 1007313013 447793200 359242083 4050015296 3062499519 848151128 740109829 2679869847 2923313918 3595413718 2962749053 3129147959 472294439 1885374300 3632089117 688268178 2124932688 2051618792 430452345 3552291505 2440610901 1450316765 3196224109 1029512242 3068863379 1756573585 3402272887 2371410709 1817952796 555446294 2651629117 1637061580 3184707766 3592358000 1469149479 2108008868 2767564891 1306850222 591421914 4181568416 744291266 2306376045 1603200817 16710273 1952712674 49077325 2633001441 2801757569 1923128134 1339659161 1294530315 1477449314 2681066300 3746435687 3839069172 159647619 2088096512 3365887363 1568872177 590316375 3380907597 2091629697 2970664222 2566589337 4248175 1953710783 397354725 3079705794 4069837350 1358088825 1513613617 3599608770 909677474 3407736728 3773668527 348506298 2272952135 2504215445 329457110 972627463 3084465636 2271670477 1544603277 1803661201 2149795599 2246744487 944818080 215113738 1940257130 2840599979 1065993828 1332127367 2312272496 3569439135 1261489290 483074242 1606437063 2503977970 1466737898 2387185997 2143302349 1425456794 2758511649 3620300039 2256866772 3788404072 4166009549 3621291142 1805845528 266836969 3702909323 1438493670 2164863609 3243266658 3577975272 311664708 3339949784 2379077131 1174630162 1513181862 3338983246 3084448882 16349491 736021984 1298653927 1031346114 2625749852 33357303 230126732 2863460659 3536618909 3225475618 668188673 813308126 3531560894 3725036023 3180011826 133650901 4196561581 3212865658 335354407 2707518252 3930578150 2561166577 2526868074 1612540735 278147231 3741135841 1275582670 3768019388 2964483058 1467339133 787784370 2780483707 4240041368 299774047 1081836239 2782783399 2130069900 835735382 4292067890 3778399923 3262436251 1452746732 1983912435 108526090 357649724 2875549665 3932468219 2370561986 419272682 1236687122 1504947560 3778994891 2145292414 3338245104 214723542 2075380090 3096296025 2098970119 2107220172 2255453544 2180682264 2734851703 738656015 3219557598 119758386 1327484173 1011892208 3514844997 361090410 3758283197 255 362436" option to reproduce the execution
1.59/1.66	c #vars 73151
1.59/1.66	c #constraints 217741

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

pid=7439
running on 4 cores: 1,3,5,7

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.08 2.05 2.03 3/179 7442
/proc/meminfo: memFree=23626532/32872528 swapFree=526336/559040
[pid=7442] ppid=7439 vsize=729532 CPUtime=0 cores=1,3,5,7
/proc/7442/stat : 7442 (toysat) R 7439 7442 28898 0 -1 4202496 2723 0 0 0 0 0 0 0 20 0 4 0 27804318 747040768 3084 33554432000 4194304 16246674 140733437068384 140733437067808 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7442/statm: 182895 3092 441 2943 0 179789 0
[pid=7442/tid=7443] ppid=7439 vsize=772540 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7443/stat : 7443 (toysat) S 7439 7442 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27804318 791080960 3252 33554432000 4194304 16246674 140733437068384 140659257224432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7442/tid=7444] ppid=7439 vsize=777660 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7444/stat : 7444 (toysat) S 7439 7442 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27804318 796323840 3271 33554432000 4194304 16246674 140733437068384 140659172289776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7442/tid=7445] ppid=7439 vsize=780732 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7445/stat : 7445 (toysat) S 7439 7442 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27804318 799469568 3285 33554432000 4194304 16246674 140733437068384 140659161816240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.08 2.05 2.03 3/179 7442
/proc/meminfo: memFree=23626532/32872528 swapFree=526336/559040
[pid=7442] ppid=7439 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/7442/stat : 7442 (toysat) R 7439 7442 28898 0 -1 4202496 27495 0 0 0 6 3 0 0 20 0 4 0 27804318 1332285440 27793 33554432000 4194304 16246674 140733437068384 140733437067696 7374276 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7442/statm: 325265 27808 802 2943 0 322159 0
[pid=7442/tid=7443] ppid=7439 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7443/stat : 7443 (toysat) S 7439 7442 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27804318 1332285440 27821 33554432000 4194304 16246674 140733437068384 140659257224432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7442/tid=7444] ppid=7439 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7444/stat : 7444 (toysat) S 7439 7442 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27804318 1332285440 27833 33554432000 4194304 16246674 140733437068384 140659172289776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7442/tid=7445] ppid=7439 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7445/stat : 7445 (toysat) S 7439 7442 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27804318 1332285440 27845 33554432000 4194304 16246674 140733437068384 140659161816240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200528 s]
/proc/loadavg: 2.08 2.05 2.03 3/179 7442
/proc/meminfo: memFree=23626532/32872528 swapFree=526336/559040
[pid=7442] ppid=7439 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/7442/stat : 7442 (toysat) R 7439 7442 28898 0 -1 4202496 48416 0 0 0 13 6 0 0 20 0 4 0 27804318 1344868352 49225 33554432000 4194304 16246674 140733437068384 140733437067696 8056974 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7442/statm: 328337 49225 802 2943 0 325231 0
[pid=7442/tid=7443] ppid=7439 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7443/stat : 7443 (toysat) S 7439 7442 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27804318 1344868352 49225 33554432000 4194304 16246674 140733437068384 140659257224432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7442/tid=7444] ppid=7439 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7444/stat : 7444 (toysat) S 7439 7442 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27804318 1344868352 49225 33554432000 4194304 16246674 140733437068384 140659172289776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7442/tid=7445] ppid=7439 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7445/stat : 7445 (toysat) S 7439 7442 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27804318 1344868352 49225 33554432000 4194304 16246674 140733437068384 140659161816240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300462 s]
/proc/loadavg: 2.08 2.05 2.03 3/179 7442
/proc/meminfo: memFree=23626532/32872528 swapFree=526336/559040
[pid=7442] ppid=7439 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/7442/stat : 7442 (toysat) R 7439 7442 28898 0 -1 4202496 64358 0 0 0 21 8 0 0 20 0 4 0 27804318 1344868352 65167 33554432000 4194304 16246674 140733437068384 140733437067696 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7442/statm: 328337 65167 802 2943 0 325231 0
[pid=7442/tid=7443] ppid=7439 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7443/stat : 7443 (toysat) S 7439 7442 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27804318 1344868352 65167 33554432000 4194304 16246674 140733437068384 140659257224432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7442/tid=7444] ppid=7439 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7444/stat : 7444 (toysat) S 7439 7442 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27804318 1344868352 65167 33554432000 4194304 16246674 140733437068384 140659172289776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7442/tid=7445] ppid=7439 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7445/stat : 7445 (toysat) S 7439 7442 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27804318 1344868352 65167 33554432000 4194304 16246674 140733437068384 140659161816240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700455 s]
/proc/loadavg: 2.08 2.05 2.03 3/179 7442
/proc/meminfo: memFree=23626532/32872528 swapFree=526336/559040
[pid=7442] ppid=7439 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/7442/stat : 7442 (toysat) R 7439 7442 28898 0 -1 4202496 69245 0 0 0 60 9 0 0 20 0 4 0 27804318 1345916928 70054 33554432000 4194304 16246674 140733437068384 140733437066176 7361352 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7442/statm: 328593 70054 802 2943 0 325487 0
[pid=7442/tid=7443] ppid=7439 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7443/stat : 7443 (toysat) S 7439 7442 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27804318 1345916928 70054 33554432000 4194304 16246674 140733437068384 140659257224432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7442/tid=7444] ppid=7439 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7444/stat : 7444 (toysat) S 7439 7442 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27804318 1345916928 70054 33554432000 4194304 16246674 140733437068384 140659172289776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7442/tid=7445] ppid=7439 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7445/stat : 7445 (toysat) S 7439 7442 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27804318 1345916928 70054 33554432000 4194304 16246674 140733437068384 140659161816240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50045 s]
/proc/loadavg: 2.08 2.05 2.03 3/183 7446
/proc/meminfo: memFree=23296780/32872528 swapFree=526336/559040
[pid=7442] ppid=7439 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/7442/stat : 7442 (toysat) R 7439 7442 28898 0 -1 4202496 81929 0 0 0 138 11 0 0 20 0 4 0 27804318 1345916928 82738 33554432000 4194304 16246674 140733437068384 140733437066176 7439630 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7442/statm: 328593 82738 803 2943 0 325487 0
[pid=7442/tid=7443] ppid=7439 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7443/stat : 7443 (toysat) S 7439 7442 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27804318 1345916928 82738 33554432000 4194304 16246674 140733437068384 140659257224432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7442/tid=7444] ppid=7439 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7444/stat : 7444 (toysat) S 7439 7442 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27804318 1345916928 82738 33554432000 4194304 16246674 140733437068384 140659172289776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7442/tid=7445] ppid=7439 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7445/stat : 7445 (toysat) S 7439 7442 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27804318 1345916928 82738 33554432000 4194304 16246674 140733437068384 140659161816240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10045 s]
/proc/loadavg: 2.08 2.05 2.03 3/183 7446
/proc/meminfo: memFree=23002984/32872528 swapFree=526336/559040
[pid=7442] ppid=7439 vsize=1340996 CPUtime=3.09 cores=1,3,5,7
/proc/7442/stat : 7442 (toysat) R 7439 7442 28898 0 -1 4202496 269736 0 0 0 268 41 0 0 20 0 4 0 27804318 1373179904 276677 33554432000 4194304 16246674 140733437068384 140733437050304 5763212 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7442/statm: 335249 276677 838 2943 0 332143 0
[pid=7442/tid=7443] ppid=7439 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7443/stat : 7443 (toysat) S 7439 7442 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27804318 1373179904 276677 33554432000 4194304 16246674 140733437068384 140659257224432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7442/tid=7444] ppid=7439 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7444/stat : 7444 (toysat) S 7439 7442 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27804318 1373179904 276677 33554432000 4194304 16246674 140733437068384 140659172289776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7442/tid=7445] ppid=7439 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7445/stat : 7445 (toysat) S 7439 7442 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27804318 1373179904 276677 33554432000 4194304 16246674 140733437068384 140659161816240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1340996

[startup+6.30045 s]
/proc/loadavg: 2.07 2.05 2.03 4/183 7446
/proc/meminfo: memFree=22514844/32872528 swapFree=526336/559040
[pid=7442] ppid=7439 vsize=1461828 CPUtime=6.29 cores=1,3,5,7
/proc/7442/stat : 7442 (toysat) R 7439 7442 28898 0 -1 4202496 299955 0 0 0 584 45 0 0 20 0 4 0 27804318 1496911872 306897 33554432000 4194304 16246674 140733437068384 140733437050304 4221799 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7442/statm: 365713 306905 847 2943 0 362607 0
[pid=7442/tid=7443] ppid=7439 vsize=1462852 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7443/stat : 7443 (toysat) S 7439 7442 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27804318 1497960448 306910 33554432000 4194304 16246674 140733437068384 140659257224432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7442/tid=7444] ppid=7439 vsize=1462852 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7444/stat : 7444 (toysat) S 7439 7442 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27804318 1497960448 306914 33554432000 4194304 16246674 140733437068384 140659172289776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7442/tid=7445] ppid=7439 vsize=1462852 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7445/stat : 7445 (toysat) S 7439 7442 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27804318 1497960448 306918 33554432000 4194304 16246674 140733437068384 140659161816240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1461828

[startup+12.7005 s]
/proc/loadavg: 2.07 2.04 2.03 3/183 7446
/proc/meminfo: memFree=21705148/32872528 swapFree=526336/559040
[pid=7442] ppid=7439 vsize=2155076 CPUtime=12.68 cores=1,3,5,7
/proc/7442/stat : 7442 (toysat) R 7439 7442 28898 0 -1 4202496 473274 0 0 0 1199 69 0 0 20 0 4 0 27804318 2206797824 480215 33554432000 4194304 16246674 140733437068384 140733437067560 4206964 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7442/statm: 538769 480215 847 2943 0 535663 0
[pid=7442/tid=7443] ppid=7439 vsize=2155076 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7443/stat : 7443 (toysat) S 7439 7442 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27804318 2206797824 480215 33554432000 4194304 16246674 140733437068384 140659257224432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7442/tid=7444] ppid=7439 vsize=2155076 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7444/stat : 7444 (toysat) S 7439 7442 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27804318 2206797824 480215 33554432000 4194304 16246674 140733437068384 140659172289776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7442/tid=7445] ppid=7439 vsize=2155076 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7445/stat : 7445 (toysat) S 7439 7442 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27804318 2206797824 480215 33554432000 4194304 16246674 140733437068384 140659161816240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2155076

[startup+25.5004 s]
/proc/loadavg: 2.05 2.04 2.03 3/183 7446
/proc/meminfo: memFree=15375840/32872528 swapFree=526336/559040
[pid=7442] ppid=7439 vsize=4724292 CPUtime=25.49 cores=1,3,5,7
/proc/7442/stat : 7442 (toysat) R 7439 7442 28898 0 -1 4202496 1115578 0 0 0 2392 157 0 0 20 0 4 0 27804318 4837675008 1122519 33554432000 4194304 16246674 140733437068384 140733437067696 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7442/statm: 1181073 1122519 847 2943 0 1177967 0
[pid=7442/tid=7443] ppid=7439 vsize=4724292 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7443/stat : 7443 (toysat) S 7439 7442 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27804318 4837675008 1122519 33554432000 4194304 16246674 140733437068384 140659257224432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7442/tid=7444] ppid=7439 vsize=4724292 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7444/stat : 7444 (toysat) S 7439 7442 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27804318 4837675008 1122519 33554432000 4194304 16246674 140733437068384 140659172289776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7442/tid=7445] ppid=7439 vsize=4724292 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7445/stat : 7445 (toysat) S 7439 7442 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27804318 4837675008 1122519 33554432000 4194304 16246674 140733437068384 140659161816240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 4724292

[startup+51.1004 s]
/proc/loadavg: 2.03 2.04 2.03 4/183 7446
/proc/meminfo: memFree=7470912/32872528 swapFree=526336/559040
[pid=7442] ppid=7439 vsize=9115204 CPUtime=51.08 cores=1,3,5,7
/proc/7442/stat : 7442 (toysat) R 7439 7442 28898 0 -1 4202496 2213216 0 0 0 4802 306 0 0 20 0 4 0 27804318 9333968896 2220157 33554432000 4194304 16246674 140733437068384 140733437066176 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7442/statm: 2278801 2220162 847 2943 0 2275695 0
[pid=7442/tid=7443] ppid=7439 vsize=9115204 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7443/stat : 7443 (toysat) S 7439 7442 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27804318 9333968896 2220165 33554432000 4194304 16246674 140733437068384 140659257224432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7442/tid=7444] ppid=7439 vsize=9115204 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7444/stat : 7444 (toysat) S 7439 7442 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27804318 9333968896 2220170 33554432000 4194304 16246674 140733437068384 140659172289552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7442/tid=7445] ppid=7439 vsize=9115204 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7445/stat : 7445 (toysat) S 7439 7442 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27804318 9333968896 2220175 33554432000 4194304 16246674 140733437068384 140659161816240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9115204

[startup+102.3 s]
/proc/loadavg: 2.01 2.03 2.02 3/183 7447
/proc/meminfo: memFree=2786084/32872528 swapFree=526336/559040
[pid=7442] ppid=7439 vsize=13564484 CPUtime=102.28 cores=1,3,5,7
/proc/7442/stat : 7442 (toysat) R 7439 7442 28898 0 -1 4202496 3325634 0 0 0 9776 452 0 0 20 0 4 0 27804318 13890031616 3332575 33554432000 4194304 16246674 140733437068384 140733437066304 14006532 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7442/statm: 3391121 3332575 852 2943 0 3388015 0
[pid=7442/tid=7443] ppid=7439 vsize=13564484 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7443/stat : 7443 (toysat) S 7439 7442 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27804318 13890031616 3332575 33554432000 4194304 16246674 140733437068384 140659257224432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7442/tid=7444] ppid=7439 vsize=13564484 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7444/stat : 7444 (toysat) S 7439 7442 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27804318 13890031616 3332575 33554432000 4194304 16246674 140733437068384 140659172289552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7442/tid=7445] ppid=7439 vsize=13564484 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7445/stat : 7445 (toysat) S 7439 7442 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27804318 13890031616 3332575 33554432000 4194304 16246674 140733437068384 140659161816240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 13564484



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+157.3 s]
/proc/loadavg: 1.93 2.01 2.01 3/183 7497
/proc/meminfo: memFree=13832620/32872528 swapFree=526336/559040
[pid=7442] ppid=7439 vsize=15883844 CPUtime=157.27 cores=1,3,5,7
/proc/7442/stat : 7442 (toysat) R 7439 7442 28898 0 -1 4202496 3905325 0 0 0 15191 536 0 0 20 0 4 0 27804318 16265056256 3912267 33554432000 4194304 16246674 140733437068384 140733437067480 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7442/statm: 3970961 3912270 852 2943 0 3967855 0
[pid=7442/tid=7443] ppid=7439 vsize=15883844 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7443/stat : 7443 (toysat) S 7439 7442 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27804318 16265056256 3912293 33554432000 4194304 16246674 140733437068384 140659257224432 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7442/tid=7444] ppid=7439 vsize=15883844 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7444/stat : 7444 (toysat) S 7439 7442 28898 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 27804318 16265056256 3912293 33554432000 4194304 16246674 140733437068384 140659172289776 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7442/tid=7445] ppid=7439 vsize=15883844 CPUtime=0 cores=1,3,5,7
/proc/7442/task/7445/stat : 7445 (toysat) S 7439 7442 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27804318 16265056256 3912293 33554432000 4194304 16246674 140733437068384 140659161816240 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 157.27
Current children cumulated vsize (KiB) 15883844

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

[startup+157.6 s]
/proc/loadavg: 1.93 2.01 2.01 3/183 7497
/proc/meminfo: memFree=13832620/32872528 swapFree=526336/559040
[pid=7442] ppid=7439 vsize=0 CPUtime=157.56 cores=1,3,5,7
/proc/7442/stat : 7442 (toysat) Z 7439 7442 28898 0 -1 4203532 3905468 0 0 0 15191 565 0 0 20 0 2 0 27804318 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7442/statm: 0 0 0 0 0 0 0
[pid=7442/tid=7444] ppid=7439 vsize=0 CPUtime=0.27 cores=1,3,5,7
/proc/7442/task/7444/stat : 7444 (toysat) R 7439 7442 28898 0 -1 4203588 7 0 0 0 0 27 0 0 20 0 2 0 27804318 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 157.56
Current children cumulated vsize (KiB) 0

[startup+158 s]
/proc/loadavg: 1.93 2.01 2.01 3/183 7497
/proc/meminfo: memFree=13832620/32872528 swapFree=526336/559040
[pid=7442] ppid=7439 vsize=0 CPUtime=157.96 cores=1,3,5,7
/proc/7442/stat : 7442 (toysat) Z 7439 7442 28898 0 -1 4203532 3905468 0 0 0 15191 605 0 0 20 0 2 0 27804318 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7442/statm: 0 0 0 0 0 0 0
[pid=7442/tid=7444] ppid=7439 vsize=0 CPUtime=0.67 cores=1,3,5,7
/proc/7442/task/7444/stat : 7444 (toysat) R 7439 7442 28898 0 -1 4203588 7 0 0 0 0 67 0 0 20 0 2 0 27804318 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 157.96
Current children cumulated vsize (KiB) 0

[startup+158.1 s]
/proc/loadavg: 1.93 2.01 2.01 3/183 7497
/proc/meminfo: memFree=13832620/32872528 swapFree=526336/559040
[pid=7442] ppid=7439 vsize=0 CPUtime=158.06 cores=1,3,5,7
/proc/7442/stat : 7442 (toysat) Z 7439 7442 28898 0 -1 4203532 3905468 0 0 0 15191 615 0 0 20 0 2 0 27804318 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7442/statm: 0 0 0 0 0 0 0
[pid=7442/tid=7444] ppid=7439 vsize=0 CPUtime=0.77 cores=1,3,5,7
/proc/7442/task/7444/stat : 7444 (toysat) R 7439 7442 28898 0 -1 4203588 7 0 0 0 0 77 0 0 20 0 2 0 27804318 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 158.06
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 158.152
CPU time (s): 158.115
CPU user time (s): 151.92
CPU system time (s): 6.19506
CPU usage (%): 99.9767
Max. virtual memory (cumulated for all children) (KiB): 15883844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 151.92
system time used= 6.19506
maximum resident set size= 15649636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3905468
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= 48
involuntary context switches= 194

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.430934 second user time and 0.659899 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-18 15:45:42
IDJOB=4105893
IDBENCH=3053
IDSOLVER=2542
FILE ID=node106/4105893-1466257541
RUNJOBID= node106-1466241787-28915
PBS_JOBID= 19918214
Free space on /tmp= 71672 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=380-sizeP=191-sizeQ=380-376320478-max.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105893-1466257541/watcher-4105893-1466257541 -o /tmp/evaluation-result-4105893-1466257541/solver-4105893-1466257541 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28915 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105893-1466257541.opb

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

MD5SUM BENCH= c427a567f3b7633834233277c8a24b51
RANDOM SEED=971798965

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		: 2667.073
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	: 5334.14
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		: 2667.073
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		: 2667.073
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		: 2667.073
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.56
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		: 2667.073
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.55
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		: 2667.073
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		: 2667.073
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.38
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		: 2667.073
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:        23627432 kB
Buffers:           71696 kB
Cached:           209000 kB
SwapCached:         1736 kB
Active:          7752028 kB
Inactive:         174532 kB
Active(anon):    7643328 kB
Inactive(anon):     4736 kB
Active(file):     108700 kB
Inactive(file):   169796 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             28748 kB
Writeback:             0 kB
AnonPages:       8206212 kB
Mapped:            10544 kB
Shmem:                 0 kB
Slab:             612968 kB
SReclaimable:      56472 kB
SUnreclaim:       556496 kB
KernelStack:        1464 kB
PageTables:        20160 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    8348092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     38912 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= 71656 MiB
End job on node106 at 2016-06-18 15:48:20