Trace number 4105701

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.789 183.843

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=80-sizeP=41-sizeQ=80-505615378.opb
MD5SUM2dac3f359b4902a48427eec4a1e131fe
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 benchmark0.943855
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 variables3401
Total number of constraints9841
Number of constraints which are clauses9840
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 constraint3280
Number of terms in the objective function 41
Biggest coefficient in the objective function 1099511627776
Number of bits for the biggest coefficient in the objective function 41
Sum of the numbers in the objective function 2199023255551
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 664613997892457936451903530140172288
Number of bits of the biggest number in a constraint 120
Biggest sum of numbers in a constraint 2658455991569056391466495993868342803
Number of bits of the biggest sum of numbers121
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:12:48+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-4105701-1466255568.opb"]
0.00/0.01	c use --random-gen="778628878 2202104465 1053748125 4008264536 2817574364 2575157911 3654619428 866263464 2335671157 945281688 3122748506 2034369275 1832449338 3825941247 4279877835 1455290042 218380341 3378719816 2984642023 454784464 1223242651 533193257 2788116319 2675616495 3060031257 1110575510 2247028837 2086796896 2327755218 1591861813 608936876 874212833 3031771419 2052995418 2675708282 722769269 3953248672 496422509 4239521215 3352869865 3504625034 3768685719 2281227682 2219462078 2439365923 3914268185 1356524906 2782764411 4207537639 2856023748 3037761695 1297952681 509529576 332752237 1263187511 2507533365 3255141385 4115424099 1990873707 2472557432 2421223593 830889281 1587829222 1443044359 2572951133 3026605958 3306415623 2746337440 891881614 3446023873 2459141640 3141097435 3038528289 1378167361 3771444846 2352923192 3445941731 2228758668 1751575908 2002246220 3833725679 2944250621 158272078 3960495699 3406147262 1288076220 3409732849 2830069776 2546028510 2040355975 3374539148 852544148 1509397268 1942473374 4052354085 2211064155 57842538 3952562812 765769132 425497449 1760102638 600065000 902741315 2998127159 787539610 996585546 958141804 3823549568 3680265015 3300901830 3331431504 3261128414 25467568 135927177 3523269784 2039636709 4122723783 2977903532 1670644824 2568095730 116064179 828867459 76879534 4269862942 1092065663 1815972493 1333179300 1654209707 178973510 515763038 1360091759 1090664068 2894745488 702650742 1464470251 3944619502 1362296194 2437783060 2716741070 3364206316 3125541275 3695404853 2658316406 3356016606 1581568063 4286003165 2639279659 2727552008 475939351 1872072215 2391085087 3274223145 480332591 1325863799 4250499516 2005061160 735807607 1771004156 1110471740 1157351672 1723002707 4185409542 3930428229 2437805358 4078625118 3035308353 1979996542 2585301666 3730206527 949971671 3079452656 3015122925 3974918520 713160016 673419855 303596821 1862645185 494229540 2485885479 2953112155 2631312489 3066844602 3395976443 574740146 3130233714 50155370 2199005391 3539818683 1006000250 4073899331 565497572 3729305370 2691899355 2997853395 1840841931 3844941634 2130139978 2319398706 416265655 2955443632 1874714177 3518646888 3343795065 3066635265 505419908 1738976227 574451015 1124649129 3055729775 2807501039 1466855193 3551166279 1007529530 4247411432 2558597502 1828905039 241762957 3566989002 3099258972 3161820870 2475189730 126977110 3024824247 3255006243 761062854 3420535804 2302856753 513608301 346785572 2990569336 2744721967 2729123045 784432790 3759721669 1009714341 734101405 37544025 869920845 1330863812 1927858129 548800039 203161385 2325749322 963063790 3491111265 364375249 2094316319 1972408269 3946946551 2055580213 32770592 1390969338 2023764557 3479101716 2721678771 3875681517 255 362436" option to reproduce the execution
0.00/0.08	c #vars 3401
0.00/0.08	c #constraints 9841

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

pid=24298
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.03 2.03 2.00 2/169 24301
/proc/meminfo: memFree=31657996/32872528 swapFree=163656/177964
[pid=24301] ppid=24298 vsize=716220 CPUtime=0 cores=1,3,5,7
/proc/24301/stat : 24301 (toysat) R 24298 24301 20760 0 -1 4202496 2673 0 0 0 0 0 0 0 20 0 4 0 27606757 733409280 3033 33554432000 4194304 16246674 140734997567008 140734997566432 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24301/statm: 179823 3043 441 2943 0 176717 0
[pid=24301/tid=24302] ppid=24298 vsize=734652 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24302/stat : 24302 (toysat) S 24298 24301 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27606757 752283648 3103 33554432000 4194304 16246674 140734997567008 139697040895216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24301/tid=24303] ppid=24298 vsize=738748 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24303/stat : 24303 (toysat) S 24298 24301 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27606757 756477952 3117 33554432000 4194304 16246674 140734997567008 139697030405360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24301/tid=24304] ppid=24298 vsize=742844 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24304/stat : 24304 (toysat) S 24298 24301 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27606757 760672256 3134 33554432000 4194304 16246674 140734997567008 139697019931824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.03 2.03 2.00 2/169 24301
/proc/meminfo: memFree=31657996/32872528 swapFree=163656/177964
[pid=24301] ppid=24298 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/24301/stat : 24301 (toysat) R 24298 24301 20760 0 -1 4202496 25174 0 0 0 5 4 0 0 20 0 4 0 27606757 1333334016 25472 33554432000 4194304 16246674 140734997567008 140734997566320 6756338 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24301/statm: 325521 25480 834 2943 0 322415 0
[pid=24301/tid=24302] ppid=24298 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24302/stat : 24302 (toysat) S 24298 24301 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27606757 1333334016 25487 33554432000 4194304 16246674 140734997567008 139697040895216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24301/tid=24303] ppid=24298 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24303/stat : 24303 (toysat) S 24298 24301 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27606757 1333334016 25492 33554432000 4194304 16246674 140734997567008 139697030405360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24301/tid=24304] ppid=24298 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24304/stat : 24304 (toysat) S 24298 24301 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27606757 1333334016 25496 33554432000 4194304 16246674 140734997567008 139697019931824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200507 s]
/proc/loadavg: 2.03 2.03 2.00 2/169 24301
/proc/meminfo: memFree=31657996/32872528 swapFree=163656/177964
[pid=24301] ppid=24298 vsize=1302084 CPUtime=0.19 cores=1,3,5,7
/proc/24301/stat : 24301 (toysat) R 24298 24301 20760 0 -1 4202496 42262 0 0 0 12 7 0 0 20 0 4 0 27606757 1333334016 42560 33554432000 4194304 16246674 140734997567008 140734997548928 13950188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24301/statm: 325521 42560 834 2943 0 322415 0
[pid=24301/tid=24302] ppid=24298 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24302/stat : 24302 (toysat) S 24298 24301 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27606757 1333334016 42560 33554432000 4194304 16246674 140734997567008 139697040895216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24301/tid=24303] ppid=24298 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24303/stat : 24303 (toysat) S 24298 24301 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27606757 1333334016 42560 33554432000 4194304 16246674 140734997567008 139697030405360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24301/tid=24304] ppid=24298 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24304/stat : 24304 (toysat) S 24298 24301 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27606757 1333334016 42560 33554432000 4194304 16246674 140734997567008 139697019931824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.680788 s]
/proc/loadavg: 2.03 2.03 2.00 2/169 24301
/proc/meminfo: memFree=31657996/32872528 swapFree=163656/177964
[pid=24301] ppid=24298 vsize=1302084 CPUtime=0.67 cores=1,3,5,7
/proc/24301/stat : 24301 (toysat) R 24298 24301 20760 0 -1 4202496 98009 0 0 0 52 15 0 0 20 0 4 0 27606757 1333334016 98307 33554432000 4194304 16246674 140734997567008 140734997548928 12490158 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24301/statm: 325521 98311 842 2943 0 322415 0
[pid=24301/tid=24302] ppid=24298 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24302/stat : 24302 (toysat) S 24298 24301 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27606757 1333334016 98312 33554432000 4194304 16246674 140734997567008 139697040895216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24301/tid=24303] ppid=24298 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24303/stat : 24303 (toysat) S 24298 24301 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27606757 1333334016 98314 33554432000 4194304 16246674 140734997567008 139697030405360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24301/tid=24304] ppid=24298 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24304/stat : 24304 (toysat) S 24298 24301 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27606757 1333334016 98316 33554432000 4194304 16246674 140734997567008 139697019931824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 1302084

[startup+0.700474 s]
/proc/loadavg: 2.03 2.03 2.00 2/169 24301
/proc/meminfo: memFree=31657996/32872528 swapFree=163656/177964
[pid=24301] ppid=24298 vsize=1302084 CPUtime=0.69 cores=1,3,5,7
/proc/24301/stat : 24301 (toysat) R 24298 24301 20760 0 -1 4202496 99283 0 0 0 54 15 0 0 20 0 4 0 27606757 1333334016 99581 33554432000 4194304 16246674 140734997567008 140734997548928 12504453 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24301/statm: 325521 99584 842 2943 0 322415 0
[pid=24301/tid=24302] ppid=24298 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24302/stat : 24302 (toysat) S 24298 24301 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27606757 1333334016 99586 33554432000 4194304 16246674 140734997567008 139697040895216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24301/tid=24303] ppid=24298 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24303/stat : 24303 (toysat) S 24298 24301 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27606757 1333334016 99588 33554432000 4194304 16246674 140734997567008 139697030405360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24301/tid=24304] ppid=24298 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24304/stat : 24304 (toysat) S 24298 24301 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27606757 1333334016 99590 33554432000 4194304 16246674 140734997567008 139697019931824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1302084

[startup+1.50763 s]
/proc/loadavg: 2.03 2.03 2.00 3/182 24323
/proc/meminfo: memFree=30470116/32872528 swapFree=163656/177964
[pid=24301] ppid=24298 vsize=1302084 CPUtime=1.5 cores=1,3,5,7
/proc/24301/stat : 24301 (toysat) R 24298 24301 20760 0 -1 4202496 234900 0 0 0 117 33 0 0 20 0 4 0 27606757 1333334016 235199 33554432000 4194304 16246674 140734997567008 140734997548928 13790085 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24301/statm: 325521 235210 842 2943 0 322415 0
[pid=24301/tid=24302] ppid=24298 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24302/stat : 24302 (toysat) S 24298 24301 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27606757 1333334016 235217 33554432000 4194304 16246674 140734997567008 139697040895216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24301/tid=24303] ppid=24298 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24303/stat : 24303 (toysat) S 24298 24301 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27606757 1333334016 235224 33554432000 4194304 16246674 140734997567008 139697030405360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24301/tid=24304] ppid=24298 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24304/stat : 24304 (toysat) S 24298 24301 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27606757 1333334016 235230 33554432000 4194304 16246674 140734997567008 139697019931824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 1302084

[startup+3.10048 s]
/proc/loadavg: 2.03 2.03 2.00 3/182 24323
/proc/meminfo: memFree=29714212/32872528 swapFree=163656/177964
[pid=24301] ppid=24298 vsize=1565252 CPUtime=3.09 cores=1,3,5,7
/proc/24301/stat : 24301 (toysat) R 24298 24301 20760 0 -1 4202496 332456 0 0 0 262 47 0 0 20 0 4 0 27606757 1602818048 332754 33554432000 4194304 16246674 140734997567008 140734997566320 4220489 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24301/statm: 391313 332754 843 2943 0 388207 0
[pid=24301/tid=24302] ppid=24298 vsize=1565252 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24302/stat : 24302 (toysat) S 24298 24301 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27606757 1602818048 332754 33554432000 4194304 16246674 140734997567008 139697040895216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24301/tid=24303] ppid=24298 vsize=1565252 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24303/stat : 24303 (toysat) S 24298 24301 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27606757 1602818048 332754 33554432000 4194304 16246674 140734997567008 139697030405360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24301/tid=24304] ppid=24298 vsize=1565252 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24304/stat : 24304 (toysat) S 24298 24301 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27606757 1602818048 332754 33554432000 4194304 16246674 140734997567008 139697019931824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1565252

[startup+6.30043 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 24323
/proc/meminfo: memFree=28991612/32872528 swapFree=163656/177964
[pid=24301] ppid=24298 vsize=1598020 CPUtime=6.29 cores=1,3,5,7
/proc/24301/stat : 24301 (toysat) R 24298 24301 20760 0 -1 4202496 340649 0 0 0 580 49 0 0 20 0 4 0 27606757 1636372480 340947 33554432000 4194304 16246674 140734997567008 140734997564800 4206597 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24301/statm: 399505 340947 843 2943 0 396399 0
[pid=24301/tid=24302] ppid=24298 vsize=1598020 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24302/stat : 24302 (toysat) S 24298 24301 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27606757 1636372480 340947 33554432000 4194304 16246674 140734997567008 139697040895216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24301/tid=24303] ppid=24298 vsize=1598020 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24303/stat : 24303 (toysat) S 24298 24301 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27606757 1636372480 340947 33554432000 4194304 16246674 140734997567008 139697030405136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24301/tid=24304] ppid=24298 vsize=1598020 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24304/stat : 24304 (toysat) S 24298 24301 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27606757 1636372480 340947 33554432000 4194304 16246674 140734997567008 139697019931824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1598020

[startup+12.7004 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 24323
/proc/meminfo: memFree=27456268/32872528 swapFree=163656/177964
[pid=24301] ppid=24298 vsize=2729540 CPUtime=12.68 cores=1,3,5,7
/proc/24301/stat : 24301 (toysat) R 24298 24301 20760 0 -1 4202496 623480 0 0 0 1179 89 0 0 20 0 4 0 27606757 2795048960 623778 33554432000 4194304 16246674 140734997567008 140734997565672 4221105 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24301/statm: 682385 623786 843 2943 0 679279 0
[pid=24301/tid=24302] ppid=24298 vsize=2729540 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24302/stat : 24302 (toysat) S 24298 24301 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27606757 2795048960 623790 33554432000 4194304 16246674 140734997567008 139697040895216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24301/tid=24303] ppid=24298 vsize=2729540 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24303/stat : 24303 (toysat) S 24298 24301 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27606757 2795048960 623794 33554432000 4194304 16246674 140734997567008 139697030405136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24301/tid=24304] ppid=24298 vsize=2729540 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24304/stat : 24304 (toysat) S 24298 24301 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27606757 2795048960 623798 33554432000 4194304 16246674 140734997567008 139697019931824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 2729540

[startup+25.5005 s]
/proc/loadavg: 2.02 2.03 2.00 3/182 24323
/proc/meminfo: memFree=23615016/32872528 swapFree=163656/177964
[pid=24301] ppid=24298 vsize=4144708 CPUtime=25.48 cores=1,3,5,7
/proc/24301/stat : 24301 (toysat) R 24298 24301 20760 0 -1 4202496 977323 0 0 0 2412 136 0 0 20 0 4 0 27606757 4244180992 977619 33554432000 4194304 16246674 140734997567008 140734997548928 4220543 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24301/statm: 1036177 977619 843 2943 0 1033071 0
[pid=24301/tid=24302] ppid=24298 vsize=4144708 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24302/stat : 24302 (toysat) S 24298 24301 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27606757 4244180992 977619 33554432000 4194304 16246674 140734997567008 139697040895216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24301/tid=24303] ppid=24298 vsize=4144708 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24303/stat : 24303 (toysat) S 24298 24301 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27606757 4244180992 977619 33554432000 4194304 16246674 140734997567008 139697030405360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24301/tid=24304] ppid=24298 vsize=4144708 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24304/stat : 24304 (toysat) S 24298 24301 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27606757 4244180992 977619 33554432000 4194304 16246674 140734997567008 139697019931824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 4144708

[startup+51.1004 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 24324
/proc/meminfo: memFree=15656076/32872528 swapFree=163656/177964
[pid=24301] ppid=24298 vsize=7860804 CPUtime=51.08 cores=1,3,5,7
/proc/24301/stat : 24301 (toysat) R 24298 24301 20760 0 -1 4202496 1906349 0 0 0 4849 259 0 0 20 0 4 0 27606757 8049463296 1906645 33554432000 4194304 16246674 140734997567008 140734997566184 4206952 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24301/statm: 1965201 1906645 843 2943 0 1962095 0
[pid=24301/tid=24302] ppid=24298 vsize=7860804 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24302/stat : 24302 (toysat) S 24298 24301 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27606757 8049463296 1906645 33554432000 4194304 16246674 140734997567008 139697040895216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24301/tid=24303] ppid=24298 vsize=7860804 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24303/stat : 24303 (toysat) S 24298 24301 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27606757 8049463296 1906645 33554432000 4194304 16246674 140734997567008 139697030405360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24301/tid=24304] ppid=24298 vsize=7860804 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24304/stat : 24304 (toysat) S 24298 24301 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27606757 8049463296 1906645 33554432000 4194304 16246674 140734997567008 139697019931824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 7860804

[startup+102.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 24325
/proc/meminfo: memFree=3876428/32872528 swapFree=163656/177964
[pid=24301] ppid=24298 vsize=15350340 CPUtime=102.26 cores=1,3,5,7
/proc/24301/stat : 24301 (toysat) R 24298 24301 20760 0 -1 4202496 3778736 0 0 0 9715 511 0 0 20 0 4 0 27606757 15718748160 3779032 33554432000 4194304 16246674 140734997567008 140734997566104 4221129 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24301/statm: 3837585 3779032 844 2943 0 3834479 0
[pid=24301/tid=24302] ppid=24298 vsize=15350340 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24302/stat : 24302 (toysat) S 24298 24301 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27606757 15718748160 3779032 33554432000 4194304 16246674 140734997567008 139697040895216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24301/tid=24303] ppid=24298 vsize=15350340 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24303/stat : 24303 (toysat) S 24298 24301 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27606757 15718748160 3779032 33554432000 4194304 16246674 140734997567008 139697030405360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24301/tid=24304] ppid=24298 vsize=15350340 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24304/stat : 24304 (toysat) S 24298 24301 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27606757 15718748160 3779032 33554432000 4194304 16246674 140734997567008 139697019931824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 15350340

[startup+162.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/183 24375
/proc/meminfo: memFree=14611320/32872528 swapFree=163656/177964
[pid=24301] ppid=24298 vsize=15350340 CPUtime=162.25 cores=1,3,5,7
/proc/24301/stat : 24301 (toysat) R 24298 24301 20760 0 -1 4202496 3778740 0 0 0 15712 513 0 0 20 0 4 0 27606757 15718748160 3779036 33554432000 4194304 16246674 140734997567008 140734997564928 14016636 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24301/statm: 3837585 3779036 848 2943 0 3834479 0
[pid=24301/tid=24302] ppid=24298 vsize=15350340 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24302/stat : 24302 (toysat) S 24298 24301 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27606757 15718748160 3779036 33554432000 4194304 16246674 140734997567008 139697040895216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24301/tid=24303] ppid=24298 vsize=15350340 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24303/stat : 24303 (toysat) S 24298 24301 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27606757 15718748160 3779036 33554432000 4194304 16246674 140734997567008 139697030405136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24301/tid=24304] ppid=24298 vsize=15350340 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24304/stat : 24304 (toysat) S 24298 24301 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27606757 15718748160 3779036 33554432000 4194304 16246674 140734997567008 139697019931824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 15350340



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+183.007 s]
/proc/loadavg: 2.11 2.05 2.01 3/183 24375
/proc/meminfo: memFree=11132968/32872528 swapFree=163656/177964
[pid=24301] ppid=24298 vsize=15875652 CPUtime=182.96 cores=1,3,5,7
/proc/24301/stat : 24301 (toysat) R 24298 24301 20760 0 -1 4202496 3910013 0 0 0 17761 535 0 0 20 0 4 0 27606757 16256667648 3910309 33554432000 4194304 16246674 140734997567008 140734997566184 4221105 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24301/statm: 3968913 3910316 848 2943 0 3965807 0
[pid=24301/tid=24302] ppid=24298 vsize=15875652 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24302/stat : 24302 (toysat) S 24298 24301 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27606757 16256667648 3910320 33554432000 4194304 16246674 140734997567008 139697040895216 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24301/tid=24303] ppid=24298 vsize=15875652 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24303/stat : 24303 (toysat) S 24298 24301 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27606757 16256667648 3910326 33554432000 4194304 16246674 140734997567008 139697030405360 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24301/tid=24304] ppid=24298 vsize=15875652 CPUtime=0 cores=1,3,5,7
/proc/24301/task/24304/stat : 24304 (toysat) S 24298 24301 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27606757 16256667648 3910331 33554432000 4194304 16246674 140734997567008 139697019931824 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 182.96
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 24301 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+183.5 s]
/proc/loadavg: 2.11 2.05 2.01 3/183 24375
/proc/meminfo: memFree=11132968/32872528 swapFree=163656/177964
[pid=24301] ppid=24298 vsize=0 CPUtime=183.45 cores=1,3,5,7
/proc/24301/stat : 24301 (toysat) Z 24298 24301 20760 0 -1 4203532 3910331 0 0 0 17761 584 0 0 20 0 2 0 27606757 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24301/statm: 0 0 0 0 0 0 0
[pid=24301/tid=24303] ppid=24298 vsize=0 CPUtime=0.47 cores=1,3,5,7
/proc/24301/task/24303/stat : 24303 (toysat) R 24298 24301 20760 0 -1 4203588 8 0 0 0 0 47 0 0 20 0 2 0 27606757 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 183.45
Current children cumulated vsize (KiB) 0

[startup+183.7 s]
/proc/loadavg: 2.11 2.05 2.01 3/183 24375
/proc/meminfo: memFree=11132968/32872528 swapFree=163656/177964
[pid=24301] ppid=24298 vsize=0 CPUtime=183.65 cores=1,3,5,7
/proc/24301/stat : 24301 (toysat) Z 24298 24301 20760 0 -1 4203532 3910331 0 0 0 17761 604 0 0 20 0 2 0 27606757 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24301/statm: 0 0 0 0 0 0 0
[pid=24301/tid=24303] ppid=24298 vsize=0 CPUtime=0.67 cores=1,3,5,7
/proc/24301/task/24303/stat : 24303 (toysat) R 24298 24301 20760 0 -1 4203588 8 0 0 0 0 67 0 0 20 0 2 0 27606757 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 183.65
Current children cumulated vsize (KiB) 0

[startup+183.8 s]
/proc/loadavg: 2.11 2.05 2.01 3/183 24375
/proc/meminfo: memFree=11132968/32872528 swapFree=163656/177964
[pid=24301] ppid=24298 vsize=0 CPUtime=183.75 cores=1,3,5,7
/proc/24301/stat : 24301 (toysat) Z 24298 24301 20760 0 -1 4203532 3910331 0 0 0 17761 614 0 0 20 0 2 0 27606757 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24301/statm: 0 0 0 0 0 0 0
[pid=24301/tid=24303] ppid=24298 vsize=0 CPUtime=0.77 cores=1,3,5,7
/proc/24301/task/24303/stat : 24303 (toysat) R 24298 24301 20760 0 -1 4203588 8 0 0 0 0 77 0 0 20 0 2 0 27606757 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 183.75
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 183.843
CPU time (s): 183.789
CPU user time (s): 177.616
CPU system time (s): 6.17306
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 15875652

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 177.616
system time used= 6.17306
maximum resident set size= 15642508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3910331
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= 72
involuntary context switches= 188

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.890864 second user time and 1.81272 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-18 15:12:48
IDJOB=4105701
IDBENCH=2982
IDSOLVER=2542
FILE ID=node105/4105701-1466255568
RUNJOBID= node105-1466229502-20777
PBS_JOBID= 19918174
Free space on /tmp= 71728 MiB

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

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

MD5SUM BENCH= 2dac3f359b4902a48427eec4a1e131fe
RANDOM SEED=1477082162

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:        31658484 kB
Buffers:          109344 kB
Cached:           185712 kB
SwapCached:         1676 kB
Active:            80536 kB
Inactive:         218284 kB
Active(anon):       1404 kB
Inactive(anon):     4732 kB
Active(file):      79132 kB
Inactive(file):   213552 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67097160 kB
Dirty:             16704 kB
Writeback:            20 kB
AnonPages:        180564 kB
Mapped:             6288 kB
Shmem:                 0 kB
Slab:             604760 kB
SReclaimable:      48104 kB
SUnreclaim:       556656 kB
KernelStack:        1752 kB
PageTables:         4104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     273932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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= 71712 MiB
End job on node105 at 2016-06-18 15:15:52