Trace number 4103953

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) 241.851 241.907

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-rd-rplusc-21.opb
MD5SUM7576b3c58d39cddc5f29deda8f59e316
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark19.62
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables3616
Total number of constraints125707
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)44
Number of constraints which are nor clauses,nor cardinality constraints125663
Minimum length of a constraint5
Maximum length of a constraint189
Number of terms in the objective function 48
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2160590747
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 2962281908055777280
Number of bits of the biggest number in a constraint 62
Biggest sum of numbers in a constraint 6289973478481187311
Number of bits of the biggest sum of numbers63
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-18T10:48:00+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-4103953-1466239675.opb"]
0.00/0.01	c use --random-gen="3183695263 929864543 200843013 3870696927 1152236006 2059133165 1169591469 3277335237 1258879273 1966710979 1227401816 896257729 2461578865 2507664314 4079182950 15203413 4179594725 1086042073 4174744265 2071755173 1669939989 3837647742 1990452497 3911156431 2745633685 3540754042 566565231 2289065839 1687648162 368786429 1794385695 240428571 110003996 2174823095 534284264 2777673599 1058274880 1297651884 2414284880 4044462927 2305791021 1672908331 142355200 3816425670 1866289847 3303251305 1034718810 3338178198 1045475351 239735563 638145274 3941684773 3270394313 4009158652 1793787066 1548470222 2314136333 2944006725 883312951 1981903106 2954984382 1741302679 927496234 4033185149 3281502793 1893497714 1295861754 2509067173 4018775890 3918767922 3183511372 1818740796 451282332 3925236271 1569823048 2589491154 2335400537 3094460725 2027741840 856426744 2449231674 2271429839 1040441875 2202547331 827172658 1918643766 620821420 3350932116 464247964 123715229 1663384514 4112756731 2753471187 4062324457 518695527 1618307392 716022894 1685663828 2686112658 1047104111 910228482 230921909 3347411970 1113236146 545228081 572161013 1248456278 3881442711 996675954 230292354 2079919274 424214355 2294065294 1314757096 646921630 117377812 2568249078 3193064389 1901162422 3351671541 2912279006 1282078484 266113761 1956239478 1278867343 1397521203 347137876 159964813 2190452921 935693199 3779810982 2988280044 3151085690 1366403456 3138185627 2254684380 1901491744 2034382130 1914482514 19632491 404811354 1325435609 170705329 2919360584 1464998100 3335900248 640316749 1066173399 2533513708 1083895239 974486749 536148755 2627673586 1717369814 2918615709 3825051239 3765721244 3969542524 3742244491 1537032964 2611673463 2282119450 2396454393 1352779914 800810957 2360352233 1538228921 3756231128 2383632507 1344552046 1814416720 4034445558 2740349018 3183825461 519396146 267584324 2318013605 777788480 2519160390 2750740112 361107253 1953800074 1424081750 206671215 1824905130 2191698217 387036712 3458151682 4283954966 1031109598 1336945425 1338081574 2318775867 1165450391 2503371973 1056594083 3763324187 363937486 1464359835 4134243978 393004471 620530380 2119492301 460587434 2479316930 353242344 2634860834 3141066506 1808889694 4234827944 1572164408 2101265381 2500031192 3891361046 1703034884 1544472317 521338346 1165840316 1397619871 1849495914 3135994844 3038428282 311442344 2793235022 2649798221 7099669 2977883074 783708837 3146890417 593916834 3086976186 2844530428 1557699458 2244341138 21921148 218712034 368670524 799341416 2872477316 1247421808 4155730553 4006431722 3702252936 2044496077 2359729016 4049697545 1644413669 863921077 1530308705 1806248331 4285747911 629003485 2344953663 708959351 1275628605 3043454087 255 362436" option to reproduce the execution
18.08/18.14	c #vars 3616
18.08/18.14	c #constraints 125707

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

pid=6415
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.31 2.30 2.27 4/179 6418
/proc/meminfo: memFree=27389524/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=99768 CPUtime=0 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) S 6415 6418 579 0 -1 4202496 400 0 0 0 0 0 0 0 20 0 2 0 26015122 102162432 269 33554432000 4194304 16246674 140737033751344 140737033750544 14069300 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 24942 269 210 2943 0 21836 0
[pid=6418/tid=6419] ppid=6415 vsize=99768 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) R 6415 6418 579 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 2 0 26015123 102162432 269 33554432000 4194304 16246674 140737033751344 140096008350896 14063209 0 0 0 34082818 0 0 0 -1 3 0 0 0 0 0
[pid=6418/tid=6420] ppid=6415 vsize=99768 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6420/stat : 6420 (toysat) R 6415 6418 579 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 3 0 26015123 102162432 781 33554432000 4194304 16246674 140737033751344 140095927610648 15002730 0 0 0 34082818 0 0 0 -1 5 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.31 2.30 2.27 4/179 6418
/proc/meminfo: memFree=27389524/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=1304132 CPUtime=0.08 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) R 6415 6418 579 0 -1 4202496 29199 0 0 0 4 4 0 0 20 0 4 0 26015122 1335431168 29499 33554432000 4194304 16246674 140737033751344 140737033750656 8055408 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 326033 29515 800 2943 0 322927 0
[pid=6418/tid=6419] ppid=6415 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) S 6415 6418 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015123 1335431168 29526 33554432000 4194304 16246674 140737033751344 140096008334576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6418/tid=6420] ppid=6415 vsize=1304132 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6420/stat : 6420 (toysat) S 6415 6418 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26015123 1335431168 29537 33554432000 4194304 16246674 140737033751344 140095927594224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1304132

[startup+0.200509 s]
/proc/loadavg: 2.31 2.30 2.27 4/179 6418
/proc/meminfo: memFree=27389524/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=1310276 CPUtime=0.19 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) R 6415 6418 579 0 -1 4202496 38144 0 0 0 13 6 0 0 20 0 4 0 26015122 1341722624 38954 33554432000 4194304 16246674 140737033751344 140737033750656 4221019 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 327569 38954 800 2943 0 324463 0
[pid=6418/tid=6419] ppid=6415 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) S 6415 6418 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015123 1341722624 38954 33554432000 4194304 16246674 140737033751344 140096008334576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6418/tid=6420] ppid=6415 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6420/stat : 6420 (toysat) S 6415 6418 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26015123 1341722624 38954 33554432000 4194304 16246674 140737033751344 140095927594224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1310276

[startup+0.300507 s]
/proc/loadavg: 2.31 2.30 2.27 4/179 6418
/proc/meminfo: memFree=27389524/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=1310276 CPUtime=0.29 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) R 6415 6418 579 0 -1 4202496 38144 0 0 0 23 6 0 0 20 0 4 0 26015122 1341722624 38954 33554432000 4194304 16246674 140737033751344 140737033750656 14073329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 327569 38954 800 2943 0 324463 0
[pid=6418/tid=6419] ppid=6415 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) S 6415 6418 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015123 1341722624 38954 33554432000 4194304 16246674 140737033751344 140096008334576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6418/tid=6420] ppid=6415 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6420/stat : 6420 (toysat) S 6415 6418 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26015123 1341722624 38954 33554432000 4194304 16246674 140737033751344 140095927594224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1310276

[startup+0.700432 s]
/proc/loadavg: 2.31 2.30 2.27 4/179 6418
/proc/meminfo: memFree=27389524/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=1324612 CPUtime=0.69 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) R 6415 6418 579 0 -1 4202496 49926 0 0 0 61 8 0 0 20 0 4 0 26015122 1356402688 52780 33554432000 4194304 16246674 140737033751344 140737033734336 8055381 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 331153 52780 801 2943 0 328047 0
[pid=6418/tid=6419] ppid=6415 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) S 6415 6418 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015123 1356402688 52780 33554432000 4194304 16246674 140737033751344 140096008334576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6418/tid=6420] ppid=6415 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6420/stat : 6420 (toysat) S 6415 6418 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26015123 1356402688 52780 33554432000 4194304 16246674 140737033751344 140095927594224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1324612

[startup+1.50049 s]
/proc/loadavg: 2.45 2.32 2.28 4/183 6422
/proc/meminfo: memFree=27141712/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=1349188 CPUtime=1.48 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) R 6415 6418 579 0 -1 4202496 68057 0 0 0 137 11 0 0 20 0 4 0 26015122 1381568512 75510 33554432000 4194304 16246674 140737033751344 140737033734336 14073329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 337297 75510 801 2943 0 334191 0
[pid=6418/tid=6419] ppid=6415 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) S 6415 6418 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015123 1381568512 75510 33554432000 4194304 16246674 140737033751344 140096008334576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6418/tid=6420] ppid=6415 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6420/stat : 6420 (toysat) S 6415 6418 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26015123 1381568512 75510 33554432000 4194304 16246674 140737033751344 140095927594224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6418/tid=6421] ppid=6415 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6421/stat : 6421 (toysat) S 6415 6418 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015123 1381568512 75510 33554432000 4194304 16246674 140737033751344 140095917120688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1349188

[startup+3.1005 s]
/proc/loadavg: 2.45 2.32 2.28 4/183 6422
/proc/meminfo: memFree=26983220/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=1398340 CPUtime=3.09 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) R 6415 6418 579 0 -1 4202496 95098 0 0 0 292 17 0 0 20 0 4 0 26015122 1431900160 112771 33554432000 4194304 16246674 140737033751344 140737033734336 4220495 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 349585 112771 801 2943 0 346479 0
[pid=6418/tid=6419] ppid=6415 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) S 6415 6418 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015123 1431900160 112771 33554432000 4194304 16246674 140737033751344 140096008334576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6418/tid=6420] ppid=6415 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6420/stat : 6420 (toysat) S 6415 6418 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26015123 1431900160 112771 33554432000 4194304 16246674 140737033751344 140095927594224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6418/tid=6421] ppid=6415 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6421/stat : 6421 (toysat) S 6415 6418 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015123 1431900160 112771 33554432000 4194304 16246674 140737033751344 140095917120688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1398340

[startup+6.30048 s]
/proc/loadavg: 2.45 2.32 2.28 3/183 6422
/proc/meminfo: memFree=26631224/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=1496644 CPUtime=6.29 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) R 6415 6418 579 0 -1 4202496 172641 0 0 0 600 29 0 0 20 0 4 0 26015122 1532563456 209221 33554432000 4194304 16246674 140737033751344 140737033750560 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 374161 209221 802 2943 0 371055 0
[pid=6418/tid=6419] ppid=6415 vsize=1496644 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) S 6415 6418 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015123 1532563456 209221 33554432000 4194304 16246674 140737033751344 140096008334576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6418/tid=6420] ppid=6415 vsize=1496644 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6420/stat : 6420 (toysat) S 6415 6418 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26015123 1532563456 209221 33554432000 4194304 16246674 140737033751344 140095927594224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6418/tid=6421] ppid=6415 vsize=1496644 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6421/stat : 6421 (toysat) S 6415 6418 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015123 1532563456 209221 33554432000 4194304 16246674 140737033751344 140095917120688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1496644

[startup+12.7005 s]
/proc/loadavg: 2.38 2.31 2.28 3/183 6422
/proc/meminfo: memFree=26026276/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=1693252 CPUtime=12.69 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) R 6415 6418 579 0 -1 4202496 268178 0 0 0 1223 46 0 0 20 0 4 0 26015122 1733890048 344616 33554432000 4194304 16246674 140737033751344 140737033734336 4220520 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 423313 344616 802 2943 0 420207 0
[pid=6418/tid=6419] ppid=6415 vsize=1693252 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) S 6415 6418 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015123 1733890048 344616 33554432000 4194304 16246674 140737033751344 140096008334576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6418/tid=6420] ppid=6415 vsize=1693252 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6420/stat : 6420 (toysat) S 6415 6418 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26015123 1733890048 344616 33554432000 4194304 16246674 140737033751344 140095927594224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6418/tid=6421] ppid=6415 vsize=1693252 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6421/stat : 6421 (toysat) S 6415 6418 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015123 1733890048 344616 33554432000 4194304 16246674 140737033751344 140095917120688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1693252

[startup+25.5005 s]
/proc/loadavg: 2.32 2.30 2.27 3/183 6422
/proc/meminfo: memFree=23892024/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=3736132 CPUtime=25.48 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) R 6415 6418 579 0 -1 4202496 779605 0 0 0 2426 122 0 0 20 0 4 0 26015122 3825799168 875461 33554432000 4194304 16246674 140737033751344 140737033750440 4225151 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 934033 875461 836 2943 0 930927 0
[pid=6418/tid=6419] ppid=6415 vsize=3736132 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) S 6415 6418 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015123 3825799168 875461 33554432000 4194304 16246674 140737033751344 140096008334576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6418/tid=6420] ppid=6415 vsize=3736132 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6420/stat : 6420 (toysat) S 6415 6418 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26015123 3825799168 875461 33554432000 4194304 16246674 140737033751344 140095927594224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6418/tid=6421] ppid=6415 vsize=3736132 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6421/stat : 6421 (toysat) S 6415 6418 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015123 3825799168 875461 33554432000 4194304 16246674 140737033751344 140095917120688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3736132

[startup+51.1005 s]
/proc/loadavg: 2.36 2.31 2.28 3/183 6423
/proc/meminfo: memFree=20387984/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=7545412 CPUtime=51.08 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) R 6415 6418 579 0 -1 4202496 1731747 0 0 0 4858 250 0 0 20 0 4 0 26015122 7726501888 1827603 33554432000 4194304 16246674 140737033751344 140737033750008 4225154 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 1886353 1827611 836 2943 0 1883247 0
[pid=6418/tid=6419] ppid=6415 vsize=7545412 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) S 6415 6418 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015123 7726501888 1827615 33554432000 4194304 16246674 140737033751344 140096008334576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6418/tid=6420] ppid=6415 vsize=7545412 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6420/stat : 6420 (toysat) S 6415 6418 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26015123 7726501888 1827620 33554432000 4194304 16246674 140737033751344 140095927594000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6418/tid=6421] ppid=6415 vsize=7545412 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6421/stat : 6421 (toysat) S 6415 6418 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015123 7726501888 1827624 33554432000 4194304 16246674 140737033751344 140095917120688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 7545412

[startup+102.3 s]
/proc/loadavg: 2.31 2.30 2.27 3/183 6424
/proc/meminfo: memFree=13964760/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=13643332 CPUtime=102.28 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) R 6415 6418 579 0 -1 4202496 3256409 0 0 0 9769 459 0 0 20 0 4 0 26015122 13970771968 3352265 33554432000 4194304 16246674 140737033751344 140737033750440 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 3410833 3352265 837 2943 0 3407727 0
[pid=6418/tid=6419] ppid=6415 vsize=13643332 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) S 6415 6418 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015123 13970771968 3352265 33554432000 4194304 16246674 140737033751344 140096008334576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6418/tid=6420] ppid=6415 vsize=13643332 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6420/stat : 6420 (toysat) S 6415 6418 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26015123 13970771968 3352265 33554432000 4194304 16246674 140737033751344 140095927594224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6418/tid=6421] ppid=6415 vsize=13643332 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6421/stat : 6421 (toysat) S 6415 6418 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015123 13970771968 3352265 33554432000 4194304 16246674 140737033751344 140095917120688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 13643332

[startup+162.3 s]
/proc/loadavg: 2.20 2.27 2.26 3/184 6428
/proc/meminfo: memFree=13194956/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=14286404 CPUtime=162.26 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) R 6415 6418 579 0 -1 4202496 3363864 0 0 0 15747 479 0 0 20 0 4 0 26015122 14629277696 3512864 33554432000 4194304 16246674 140737033751344 140737033749312 14003409 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 3571601 3512864 841 2943 0 3568495 0
[pid=6418/tid=6419] ppid=6415 vsize=14286404 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) S 6415 6418 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015123 14629277696 3512864 33554432000 4194304 16246674 140737033751344 140096008334576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6418/tid=6420] ppid=6415 vsize=14286404 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6420/stat : 6420 (toysat) S 6415 6418 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26015123 14629277696 3512864 33554432000 4194304 16246674 140737033751344 140095927594000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6418/tid=6421] ppid=6415 vsize=14286404 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6421/stat : 6421 (toysat) S 6415 6418 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015123 14629277696 3512864 33554432000 4194304 16246674 140737033751344 140095917120688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 14286404

[startup+222.308 s]
/proc/loadavg: 2.26 2.28 2.27 3/183 6429
/proc/meminfo: memFree=12085296/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=15586884 CPUtime=222.26 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) R 6415 6418 579 0 -1 4202496 3630831 0 0 0 21697 529 0 0 20 0 4 0 26015122 15960969216 3838085 33554432000 4194304 16246674 140737033751344 140737033749312 14013533 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 3896721 3838085 841 2943 0 3893615 0
[pid=6418/tid=6419] ppid=6415 vsize=15586884 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) S 6415 6418 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015123 15960969216 3838085 33554432000 4194304 16246674 140737033751344 140096008334576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6418/tid=6420] ppid=6415 vsize=15586884 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6420/stat : 6420 (toysat) S 6415 6418 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26015123 15960969216 3838085 33554432000 4194304 16246674 140737033751344 140095927594000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6418/tid=6421] ppid=6415 vsize=15586884 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6421/stat : 6421 (toysat) S 6415 6418 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015123 15960969216 3838085 33554432000 4194304 16246674 140737033751344 140095917120688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 15586884



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+241.1 s]
/proc/loadavg: 2.39 2.31 2.28 4/183 6430
/proc/meminfo: memFree=11843420/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=15894084 CPUtime=241.05 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) R 6415 6418 579 0 -1 4202496 3707689 0 0 0 23562 543 0 0 20 0 4 0 26015122 16275542016 3914943 33554432000 4194304 16246674 140737033751344 140737033750440 4221016 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 3973521 3914950 841 2943 0 3970415 0
[pid=6418/tid=6419] ppid=6415 vsize=15894084 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) S 6415 6418 579 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26015123 16275542016 3914956 33554432000 4194304 16246674 140737033751344 140096008334576 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=6418/tid=6420] ppid=6415 vsize=15894084 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6420/stat : 6420 (toysat) S 6415 6418 579 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 26015123 16275542016 3914958 33554432000 4194304 16246674 140737033751344 140095927594224 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=6418/tid=6421] ppid=6415 vsize=15894084 CPUtime=0 cores=1,3,5,7
/proc/6418/task/6421/stat : 6421 (toysat) S 6415 6418 579 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26015123 16275542016 3914958 33554432000 4194304 16246674 140737033751344 140095917120688 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 241.05
Current children cumulated vsize (KiB) 15894084

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

[startup+241.6 s]
/proc/loadavg: 2.39 2.31 2.28 4/183 6430
/proc/meminfo: memFree=11843420/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=0 CPUtime=241.54 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) Z 6415 6418 579 0 -1 4203532 3708056 0 0 0 23562 592 0 0 20 0 2 0 26015122 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 0 0 0 0 0 0 0
[pid=6418/tid=6419] ppid=6415 vsize=0 CPUtime=0.48 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) R 6415 6418 579 0 -1 4203588 9 0 0 0 0 48 0 0 20 0 2 0 26015123 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 241.54
Current children cumulated vsize (KiB) 0

[startup+241.8 s]
/proc/loadavg: 2.39 2.31 2.28 4/183 6430
/proc/meminfo: memFree=11843420/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=0 CPUtime=241.74 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) Z 6415 6418 579 0 -1 4203532 3708056 0 0 0 23562 612 0 0 20 0 2 0 26015122 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 0 0 0 0 0 0 0
[pid=6418/tid=6419] ppid=6415 vsize=0 CPUtime=0.68 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) R 6415 6418 579 0 -1 4203588 9 0 0 0 0 68 0 0 20 0 2 0 26015123 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 241.74
Current children cumulated vsize (KiB) 0

[startup+241.9 s]
/proc/loadavg: 2.39 2.31 2.28 4/183 6430
/proc/meminfo: memFree=11843420/32872528 swapFree=17888/1798212
[pid=6418] ppid=6415 vsize=0 CPUtime=241.84 cores=1,3,5,7
/proc/6418/stat : 6418 (toysat) Z 6415 6418 579 0 -1 4203532 3708056 0 0 0 23562 622 0 0 20 0 2 0 26015122 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6418/statm: 0 0 0 0 0 0 0
[pid=6418/tid=6419] ppid=6415 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/6418/task/6419/stat : 6419 (toysat) R 6415 6418 579 0 -1 4203588 9 0 0 0 0 78 0 0 20 0 2 0 26015123 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 241.84
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 241.907
CPU time (s): 241.851
CPU user time (s): 235.629
CPU system time (s): 6.22205
CPU usage (%): 99.9769
Max. virtual memory (cumulated for all children) (KiB): 15894084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 235.629
system time used= 6.22205
maximum resident set size= 15661240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3708056
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= 75
involuntary context switches= 339

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.00385 second user time and 1.21381 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-18 10:47:59
IDJOB=4103953
IDBENCH=2515
IDSOLVER=2542
FILE ID=node123/4103953-1466239675
RUNJOBID= node123-1466206081-596
PBS_JOBID= 19918154
Free space on /tmp= 71376 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-rd-rplusc-21.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103953-1466239675/watcher-4103953-1466239675 -o /tmp/evaluation-result-4103953-1466239675/solver-4103953-1466239675 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466206081-596 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103953-1466239675.opb

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

MD5SUM BENCH= 7576b3c58d39cddc5f29deda8f59e316
RANDOM SEED=357439410

node123.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.791
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.58
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.791
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.791
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.791
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.57
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.791
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.56
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.791
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.791
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.56
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.791
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:        27390540 kB
Buffers:          119344 kB
Cached:           432336 kB
SwapCached:         1640 kB
Active:          2719944 kB
Inactive:         204732 kB
Active(anon):    2372336 kB
Inactive(anon):     2916 kB
Active(file):     347608 kB
Inactive(file):   201816 kB
Unevictable:     1798212 kB
Mlocked:           17888 kB
SwapTotal:      67108856 kB
SwapFree:       67099316 kB
Dirty:            199620 kB
Writeback:             0 kB
AnonPages:       4170580 kB
Mapped:            10496 kB
Shmem:                 0 kB
Slab:             620304 kB
SReclaimable:      60264 kB
SUnreclaim:       560040 kB
KernelStack:        1448 kB
PageTables:        12192 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4314736 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1972224 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= 71360 MiB
End job on node123 at 2016-06-18 10:52:02