Trace number 4105777

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) 160.088 160.138

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=360-sizeP=181-sizeQ=360-885821403.opb
MD5SUMdc49834323ec8562456880bec34886cf
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 benchmark4.66429
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 variables65701
Total number of constraints195481
Number of constraints which are clauses195480
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 constraint65160
Number of terms in the objective function 181
Biggest coefficient in the objective function 1532495540865888858358347027150309183618739122183602176
Number of bits for the biggest coefficient in the objective function 181
Sum of the numbers in the objective function 3064991081731777716716694054300618367237478244367204351
Number of bits of the sum of numbers in the objective function 181
Biggest number in a constraint 1799565517817278553124215403074392743547878847320766653240302229044735032268595148127616274441556342859968364253408358049283306422197719875603406072346065542053888
Number of bits of the biggest number in a constraint 540
Biggest sum of numbers in a constraint 7198262071269114212496861612297570974191515389283066611663944849260137495841993663922586015605314649454542626583271372705247225059695176544033188317685768654897628
Number of bits of the biggest sum of numbers541
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:25:22+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-4105777-1466256321.opb"]
0.00/0.01	c use --random-gen="3205867142 1883221798 420173534 565152973 2992314359 321379505 1768153275 25112723 2586423695 1032374208 2572228895 3816735338 3087647308 1841173144 3999600598 2940911264 3251815945 753640308 1001118553 3709600687 2841056162 4156977425 2490262197 102902582 3973445716 2026304504 1609568493 2056955029 1574321958 2708323825 2251969659 4050925119 682388323 1042150886 4063530903 943999025 1996159865 65765820 830556931 651341570 2969638891 392052574 4201437114 2629658314 2612292100 2351713004 2226504146 686151369 1355870082 3875525574 2225229727 3239378765 3661906643 183507421 4109974452 1106064833 390198061 1962177471 1494069617 3449096921 2700547578 3085950602 1509054091 3726854471 2299431573 2360984276 202095879 122376032 1215236129 3235643680 1028727597 2373017262 1544870829 2571743663 2249193674 1521354882 84213546 3069701412 1062482654 1183398082 3969308945 90991456 3310419408 2567088634 2355752044 3733944904 1281590997 2192090071 2586453186 1159971785 4168522904 242252399 2833006884 2245303295 910455187 3156942001 3242401013 36873975 1670045279 3573443590 2931221945 3403160831 3818179036 2313277948 4233576234 412083656 2280183134 2769688444 1241833829 62365767 2599765022 3480226333 1768793598 2798739475 383577604 3802104170 4105058851 2098969380 3173106947 526462890 3413815914 3658278593 3633376293 2557386606 2921278990 2366283863 815196106 834693338 1156996908 692748134 2985282000 3421649049 2698975883 2074577936 967301188 542333593 4168897835 2146158921 2697840225 910536084 4289020725 2841126831 365587686 2177964738 1221159812 2002972510 3611368024 3175041032 2846826140 2113698989 632024710 169665776 2933496096 3817348684 461363081 3085368316 3801097402 739684675 1266427952 1679160072 2417973414 3773452371 3507354766 942414594 2970190171 2124423322 1052904619 4141640281 1596132076 2412641383 3602684724 3161842517 138915485 3458594910 349434033 3623597555 2385401766 2084668571 1266585559 2223751586 1744312128 3974829931 2297818661 3355713342 1182316433 1142678794 2657103285 3153330967 2013801897 3902212467 171180323 204506635 1477802815 1750132332 2420889699 2664558672 2506870469 765452530 2830672758 422579219 2563222797 3948213296 2313733707 312757724 3243120907 1317262991 371213959 4179156979 2672405712 116641557 229640663 1404345797 4169034724 538573280 4051625797 2200332527 3363684639 661145221 2673332240 722036875 2528851487 2386360455 2153666826 3562003223 1377333789 2671447324 680354249 472631108 1075203816 1290390258 896214486 2676280077 3010079703 4256680605 363328999 2989371584 2495448250 4157013649 2264553873 3285209151 1453029919 2780647855 2142110920 2044941941 3863262659 671397664 3278873299 1096154795 788224556 352240493 2796298614 4092011664 3730655325 1250326913 3850925057 3023366480 255 362436" option to reproduce the execution
1.49/1.50	c #vars 65701
1.49/1.50	c #constraints 195481

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

pid=6681
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.09 2.05 2.04 3/179 6684
/proc/meminfo: memFree=17997012/32872528 swapFree=526336/559040
[pid=6684] ppid=6681 vsize=519748 CPUtime=0 cores=0,2,4,6
/proc/6684/stat : 6684 (toysat) R 6681 6684 28898 0 -1 4202496 1904 0 0 0 0 0 0 0 20 0 4 0 27682289 532221952 2776 33554432000 4194304 16246674 140736298041984 140736298041408 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6684/statm: 130705 2787 442 2943 0 127599 0
[pid=6684/tid=6685] ppid=6681 vsize=565828 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6685/stat : 6685 (toysat) S 6681 6684 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27682289 579407872 2954 33554432000 4194304 16246674 140736298041984 139766681021680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6684/tid=6686] ppid=6681 vsize=570948 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6686/stat : 6686 (toysat) S 6681 6684 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27682290 584650752 2974 33554432000 4194304 16246674 140736298041984 139766670531824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6684/tid=6687] ppid=6681 vsize=575044 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6687/stat : 6687 (toysat) S 6681 6684 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27682290 588845056 2991 33554432000 4194304 16246674 140736298041984 139766557306032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100161 s]
/proc/loadavg: 2.09 2.05 2.04 3/179 6684
/proc/meminfo: memFree=17997012/32872528 swapFree=526336/559040
[pid=6684] ppid=6681 vsize=1221188 CPUtime=0.08 cores=0,2,4,6
/proc/6684/stat : 6684 (toysat) R 6681 6684 28898 0 -1 4202496 26100 0 0 0 5 3 0 0 20 0 4 0 27682289 1250496512 26910 33554432000 4194304 16246674 140736298041984 140736298041296 4220536 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6684/statm: 305297 26910 801 2943 0 302191 0
[pid=6684/tid=6685] ppid=6681 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6685/stat : 6685 (toysat) S 6681 6684 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27682289 1250496512 26910 33554432000 4194304 16246674 140736298041984 139766681021680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6684/tid=6686] ppid=6681 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6686/stat : 6686 (toysat) S 6681 6684 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27682290 1250496512 26910 33554432000 4194304 16246674 140736298041984 139766670531824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6684/tid=6687] ppid=6681 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6687/stat : 6687 (toysat) S 6681 6684 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27682290 1250496512 26910 33554432000 4194304 16246674 140736298041984 139766557306032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1221188

[startup+0.200495 s]
/proc/loadavg: 2.09 2.05 2.04 3/179 6684
/proc/meminfo: memFree=17997012/32872528 swapFree=526336/559040
[pid=6684] ppid=6681 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/6684/stat : 6684 (toysat) R 6681 6684 28898 0 -1 4202496 48144 0 0 0 12 7 0 0 20 0 4 0 27682289 1343819776 49465 33554432000 4194304 16246674 140736298041984 140736298041296 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6684/statm: 328081 49472 801 2943 0 324975 0
[pid=6684/tid=6685] ppid=6681 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6685/stat : 6685 (toysat) S 6681 6684 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27682289 1343819776 49476 33554432000 4194304 16246674 140736298041984 139766681021680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6684/tid=6686] ppid=6681 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6686/stat : 6686 (toysat) S 6681 6684 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27682290 1343819776 49480 33554432000 4194304 16246674 140736298041984 139766670531824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6684/tid=6687] ppid=6681 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6687/stat : 6687 (toysat) S 6681 6684 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27682290 1343819776 49484 33554432000 4194304 16246674 140736298041984 139766557306032 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) 1312324

[startup+0.300468 s]
/proc/loadavg: 2.09 2.05 2.04 3/179 6684
/proc/meminfo: memFree=17997012/32872528 swapFree=526336/559040
[pid=6684] ppid=6681 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/6684/stat : 6684 (toysat) R 6681 6684 28898 0 -1 4202496 61154 0 0 0 20 9 0 0 20 0 4 0 27682289 1344868352 62475 33554432000 4194304 16246674 140736298041984 140736298041296 4220982 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6684/statm: 328337 62475 801 2943 0 325231 0
[pid=6684/tid=6685] ppid=6681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6685/stat : 6685 (toysat) S 6681 6684 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27682289 1344868352 62475 33554432000 4194304 16246674 140736298041984 139766681021680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6684/tid=6686] ppid=6681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6686/stat : 6686 (toysat) S 6681 6684 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27682290 1344868352 62475 33554432000 4194304 16246674 140736298041984 139766670531824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6684/tid=6687] ppid=6681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6687/stat : 6687 (toysat) S 6681 6684 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27682290 1344868352 62475 33554432000 4194304 16246674 140736298041984 139766557306032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700402 s]
/proc/loadavg: 2.09 2.05 2.04 3/179 6684
/proc/meminfo: memFree=17997012/32872528 swapFree=526336/559040
[pid=6684] ppid=6681 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/6684/stat : 6684 (toysat) R 6681 6684 28898 0 -1 4202496 70192 0 0 0 59 10 0 0 20 0 4 0 27682289 1344868352 71513 33554432000 4194304 16246674 140736298041984 140736298041296 8055381 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6684/statm: 328337 71513 802 2943 0 325231 0
[pid=6684/tid=6685] ppid=6681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6685/stat : 6685 (toysat) S 6681 6684 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27682289 1344868352 71513 33554432000 4194304 16246674 140736298041984 139766681021680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6684/tid=6686] ppid=6681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6686/stat : 6686 (toysat) S 6681 6684 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27682290 1344868352 71513 33554432000 4194304 16246674 140736298041984 139766670531824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6684/tid=6687] ppid=6681 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6687/stat : 6687 (toysat) S 6681 6684 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27682290 1344868352 71513 33554432000 4194304 16246674 140736298041984 139766557306032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.5004 s]
/proc/loadavg: 2.09 2.05 2.04 3/183 6688
/proc/meminfo: memFree=17679352/32872528 swapFree=526336/559040
[pid=6684] ppid=6681 vsize=1325636 CPUtime=1.49 cores=0,2,4,6
/proc/6684/stat : 6684 (toysat) R 6681 6684 28898 0 -1 4202496 78488 0 0 0 137 12 0 0 20 0 4 0 27682289 1357451264 82875 33554432000 4194304 16246674 140736298041984 140736298024976 7392208 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6684/statm: 331409 82875 804 2943 0 328303 0
[pid=6684/tid=6685] ppid=6681 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6685/stat : 6685 (toysat) S 6681 6684 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27682289 1357451264 82875 33554432000 4194304 16246674 140736298041984 139766681021680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6684/tid=6686] ppid=6681 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6686/stat : 6686 (toysat) S 6681 6684 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27682290 1357451264 82875 33554432000 4194304 16246674 140736298041984 139766670531824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6684/tid=6687] ppid=6681 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6687/stat : 6687 (toysat) S 6681 6684 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27682290 1357451264 82875 33554432000 4194304 16246674 140736298041984 139766557306032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1325636

[startup+3.1004 s]
/proc/loadavg: 2.09 2.05 2.04 3/183 6688
/proc/meminfo: memFree=17286384/32872528 swapFree=526336/559040
[pid=6684] ppid=6681 vsize=1336900 CPUtime=3.09 cores=0,2,4,6
/proc/6684/stat : 6684 (toysat) R 6681 6684 28898 0 -1 4202496 271772 0 0 0 268 41 0 0 20 0 4 0 27682289 1368985600 276159 33554432000 4194304 16246674 140736298041984 140736298039808 12479284 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6684/statm: 334225 276159 836 2943 0 331119 0
[pid=6684/tid=6685] ppid=6681 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6685/stat : 6685 (toysat) S 6681 6684 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27682289 1368985600 276159 33554432000 4194304 16246674 140736298041984 139766681021680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6684/tid=6686] ppid=6681 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6686/stat : 6686 (toysat) S 6681 6684 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27682290 1368985600 276159 33554432000 4194304 16246674 140736298041984 139766670531824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6684/tid=6687] ppid=6681 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6687/stat : 6687 (toysat) S 6681 6684 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27682290 1368985600 276159 33554432000 4194304 16246674 140736298041984 139766557306032 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) 1336900

[startup+6.30041 s]
/proc/loadavg: 2.08 2.05 2.04 3/183 6688
/proc/meminfo: memFree=16885416/32872528 swapFree=526336/559040
[pid=6684] ppid=6681 vsize=1504836 CPUtime=6.28 cores=0,2,4,6
/proc/6684/stat : 6684 (toysat) R 6681 6684 28898 0 -1 4202496 313717 0 0 0 581 47 0 0 20 0 4 0 27682289 1540952064 318104 33554432000 4194304 16246674 140736298041984 140736298041296 4220807 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6684/statm: 376209 318104 845 2943 0 373103 0
[pid=6684/tid=6685] ppid=6681 vsize=1504836 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6685/stat : 6685 (toysat) S 6681 6684 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27682289 1540952064 318104 33554432000 4194304 16246674 140736298041984 139766681021680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6684/tid=6686] ppid=6681 vsize=1504836 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6686/stat : 6686 (toysat) S 6681 6684 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27682290 1540952064 318104 33554432000 4194304 16246674 140736298041984 139766670531824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6684/tid=6687] ppid=6681 vsize=1504836 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6687/stat : 6687 (toysat) S 6681 6684 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27682290 1540952064 318104 33554432000 4194304 16246674 140736298041984 139766557306032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1504836

[startup+12.7004 s]
/proc/loadavg: 2.08 2.05 2.04 3/183 6688
/proc/meminfo: memFree=16130432/32872528 swapFree=526336/559040
[pid=6684] ppid=6681 vsize=2098756 CPUtime=12.68 cores=0,2,4,6
/proc/6684/stat : 6684 (toysat) R 6681 6684 28898 0 -1 4202496 462254 0 0 0 1201 67 0 0 20 0 4 0 27682289 2149126144 466641 33554432000 4194304 16246674 140736298041984 140736298023872 4206916 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6684/statm: 524689 466641 845 2943 0 521583 0
[pid=6684/tid=6685] ppid=6681 vsize=2098756 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6685/stat : 6685 (toysat) S 6681 6684 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27682289 2149126144 466641 33554432000 4194304 16246674 140736298041984 139766681021680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6684/tid=6686] ppid=6681 vsize=2098756 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6686/stat : 6686 (toysat) S 6681 6684 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27682290 2149126144 466641 33554432000 4194304 16246674 140736298041984 139766670531824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6684/tid=6687] ppid=6681 vsize=2098756 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6687/stat : 6687 (toysat) S 6681 6684 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27682290 2149126144 466641 33554432000 4194304 16246674 140736298041984 139766557306032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2098756

[startup+25.5005 s]
/proc/loadavg: 2.06 2.05 2.04 3/183 6688
/proc/meminfo: memFree=13672932/32872528 swapFree=526336/559040
[pid=6684] ppid=6681 vsize=4550212 CPUtime=25.48 cores=0,2,4,6
/proc/6684/stat : 6684 (toysat) R 6681 6684 28898 0 -1 4202496 1075118 0 0 0 2400 148 0 0 20 0 4 0 27682289 4659417088 1079505 33554432000 4194304 16246674 140736298041984 140736298041080 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6684/statm: 1137553 1079505 845 2943 0 1134447 0
[pid=6684/tid=6685] ppid=6681 vsize=4550212 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6685/stat : 6685 (toysat) S 6681 6684 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27682289 4659417088 1079505 33554432000 4194304 16246674 140736298041984 139766681021680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6684/tid=6686] ppid=6681 vsize=4550212 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6686/stat : 6686 (toysat) S 6681 6684 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27682290 4659417088 1079505 33554432000 4194304 16246674 140736298041984 139766670531824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6684/tid=6687] ppid=6681 vsize=4550212 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6687/stat : 6687 (toysat) S 6681 6684 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27682290 4659417088 1079505 33554432000 4194304 16246674 140736298041984 139766557306032 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) 4550212

[startup+51.1005 s]
/proc/loadavg: 2.04 2.04 2.04 3/183 6688
/proc/meminfo: memFree=9051176/32872528 swapFree=526336/559040
[pid=6684] ppid=6681 vsize=9506372 CPUtime=51.08 cores=0,2,4,6
/proc/6684/stat : 6684 (toysat) R 6681 6684 28898 0 -1 4202496 2314088 0 0 0 4790 318 0 0 20 0 4 0 27682289 9734524928 2318476 33554432000 4194304 16246674 140736298041984 140736298040648 4221799 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6684/statm: 2376593 2318483 845 2943 0 2373487 0
[pid=6684/tid=6685] ppid=6681 vsize=9506372 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6685/stat : 6685 (toysat) S 6681 6684 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27682289 9734524928 2318487 33554432000 4194304 16246674 140736298041984 139766681021680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6684/tid=6686] ppid=6681 vsize=9506372 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6686/stat : 6686 (toysat) S 6681 6684 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27682290 9734524928 2318492 33554432000 4194304 16246674 140736298041984 139766670531600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6684/tid=6687] ppid=6681 vsize=9506372 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6687/stat : 6687 (toysat) S 6681 6684 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27682290 9734524928 2318498 33554432000 4194304 16246674 140736298041984 139766557306032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9506372

[startup+102.3 s]
/proc/loadavg: 2.05 2.05 2.04 3/183 6738
/proc/meminfo: memFree=14779772/32872528 swapFree=526336/559040
[pid=6684] ppid=6681 vsize=13504068 CPUtime=102.28 cores=0,2,4,6
/proc/6684/stat : 6684 (toysat) R 6681 6684 28898 0 -1 4202496 3313587 0 0 0 9773 455 0 0 20 0 4 0 27682289 13828165632 3317977 33554432000 4194304 16246674 140736298041984 140736298039936 13899629 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6684/statm: 3376017 3317977 846 2943 0 3372911 0
[pid=6684/tid=6685] ppid=6681 vsize=13504068 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6685/stat : 6685 (toysat) S 6681 6684 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27682289 13828165632 3317977 33554432000 4194304 16246674 140736298041984 139766681021680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6684/tid=6686] ppid=6681 vsize=13504068 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6686/stat : 6686 (toysat) S 6681 6684 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27682290 13828165632 3317977 33554432000 4194304 16246674 140736298041984 139766670531600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6684/tid=6687] ppid=6681 vsize=13504068 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6687/stat : 6687 (toysat) S 6681 6684 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27682290 13828165632 3317977 33554432000 4194304 16246674 140736298041984 139766557306032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 13504068



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+159.1 s]
/proc/loadavg: 2.05 2.05 2.04 3/183 6739
/proc/meminfo: memFree=4302556/32872528 swapFree=526336/559040
[pid=6684] ppid=6681 vsize=15875652 CPUtime=159.05 cores=0,2,4,6
/proc/6684/stat : 6684 (toysat) R 6681 6684 28898 0 -1 4202496 3906389 0 0 0 15360 545 0 0 20 0 4 0 27682289 16256667648 3910779 33554432000 4194304 16246674 140736298041984 140736298041080 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6684/statm: 3968913 3910779 850 2943 0 3965807 0
[pid=6684/tid=6685] ppid=6681 vsize=15875652 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6685/stat : 6685 (toysat) S 6681 6684 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27682289 16256667648 3910779 33554432000 4194304 16246674 140736298041984 139766681021680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=6684/tid=6686] ppid=6681 vsize=15875652 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6686/stat : 6686 (toysat) S 6681 6684 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27682290 16256667648 3910779 33554432000 4194304 16246674 140736298041984 139766670531824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=6684/tid=6687] ppid=6681 vsize=15875652 CPUtime=0 cores=0,2,4,6
/proc/6684/task/6687/stat : 6687 (toysat) S 6681 6684 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27682290 16256667648 3910779 33554432000 4194304 16246674 140736298041984 139766557306032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 159.05
Current children cumulated vsize (KiB) 15875652

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

[startup+159.205 s]
/proc/loadavg: 2.05 2.05 2.04 3/183 6739
/proc/meminfo: memFree=4302556/32872528 swapFree=526336/559040
[pid=6684] ppid=6681 vsize=0 CPUtime=159.16 cores=0,2,4,6
/proc/6684/stat : 6684 (toysat) Z 6681 6684 28898 0 -1 4203532 3906492 0 0 0 15361 555 0 0 20 0 2 0 27682289 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6684/statm: 0 0 0 0 0 0 0
[pid=6684/tid=6686] ppid=6681 vsize=0 CPUtime=0.09 cores=0,2,4,6
/proc/6684/task/6686/stat : 6686 (toysat) R 6681 6684 28898 0 -1 4203588 8 0 0 0 0 9 0 0 20 0 2 0 27682290 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) 159.16
Current children cumulated vsize (KiB) 0

[startup+159.607 s]
/proc/loadavg: 2.05 2.05 2.04 3/181 6739
/proc/meminfo: memFree=10314240/32872528 swapFree=526336/559040
[pid=6684] ppid=6681 vsize=0 CPUtime=159.56 cores=0,2,4,6
/proc/6684/stat : 6684 (toysat) Z 6681 6684 28898 0 -1 4203532 3906492 0 0 0 15361 595 0 0 20 0 2 0 27682289 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6684/statm: 0 0 0 0 0 0 0
[pid=6684/tid=6686] ppid=6681 vsize=0 CPUtime=0.49 cores=0,2,4,6
/proc/6684/task/6686/stat : 6686 (toysat) R 6681 6684 28898 0 -1 4203588 8 0 0 0 0 49 0 0 20 0 2 0 27682290 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) 159.56
Current children cumulated vsize (KiB) 0

[startup+160 s]
/proc/loadavg: 2.05 2.05 2.04 3/181 6739
/proc/meminfo: memFree=10314240/32872528 swapFree=526336/559040
[pid=6684] ppid=6681 vsize=0 CPUtime=159.96 cores=0,2,4,6
/proc/6684/stat : 6684 (toysat) Z 6681 6684 28898 0 -1 4203532 3906492 0 0 0 15361 635 0 0 20 0 2 0 27682289 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6684/statm: 0 0 0 0 0 0 0
[pid=6684/tid=6686] ppid=6681 vsize=0 CPUtime=0.88 cores=0,2,4,6
/proc/6684/task/6686/stat : 6686 (toysat) R 6681 6684 28898 0 -1 4203588 8 0 0 0 0 88 0 0 20 0 2 0 27682290 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) 159.96
Current children cumulated vsize (KiB) 0

[startup+160.1 s]
/proc/loadavg: 2.05 2.05 2.04 3/181 6739
/proc/meminfo: memFree=10314240/32872528 swapFree=526336/559040
[pid=6684] ppid=6681 vsize=0 CPUtime=160.06 cores=0,2,4,6
/proc/6684/stat : 6684 (toysat) Z 6681 6684 28898 0 -1 4203532 3906492 0 0 0 15361 645 0 0 20 0 2 0 27682289 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6684/statm: 0 0 0 0 0 0 0
[pid=6684/tid=6686] ppid=6681 vsize=0 CPUtime=0.98 cores=0,2,4,6
/proc/6684/task/6686/stat : 6686 (toysat) R 6681 6684 28898 0 -1 4203588 8 0 0 0 0 98 0 0 20 0 2 0 27682290 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) 160.06
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 160.138
CPU time (s): 160.088
CPU user time (s): 153.613
CPU system time (s): 6.47502
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (KiB): 15875652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 153.613
system time used= 6.47501
maximum resident set size= 15643528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3906492
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= 59
involuntary context switches= 243

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.399939 second user time and 0.625904 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-18 15:25:22
IDJOB=4105777
IDBENCH=3010
IDSOLVER=2542
FILE ID=node106/4105777-1466256321
RUNJOBID= node106-1466241787-28914
PBS_JOBID= 19918214
Free space on /tmp= 71664 MiB

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

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

MD5SUM BENCH= dc49834323ec8562456880bec34886cf
RANDOM SEED=1933899163

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:        17997912 kB
Buffers:           71364 kB
Cached:           217348 kB
SwapCached:         1480 kB
Active:         13369496 kB
Inactive:         175696 kB
Active(anon):   13254384 kB
Inactive(anon):     4480 kB
Active(file):     115112 kB
Inactive(file):   171216 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             27428 kB
Writeback:             0 kB
AnonPages:      13817184 kB
Mapped:            10648 kB
Shmem:                 0 kB
Slab:             612872 kB
SReclaimable:      56308 kB
SUnreclaim:       556564 kB
KernelStack:        1464 kB
PageTables:        31144 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   13960724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     49152 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= 71636 MiB
End job on node106 at 2016-06-18 15:28:02