Trace number 3262305

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 NameAnswerCPU timeWall clock time
ppfolio parUNSAT 656.682 215.941

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-20_390.cnf
MD5SUM9f9afdb81b528e7852015fad23de6353
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark193.51
Satisfiable
(Un)Satisfiability was proved
Number of variables195
Number of clauses20607
Sum of the clauses size92222
Maximum clause length20
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 265
Number of clauses of size 318744
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51798

Solver Data 

0.00/0.00	This is pico-portfolio, a naive parallel portfolio
0.00/0.00	Copyright (C) 2011 Olivier Roussel
0.00/0.00	Using 4 processing units
0.00/0.00	This portfolio uses the following solvers:
0.00/0.00	[1] cryptominisat 2.7.1 (Mate Soos)
0.00/0.00	[2] clasp 1.3.6 (Martin Gebser, Benjamin Kaufmann, and Torsten Schaub)
0.00/0.00	[3] TNM 2009 (Wanxia Wei and Chu Min Li)
0.00/0.00	[4] lingeling 276-6264d55-100731 (Armin Biere)
0.00/0.00	[5] march_hi 2009 (Marijn Heule and Hans Van Maaren)
0.00/0.00	Starting cryptominisat 2.7.1 on core(s) 1
0.00/0.00	Starting clasp 1.3.6 on core(s) 5
0.00/0.00	Starting TNM 2009 on core(s) 7
0.00/0.00	Starting lingeling 276-6264d55-100731 on core(s) 3
0.00/0.00	Starting march_hi 2009 on core(s) 7
656.50/215.93	s UNSATISFIABLE
656.50/215.94	solver [2] clasp 1.3.6 answered
656.50/215.94	Done

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3262305-1304086790/watcher-3262305-1304086790 -o /tmp/evaluation-result-3262305-1304086790/solver-3262305-1304086790 -C 4800 -W 1300 -M 15500 ppfolio HOME/instance-3262305-1304086790.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 9.78 10.03 9.86 8/182 1011
/proc/meminfo: memFree=31040156/32950928 swapFree=67111404/67111528
[pid=1011] ppid=1009 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1011/stat : 1011 (ppfolio) R 1009 1011 32278 0 -1 4194304 451 0 0 0 0 0 0 0 25 0 1 0 520277825 18763776 387 33554432000 4194304 4287625 140737339970576 18446744073709551615 235594686869 0 0 4096 65536 0 0 0 17 1 0 0 0
/proc/1011/statm: 4581 387 338 23 0 91 0

[startup+0.22149 s]
/proc/loadavg: 9.78 10.03 9.86 8/182 1011
/proc/meminfo: memFree=31040156/32950928 swapFree=67111404/67111528
[pid=1011] ppid=1009 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1011/stat : 1011 (ppfolio) R 1009 1011 32278 0 -1 4202496 524 0 0 0 0 0 0 0 25 0 1 0 520277825 18763776 390 33554432000 4194304 4287625 140737339970576 18446744073709551615 235594886671 0 0 4096 65536 0 0 0 17 1 0 0 0
/proc/1011/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.300473 s]
/proc/loadavg: 9.78 10.03 9.86 8/182 1011
/proc/meminfo: memFree=31040156/32950928 swapFree=67111404/67111528
[pid=1011] ppid=1009 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1011/stat : 1011 (ppfolio) S 1009 1011 32278 0 -1 4202496 524 0 0 0 0 0 0 0 24 0 1 0 520277825 18763776 390 33554432000 4194304 4287625 140737339970576 18446744073709551615 235594886671 0 0 4096 65536 11502641641026486271 0 0 17 1 0 0 0
/proc/1011/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.400458 s]
/proc/loadavg: 9.78 10.03 9.86 8/182 1011
/proc/meminfo: memFree=31040156/32950928 swapFree=67111404/67111528
[pid=1011] ppid=1009 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1011/stat : 1011 (ppfolio) S 1009 1011 32278 0 -1 4202496 524 0 0 0 0 0 0 0 23 0 1 0 520277825 18763776 390 33554432000 4194304 4287625 140737339970576 18446744073709551615 235594886671 0 0 4096 65536 11502641641026486271 0 0 17 1 0 0 0
/proc/1011/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+0.700404 s]
/proc/loadavg: 9.78 10.03 9.86 8/182 1011
/proc/meminfo: memFree=31040156/32950928 swapFree=67111404/67111528
[pid=1011] ppid=1009 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1011/stat : 1011 (ppfolio) S 1009 1011 32278 0 -1 4202496 524 0 0 0 0 0 0 0 21 0 1 0 520277825 18763776 390 33554432000 4194304 4287625 140737339970576 18446744073709551615 235594886671 0 0 4096 65536 11502641641026486271 0 0 17 1 0 0 0
/proc/1011/statm: 4581 390 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324

[startup+1.50127 s]
/proc/loadavg: 9.78 10.03 9.86 11/188 1017
/proc/meminfo: memFree=31015432/32950928 swapFree=67111404/67111528
[pid=1011] ppid=1009 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1011/stat : 1011 (ppfolio) S 1009 1011 32278 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 520277825 18763776 390 33554432000 4194304 4287625 140737339970576 18446744073709551615 235594886671 0 0 4096 65536 11502641641026486271 0 0 17 1 0 0 0
/proc/1011/statm: 4581 390 341 23 0 91 0
[pid=1012] ppid=1011 vsize=876176 CPUtime=1.48 cores=1
/proc/1012/stat : 1012 (cryptominisat) R 1011 1011 32278 0 -1 4202496 3868 0 0 0 148 0 0 0 25 0 1 0 520277825 897204224 1510 33554432000 4194304 4587354 140733607266592 18446744073709551615 4238755 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1012/statm: 219044 1510 327 96 0 215606 0
[pid=1013] ppid=1011 vsize=15884 CPUtime=1.49 cores=5
/proc/1013/stat : 1013 (clasp) R 1011 1011 32278 0 -1 4202496 1516 0 0 0 149 0 0 0 25 0 1 0 520277825 16265216 1329 33554432000 4194304 4785740 140734832817664 18446744073709551615 4287194 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1013/statm: 3971 1329 340 145 0 1016 0
[pid=1014] ppid=1011 vsize=453580 CPUtime=0.78 cores=7
/proc/1014/stat : 1014 (TNM) R 1011 1011 32278 0 -1 4202496 769 0 0 0 78 0 0 0 25 0 1 0 520277825 464465920 665 33554432000 134512640 134534564 4291739296 18446744073709551615 134524695 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1014/statm: 113395 665 91 6 0 112061 0
[pid=1015] ppid=1011 vsize=8940 CPUtime=1.49 cores=3
/proc/1015/stat : 1015 (lingeling) R 1011 1011 32278 0 -1 4202496 1751 0 0 0 149 0 0 0 25 0 1 0 520277825 9154560 1398 33554432000 4194304 4352236 140733680643760 18446744073709551615 4264844 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1015/statm: 2235 1398 127 39 0 1315 0
[pid=1016] ppid=1011 vsize=14768 CPUtime=0.69 cores=7
/proc/1016/stat : 1016 (march_hi) R 1011 1011 32278 0 -1 4202496 3783 0 0 0 69 0 0 0 25 0 1 0 520277825 15122432 1993 33554432000 4194304 4331988 140735965232064 18446744073709551615 4271154 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1016/statm: 3692 1993 151 34 0 2134 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 1387672

[startup+3.10099 s]
/proc/loadavg: 9.78 10.03 9.86 12/188 1017
/proc/meminfo: memFree=30998376/32950928 swapFree=67111404/67111528
[pid=1011] ppid=1009 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1011/stat : 1011 (ppfolio) S 1009 1011 32278 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 520277825 18763776 390 33554432000 4194304 4287625 140737339970576 18446744073709551615 235594886671 0 0 4096 65536 11502641641026486271 0 0 17 1 0 0 0
/proc/1011/statm: 4581 390 341 23 0 91 0
[pid=1012] ppid=1011 vsize=14370480 CPUtime=3.08 cores=1
/proc/1012/stat : 1012 (cryptominisat) R 1011 1011 32278 0 -1 4202496 6780 0 0 0 308 0 0 0 25 0 1 0 520277825 14715371520 3461 33554432000 4194304 4587354 140733607266592 18446744073709551615 4238421 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1012/statm: 3592620 3461 337 96 0 3589182 0
[pid=1013] ppid=1011 vsize=17160 CPUtime=3.09 cores=5
/proc/1013/stat : 1013 (clasp) R 1011 1011 32278 0 -1 4202496 1808 0 0 0 309 0 0 0 25 0 1 0 520277825 17571840 1621 33554432000 4194304 4785740 140734832817664 18446744073709551615 4553402 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1013/statm: 4290 1621 340 145 0 1335 0
[pid=1014] ppid=1011 vsize=457704 CPUtime=1.57 cores=7
/proc/1014/stat : 1014 (TNM) R 1011 1011 32278 0 -1 4202496 947 0 0 0 157 0 0 0 25 0 1 0 520277825 468688896 843 33554432000 134512640 134534564 4291739296 18446744073709551615 134528934 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1014/statm: 114426 843 95 6 0 113092 0
[pid=1015] ppid=1011 vsize=9964 CPUtime=3.09 cores=3
/proc/1015/stat : 1015 (lingeling) R 1011 1011 32278 0 -1 4202496 2007 0 0 0 309 0 0 0 25 0 1 0 520277825 10203136 1654 33554432000 4194304 4352236 140733680643760 18446744073709551615 4328351 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1015/statm: 2491 1654 127 39 0 1571 0
[pid=1016] ppid=1011 vsize=16824 CPUtime=1.49 cores=7
/proc/1016/stat : 1016 (march_hi) R 1011 1011 32278 0 -1 4202496 5371 0 0 0 149 0 0 0 25 0 1 0 520277825 17227776 2528 33554432000 4194304 4331988 140735965232064 18446744073709551615 4299269 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1016/statm: 4206 2528 175 34 0 2648 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 14890456

[startup+6.30042 s]
/proc/loadavg: 9.88 10.05 9.86 11/188 1018
/proc/meminfo: memFree=30986688/32950928 swapFree=67111404/67111528
[pid=1011] ppid=1009 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/1011/stat : 1011 (ppfolio) S 1009 1011 32278 0 -1 4202496 524 0 0 0 0 0 0 0 15 0 1 0 520277825 18763776 390 33554432000 4194304 4287625 140737339970576 18446744073709551615 235594886671 0 0 4096 65536 11502641641026486271 0 0 17 1 0 0 0
/proc/1011/statm: 4581 390 341 23 0 91 0
[pid=1012] ppid=1011 vsize=37476 CPUtime=6.29 cores=1
/proc/1012/stat : 1012 (cryptominisat) R 1011 1011 32278 0 -1 4202496 8668 0 0 0 628 1 0 0 25 0 1 0 520277825 38375424 3640 33554432000 4194304 4587354 140733607266592 18446744073709551615 4241097 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1012/statm: 9369 3640 337 96 0 5931 0
[pid=1013] ppid=1011 vsize=18508 CPUtime=6.29 cores=5
/proc/1013/stat : 1013 (clasp) R 1011 1011 32278 0 -1 4202496 2115 0 0 0 629 0 0 0 25 0 1 0 520277825 18952192 1928 33554432000 4194304 4785740 140734832817664 18446744073709551615 4549959 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1013/statm: 4627 1928 340 145 0 1672 0
[pid=1014] ppid=1011 vsize=457704 CPUtime=3.16 cores=7
/proc/1014/stat : 1014 (TNM) R 1011 1011 32278 0 -1 4202496 947 0 0 0 316 0 0 0 25 0 1 0 520277825 468688896 843 33554432000 134512640 134534564 4291739296 18446744073709551615 134528968 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1014/statm: 114426 843 95 6 0 113092 0
[pid=1015] ppid=1011 vsize=10236 CPUtime=6.29 cores=3
/proc/1015/stat : 1015 (lingeling) R 1011 1011 32278 0 -1 4202496 3099 0 0 0 629 0 0 0 25 0 1 0 520277825 10481664 1722 33554432000 4194304 4352236 140733680643760 18446744073709551615 4329004 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1015/statm: 2559 1722 127 39 0 1639 0
[pid=1016] ppid=1011 vsize=16824 CPUtime=3.09 cores=7
/proc/1016/stat : 1016 (march_hi) R 1011 1011 32278 0 -1 4202496 5371 0 0 0 309 0 0 0 25 0 1 0 520277825 17227776 2528 33554432000 4194304 4331988 140735965232064 18446744073709551615 4239564 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1016/statm: 4206 2528 175 34 0 2648 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 559072

[startup+12.7003 s]
/proc/loadavg: 9.89 10.05 9.86 10/187 1018
/proc/meminfo: memFree=30985208/32950928 swapFree=67111404/67111528
[pid=1011] ppid=1009 vsize=18324 CPUtime=10.03 cores=1,3,5,7
/proc/1011/stat : 1011 (ppfolio) S 1009 1011 32278 0 -1 4202496 525 11406 0 0 0 0 1002 1 15 0 1 0 520277825 18763776 391 33554432000 4194304 4287625 140737339970576 18446744073709551615 235594886671 0 0 4096 65536 9224195738567704576 0 0 17 1 0 0 0
/proc/1011/statm: 4581 391 342 23 0 91 0
[pid=1013] ppid=1011 vsize=20188 CPUtime=12.69 cores=5
/proc/1013/stat : 1013 (clasp) R 1011 1011 32278 0 -1 4202496 2543 0 0 0 1269 0 0 0 25 0 1 0 520277825 20672512 2356 33554432000 4194304 4785740 140734832817664 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1013/statm: 5047 2356 340 145 0 2092 0
[pid=1014] ppid=1011 vsize=457704 CPUtime=6.32 cores=7
/proc/1014/stat : 1014 (TNM) R 1011 1011 32278 0 -1 4202496 947 0 0 0 632 0 0 0 25 0 1 0 520277825 468688896 843 33554432000 134512640 134534564 4291739296 18446744073709551615 134528295 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1014/statm: 114426 843 95 6 0 113092 0
[pid=1015] ppid=1011 vsize=13676 CPUtime=12.69 cores=3
/proc/1015/stat : 1015 (lingeling) R 1011 1011 32278 0 -1 4202496 3959 0 0 0 1269 0 0 0 25 0 1 0 520277825 14004224 2582 33554432000 4194304 4352236 140733680643760 18446744073709551615 4328126 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1015/statm: 3419 2582 127 39 0 2499 0
[pid=1016] ppid=1011 vsize=16824 CPUtime=6.29 cores=7
/proc/1016/stat : 1016 (march_hi) R 1011 1011 32278 0 -1 4202496 5371 0 0 0 629 0 0 0 25 0 1 0 520277825 17227776 2528 33554432000 4194304 4331988 140735965232064 18446744073709551615 4239602 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1016/statm: 4206 2528 175 34 0 2648 0
Current children cumulated CPU time (s) 48.02
Current children cumulated vsize (KiB) 526716

[startup+25.507 s]
/proc/loadavg: 9.69 9.99 9.85 11/187 1018
/proc/meminfo: memFree=30960524/32950928 swapFree=67111404/67111528
[pid=1011] ppid=1009 vsize=18324 CPUtime=10.03 cores=1,3,5,7
/proc/1011/stat : 1011 (ppfolio) S 1009 1011 32278 0 -1 4202496 525 11406 0 0 0 0 1002 1 15 0 1 0 520277825 18763776 391 33554432000 4194304 4287625 140737339970576 18446744073709551615 235594886671 0 0 4096 65536 9224195742862639366 0 0 17 1 0 0 0
/proc/1011/statm: 4581 391 342 23 0 91 0
[pid=1013] ppid=1011 vsize=22144 CPUtime=25.49 cores=5
/proc/1013/stat : 1013 (clasp) R 1011 1011 32278 0 -1 4202496 2980 0 0 0 2549 0 0 0 25 0 1 0 520277825 22675456 2793 33554432000 4194304 4785740 140734832817664 18446744073709551615 4287241 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1013/statm: 5536 2793 340 145 0 2581 0
[pid=1014] ppid=1011 vsize=457704 CPUtime=12.7 cores=7
/proc/1014/stat : 1014 (TNM) R 1011 1011 32278 0 -1 4202496 947 0 0 0 1270 0 0 0 25 0 1 0 520277825 468688896 843 33554432000 134512640 134534564 4291739296 18446744073709551615 134528511 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1014/statm: 114426 843 95 6 0 113092 0
[pid=1015] ppid=1011 vsize=19568 CPUtime=25.49 cores=3
/proc/1015/stat : 1015 (lingeling) R 1011 1011 32278 0 -1 4202496 5432 0 0 0 2549 0 0 0 25 0 1 0 520277825 20037632 4055 33554432000 4194304 4352236 140733680643760 18446744073709551615 4328090 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1015/statm: 4892 4055 127 39 0 3972 0
[pid=1016] ppid=1011 vsize=16824 CPUtime=12.64 cores=7
/proc/1016/stat : 1016 (march_hi) R 1011 1011 32278 0 -1 4202496 5371 0 0 0 1264 0 0 0 25 0 1 0 520277825 17227776 2528 33554432000 4194304 4331988 140735965232064 18446744073709551615 4287447 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1016/statm: 4206 2528 175 34 0 2648 0
Current children cumulated CPU time (s) 86.35
Current children cumulated vsize (KiB) 534564

[startup+51.1006 s]
/proc/loadavg: 9.60 9.95 9.83 10/187 1019
/proc/meminfo: memFree=31000704/32950928 swapFree=67111404/67111528
[pid=1011] ppid=1009 vsize=18324 CPUtime=10.03 cores=1,3,5,7
/proc/1011/stat : 1011 (ppfolio) S 1009 1011 32278 0 -1 4202496 525 11406 0 0 0 0 1002 1 15 0 1 0 520277825 18763776 391 33554432000 4194304 4287625 140737339970576 18446744073709551615 235594886671 0 0 4096 65536 9224195742862639366 0 0 17 1 0 0 0
/proc/1011/statm: 4581 391 342 23 0 91 0
[pid=1013] ppid=1011 vsize=25952 CPUtime=51.08 cores=5
/proc/1013/stat : 1013 (clasp) R 1011 1011 32278 0 -1 4202496 3845 0 0 0 5108 0 0 0 25 0 1 0 520277825 26574848 3658 33554432000 4194304 4785740 140734832817664 18446744073709551615 4287017 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1013/statm: 6488 3658 340 145 0 3533 0
[pid=1014] ppid=1011 vsize=457704 CPUtime=25.41 cores=7
/proc/1014/stat : 1014 (TNM) R 1011 1011 32278 0 -1 4202496 947 0 0 0 2541 0 0 0 25 0 1 0 520277825 468688896 843 33554432000 134512640 134534564 4291739296 18446744073709551615 134528877 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1014/statm: 114426 843 95 6 0 113092 0
[pid=1015] ppid=1011 vsize=21112 CPUtime=51.08 cores=3
/proc/1015/stat : 1015 (lingeling) R 1011 1011 32278 0 -1 4202496 9018 0 0 0 5108 0 0 0 25 0 1 0 520277825 21618688 4441 33554432000 4194304 4352236 140733680643760 18446744073709551615 4328026 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1015/statm: 5278 4441 127 39 0 4358 0
[pid=1016] ppid=1011 vsize=16824 CPUtime=25.39 cores=7
/proc/1016/stat : 1016 (march_hi) R 1011 1011 32278 0 -1 4202496 5371 0 0 0 2539 0 0 0 25 0 1 0 520277825 17227776 2528 33554432000 4194304 4331988 140735965232064 18446744073709551615 4210459 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1016/statm: 4206 2528 175 34 0 2648 0
Current children cumulated CPU time (s) 162.99
Current children cumulated vsize (KiB) 539916

[startup+102.301 s]

################
# More data... #
################


Solver just ended. Dumping a history of the last processes samples

[startup+179.301 s]
/proc/loadavg: 9.17 9.66 9.74 10/187 1022
/proc/meminfo: memFree=30972160/32950928 swapFree=67111404/67111528
[pid=1011] ppid=1009 vsize=18324 CPUtime=10.03 cores=1,3,5,7
/proc/1011/stat : 1011 (ppfolio) S 1009 1011 32278 0 -1 4202496 525 11406 0 0 0 0 1002 1 15 0 1 0 520277825 18763776 391 33554432000 4194304 4287625 140737339970576 18446744073709551615 235594886671 0 0 4096 65536 9224195742862639366 0 0 17 1 0 0 0
/proc/1011/statm: 4581 391 342 23 0 91 0
[pid=1013] ppid=1011 vsize=33900 CPUtime=179.28 cores=5
/proc/1013/stat : 1013 (clasp) R 1011 1011 32278 0 -1 4202496 5631 0 0 0 17928 0 0 0 25 0 1 0 520277825 34713600 5444 33554432000 4194304 4785740 140734832817664 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1013/statm: 8475 5444 340 145 0 5520 0
[pid=1014] ppid=1011 vsize=457704 CPUtime=89.19 cores=7
/proc/1014/stat : 1014 (TNM) R 1011 1011 32278 0 -1 4202496 947 0 0 0 8919 0 0 0 25 0 1 0 520277825 468688896 843 33554432000 134512640 134534564 4291739296 18446744073709551615 134528875 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1014/statm: 114426 843 95 6 0 113092 0
[pid=1015] ppid=1011 vsize=28044 CPUtime=179.3 cores=3
/proc/1015/stat : 1015 (lingeling) R 1011 1011 32278 0 -1 4202496 28735 0 0 0 17926 4 0 0 25 0 1 0 520277825 28717056 6174 33554432000 4194304 4352236 140733680643760 18446744073709551615 4328000 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1015/statm: 7011 6174 127 39 0 6091 0
[pid=1016] ppid=1011 vsize=16824 CPUtime=89.11 cores=7
/proc/1016/stat : 1016 (march_hi) R 1011 1011 32278 0 -1 4202496 5371 0 0 0 8911 0 0 0 25 0 1 0 520277825 17227776 2528 33554432000 4194304 4331988 140735965232064 18446744073709551615 4299299 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1016/statm: 4206 2528 175 34 0 2648 0
Current children cumulated CPU time (s) 546.91
Current children cumulated vsize (KiB) 554796

[startup+192.101 s]
/proc/loadavg: 9.14 9.62 9.72 11/187 1023
/proc/meminfo: memFree=30956888/32950928 swapFree=67111404/67111528
[pid=1011] ppid=1009 vsize=18324 CPUtime=10.03 cores=1,3,5,7
/proc/1011/stat : 1011 (ppfolio) S 1009 1011 32278 0 -1 4202496 525 11406 0 0 0 0 1002 1 15 0 1 0 520277825 18763776 391 33554432000 4194304 4287625 140737339970576 18446744073709551615 235594886671 0 0 4096 65536 9224195742862639366 0 0 17 1 0 0 0
/proc/1011/statm: 4581 391 342 23 0 91 0
[pid=1013] ppid=1011 vsize=34476 CPUtime=192.08 cores=5
/proc/1013/stat : 1013 (clasp) R 1011 1011 32278 0 -1 4202496 5769 0 0 0 19208 0 0 0 25 0 1 0 520277825 35303424 5582 33554432000 4194304 4785740 140734832817664 18446744073709551615 4287019 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1013/statm: 8619 5582 340 145 0 5664 0
[pid=1014] ppid=1011 vsize=457704 CPUtime=95.56 cores=7
/proc/1014/stat : 1014 (TNM) R 1011 1011 32278 0 -1 4202496 947 0 0 0 9556 0 0 0 25 0 1 0 520277825 468688896 843 33554432000 134512640 134534564 4291739296 18446744073709551615 134530522 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1014/statm: 114426 843 95 6 0 113092 0
[pid=1015] ppid=1011 vsize=25616 CPUtime=192.09 cores=3
/proc/1015/stat : 1015 (lingeling) R 1011 1011 32278 0 -1 4202496 32640 0 0 0 19205 4 0 0 25 0 1 0 520277825 26230784 5567 33554432000 4194304 4352236 140733680643760 18446744073709551615 4328114 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1015/statm: 6404 5567 127 39 0 5484 0
[pid=1016] ppid=1011 vsize=16824 CPUtime=95.48 cores=7
/proc/1016/stat : 1016 (march_hi) R 1011 1011 32278 0 -1 4202496 5371 0 0 0 9548 0 0 0 25 0 1 0 520277825 17227776 2528 33554432000 4194304 4331988 140735965232064 18446744073709551615 4237416 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1016/statm: 4206 2528 175 34 0 2648 0
Current children cumulated CPU time (s) 585.24
Current children cumulated vsize (KiB) 552944

[startup+204.901 s]
/proc/loadavg: 9.18 9.61 9.72 10/187 1023
/proc/meminfo: memFree=30964064/32950928 swapFree=67111404/67111528
[pid=1011] ppid=1009 vsize=18324 CPUtime=10.03 cores=1,3,5,7
/proc/1011/stat : 1011 (ppfolio) S 1009 1011 32278 0 -1 4202496 525 11406 0 0 0 0 1002 1 15 0 1 0 520277825 18763776 391 33554432000 4194304 4287625 140737339970576 18446744073709551615 235594886671 0 0 4096 65536 9224195742862639366 0 0 17 1 0 0 0
/proc/1011/statm: 4581 391 342 23 0 91 0
[pid=1013] ppid=1011 vsize=34188 CPUtime=204.88 cores=5
/proc/1013/stat : 1013 (clasp) R 1011 1011 32278 0 -1 4202496 5770 0 0 0 20488 0 0 0 25 0 1 0 520277825 35008512 5525 33554432000 4194304 4785740 140734832817664 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1013/statm: 8547 5525 340 145 0 5592 0
[pid=1014] ppid=1011 vsize=457704 CPUtime=101.89 cores=7
/proc/1014/stat : 1014 (TNM) R 1011 1011 32278 0 -1 4202496 947 0 0 0 10189 0 0 0 25 0 1 0 520277825 468688896 843 33554432000 134512640 134534564 4291739296 18446744073709551615 134530568 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1014/statm: 114426 843 95 6 0 113092 0
[pid=1015] ppid=1011 vsize=34576 CPUtime=204.9 cores=3
/proc/1015/stat : 1015 (lingeling) R 1011 1011 32278 0 -1 4202496 36416 0 0 0 20485 5 0 0 25 0 1 0 520277825 35405824 7807 33554432000 4194304 4352236 140733680643760 18446744073709551615 4328194 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1015/statm: 8644 7807 127 39 0 7724 0
[pid=1016] ppid=1011 vsize=16824 CPUtime=101.87 cores=7
/proc/1016/stat : 1016 (march_hi) R 1011 1011 32278 0 -1 4202496 5371 0 0 0 10187 0 0 0 25 0 1 0 520277825 17227776 2528 33554432000 4194304 4331988 140735965232064 18446744073709551615 4239596 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1016/statm: 4206 2528 175 34 0 2648 0
Current children cumulated CPU time (s) 623.57
Current children cumulated vsize (KiB) 561616

[startup+211.3 s]
/proc/loadavg: 9.17 9.60 9.71 10/187 1023
/proc/meminfo: memFree=30965048/32950928 swapFree=67111404/67111528
[pid=1011] ppid=1009 vsize=18324 CPUtime=10.03 cores=1,3,5,7
/proc/1011/stat : 1011 (ppfolio) S 1009 1011 32278 0 -1 4202496 525 11406 0 0 0 0 1002 1 15 0 1 0 520277825 18763776 391 33554432000 4194304 4287625 140737339970576 18446744073709551615 235594886671 0 0 4096 65536 9224195742862639366 0 0 17 1 0 0 0
/proc/1011/statm: 4581 391 342 23 0 91 0
[pid=1013] ppid=1011 vsize=33612 CPUtime=211.28 cores=5
/proc/1013/stat : 1013 (clasp) R 1011 1011 32278 0 -1 4202496 5770 0 0 0 21128 0 0 0 25 0 1 0 520277825 34418688 5413 33554432000 4194304 4785740 140734832817664 18446744073709551615 4287190 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1013/statm: 8403 5413 340 145 0 5448 0
[pid=1014] ppid=1011 vsize=457704 CPUtime=105.09 cores=7
/proc/1014/stat : 1014 (TNM) R 1011 1011 32278 0 -1 4202496 947 0 0 0 10509 0 0 0 25 0 1 0 520277825 468688896 843 33554432000 134512640 134534564 4291739296 18446744073709551615 134528993 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1014/statm: 114426 843 95 6 0 113092 0
[pid=1015] ppid=1011 vsize=27408 CPUtime=211.3 cores=3
/proc/1015/stat : 1015 (lingeling) R 1011 1011 32278 0 -1 4202496 37472 0 0 0 21125 5 0 0 25 0 1 0 520277825 28065792 6015 33554432000 4194304 4352236 140733680643760 18446744073709551615 4329202 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1015/statm: 6852 6015 127 39 0 5932 0
[pid=1016] ppid=1011 vsize=16824 CPUtime=105.04 cores=7
/proc/1016/stat : 1016 (march_hi) R 1011 1011 32278 0 -1 4202496 5371 0 0 0 10504 0 0 0 25 0 1 0 520277825 17227776 2528 33554432000 4194304 4331988 140735965232064 18446744073709551615 4237421 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1016/statm: 4206 2528 175 34 0 2648 0
Current children cumulated CPU time (s) 642.74
Current children cumulated vsize (KiB) 553872

[startup+214.501 s]
/proc/loadavg: 9.17 9.60 9.71 10/187 1023
/proc/meminfo: memFree=30962196/32950928 swapFree=67111404/67111528
[pid=1011] ppid=1009 vsize=18324 CPUtime=10.03 cores=1,3,5,7
/proc/1011/stat : 1011 (ppfolio) S 1009 1011 32278 0 -1 4202496 525 11406 0 0 0 0 1002 1 15 0 1 0 520277825 18763776 391 33554432000 4194304 4287625 140737339970576 18446744073709551615 235594886671 0 0 4096 65536 9224195742862639366 0 0 17 1 0 0 0
/proc/1011/statm: 4581 391 342 23 0 91 0
[pid=1013] ppid=1011 vsize=33324 CPUtime=214.48 cores=5
/proc/1013/stat : 1013 (clasp) R 1011 1011 32278 0 -1 4202496 5770 0 0 0 21448 0 0 0 25 0 1 0 520277825 34123776 5361 33554432000 4194304 4785740 140734832817664 18446744073709551615 4286953 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1013/statm: 8331 5361 340 145 0 5376 0
[pid=1014] ppid=1011 vsize=457704 CPUtime=106.69 cores=7
/proc/1014/stat : 1014 (TNM) R 1011 1011 32278 0 -1 4202496 947 0 0 0 10669 0 0 0 25 0 1 0 520277825 468688896 843 33554432000 134512640 134534564 4291739296 18446744073709551615 134530151 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1014/statm: 114426 843 95 6 0 113092 0
[pid=1015] ppid=1011 vsize=29584 CPUtime=214.49 cores=3
/proc/1015/stat : 1015 (lingeling) R 1011 1011 32278 0 -1 4202496 38016 0 0 0 21444 5 0 0 25 0 1 0 520277825 30294016 6559 33554432000 4194304 4352236 140733680643760 18446744073709551615 4328063 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1015/statm: 7396 6559 127 39 0 6476 0
[pid=1016] ppid=1011 vsize=16824 CPUtime=106.62 cores=7
/proc/1016/stat : 1016 (march_hi) R 1011 1011 32278 0 -1 4202496 5371 0 0 0 10662 0 0 0 25 0 1 0 520277825 17227776 2528 33554432000 4194304 4331988 140735965232064 18446744073709551615 4239602 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1016/statm: 4206 2528 175 34 0 2648 0
Current children cumulated CPU time (s) 652.31
Current children cumulated vsize (KiB) 555760

[startup+215.301 s]
/proc/loadavg: 9.24 9.61 9.72 11/187 1023
/proc/meminfo: memFree=30962444/32950928 swapFree=67111404/67111528
[pid=1011] ppid=1009 vsize=18324 CPUtime=10.03 cores=1,3,5,7
/proc/1011/stat : 1011 (ppfolio) S 1009 1011 32278 0 -1 4202496 525 11406 0 0 0 0 1002 1 15 0 1 0 520277825 18763776 391 33554432000 4194304 4287625 140737339970576 18446744073709551615 235594886671 0 0 4096 65536 9224195742862639366 0 0 17 1 0 0 0
/proc/1011/statm: 4581 391 342 23 0 91 0
[pid=1013] ppid=1011 vsize=33036 CPUtime=215.28 cores=5
/proc/1013/stat : 1013 (clasp) R 1011 1011 32278 0 -1 4202496 5770 0 0 0 21528 0 0 0 25 0 1 0 520277825 33828864 5306 33554432000 4194304 4785740 140734832817664 18446744073709551615 4287058 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1013/statm: 8259 5306 340 145 0 5304 0
[pid=1014] ppid=1011 vsize=457704 CPUtime=107.09 cores=7
/proc/1014/stat : 1014 (TNM) R 1011 1011 32278 0 -1 4202496 947 0 0 0 10709 0 0 0 25 0 1 0 520277825 468688896 843 33554432000 134512640 134534564 4291739296 18446744073709551615 134530632 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1014/statm: 114426 843 95 6 0 113092 0
[pid=1015] ppid=1011 vsize=26128 CPUtime=215.29 cores=3
/proc/1015/stat : 1015 (lingeling) R 1011 1011 32278 0 -1 4202496 38016 0 0 0 21524 5 0 0 25 0 1 0 520277825 26755072 5695 33554432000 4194304 4352236 140733680643760 18446744073709551615 4328100 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1015/statm: 6532 5695 127 39 0 5612 0
[pid=1016] ppid=1011 vsize=16824 CPUtime=107.02 cores=7
/proc/1016/stat : 1016 (march_hi) R 1011 1011 32278 0 -1 4202496 5371 0 0 0 10702 0 0 0 25 0 1 0 520277825 17227776 2528 33554432000 4194304 4331988 140735965232064 18446744073709551615 4237416 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1016/statm: 4206 2528 175 34 0 2648 0
Current children cumulated CPU time (s) 654.71
Current children cumulated vsize (KiB) 552016

[startup+215.701 s]
/proc/loadavg: 9.24 9.61 9.72 10/187 1023
/proc/meminfo: memFree=30961700/32950928 swapFree=67111404/67111528
[pid=1011] ppid=1009 vsize=18324 CPUtime=10.03 cores=1,3,5,7
/proc/1011/stat : 1011 (ppfolio) S 1009 1011 32278 0 -1 4202496 525 11406 0 0 0 0 1002 1 15 0 1 0 520277825 18763776 391 33554432000 4194304 4287625 140737339970576 18446744073709551615 235594886671 0 0 4096 65536 9224195742862639366 0 0 17 1 0 0 0
/proc/1011/statm: 4581 391 342 23 0 91 0
[pid=1013] ppid=1011 vsize=32748 CPUtime=215.69 cores=5
/proc/1013/stat : 1013 (clasp) R 1011 1011 32278 0 -1 4202496 5770 0 0 0 21569 0 0 0 25 0 1 0 520277825 33533952 5255 33554432000 4194304 4785740 140734832817664 18446744073709551615 4287129 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1013/statm: 8187 5255 340 145 0 5232 0
[pid=1014] ppid=1011 vsize=457704 CPUtime=107.29 cores=7
/proc/1014/stat : 1014 (TNM) R 1011 1011 32278 0 -1 4202496 947 0 0 0 10729 0 0 0 25 0 1 0 520277825 468688896 843 33554432000 134512640 134534564 4291739296 18446744073709551615 134528888 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1014/statm: 114426 843 95 6 0 113092 0
[pid=1015] ppid=1011 vsize=26128 CPUtime=215.7 cores=3
/proc/1015/stat : 1015 (lingeling) R 1011 1011 32278 0 -1 4202496 38016 0 0 0 21565 5 0 0 25 0 1 0 520277825 26755072 5695 33554432000 4194304 4352236 140733680643760 18446744073709551615 4328009 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1015/statm: 6532 5695 127 39 0 5612 0
[pid=1016] ppid=1011 vsize=16824 CPUtime=107.22 cores=7
/proc/1016/stat : 1016 (march_hi) R 1011 1011 32278 0 -1 4202496 5371 0 0 0 10722 0 0 0 25 0 1 0 520277825 17227776 2528 33554432000 4194304 4331988 140735965232064 18446744073709551615 4247572 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1016/statm: 4206 2528 175 34 0 2648 0
Current children cumulated CPU time (s) 655.93
Current children cumulated vsize (KiB) 551728

[startup+215.901 s]
/proc/loadavg: 9.24 9.61 9.72 10/187 1023
/proc/meminfo: memFree=30961700/32950928 swapFree=67111404/67111528
[pid=1011] ppid=1009 vsize=18324 CPUtime=10.03 cores=1,3,5,7
/proc/1011/stat : 1011 (ppfolio) S 1009 1011 32278 0 -1 4202496 525 11406 0 0 0 0 1002 1 15 0 1 0 520277825 18763776 391 33554432000 4194304 4287625 140737339970576 18446744073709551615 235594886671 0 0 4096 65536 9224195742862639366 0 0 17 1 0 0 0
/proc/1011/statm: 4581 391 342 23 0 91 0
[pid=1013] ppid=1011 vsize=31884 CPUtime=215.88 cores=5
/proc/1013/stat : 1013 (clasp) R 1011 1011 32278 0 -1 4202496 5770 0 0 0 21588 0 0 0 25 0 1 0 520277825 32649216 5088 33554432000 4194304 4785740 140734832817664 18446744073709551615 235594564202 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/1013/statm: 7971 5088 340 145 0 5016 0
[pid=1014] ppid=1011 vsize=457704 CPUtime=107.39 cores=7
/proc/1014/stat : 1014 (TNM) R 1011 1011 32278 0 -1 4202496 947 0 0 0 10739 0 0 0 25 0 1 0 520277825 468688896 843 33554432000 134512640 134534564 4291739296 18446744073709551615 134528944 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1014/statm: 114426 843 95 6 0 113092 0
[pid=1015] ppid=1011 vsize=26128 CPUtime=215.89 cores=3
/proc/1015/stat : 1015 (lingeling) R 1011 1011 32278 0 -1 4202496 38016 0 0 0 21584 5 0 0 25 0 1 0 520277825 26755072 5695 33554432000 4194304 4352236 140733680643760 18446744073709551615 4328059 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/1015/statm: 6532 5695 127 39 0 5612 0
[pid=1016] ppid=1011 vsize=16824 CPUtime=107.31 cores=7
/proc/1016/stat : 1016 (march_hi) R 1011 1011 32278 0 -1 4202496 5371 0 0 0 10731 0 0 0 25 0 1 0 520277825 17227776 2528 33554432000 4194304 4331988 140735965232064 18446744073709551615 4239602 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/1016/statm: 4206 2528 175 34 0 2648 0
Current children cumulated CPU time (s) 656.5
Current children cumulated vsize (KiB) 550864

Child status: 0
Real time (s): 215.941
CPU time (s): 656.682
CPU user time (s): 656.589
CPU system time (s): 0.092985
CPU usage (%): 304.103
Max. virtual memory (cumulated for all children) (KiB): 14901176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 656.589
system time used= 0.092985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62071
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= 193
involuntary context switches= 7831

runsolver used 0.345947 second user time and 0.836872 second system time

The end

Launcher Data 

Begin job on node120 at 2011-04-29 16:19:51
IDJOB=3262305
IDBENCH=83292
IDSOLVER=1612
FILE ID=node120/3262305-1304086790
RUNJOBID= node120-1304078919-32297
PBS_JOBID= 13170527
Free space on /tmp= 72064 MiB

SOLVER NAME= ppfolio par
BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-20_390.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3262305-1304086790/watcher-3262305-1304086790 -o /tmp/evaluation-result-3262305-1304086790/solver-3262305-1304086790 -C 4800 -W 1300 -M 15500  ppfolio HOME/instance-3262305-1304086790.cnf

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

MD5SUM BENCH= 9f9afdb81b528e7852015fad23de6353
RANDOM SEED=1382743810

node120.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.78
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.809
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31040436 kB
Buffers:        468144 kB
Cached:         617456 kB
SwapCached:          8 kB
Active:         820376 kB
Inactive:       730324 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31040436 kB
SwapTotal:    67111528 kB
SwapFree:     67111404 kB
Dirty:           10500 kB
Writeback:           0 kB
AnonPages:      465164 kB
Mapped:          16908 kB
Slab:           296196 kB
PageTables:       5968 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  3938136 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72052 MiB
End job on node120 at 2011-04-29 16:23:27