Trace number 4105721

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) 150.796 150.841

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=380-sizeP=191-sizeQ=380-765568612-max.opb
MD5SUM2191fd085de8ae061d8b0a530b1c363f
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables73151
Total number of constraints217741
Number of constraints which are clauses217740
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint72580
Number of terms in the objective function 191
Biggest coefficient in the objective function 1569275433846670190958947355801916604025588861116008628224
Number of bits for the biggest coefficient in the objective function 191
Sum of the numbers in the objective function 3138550867693340381917894711603833208051177722232017256447
Number of bits of the sum of numbers in the objective function 191
Biggest number in a constraint 1932268761508629172347675945465993672149463664853217499328617625725759571144780212268096883290961288981231808015751088588682539330521493827871454336733540374348490407411712
Number of bits of the biggest number in a constraint 570
Biggest sum of numbers in a constraint 7729075046034516689390703781863974688597854659412869997312087757137816840157192354910932626270886944505998465497886041174443507857908386397911556311226886565568562128564837
Number of bits of the biggest sum of numbers571
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T15:15:53+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-4105721-1466255752.opb"]
0.00/0.01	c use --random-gen="3861740661 3018993598 1339761394 1068797774 4145222170 527887436 1583094908 3918266494 1678749928 3129555404 4244527464 809642482 646294 3740207172 148488310 3864625837 1888695168 2754526811 767937067 3171170430 1721374074 1731359016 43162842 730552280 609428108 874119125 835403146 4088066783 3957661030 1651788635 810717870 1073051627 1750733479 199692021 520017984 3142144104 2737039487 4159469092 2584988164 2625758179 2158560263 2649745920 3540287278 1918108134 2510564925 2022965040 970959959 1816327763 2111332923 2521413487 1038523907 1840188418 2446477723 3008213984 2975560614 3397189691 1606354369 1777281572 2023936842 3384154432 1211162490 226548825 4169016163 116234703 1336100323 2050300097 2602183056 2864530467 3690477103 3837987113 3181199847 1641045396 2999725607 3302133449 1371310059 3456219663 2770070555 118648492 3192004047 2555956020 2303603060 1551814968 848490374 3196057414 1194175511 2545429007 2116496385 1633177579 2170837218 1982140367 2655835336 1406016347 659626056 3281908472 724545196 2609250950 2706677676 4164693604 2622530779 1525937178 3778905887 3269067382 1608369881 3549464494 4092832895 3951602832 3336436303 1673674943 743449831 2822325661 1490554558 3552243771 3386241991 2603640827 3498590262 1850903432 2625807463 3277533771 13643361 106055336 158499383 2664583567 171490694 4059871100 1394345430 2395476437 3933848099 982394381 1156097759 2044643302 3052829828 2291039069 4061429354 4283647265 3409975331 3089072157 1823913636 173160413 1926317214 1449794133 2858094616 1630354316 1909550698 504180357 1353157423 2768899630 2649669130 1442053454 2963076594 94210071 1204405832 2021591360 1911158451 3129847832 966691616 2058062668 1819283049 2594292782 2628083099 960022188 2390841521 3222244124 4096770689 1459321075 3578160610 1778885342 2820484698 2958590639 2609587840 3016178918 505755945 2120806161 2874343660 559384137 2504068126 3714427557 1868251109 1165569650 3384580650 2410769306 3604969014 3066020091 709429791 181648477 3173583446 433714537 1798597603 3704994398 1132901643 2810500194 3996827291 4192906711 3435156158 2400365521 1953182095 299093356 384710018 1981454450 1089703856 949789972 3713864429 2861425290 2699161540 774616682 1407638751 2146866164 825907249 819898035 2825618689 4011806137 427757008 3340729068 2419001412 3542886260 10538664 3452654892 2034652607 2177420124 1161842548 3000206711 3144731232 1493304734 1184428694 2733576161 262232952 175109897 752574849 4216902352 1937408018 1242637640 3535914404 1439038548 405604823 4194992078 3061227117 162212818 3096154085 3243984621 115293834 1795678662 2015556368 3968489872 3757749923 4082932559 568133843 1061000837 2857101972 4126056769 3303084719 2367301105 3073837507 3180904436 1937298628 3063401735 2072024708 3427540938 255 362436" option to reproduce the execution
1.59/1.66	c #vars 73151
1.59/1.66	c #constraints 217741

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4105721-1466255752/watcher-4105721-1466255752 -o /tmp/evaluation-result-4105721-1466255752/solver-4105721-1466255752 -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-4105721-1466255752.opb 

pid=24417
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.11 2.05 2.01 2/179 24420
/proc/meminfo: memFree=25675864/32872528 swapFree=163656/177964
[pid=24420] ppid=24417 vsize=784828 CPUtime=0 cores=1,3,5,7
/proc/24420/stat : 24420 (toysat) R 24417 24420 20760 0 -1 4202496 2940 0 0 0 0 0 0 0 20 0 4 0 27625218 803663872 3300 33554432000 4194304 16246674 140733660299600 140733660299024 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24420/statm: 196975 3309 441 2943 0 193869 0
[pid=24420/tid=24421] ppid=24417 vsize=803260 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24421/stat : 24421 (toysat) S 24417 24420 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27625219 822538240 3370 33554432000 4194304 16246674 140733660299600 140719160274160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24420/tid=24422] ppid=24417 vsize=807356 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24422/stat : 24422 (toysat) S 24417 24420 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27625219 826732544 3387 33554432000 4194304 16246674 140733660299600 140719149784304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24420/tid=24423] ppid=24417 vsize=811452 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24423/stat : 24423 (toysat) S 24417 24420 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27625219 830926848 3404 33554432000 4194304 16246674 140733660299600 140719033412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.11 2.05 2.01 2/179 24420
/proc/meminfo: memFree=25675864/32872528 swapFree=163656/177964
[pid=24420] ppid=24417 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/24420/stat : 24420 (toysat) R 24417 24420 20760 0 -1 4202496 27517 0 0 0 4 5 0 0 20 0 4 0 27625218 1332285440 27815 33554432000 4194304 16246674 140733660299600 140733660298912 8055525 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24420/statm: 325265 27830 801 2943 0 322159 0
[pid=24420/tid=24421] ppid=24417 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24421/stat : 24421 (toysat) S 24417 24420 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27625219 1332285440 27841 33554432000 4194304 16246674 140733660299600 140719160274160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24420/tid=24422] ppid=24417 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24422/stat : 24422 (toysat) S 24417 24420 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27625219 1332285440 27852 33554432000 4194304 16246674 140733660299600 140719149784304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24420/tid=24423] ppid=24417 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24423/stat : 24423 (toysat) S 24417 24420 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27625219 1332285440 27862 33554432000 4194304 16246674 140733660299600 140719033412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200534 s]
/proc/loadavg: 2.11 2.05 2.01 2/179 24420
/proc/meminfo: memFree=25675864/32872528 swapFree=163656/177964
[pid=24420] ppid=24417 vsize=1313348 CPUtime=0.18 cores=1,3,5,7
/proc/24420/stat : 24420 (toysat) R 24417 24420 20760 0 -1 4202496 48412 0 0 0 11 7 0 0 20 0 4 0 27625218 1344868352 49221 33554432000 4194304 16246674 140733660299600 140733660298912 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24420/statm: 328337 49221 801 2943 0 325231 0
[pid=24420/tid=24421] ppid=24417 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24421/stat : 24421 (toysat) S 24417 24420 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27625219 1344868352 49221 33554432000 4194304 16246674 140733660299600 140719160274160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24420/tid=24422] ppid=24417 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24422/stat : 24422 (toysat) S 24417 24420 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27625219 1344868352 49221 33554432000 4194304 16246674 140733660299600 140719149784304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24420/tid=24423] ppid=24417 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24423/stat : 24423 (toysat) S 24417 24420 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27625219 1344868352 49221 33554432000 4194304 16246674 140733660299600 140719033412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1313348

[startup+0.300516 s]
/proc/loadavg: 2.11 2.05 2.01 2/179 24420
/proc/meminfo: memFree=25675864/32872528 swapFree=163656/177964
[pid=24420] ppid=24417 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/24420/stat : 24420 (toysat) R 24417 24420 20760 0 -1 4202496 64354 0 0 0 19 10 0 0 20 0 4 0 27625218 1344868352 65163 33554432000 4194304 16246674 140733660299600 140733660298912 4220527 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24420/statm: 328337 65163 801 2943 0 325231 0
[pid=24420/tid=24421] ppid=24417 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24421/stat : 24421 (toysat) S 24417 24420 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27625219 1344868352 65163 33554432000 4194304 16246674 140733660299600 140719160274160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24420/tid=24422] ppid=24417 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24422/stat : 24422 (toysat) S 24417 24420 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27625219 1344868352 65163 33554432000 4194304 16246674 140733660299600 140719149784304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24420/tid=24423] ppid=24417 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24423/stat : 24423 (toysat) S 24417 24420 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27625219 1344868352 65163 33554432000 4194304 16246674 140733660299600 140719033412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700388 s]
/proc/loadavg: 2.11 2.05 2.01 2/179 24420
/proc/meminfo: memFree=25675864/32872528 swapFree=163656/177964
[pid=24420] ppid=24417 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/24420/stat : 24420 (toysat) R 24417 24420 20760 0 -1 4202496 69241 0 0 0 58 11 0 0 20 0 4 0 27625218 1345916928 70050 33554432000 4194304 16246674 140733660299600 140733660282592 12752310 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24420/statm: 328593 70050 801 2943 0 325487 0
[pid=24420/tid=24421] ppid=24417 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24421/stat : 24421 (toysat) S 24417 24420 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27625219 1345916928 70050 33554432000 4194304 16246674 140733660299600 140719160274160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24420/tid=24422] ppid=24417 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24422/stat : 24422 (toysat) S 24417 24420 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27625219 1345916928 70050 33554432000 4194304 16246674 140733660299600 140719149784304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24420/tid=24423] ppid=24417 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24423/stat : 24423 (toysat) S 24417 24420 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27625219 1345916928 70050 33554432000 4194304 16246674 140733660299600 140719033412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50039 s]
/proc/loadavg: 2.11 2.05 2.01 3/183 24424
/proc/meminfo: memFree=25113124/32872528 swapFree=163656/177964
[pid=24420] ppid=24417 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/24420/stat : 24420 (toysat) R 24417 24420 20760 0 -1 4202496 81925 0 0 0 136 13 0 0 20 0 4 0 27625218 1345916928 82734 33554432000 4194304 16246674 140733660299600 140733660282592 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24420/statm: 328593 82734 802 2943 0 325487 0
[pid=24420/tid=24421] ppid=24417 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24421/stat : 24421 (toysat) S 24417 24420 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27625219 1345916928 82734 33554432000 4194304 16246674 140733660299600 140719160274160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24420/tid=24422] ppid=24417 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24422/stat : 24422 (toysat) S 24417 24420 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27625219 1345916928 82734 33554432000 4194304 16246674 140733660299600 140719149784304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24420/tid=24423] ppid=24417 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24423/stat : 24423 (toysat) S 24417 24420 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27625219 1345916928 82734 33554432000 4194304 16246674 140733660299600 140719033412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10043 s]
/proc/loadavg: 2.11 2.05 2.01 3/183 24424
/proc/meminfo: memFree=24822816/32872528 swapFree=163656/177964
[pid=24420] ppid=24417 vsize=1340996 CPUtime=3.09 cores=1,3,5,7
/proc/24420/stat : 24420 (toysat) R 24417 24420 20760 0 -1 4202496 269733 0 0 0 266 43 0 0 20 0 4 0 27625218 1373179904 276674 33554432000 4194304 16246674 140733660299600 140733660281472 13780628 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24420/statm: 335249 276674 837 2943 0 332143 0
[pid=24420/tid=24421] ppid=24417 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24421/stat : 24421 (toysat) S 24417 24420 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27625219 1373179904 276674 33554432000 4194304 16246674 140733660299600 140719160274160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24420/tid=24422] ppid=24417 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24422/stat : 24422 (toysat) S 24417 24420 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27625219 1373179904 276674 33554432000 4194304 16246674 140733660299600 140719149784304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24420/tid=24423] ppid=24417 vsize=1340996 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24423/stat : 24423 (toysat) S 24417 24420 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27625219 1373179904 276674 33554432000 4194304 16246674 140733660299600 140719033412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1340996

[startup+6.3004 s]
/proc/loadavg: 2.10 2.05 2.00 3/183 24424
/proc/meminfo: memFree=24331520/32872528 swapFree=163656/177964
[pid=24420] ppid=24417 vsize=1427012 CPUtime=6.29 cores=1,3,5,7
/proc/24420/stat : 24420 (toysat) R 24417 24420 20760 0 -1 4202496 291130 0 0 0 584 45 0 0 20 0 4 0 27625218 1461260288 298071 33554432000 4194304 16246674 140733660299600 140733660298264 4225154 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24420/statm: 356753 298078 847 2943 0 353647 0
[pid=24420/tid=24421] ppid=24417 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24421/stat : 24421 (toysat) S 24417 24420 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27625219 1461260288 298083 33554432000 4194304 16246674 140733660299600 140719160274160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24420/tid=24422] ppid=24417 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24422/stat : 24422 (toysat) S 24417 24420 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27625219 1461260288 298087 33554432000 4194304 16246674 140733660299600 140719149784304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24420/tid=24423] ppid=24417 vsize=1427012 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24423/stat : 24423 (toysat) S 24417 24420 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27625219 1461260288 298092 33554432000 4194304 16246674 140733660299600 140719033412784 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) 1427012

[startup+12.7004 s]
/proc/loadavg: 2.09 2.05 2.00 3/183 24424
/proc/meminfo: memFree=21416552/32872528 swapFree=163656/177964
[pid=24420] ppid=24417 vsize=2182724 CPUtime=12.69 cores=1,3,5,7
/proc/24420/stat : 24420 (toysat) R 24417 24420 20760 0 -1 4202496 480185 0 0 0 1196 73 0 0 20 0 4 0 27625218 2235109376 487126 33554432000 4194304 16246674 140733660299600 140733660281472 15015658 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24420/statm: 545681 487126 847 2943 0 542575 0
[pid=24420/tid=24421] ppid=24417 vsize=2182724 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24421/stat : 24421 (toysat) S 24417 24420 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27625219 2235109376 487126 33554432000 4194304 16246674 140733660299600 140719160274160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24420/tid=24422] ppid=24417 vsize=2182724 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24422/stat : 24422 (toysat) S 24417 24420 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27625219 2235109376 487126 33554432000 4194304 16246674 140733660299600 140719149784304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24420/tid=24423] ppid=24417 vsize=2182724 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24423/stat : 24423 (toysat) S 24417 24420 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27625219 2235109376 487126 33554432000 4194304 16246674 140733660299600 140719033412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2182724

[startup+25.5005 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 24425
/proc/meminfo: memFree=18058420/32872528 swapFree=163656/177964
[pid=24420] ppid=24417 vsize=4970052 CPUtime=25.49 cores=1,3,5,7
/proc/24420/stat : 24420 (toysat) R 24417 24420 20760 0 -1 4202496 1176893 0 0 0 2385 164 0 0 20 0 4 0 27625218 5089333248 1183834 33554432000 4194304 16246674 140733660299600 140733660298816 14628944 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24420/statm: 1242513 1183834 847 2943 0 1239407 0
[pid=24420/tid=24421] ppid=24417 vsize=4970052 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24421/stat : 24421 (toysat) S 24417 24420 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27625219 5089333248 1183834 33554432000 4194304 16246674 140733660299600 140719160274160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24420/tid=24422] ppid=24417 vsize=4970052 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24422/stat : 24422 (toysat) S 24417 24420 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27625219 5089333248 1183834 33554432000 4194304 16246674 140733660299600 140719149784304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24420/tid=24423] ppid=24417 vsize=4970052 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24423/stat : 24423 (toysat) S 24417 24420 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27625219 5089333248 1183834 33554432000 4194304 16246674 140733660299600 140719033412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 4970052

[startup+51.1005 s]
/proc/loadavg: 2.05 2.04 2.00 3/183 24425
/proc/meminfo: memFree=9492064/32872528 swapFree=163656/177964
[pid=24420] ppid=24417 vsize=9576004 CPUtime=51.07 cores=1,3,5,7
/proc/24420/stat : 24420 (toysat) R 24417 24420 20760 0 -1 4202496 2328506 0 0 0 4789 318 0 0 20 0 4 0 27625218 9805828096 2335448 33554432000 4194304 16246674 140733660299600 140733660298264 4221105 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24420/statm: 2394257 2335458 847 2943 0 2391151 0
[pid=24420/tid=24421] ppid=24417 vsize=9577028 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24421/stat : 24421 (toysat) S 24417 24420 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27625219 9806876672 2335461 33554432000 4194304 16246674 140733660299600 140719160274160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24420/tid=24422] ppid=24417 vsize=9577028 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24422/stat : 24422 (toysat) S 24417 24420 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27625219 9806876672 2335464 33554432000 4194304 16246674 140733660299600 140719149784080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24420/tid=24423] ppid=24417 vsize=9577028 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24423/stat : 24423 (toysat) S 24417 24420 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27625219 9806876672 2335468 33554432000 4194304 16246674 140733660299600 140719033412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 9576004

[startup+102.3 s]
/proc/loadavg: 2.02 2.03 2.00 4/183 24426
/proc/meminfo: memFree=5219784/32872528 swapFree=163656/177964
[pid=24420] ppid=24417 vsize=13505092 CPUtime=102.27 cores=1,3,5,7
/proc/24420/stat : 24420 (toysat) R 24417 24420 20760 0 -1 4202496 3310785 0 0 0 9777 450 0 0 20 0 4 0 27625218 13829214208 3317726 33554432000 4194304 16246674 140733660299600 140733660297408 14006601 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24420/statm: 3376273 3317726 852 2943 0 3373167 0
[pid=24420/tid=24421] ppid=24417 vsize=13505092 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24421/stat : 24421 (toysat) S 24417 24420 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27625219 13829214208 3317726 33554432000 4194304 16246674 140733660299600 140719160274160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24420/tid=24422] ppid=24417 vsize=13505092 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24422/stat : 24422 (toysat) S 24417 24420 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27625219 13829214208 3317726 33554432000 4194304 16246674 140733660299600 140719149784080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=24420/tid=24423] ppid=24417 vsize=13505092 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24423/stat : 24423 (toysat) S 24417 24420 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27625219 13829214208 3317726 33554432000 4194304 16246674 140733660299600 140719033412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 13505092



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+150 s]
/proc/loadavg: 2.01 2.02 2.00 4/183 24475
/proc/meminfo: memFree=11257064/32872528 swapFree=163656/177964
[pid=24420] ppid=24417 vsize=15881796 CPUtime=149.95 cores=1,3,5,7
/proc/24420/stat : 24420 (toysat) R 24417 24420 20760 0 -1 4202496 3904738 0 0 0 14465 530 0 0 20 0 4 0 27625218 16262959104 3911934 33554432000 4194304 16246674 140733660299600 140733660298696 4225154 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24420/statm: 3970449 3911942 852 2943 0 3967343 0
[pid=24420/tid=24421] ppid=24417 vsize=15881796 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24421/stat : 24421 (toysat) S 24417 24420 20760 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 27625219 16262959104 3911948 33554432000 4194304 16246674 140733660299600 140719160274160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24420/tid=24422] ppid=24417 vsize=15881796 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24422/stat : 24422 (toysat) S 24417 24420 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27625219 16262959104 3911953 33554432000 4194304 16246674 140733660299600 140719149784304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24420/tid=24423] ppid=24417 vsize=15881796 CPUtime=0 cores=1,3,5,7
/proc/24420/task/24423/stat : 24423 (toysat) S 24417 24420 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27625219 16262959104 3911956 33554432000 4194304 16246674 140733660299600 140719033412784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 149.95
Current children cumulated vsize (KiB) 15881796

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

[startup+150.4 s]
/proc/loadavg: 2.01 2.02 2.00 4/183 24475
/proc/meminfo: memFree=11257064/32872528 swapFree=163656/177964
[pid=24420] ppid=24417 vsize=0 CPUtime=150.35 cores=1,3,5,7
/proc/24420/stat : 24420 (toysat) Z 24417 24420 20760 0 -1 4203532 3904886 0 0 0 14466 569 0 0 20 0 2 0 27625218 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24420/statm: 0 0 0 0 0 0 0
[pid=24420/tid=24421] ppid=24417 vsize=0 CPUtime=0.38 cores=1,3,5,7
/proc/24420/task/24421/stat : 24421 (toysat) R 24417 24420 20760 0 -1 4203588 10 0 0 0 0 38 0 0 20 0 2 0 27625219 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 150.35
Current children cumulated vsize (KiB) 0

[startup+150.808 s]
/proc/loadavg: 2.01 2.02 2.00 4/181 24475
/proc/meminfo: memFree=23379664/32872528 swapFree=163656/177964
[pid=24420] ppid=24417 vsize=0 CPUtime=150.76 cores=1,3,5,7
/proc/24420/stat : 24420 (toysat) Z 24417 24420 20760 0 -1 4203532 3904886 0 0 0 14466 610 0 0 20 0 2 0 27625218 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/24420/statm: 0 0 0 0 0 0 0
[pid=24420/tid=24421] ppid=24417 vsize=0 CPUtime=0.79 cores=1,3,5,7
/proc/24420/task/24421/stat : 24421 (toysat) R 24417 24420 20760 0 -1 4203588 10 0 0 0 0 79 0 0 20 0 2 0 27625219 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 150.76
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 150.841
CPU time (s): 150.796
CPU user time (s): 144.663
CPU system time (s): 6.13307
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 15881796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 144.663
system time used= 6.13307
maximum resident set size= 15648328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3904886
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= 63
involuntary context switches= 462

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.438933 second user time and 0.6549 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-18 15:15:53
IDJOB=4105721
IDBENCH=2990
IDSOLVER=2542
FILE ID=node105/4105721-1466255752
RUNJOBID= node105-1466229502-20777
PBS_JOBID= 19918174
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=380-sizeP=191-sizeQ=380-765568612-max.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105721-1466255752/watcher-4105721-1466255752 -o /tmp/evaluation-result-4105721-1466255752/solver-4105721-1466255752 -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-4105721-1466255752.opb

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

MD5SUM BENCH= 2191fd085de8ae061d8b0a530b1c363f
RANDOM SEED=1283801968

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:        25690032 kB
Buffers:           99204 kB
Cached:           214192 kB
SwapCached:         1416 kB
Active:          6051560 kB
Inactive:         204496 kB
Active(anon):    5940228 kB
Inactive(anon):     4780 kB
Active(file):     111332 kB
Inactive(file):   199716 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67097160 kB
Dirty:             28868 kB
Writeback:             0 kB
AnonPages:       6120696 kB
Mapped:            10568 kB
Shmem:                 0 kB
Slab:             605288 kB
SReclaimable:      48692 kB
SUnreclaim:       556596 kB
KernelStack:        1464 kB
PageTables:        15888 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    6265372 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     18432 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= 71696 MiB
End job on node105 at 2016-06-18 15:18:24