Trace number 4105633

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) 183.497 183.567

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174.opb
MD5SUM0c8a7426d22e304535ce287c1bd24030
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 benchmark1.48277
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 variables13201
Total number of constraints38881
Number of constraints which are clauses38880
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 constraint12960
Number of terms in the objective function 81
Biggest coefficient in the objective function 1208925819614629174706176
Number of bits for the biggest coefficient in the objective function 81
Sum of the numbers in the objective function 2417851639229258349412351
Number of bits of the sum of numbers in the objective function 81
Biggest number in a constraint 883423532389192164791648750371459257913741948437809479060803100646309888
Number of bits of the biggest number in a constraint 240
Biggest sum of numbers in a constraint 3533694129556768659166594778305965527968662855207593266623367657506383399
Number of bits of the biggest sum of numbers241
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-18T14:50:21+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-4105633-1466254221.opb"]
0.00/0.01	c use --random-gen="457447689 875154948 2264662806 498510008 620480037 2719628624 3395516740 3843976479 2589960700 1401979007 3141298645 1768071933 2153798305 1023981665 2690975201 2460904077 1115915608 3555954309 987448486 3014755760 3129658826 2441434151 2479030202 919936720 1461765697 784154988 3253504372 2421469057 161333729 189500263 3180768020 3775574299 1368045631 2451885448 1718968160 1730979467 1548869187 1019177180 1437408861 3344955265 3977435359 1660128317 572368617 2859537118 104450798 4216579994 3343234649 2076017096 2583435202 1349072443 3386656465 2186223357 723513672 3742206877 258626308 38628452 3082750546 1983299593 4046856592 795526504 3128714024 3634164096 744859878 2941766216 1707084478 14616100 3632099548 169031237 1634401852 4196890402 641786130 2105858892 1009466100 2506741570 2974091712 450274585 3534214701 384359594 3621433534 2160407849 3436400744 3471095448 665083577 1275152841 4025937655 993165012 2627778263 1360601459 4099240566 2919583290 1033238587 1323739570 3635541060 2072487601 3200930598 2143103223 1956518796 1416709704 2786279535 1674409730 2128382960 2556619662 680486914 1690660069 3056675231 4293006454 4065659416 348835035 2092576309 3485348144 3474739169 3110792103 3753539278 2157374809 3971531181 52786231 4057633744 1464610156 1846255772 4245339070 939045162 3685635961 2393328426 1985960042 1666323582 3962938386 1888471625 86112448 1910456401 2874883009 4234834524 3512823757 3190987795 3834256258 11125233 1694369304 632107898 1916387765 2551905850 2721726812 3922815308 3942946036 3863254336 876562236 1243658816 2521202235 2223166561 773944342 3705550748 1758219767 196329222 3154917983 258857437 1979850591 4200324719 4028948454 3763245957 1930602521 3278040346 1420094122 444303444 1101183715 388432363 2222350879 2958462082 2169502554 3970861195 3141736694 2950488476 1386294896 1363526465 3273671587 1155068329 3613964889 3039940453 1103259713 3224610569 2542696863 781900360 4019294092 2535336138 1881835168 2066309252 1552137005 2919994337 2698229049 704478264 4076274688 716839626 4214256061 165391290 2769673394 444331243 495173004 2546799014 2430693814 2165719644 1444978432 2179150134 648123467 2726848113 2686868886 2537665157 1748604712 3408130632 2390883823 2310761187 1718713396 1461432700 3924416427 83952199 2541660007 966003345 3604538243 1915597253 1642534380 3302062341 1436898291 1435380077 3090220850 1713467905 1441817151 2137200353 1634795957 3318178066 3592159030 3537552008 377138923 2317271558 1909611172 3498618137 325057609 1431848822 3456847655 3328800628 2396044697 591781122 436597722 1654617326 3675624573 4068939939 2091001 4210691018 1021458582 1216252177 908070571 2658528429 377589351 40296456 3423267661 961230287 2615321724 1130490587 4056673009 323633955 440627087 255 362436" option to reproduce the execution
0.28/0.32	c #vars 13201
0.28/0.32	c #constraints 38881

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

pid=23775
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.12 2.05 2.01 3/180 23778
/proc/meminfo: memFree=30565820/32872528 swapFree=163656/177964
[pid=23778] ppid=23775 vsize=318908 CPUtime=0 cores=0,2,4,6
/proc/23778/stat : 23778 (toysat) R 23775 23778 20760 0 -1 4202496 1116 0 0 0 0 0 0 0 20 0 4 0 27472008 326561792 1477 33554432000 4194304 16246674 140735739198496 140735739197920 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23778/statm: 80239 1487 441 2943 0 77133 0
[pid=23778/tid=23779] ppid=23775 vsize=335292 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23779/stat : 23779 (toysat) S 23775 23778 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27472008 343339008 1542 33554432000 4194304 16246674 140735739198496 140626559479024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23778/tid=23780] ppid=23775 vsize=339388 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23780/stat : 23780 (toysat) S 23775 23778 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27472008 347533312 1557 33554432000 4194304 16246674 140735739198496 140626548989168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23778/tid=23781] ppid=23775 vsize=343484 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23781/stat : 23781 (toysat) S 23775 23778 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27472008 351727616 1574 33554432000 4194304 16246674 140735739198496 140626538515632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.12 2.05 2.01 3/180 23778
/proc/meminfo: memFree=30565820/32872528 swapFree=163656/177964
[pid=23778] ppid=23775 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/23778/stat : 23778 (toysat) R 23775 23778 20760 0 -1 4202496 23973 0 0 0 6 3 0 0 20 0 4 0 27472008 1332285440 24273 33554432000 4194304 16246674 140735739198496 140735739197808 8055525 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23778/statm: 325265 24287 799 2943 0 322159 0
[pid=23778/tid=23779] ppid=23775 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23779/stat : 23779 (toysat) S 23775 23778 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27472008 1332285440 24297 33554432000 4194304 16246674 140735739198496 140626559479024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23778/tid=23780] ppid=23775 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23780/stat : 23780 (toysat) S 23775 23778 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27472008 1332285440 24310 33554432000 4194304 16246674 140735739198496 140626548989168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23778/tid=23781] ppid=23775 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23781/stat : 23781 (toysat) S 23775 23778 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27472008 1332285440 24322 33554432000 4194304 16246674 140735739198496 140626538515632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200515 s]
/proc/loadavg: 2.12 2.05 2.01 3/180 23778
/proc/meminfo: memFree=30565820/32872528 swapFree=163656/177964
[pid=23778] ppid=23775 vsize=1308228 CPUtime=0.18 cores=0,2,4,6
/proc/23778/stat : 23778 (toysat) R 23775 23778 20760 0 -1 4202496 49797 0 0 0 12 6 0 0 20 0 4 0 27472008 1339625472 50608 33554432000 4194304 16246674 140735739198496 140735739197808 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23778/statm: 327057 50611 799 2943 0 323951 0
[pid=23778/tid=23779] ppid=23775 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23779/stat : 23779 (toysat) S 23775 23778 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27472008 1339625472 50613 33554432000 4194304 16246674 140735739198496 140626559479024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23778/tid=23780] ppid=23775 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23780/stat : 23780 (toysat) S 23775 23778 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27472008 1339625472 50615 33554432000 4194304 16246674 140735739198496 140626548989168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23778/tid=23781] ppid=23775 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23781/stat : 23781 (toysat) S 23775 23778 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27472008 1339625472 50617 33554432000 4194304 16246674 140735739198496 140626538515632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1308228

[startup+0.30048 s]
/proc/loadavg: 2.12 2.05 2.01 3/180 23778
/proc/meminfo: memFree=30565820/32872528 swapFree=163656/177964
[pid=23778] ppid=23775 vsize=1314372 CPUtime=0.28 cores=0,2,4,6
/proc/23778/stat : 23778 (toysat) R 23775 23778 20760 0 -1 4202496 51615 0 0 0 22 6 0 0 20 0 4 0 27472008 1345916928 52425 33554432000 4194304 16246674 140735739198496 140735739197808 4220489 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23778/statm: 328593 52425 801 2943 0 325487 0
[pid=23778/tid=23779] ppid=23775 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23779/stat : 23779 (toysat) S 23775 23778 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27472008 1345916928 52425 33554432000 4194304 16246674 140735739198496 140626559479024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23778/tid=23780] ppid=23775 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23780/stat : 23780 (toysat) S 23775 23778 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27472008 1345916928 52425 33554432000 4194304 16246674 140735739198496 140626548989168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23778/tid=23781] ppid=23775 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23781/stat : 23781 (toysat) S 23775 23778 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27472008 1345916928 52425 33554432000 4194304 16246674 140735739198496 140626538515632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1314372

[startup+0.700355 s]
/proc/loadavg: 2.12 2.05 2.01 3/180 23778
/proc/meminfo: memFree=30565820/32872528 swapFree=163656/177964
[pid=23778] ppid=23775 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/23778/stat : 23778 (toysat) R 23775 23778 20760 0 -1 4202496 98267 0 0 0 56 13 0 0 20 0 4 0 27472008 1345916928 99078 33554432000 4194304 16246674 140735739198496 140735739180416 12457395 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23778/statm: 328593 99086 836 2943 0 325487 0
[pid=23778/tid=23779] ppid=23775 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23779/stat : 23779 (toysat) S 23775 23778 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27472008 1345916928 99091 33554432000 4194304 16246674 140735739198496 140626559479024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23778/tid=23780] ppid=23775 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23780/stat : 23780 (toysat) S 23775 23778 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27472008 1345916928 99096 33554432000 4194304 16246674 140735739198496 140626548989168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23778/tid=23781] ppid=23775 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23781/stat : 23781 (toysat) S 23775 23778 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27472008 1345916928 99102 33554432000 4194304 16246674 140735739198496 140626538515632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50036 s]
/proc/loadavg: 2.12 2.05 2.01 3/184 23782
/proc/meminfo: memFree=30091688/32872528 swapFree=163656/177964
[pid=23778] ppid=23775 vsize=1321540 CPUtime=1.48 cores=0,2,4,6
/proc/23778/stat : 23778 (toysat) R 23775 23778 20760 0 -1 4202496 141528 0 0 0 129 19 0 0 20 0 4 0 27472008 1353256960 142339 33554432000 4194304 16246674 140735739198496 140735739180416 12497709 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23778/statm: 330385 142347 845 2943 0 327279 0
[pid=23778/tid=23779] ppid=23775 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23779/stat : 23779 (toysat) S 23775 23778 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27472008 1353256960 142352 33554432000 4194304 16246674 140735739198496 140626559479024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23778/tid=23780] ppid=23775 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23780/stat : 23780 (toysat) S 23775 23778 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27472008 1353256960 142358 33554432000 4194304 16246674 140735739198496 140626548989168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23778/tid=23781] ppid=23775 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23781/stat : 23781 (toysat) S 23775 23778 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27472008 1353256960 142363 33554432000 4194304 16246674 140735739198496 140626538515632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1321540

[startup+3.10036 s]
/proc/loadavg: 2.12 2.05 2.01 3/184 23782
/proc/meminfo: memFree=29583520/32872528 swapFree=163656/177964
[pid=23778] ppid=23775 vsize=1548868 CPUtime=3.08 cores=0,2,4,6
/proc/23778/stat : 23778 (toysat) R 23775 23778 20760 0 -1 4202496 327835 0 0 0 264 44 0 0 20 0 4 0 27472008 1586040832 328645 33554432000 4194304 16246674 140735739198496 140735739197712 13754028 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23778/statm: 387217 328645 846 2943 0 384111 0
[pid=23778/tid=23779] ppid=23775 vsize=1548868 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23779/stat : 23779 (toysat) S 23775 23778 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27472008 1586040832 328645 33554432000 4194304 16246674 140735739198496 140626559479024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23778/tid=23780] ppid=23775 vsize=1548868 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23780/stat : 23780 (toysat) S 23775 23778 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27472008 1586040832 328645 33554432000 4194304 16246674 140735739198496 140626548989168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23778/tid=23781] ppid=23775 vsize=1548868 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23781/stat : 23781 (toysat) S 23775 23778 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27472008 1586040832 328645 33554432000 4194304 16246674 140735739198496 140626538515632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1548868

[startup+6.30037 s]
/proc/loadavg: 2.03 2.03 2.00 3/184 23782
/proc/meminfo: memFree=29252984/32872528 swapFree=163656/177964
[pid=23778] ppid=23775 vsize=1548868 CPUtime=6.28 cores=0,2,4,6
/proc/23778/stat : 23778 (toysat) R 23775 23778 20760 0 -1 4202496 327850 0 0 0 584 44 0 0 20 0 4 0 27472008 1586040832 328660 33554432000 4194304 16246674 140735739198496 140735739180416 4220815 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23778/statm: 387217 328660 846 2943 0 384111 0
[pid=23778/tid=23779] ppid=23775 vsize=1548868 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23779/stat : 23779 (toysat) S 23775 23778 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27472008 1586040832 328660 33554432000 4194304 16246674 140735739198496 140626559479024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23778/tid=23780] ppid=23775 vsize=1548868 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23780/stat : 23780 (toysat) S 23775 23778 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27472008 1586040832 328660 33554432000 4194304 16246674 140735739198496 140626548989168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23778/tid=23781] ppid=23775 vsize=1548868 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23781/stat : 23781 (toysat) S 23775 23778 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27472008 1586040832 328660 33554432000 4194304 16246674 140735739198496 140626538515632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1548868

[startup+12.7004 s]
/proc/loadavg: 2.03 2.03 2.00 3/184 23782
/proc/meminfo: memFree=28367660/32872528 swapFree=163656/177964
[pid=23778] ppid=23775 vsize=2432580 CPUtime=12.67 cores=0,2,4,6
/proc/23778/stat : 23778 (toysat) R 23775 23778 20760 0 -1 4202496 548778 0 0 0 1192 75 0 0 20 0 4 0 27472008 2490961920 549588 33554432000 4194304 16246674 140735739198496 140735739197592 15015658 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23778/statm: 608145 549588 846 2943 0 605039 0
[pid=23778/tid=23779] ppid=23775 vsize=2432580 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23779/stat : 23779 (toysat) S 23775 23778 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27472008 2490961920 549588 33554432000 4194304 16246674 140735739198496 140626559479024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23778/tid=23780] ppid=23775 vsize=2432580 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23780/stat : 23780 (toysat) S 23775 23778 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27472008 2490961920 549588 33554432000 4194304 16246674 140735739198496 140626548989168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23778/tid=23781] ppid=23775 vsize=2432580 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23781/stat : 23781 (toysat) S 23775 23778 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27472008 2490961920 549588 33554432000 4194304 16246674 140735739198496 140626538515632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 2432580

[startup+25.5004 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 23782
/proc/meminfo: memFree=26218264/32872528 swapFree=163656/177964
[pid=23778] ppid=23775 vsize=4674116 CPUtime=25.47 cores=0,2,4,6
/proc/23778/stat : 23778 (toysat) R 23775 23778 20760 0 -1 4202496 1109011 0 0 0 2393 154 0 0 20 0 4 0 27472008 4786294784 1109821 33554432000 4194304 16246674 140735739198496 140735739197160 4221016 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23778/statm: 1168529 1109826 846 2943 0 1165423 0
[pid=23778/tid=23779] ppid=23775 vsize=4674116 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23779/stat : 23779 (toysat) S 23775 23778 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27472008 4786294784 1109828 33554432000 4194304 16246674 140735739198496 140626559479024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23778/tid=23780] ppid=23775 vsize=4674116 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23780/stat : 23780 (toysat) S 23775 23778 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27472008 4786294784 1109831 33554432000 4194304 16246674 140735739198496 140626548988944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=23778/tid=23781] ppid=23775 vsize=4674116 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23781/stat : 23781 (toysat) S 23775 23778 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27472008 4786294784 1109835 33554432000 4194304 16246674 140735739198496 140626538515632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 4674116

[startup+51.1004 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 23783
/proc/meminfo: memFree=23549352/32872528 swapFree=163656/177964
[pid=23778] ppid=23775 vsize=7242308 CPUtime=51.07 cores=0,2,4,6
/proc/23778/stat : 23778 (toysat) R 23775 23778 20760 0 -1 4202496 1751211 0 0 0 4858 249 0 0 20 0 4 0 27472008 7416123392 1752021 33554432000 4194304 16246674 140735739198496 140735739197592 13905294 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23778/statm: 1810577 1752021 846 2943 0 1807471 0
[pid=23778/tid=23779] ppid=23775 vsize=7242308 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23779/stat : 23779 (toysat) S 23775 23778 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27472008 7416123392 1752021 33554432000 4194304 16246674 140735739198496 140626559479024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23778/tid=23780] ppid=23775 vsize=7242308 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23780/stat : 23780 (toysat) S 23775 23778 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27472008 7416123392 1752021 33554432000 4194304 16246674 140735739198496 140626548989168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23778/tid=23781] ppid=23775 vsize=7242308 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23781/stat : 23781 (toysat) S 23775 23778 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27472008 7416123392 1752021 33554432000 4194304 16246674 140735739198496 140626538515632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 7242308

[startup+102.3 s]
/proc/loadavg: 2.18 2.07 2.01 3/183 23784
/proc/meminfo: memFree=16551848/32872528 swapFree=163656/177964
[pid=23778] ppid=23775 vsize=14224964 CPUtime=102.25 cores=0,2,4,6
/proc/23778/stat : 23778 (toysat) R 23775 23778 20760 0 -1 4202496 3496879 0 0 0 9716 509 0 0 20 0 4 0 27472008 14566363136 3497689 33554432000 4194304 16246674 140735739198496 140735739197672 12493865 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23778/statm: 3556241 3497689 847 2943 0 3553135 0
[pid=23778/tid=23779] ppid=23775 vsize=14224964 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23779/stat : 23779 (toysat) S 23775 23778 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27472008 14566363136 3497689 33554432000 4194304 16246674 140735739198496 140626559479024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23778/tid=23780] ppid=23775 vsize=14224964 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23780/stat : 23780 (toysat) S 23775 23778 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27472008 14566363136 3497689 33554432000 4194304 16246674 140735739198496 140626548989168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23778/tid=23781] ppid=23775 vsize=14224964 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23781/stat : 23781 (toysat) S 23775 23778 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27472008 14566363136 3497689 33554432000 4194304 16246674 140735739198496 140626538515632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 14224964

[startup+162.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/183 23785
/proc/meminfo: memFree=16552072/32872528 swapFree=163656/177964
[pid=23778] ppid=23775 vsize=14224964 CPUtime=162.23 cores=0,2,4,6
/proc/23778/stat : 23778 (toysat) R 23775 23778 20760 0 -1 4202496 3496883 0 0 0 15711 512 0 0 20 0 4 0 27472008 14566363136 3497693 33554432000 4194304 16246674 140735739198496 140735739197592 14628944 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23778/statm: 3556241 3497693 851 2943 0 3553135 0
[pid=23778/tid=23779] ppid=23775 vsize=14224964 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23779/stat : 23779 (toysat) S 23775 23778 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27472008 14566363136 3497693 33554432000 4194304 16246674 140735739198496 140626559479024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23778/tid=23780] ppid=23775 vsize=14224964 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23780/stat : 23780 (toysat) S 23775 23778 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27472008 14566363136 3497693 33554432000 4194304 16246674 140735739198496 140626548989168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23778/tid=23781] ppid=23775 vsize=14224964 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23781/stat : 23781 (toysat) S 23775 23778 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27472008 14566363136 3497693 33554432000 4194304 16246674 140735739198496 140626538515632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 14224964



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+182.707 s]
/proc/loadavg: 2.05 2.05 2.00 3/183 23786
/proc/meminfo: memFree=14925996/32872528 swapFree=163656/177964
[pid=23778] ppid=23775 vsize=15879748 CPUtime=182.63 cores=0,2,4,6
/proc/23778/stat : 23778 (toysat) R 23775 23778 20760 0 -1 4202496 3910579 0 0 0 17683 580 0 0 20 0 4 0 27472008 16260861952 3911389 33554432000 4194304 16246674 140735739198496 140735739197592 4220536 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23778/statm: 3969937 3911389 851 2943 0 3966831 0
[pid=23778/tid=23779] ppid=23775 vsize=15879748 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23779/stat : 23779 (toysat) S 23775 23778 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27472008 16260861952 3911389 33554432000 4194304 16246674 140735739198496 140626559479024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=23778/tid=23780] ppid=23775 vsize=15879748 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23780/stat : 23780 (toysat) S 23775 23778 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27472008 16260861952 3911389 33554432000 4194304 16246674 140735739198496 140626548989168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=23778/tid=23781] ppid=23775 vsize=15879748 CPUtime=0 cores=0,2,4,6
/proc/23778/task/23781/stat : 23781 (toysat) S 23775 23778 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27472008 16260861952 3911389 33554432000 4194304 16246674 140735739198496 140626538515632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 182.63
Current children cumulated vsize (KiB) 15879748

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

[startup+183.2 s]
/proc/loadavg: 2.05 2.05 2.00 3/183 23786
/proc/meminfo: memFree=14925996/32872528 swapFree=163656/177964
[pid=23778] ppid=23775 vsize=0 CPUtime=183.12 cores=0,2,4,6
/proc/23778/stat : 23778 (toysat) Z 23775 23778 20760 0 -1 4203532 3910940 0 0 0 17683 629 0 0 20 0 2 0 27472008 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23778/statm: 0 0 0 0 0 0 0
[pid=23778/tid=23780] ppid=23775 vsize=0 CPUtime=0.47 cores=0,2,4,6
/proc/23778/task/23780/stat : 23780 (toysat) R 23775 23778 20760 0 -1 4203588 8 0 0 0 0 47 0 0 20 0 2 0 27472008 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 183.12
Current children cumulated vsize (KiB) 0

[startup+183.4 s]
/proc/loadavg: 2.05 2.05 2.00 3/183 23786
/proc/meminfo: memFree=14925996/32872528 swapFree=163656/177964
[pid=23778] ppid=23775 vsize=0 CPUtime=183.32 cores=0,2,4,6
/proc/23778/stat : 23778 (toysat) Z 23775 23778 20760 0 -1 4203532 3910940 0 0 0 17683 649 0 0 20 0 2 0 27472008 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23778/statm: 0 0 0 0 0 0 0
[pid=23778/tid=23780] ppid=23775 vsize=0 CPUtime=0.67 cores=0,2,4,6
/proc/23778/task/23780/stat : 23780 (toysat) R 23775 23778 20760 0 -1 4203588 8 0 0 0 0 67 0 0 20 0 2 0 27472008 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 183.32
Current children cumulated vsize (KiB) 0

[startup+183.5 s]
/proc/loadavg: 2.05 2.05 2.00 3/183 23786
/proc/meminfo: memFree=14925996/32872528 swapFree=163656/177964
[pid=23778] ppid=23775 vsize=0 CPUtime=183.42 cores=0,2,4,6
/proc/23778/stat : 23778 (toysat) Z 23775 23778 20760 0 -1 4203532 3910940 0 0 0 17683 659 0 0 20 0 2 0 27472008 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/23778/statm: 0 0 0 0 0 0 0
[pid=23778/tid=23780] ppid=23775 vsize=0 CPUtime=0.77 cores=0,2,4,6
/proc/23778/task/23780/stat : 23780 (toysat) R 23775 23778 20760 0 -1 4203588 8 0 0 0 0 77 0 0 20 0 2 0 27472008 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 183.42
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 183.567
CPU time (s): 183.497
CPU user time (s): 176.837
CPU system time (s): 6.65999
CPU usage (%): 99.9621
Max. virtual memory (cumulated for all children) (KiB): 15879748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 176.837
system time used= 6.65999
maximum resident set size= 15647000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3910940
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= 58
involuntary context switches= 243

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.555915 second user time and 0.869867 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-18 14:50:21
IDJOB=4105633
IDBENCH=2958
IDSOLVER=2542
FILE ID=node105/4105633-1466254221
RUNJOBID= node105-1466229502-20776
PBS_JOBID= 19918174
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=160-sizeP=81-sizeQ=160-203099174.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105633-1466254221/watcher-4105633-1466254221 -o /tmp/evaluation-result-4105633-1466254221/solver-4105633-1466254221 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20776 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105633-1466254221.opb

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

MD5SUM BENCH= 0c8a7426d22e304535ce287c1bd24030
RANDOM SEED=1246408748

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30570708 kB
Buffers:          112404 kB
Cached:           198572 kB
SwapCached:         1676 kB
Active:          1167740 kB
Inactive:         217560 kB
Active(anon):    1071920 kB
Inactive(anon):     4412 kB
Active(file):      95820 kB
Inactive(file):   213148 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67097160 kB
Dirty:             17908 kB
Writeback:             0 kB
AnonPages:       1251580 kB
Mapped:            10480 kB
Shmem:                 0 kB
Slab:             604532 kB
SReclaimable:      48076 kB
SUnreclaim:       556456 kB
KernelStack:        1472 kB
PageTables:         6644 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1396252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    692224 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= 71716 MiB
End job on node105 at 2016-06-18 14:53:24