Trace number 4079101

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) 178.251 178.319

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=80-sizeP=41-sizeQ=80-898154415-max.opb
MD5SUM6a9fe13a82af2a971b95647e608ff18d
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-1969
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -1
Optimality of the best value was proved NO
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 2658455991569719978762429512260881840
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-06T23:20:09+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-4079101-1465248009.opb"]
0.00/0.01	c use --random-gen="4019116253 192149410 2621950833 2736681183 2284227538 1209649381 1746249448 1767692367 1899894470 270116728 3820821702 3024677846 3494419542 589253587 2854529406 4130305608 4147335471 1658819844 452822804 3075217026 611960925 1925917211 2944948167 3837685794 1367073162 825418702 603082143 2692602213 476954757 1513321381 4227672233 1382481626 3669029635 1276045269 940915012 2576853987 3258349171 3060724338 1917872634 4088560811 500307227 3060601707 3399217433 512769125 514373720 2719718544 2443067045 686098266 2272071834 727723681 3496042441 581105055 137865897 58307933 3856860649 1207806552 1488096678 3044991683 2335306931 1997968092 2287858869 3115519582 211705531 4112390617 2967991346 143300769 3886036251 2149533890 855032155 4181103927 2733619313 1166648538 138002700 1820703794 3476563149 3345625645 958604613 113261561 2475821906 2074052578 4055571207 1380958395 1570868182 484992924 1275507880 2368023934 37692457 4223085148 1482518946 3895041400 3025875487 1605067787 2082860354 2421882058 3401634401 9723540 3042763547 602403617 894495018 525601035 4232071526 3413848946 269601602 2141634435 642703754 4259726067 1939983215 71205216 1032836994 474724297 4157181887 2794982797 3038054586 1310389360 3287904551 1978678576 1325720483 1145703575 2373850056 1262692585 2161926111 694932856 1939894691 3308411517 716576523 312274455 2708611208 672039411 1834714152 153105726 649132634 1743709781 1036294115 1803249419 242203256 4257611116 2602325912 261756086 2231987921 4099070351 3463889004 2711812977 1046544775 327147593 307371892 2129186682 1618408592 198086731 522340588 3791715202 1460316966 53415138 1274872389 2708440977 3439590773 3949727093 854510322 3091172003 560330551 1495412678 4267527431 897710638 466499486 3883335207 2435360945 743218070 2676260154 4116012118 3689123742 4284378892 3606045913 38498765 1512367935 4148600893 800260001 1191216533 1279897547 2561539846 3273502678 1113508607 2967382180 3794947648 3013280577 2563045345 1192867522 3531272040 3140010122 1523141481 2040679715 1176622811 2787773756 2164428276 113202004 828626989 2466844745 579167477 1806141387 3178206675 2033625443 2628704262 658902412 3941545091 237678357 4200081181 2451285239 315346941 1752657860 1405081731 2895126669 3584786911 2619868102 3473143611 2149107210 1749516896 1907991487 2721970235 235195598 4221564038 1452855305 4210622432 2105587798 365954084 49829552 2971775659 735853926 1174990411 143125089 783677336 1966453840 4158043611 3562371252 2653165879 1362400282 1976233665 1683129304 19460373 906724991 4268078230 2056824686 301305379 451767733 2534997874 744058474 1107324175 842329822 1461655379 3146144807 736842542 1078996768 3631023992 537493189 2523998838 3618588494 645603331 217709045 3683568189 255 362436" option to reproduce the execution
0.00/0.09	c #vars 3401
0.00/0.09	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-4079101-1465248009/watcher-4079101-1465248009 -o /tmp/evaluation-result-4079101-1465248009/solver-4079101-1465248009 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1238 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079101-1465248009.opb 

pid=4361
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: 1.97 2.00 2.00 3/180 4364
/proc/meminfo: memFree=30557380/32872528 swapFree=10676/249824
[pid=4364] ppid=4361 vsize=722364 CPUtime=0 cores=0,2,4,6
/proc/4364/stat : 4364 (toysat) R 4361 4364 1222 0 -1 4202496 2692 0 0 0 0 0 0 0 20 0 4 0 106736371 739700736 3053 33554432000 4194304 16246674 140736402098816 140736402098240 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4364/statm: 181103 3063 441 2943 0 177997 0
[pid=4364/tid=4365] ppid=4361 vsize=739772 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4365/stat : 4365 (toysat) S 4361 4364 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106736372 757526528 3122 33554432000 4194304 16246674 140736402098816 139850990726384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4364/tid=4366] ppid=4361 vsize=743868 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4366/stat : 4366 (toysat) S 4361 4364 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106736372 761720832 3138 33554432000 4194304 16246674 140736402098816 139850980236528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4364/tid=4367] ppid=4361 vsize=747964 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4367/stat : 4367 (toysat) S 4361 4364 1222 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106736372 765915136 3155 33554432000 4194304 16246674 140736402098816 139850969762992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 1.97 2.00 2.00 3/180 4364
/proc/meminfo: memFree=30557380/32872528 swapFree=10676/249824
[pid=4364] ppid=4361 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/4364/stat : 4364 (toysat) R 4361 4364 1222 0 -1 4202496 25064 0 0 0 6 3 0 0 20 0 4 0 106736371 1333334016 25364 33554432000 4194304 16246674 140736402098816 140736402098128 6965916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4364/statm: 325521 25371 833 2943 0 322415 0
[pid=4364/tid=4365] ppid=4361 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4365/stat : 4365 (toysat) S 4361 4364 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106736372 1333334016 25375 33554432000 4194304 16246674 140736402098816 139850990726384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4364/tid=4366] ppid=4361 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4366/stat : 4366 (toysat) S 4361 4364 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106736372 1333334016 25381 33554432000 4194304 16246674 140736402098816 139850980236528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4364/tid=4367] ppid=4361 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4367/stat : 4367 (toysat) S 4361 4364 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106736372 1333334016 25386 33554432000 4194304 16246674 140736402098816 139850969762992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200487 s]
/proc/loadavg: 1.97 2.00 2.00 3/180 4364
/proc/meminfo: memFree=30557380/32872528 swapFree=10676/249824
[pid=4364] ppid=4361 vsize=1302084 CPUtime=0.19 cores=0,2,4,6
/proc/4364/stat : 4364 (toysat) R 4361 4364 1222 0 -1 4202496 42257 0 0 0 14 5 0 0 20 0 4 0 106736371 1333334016 42556 33554432000 4194304 16246674 140736402098816 140736402098128 6759445 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4364/statm: 325521 42556 833 2943 0 322415 0
[pid=4364/tid=4365] ppid=4361 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4365/stat : 4365 (toysat) S 4361 4364 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106736372 1333334016 42556 33554432000 4194304 16246674 140736402098816 139850990726384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4364/tid=4366] ppid=4361 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4366/stat : 4366 (toysat) S 4361 4364 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106736372 1333334016 42556 33554432000 4194304 16246674 140736402098816 139850980236528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4364/tid=4367] ppid=4361 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4367/stat : 4367 (toysat) S 4361 4364 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106736372 1333334016 42556 33554432000 4194304 16246674 140736402098816 139850969762992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300517 s]
/proc/loadavg: 1.97 2.00 2.00 3/180 4364
/proc/meminfo: memFree=30557380/32872528 swapFree=10676/249824
[pid=4364] ppid=4361 vsize=1302084 CPUtime=0.29 cores=0,2,4,6
/proc/4364/stat : 4364 (toysat) R 4361 4364 1222 0 -1 4202496 50498 0 0 0 23 6 0 0 20 0 4 0 106736371 1333334016 50797 33554432000 4194304 16246674 140736402098816 140736402098128 13753681 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4364/statm: 325521 50807 842 2943 0 322415 0
[pid=4364/tid=4365] ppid=4361 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4365/stat : 4365 (toysat) S 4361 4364 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106736372 1333334016 50814 33554432000 4194304 16246674 140736402098816 139850990726384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4364/tid=4366] ppid=4361 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4366/stat : 4366 (toysat) S 4361 4364 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106736372 1333334016 50820 33554432000 4194304 16246674 140736402098816 139850980236528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4364/tid=4367] ppid=4361 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4367/stat : 4367 (toysat) S 4361 4364 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106736372 1333334016 50827 33554432000 4194304 16246674 140736402098816 139850969762992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700434 s]
/proc/loadavg: 1.97 2.00 2.00 3/180 4364
/proc/meminfo: memFree=30557380/32872528 swapFree=10676/249824
[pid=4364] ppid=4361 vsize=1302084 CPUtime=0.69 cores=0,2,4,6
/proc/4364/stat : 4364 (toysat) R 4361 4364 1222 0 -1 4202496 110979 0 0 0 54 15 0 0 20 0 4 0 106736371 1333334016 111278 33554432000 4194304 16246674 140736402098816 140736402098128 12484149 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4364/statm: 325521 111281 842 2943 0 322415 0
[pid=4364/tid=4365] ppid=4361 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4365/stat : 4365 (toysat) S 4361 4364 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106736372 1333334016 111283 33554432000 4194304 16246674 140736402098816 139850990726384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4364/tid=4366] ppid=4361 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4366/stat : 4366 (toysat) S 4361 4364 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106736372 1333334016 111285 33554432000 4194304 16246674 140736402098816 139850980236528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4364/tid=4367] ppid=4361 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4367/stat : 4367 (toysat) S 4361 4364 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106736372 1333334016 111286 33554432000 4194304 16246674 140736402098816 139850969762992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1302084

[startup+1.50044 s]
/proc/loadavg: 1.97 2.00 2.00 3/184 4368
/proc/meminfo: memFree=29826296/32872528 swapFree=10676/249824
[pid=4364] ppid=4361 vsize=1302084 CPUtime=1.48 cores=0,2,4,6
/proc/4364/stat : 4364 (toysat) R 4361 4364 1222 0 -1 4202496 241023 0 0 0 118 30 0 0 20 0 4 0 106736371 1333334016 241322 33554432000 4194304 16246674 140736402098816 140736402080704 13785157 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4364/statm: 325521 241331 842 2943 0 322415 0
[pid=4364/tid=4365] ppid=4361 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4365/stat : 4365 (toysat) S 4361 4364 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106736372 1333334016 241336 33554432000 4194304 16246674 140736402098816 139850990726384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4364/tid=4366] ppid=4361 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4366/stat : 4366 (toysat) S 4361 4364 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106736372 1333334016 241343 33554432000 4194304 16246674 140736402098816 139850980236528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4364/tid=4367] ppid=4361 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4367/stat : 4367 (toysat) S 4361 4364 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106736372 1333334016 241349 33554432000 4194304 16246674 140736402098816 139850969762992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1302084

[startup+3.10045 s]
/proc/loadavg: 1.97 2.00 2.00 3/184 4368
/proc/meminfo: memFree=29230228/32872528 swapFree=10676/249824
[pid=4364] ppid=4361 vsize=1562180 CPUtime=3.09 cores=0,2,4,6
/proc/4364/stat : 4364 (toysat) R 4361 4364 1222 0 -1 4202496 331684 0 0 0 268 41 0 0 20 0 4 0 106736371 1599672320 331983 33554432000 4194304 16246674 140736402098816 140736402096640 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4364/statm: 390545 331983 843 2943 0 387439 0
[pid=4364/tid=4365] ppid=4361 vsize=1562180 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4365/stat : 4365 (toysat) S 4361 4364 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106736372 1599672320 331983 33554432000 4194304 16246674 140736402098816 139850990726384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4364/tid=4366] ppid=4361 vsize=1562180 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4366/stat : 4366 (toysat) S 4361 4364 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106736372 1599672320 331983 33554432000 4194304 16246674 140736402098816 139850980236528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4364/tid=4367] ppid=4361 vsize=1562180 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4367/stat : 4367 (toysat) S 4361 4364 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106736372 1599672320 331983 33554432000 4194304 16246674 140736402098816 139850969762992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1562180

[startup+6.30045 s]
/proc/loadavg: 1.97 2.00 2.00 3/184 4368
/proc/meminfo: memFree=29229788/32872528 swapFree=10676/249824
[pid=4364] ppid=4361 vsize=1562180 CPUtime=6.28 cores=0,2,4,6
/proc/4364/stat : 4364 (toysat) R 4361 4364 1222 0 -1 4202496 331685 0 0 0 587 41 0 0 20 0 4 0 106736371 1599672320 331984 33554432000 4194304 16246674 140736402098816 140736402098128 4220807 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4364/statm: 390545 331984 843 2943 0 387439 0
[pid=4364/tid=4365] ppid=4361 vsize=1562180 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4365/stat : 4365 (toysat) S 4361 4364 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106736372 1599672320 331984 33554432000 4194304 16246674 140736402098816 139850990726384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4364/tid=4366] ppid=4361 vsize=1562180 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4366/stat : 4366 (toysat) S 4361 4364 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106736372 1599672320 331984 33554432000 4194304 16246674 140736402098816 139850980236528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4364/tid=4367] ppid=4361 vsize=1562180 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4367/stat : 4367 (toysat) S 4361 4364 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106736372 1599672320 331984 33554432000 4194304 16246674 140736402098816 139850969762992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1562180

[startup+12.7004 s]
/proc/loadavg: 1.97 2.00 2.00 3/184 4368
/proc/meminfo: memFree=28455632/32872528 swapFree=10676/249824
[pid=4364] ppid=4361 vsize=2335300 CPUtime=12.69 cores=0,2,4,6
/proc/4364/stat : 4364 (toysat) R 4361 4364 1222 0 -1 4202496 524966 0 0 0 1200 69 0 0 20 0 4 0 106736371 2391347200 525265 33554432000 4194304 16246674 140736402098816 140736402097912 4220480 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4364/statm: 583825 525265 843 2943 0 580719 0
[pid=4364/tid=4365] ppid=4361 vsize=2335300 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4365/stat : 4365 (toysat) S 4361 4364 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106736372 2391347200 525265 33554432000 4194304 16246674 140736402098816 139850990726384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4364/tid=4366] ppid=4361 vsize=2335300 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4366/stat : 4366 (toysat) S 4361 4364 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106736372 2391347200 525265 33554432000 4194304 16246674 140736402098816 139850980236528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4364/tid=4367] ppid=4361 vsize=2335300 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4367/stat : 4367 (toysat) S 4361 4364 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106736372 2391347200 525265 33554432000 4194304 16246674 140736402098816 139850969762992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2335300

[startup+25.5005 s]
/proc/loadavg: 1.98 2.00 2.00 3/184 4368
/proc/meminfo: memFree=25982728/32872528 swapFree=10676/249824
[pid=4364] ppid=4361 vsize=4804164 CPUtime=25.48 cores=0,2,4,6
/proc/4364/stat : 4364 (toysat) R 4361 4364 1222 0 -1 4202496 1142182 0 0 0 2400 148 0 0 20 0 4 0 106736371 4919463936 1142481 33554432000 4194304 16246674 140736402098816 140736402097992 13753412 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4364/statm: 1201041 1142481 843 2943 0 1197935 0
[pid=4364/tid=4365] ppid=4361 vsize=4804164 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4365/stat : 4365 (toysat) S 4361 4364 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106736372 4919463936 1142481 33554432000 4194304 16246674 140736402098816 139850990726384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4364/tid=4366] ppid=4361 vsize=4804164 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4366/stat : 4366 (toysat) S 4361 4364 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106736372 4919463936 1142481 33554432000 4194304 16246674 140736402098816 139850980236528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4364/tid=4367] ppid=4361 vsize=4804164 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4367/stat : 4367 (toysat) S 4361 4364 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106736372 4919463936 1142481 33554432000 4194304 16246674 140736402098816 139850969762992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 4804164

[startup+51.1005 s]
/proc/loadavg: 1.98 2.00 2.00 3/184 4368
/proc/meminfo: memFree=23603800/32872528 swapFree=10676/249824
[pid=4364] ppid=4361 vsize=7178820 CPUtime=51.07 cores=0,2,4,6
/proc/4364/stat : 4364 (toysat) R 4361 4364 1222 0 -1 4202496 1735848 0 0 0 4881 226 0 0 20 0 4 0 106736371 7351111680 1736147 33554432000 4194304 16246674 140736402098816 140736402096704 4206640 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4364/statm: 1794705 1736147 843 2943 0 1791599 0
[pid=4364/tid=4365] ppid=4361 vsize=7178820 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4365/stat : 4365 (toysat) S 4361 4364 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106736372 7351111680 1736147 33554432000 4194304 16246674 140736402098816 139850990726384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4364/tid=4366] ppid=4361 vsize=7178820 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4366/stat : 4366 (toysat) S 4361 4364 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106736372 7351111680 1736147 33554432000 4194304 16246674 140736402098816 139850980236304 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4364/tid=4367] ppid=4361 vsize=7178820 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4367/stat : 4367 (toysat) S 4361 4364 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106736372 7351111680 1736147 33554432000 4194304 16246674 140736402098816 139850969762992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 7178820

[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 4370
/proc/meminfo: memFree=16185224/32872528 swapFree=10676/249824
[pid=4364] ppid=4361 vsize=14582340 CPUtime=102.26 cores=0,2,4,6
/proc/4364/stat : 4364 (toysat) R 4361 4364 1222 0 -1 4202496 3586731 0 0 0 9732 494 0 0 20 0 4 0 106736371 14932316160 3587030 33554432000 4194304 16246674 140736402098816 140736402097992 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4364/statm: 3645585 3587030 844 2943 0 3642479 0
[pid=4364/tid=4365] ppid=4361 vsize=14582340 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4365/stat : 4365 (toysat) S 4361 4364 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106736372 14932316160 3587030 33554432000 4194304 16246674 140736402098816 139850990726384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4364/tid=4366] ppid=4361 vsize=14582340 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4366/stat : 4366 (toysat) S 4361 4364 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106736372 14932316160 3587030 33554432000 4194304 16246674 140736402098816 139850980236528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4364/tid=4367] ppid=4361 vsize=14582340 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4367/stat : 4367 (toysat) S 4361 4364 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106736372 14932316160 3587030 33554432000 4194304 16246674 140736402098816 139850969762992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 14582340

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 4371
/proc/meminfo: memFree=16185288/32872528 swapFree=10676/249824
[pid=4364] ppid=4361 vsize=14582340 CPUtime=162.25 cores=0,2,4,6
/proc/4364/stat : 4364 (toysat) R 4361 4364 1222 0 -1 4202496 3586735 0 0 0 15729 496 0 0 20 0 4 0 106736371 14932316160 3587034 33554432000 4194304 16246674 140736402098816 140736402097992 12483816 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4364/statm: 3645585 3587034 848 2943 0 3642479 0
[pid=4364/tid=4365] ppid=4361 vsize=14582340 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4365/stat : 4365 (toysat) S 4361 4364 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106736372 14932316160 3587034 33554432000 4194304 16246674 140736402098816 139850990726384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4364/tid=4366] ppid=4361 vsize=14582340 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4366/stat : 4366 (toysat) S 4361 4364 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106736372 14932316160 3587034 33554432000 4194304 16246674 140736402098816 139850980236528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4364/tid=4367] ppid=4361 vsize=14582340 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4367/stat : 4367 (toysat) S 4361 4364 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106736372 14932316160 3587034 33554432000 4194304 16246674 140736402098816 139850969762992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 14582340



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+177.4 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 4371
/proc/meminfo: memFree=14962000/32872528 swapFree=10676/249824
[pid=4364] ppid=4361 vsize=15887940 CPUtime=177.34 cores=0,2,4,6
/proc/4364/stat : 4364 (toysat) R 4361 4364 1222 0 -1 4202496 3912980 0 0 0 17189 545 0 0 20 0 4 0 106736371 16269250560 3913279 33554432000 4194304 16246674 140736402098816 140736402097912 4206577 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4364/statm: 3971985 3913279 848 2943 0 3968879 0
[pid=4364/tid=4365] ppid=4361 vsize=15887940 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4365/stat : 4365 (toysat) S 4361 4364 1222 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 106736372 16269250560 3913279 33554432000 4194304 16246674 140736402098816 139850990726384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=4364/tid=4366] ppid=4361 vsize=15887940 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4366/stat : 4366 (toysat) S 4361 4364 1222 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106736372 16269250560 3913279 33554432000 4194304 16246674 140736402098816 139850980236528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=4364/tid=4367] ppid=4361 vsize=15887940 CPUtime=0 cores=0,2,4,6
/proc/4364/task/4367/stat : 4367 (toysat) S 4361 4364 1222 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106736372 16269250560 3913279 33554432000 4194304 16246674 140736402098816 139850969762992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 177.34
Current children cumulated vsize (KiB) 15887940

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

[startup+177.6 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 4371
/proc/meminfo: memFree=14962000/32872528 swapFree=10676/249824
[pid=4364] ppid=4361 vsize=0 CPUtime=177.54 cores=0,2,4,6
/proc/4364/stat : 4364 (toysat) Z 4361 4364 1222 0 -1 4203532 3913313 0 0 0 17190 564 0 0 20 0 2 0 106736371 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4364/statm: 0 0 0 0 0 0 0
[pid=4364/tid=4365] ppid=4361 vsize=0 CPUtime=0.18 cores=0,2,4,6
/proc/4364/task/4365/stat : 4365 (toysat) R 4361 4364 1222 0 -1 4203588 9 0 0 0 0 18 0 0 20 0 2 0 106736372 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 177.54
Current children cumulated vsize (KiB) 0

[startup+178 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 4371
/proc/meminfo: memFree=14962000/32872528 swapFree=10676/249824
[pid=4364] ppid=4361 vsize=0 CPUtime=177.94 cores=0,2,4,6
/proc/4364/stat : 4364 (toysat) Z 4361 4364 1222 0 -1 4203532 3913313 0 0 0 17190 604 0 0 20 0 2 0 106736371 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4364/statm: 0 0 0 0 0 0 0
[pid=4364/tid=4365] ppid=4361 vsize=0 CPUtime=0.58 cores=0,2,4,6
/proc/4364/task/4365/stat : 4365 (toysat) R 4361 4364 1222 0 -1 4203588 9 0 0 0 0 58 0 0 20 0 2 0 106736372 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 177.94
Current children cumulated vsize (KiB) 0

[startup+178.2 s]
/proc/loadavg: 1.99 2.00 2.00 3/181 4371
/proc/meminfo: memFree=28390708/32872528 swapFree=10676/249824
[pid=4364] ppid=4361 vsize=0 CPUtime=178.14 cores=0,2,4,6
/proc/4364/stat : 4364 (toysat) Z 4361 4364 1222 0 -1 4203532 3913313 0 0 0 17190 624 0 0 20 0 2 0 106736371 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4364/statm: 0 0 0 0 0 0 0
[pid=4364/tid=4365] ppid=4361 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/4364/task/4365/stat : 4365 (toysat) R 4361 4364 1222 0 -1 4203588 9 0 0 0 0 78 0 0 20 0 2 0 106736372 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 178.14
Current children cumulated vsize (KiB) 0

[startup+178.307 s]
/proc/loadavg: 1.99 2.00 2.00 3/181 4371
/proc/meminfo: memFree=28390708/32872528 swapFree=10676/249824
[pid=4364] ppid=4361 vsize=0 CPUtime=178.24 cores=0,2,4,6
/proc/4364/stat : 4364 (toysat) Z 4361 4364 1222 0 -1 4203532 3913313 0 0 0 17190 634 0 0 20 0 2 0 106736371 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4364/statm: 0 0 0 0 0 0 0
[pid=4364/tid=4365] ppid=4361 vsize=0 CPUtime=0.88 cores=0,2,4,6
/proc/4364/task/4365/stat : 4365 (toysat) R 4361 4364 1222 0 -1 4203588 9 0 0 0 0 88 0 0 20 0 2 0 106736372 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 178.24
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 178.319
CPU time (s): 178.251
CPU user time (s): 171.902
CPU system time (s): 6.34903
CPU usage (%): 99.9617
Max. virtual memory (cumulated for all children) (KiB): 15887940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 171.902
system time used= 6.34903
maximum resident set size= 15654448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3913313
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= 84
involuntary context switches= 192

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.04184 second user time and 1.01984 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-06 23:20:09
IDJOB=4079101
IDBENCH=3034
IDSOLVER=2542
FILE ID=node103/4079101-1465248009
RUNJOBID= node103-1465221288-1238
PBS_JOBID= 19843228
Free space on /tmp= 71708 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-898154415-max.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079101-1465248009/watcher-4079101-1465248009 -o /tmp/evaluation-result-4079101-1465248009/solver-4079101-1465248009 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1465221288-1238 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079101-1465248009.opb

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

MD5SUM BENCH= 6a9fe13a82af2a971b95647e608ff18d
RANDOM SEED=534949342

node103.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.760
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.52
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.760
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.760
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30557304 kB
Buffers:           52852 kB
Cached:           149296 kB
SwapCached:         1716 kB
Active:          1271532 kB
Inactive:          88152 kB
Active(anon):    1158780 kB
Inactive(anon):     1160 kB
Active(file):     112752 kB
Inactive(file):    86992 kB
Unevictable:      249824 kB
Mlocked:           10676 kB
SwapTotal:      67108856 kB
SwapFree:       67096644 kB
Dirty:             16720 kB
Writeback:             0 kB
AnonPages:       1406664 kB
Mapped:            10716 kB
Shmem:                 0 kB
Slab:             569984 kB
SReclaimable:      13980 kB
SUnreclaim:       556004 kB
KernelStack:        1472 kB
PageTables:         7072 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1551248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1388544 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= 71692 MiB
End job on node103 at 2016-06-06 23:23:07