Trace number 367192

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, and are wall clock time (not CPU 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
oree 0.1.2 alpha? (TO) 1801.11 1801.68

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=100-sizeP=51-sizeQ=100-520972534.opb
MD5SUM9a1c9dd98f3544399baaffc61b3b99d7
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark2.5906
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
Number of variables5251
Total number of constraints15301
Number of constraints which are clauses15300
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 constraint5100
Number of terms in the objective function 51
Biggest coefficient in the objective function 1125899906842624
Number of bits for the biggest coefficient in the objective function 51
Sum of the numbers in the objective function 2251799813685247
Number of bits of the sum of numbers in the objective function 51
Biggest number in a constraint 713623846352979940529142984724747568191373312
Number of bits of the biggest number in a constraint 150
Biggest sum of numbers in a constraint 2854495385411919137542539254950202185769575159
Number of bits of the biggest sum of numbers151
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.10/0.15	c ...done
0.10/0.15	c #vars=5251 #constraints=15303 hasObjective=yes
0.19/0.20	c res. mode=mod
0.19/0.20	c VSIDS like heuristics
0.19/0.20	c complete search running
22.29/22.39	c restart after 401 decisions
26.19/26.30	c nbDecision=500 #constraints=15692
48.58/48.67	c restart after 801 decisions
61.18/61.20	c nbDecision=1000 #constraints=16119
113.76/113.81	c nbDecision=1500 #constraints=16618
126.47/126.54	c restart after 1601 decisions
173.05/173.12	c nbDecision=2000 #constraints=17063
243.63/243.77	c nbDecision=2500 #constraints=17555
327.10/327.23	c nbDecision=3000 #constraints=18046
371.00/371.11	c restart after 3201 decisions
436.18/436.40	c nbDecision=3500 #constraints=18487
540.85/541.09	c nbDecision=4000 #constraints=18972
672.82/673.05	c nbDecision=4500 #constraints=19466
810.48/810.72	c nbDecision=5000 #constraints=19959
965.45/965.70	c nbDecision=5500 #constraints=20467
1141.80/1142.17	c nbDecision=6000 #constraints=20959
1283.96/1284.33	c restart after 6401 decisions
1325.95/1326.36	c nbDecision=6500 #constraints=21399
1530.90/1531.34	c nbDecision=7000 #constraints=21879
1751.05/1751.65	c nbDecision=7500 #constraints=22372
1800.04/1800.61	Received signal 15
1800.83/1801.47	
1800.83/1801.47	s UNKNOWN
1800.83/1801.47	
1800.83/1801.47	c user time= 1799.21 s
1800.83/1801.47	c system time= 1.71174 s
1800.83/1801.47	c wall clock time=1801.48

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node2/watcher-367192-1177004128 -o ROOT/results/node2/solver-367192-1177004128 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/367192-1177004128/instance-367192-1177004128.opb mod 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.98 3/77 30531
/proc/meminfo: memFree=1869160/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=1468 CPUtime=0
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 176450629 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 367 165 130 317 0 46 0

[startup+0.00737712 s]
/proc/loadavg: 0.99 0.97 0.98 3/77 30531
/proc/meminfo: memFree=1869160/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=1600 CPUtime=0
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 197 0 0 0 0 0 0 0 18 0 1 0 176450629 1638400 179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 400 179 130 317 0 79 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1600

[startup+0.102385 s]
/proc/loadavg: 0.99 0.97 0.98 3/77 30531
/proc/meminfo: memFree=1869160/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=3580 CPUtime=0.1
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 707 0 0 0 10 0 0 0 18 0 1 0 176450629 3665920 689 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 895 689 130 317 0 574 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3580

[startup+0.301406 s]
/proc/loadavg: 0.99 0.97 0.98 3/77 30531
/proc/meminfo: memFree=1869160/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=7076 CPUtime=0.29
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 1517 0 0 0 29 0 0 0 19 0 1 0 176450629 7245824 1499 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284210 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 1769 1499 139 317 0 1448 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7076

[startup+0.701448 s]
/proc/loadavg: 0.99 0.97 0.98 3/77 30531
/proc/meminfo: memFree=1869160/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=7716 CPUtime=0.69
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 1731 0 0 0 69 0 0 0 23 0 1 0 176450629 7901184 1578 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272567 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 1929 1578 139 317 0 1608 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7716

[startup+1.50153 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30532
/proc/meminfo: memFree=1863392/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=10024 CPUtime=1.49
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 2408 0 0 0 149 0 0 0 25 0 1 0 176450629 10264576 2034 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554532 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 2506 2034 139 317 0 2185 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10024

[startup+3.1017 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30532
/proc/meminfo: memFree=1859552/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=14456 CPUtime=3.09
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 3756 0 0 0 308 1 0 0 25 0 1 0 176450629 14802944 2927 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713905 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 3614 2927 139 317 0 3293 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14456

[startup+6.30103 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30532
/proc/meminfo: memFree=1850720/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=24180 CPUtime=6.29
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 6835 0 0 0 627 2 0 0 25 0 1 0 176450629 24760320 4953 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712525 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 6045 4953 170 317 0 5724 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24180

[startup+12.7017 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30532
/proc/meminfo: memFree=1835808/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=47580 CPUtime=12.68
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 13297 0 0 0 1264 4 0 0 25 0 1 0 176450629 48721920 9933 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 11895 9933 170 317 0 11574 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 47580

[startup+25.502 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30532
/proc/meminfo: memFree=1797280/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=86632 CPUtime=25.49
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 24938 0 0 0 2539 10 0 0 25 0 1 0 176450629 88711168 18167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712465 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 21658 18167 170 317 0 21337 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 86632

[startup+51.1027 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30532
/proc/meminfo: memFree=1760032/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=134372 CPUtime=51.08
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 39762 0 0 0 5092 16 0 0 25 0 1 0 176450629 137596928 27613 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135273235 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 33593 27613 170 317 0 33272 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 134372

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30532
/proc/meminfo: memFree=1672096/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=238800 CPUtime=102.27
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 70829 0 0 0 10198 29 0 0 25 0 1 0 176450629 244531200 49258 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 59700 49258 170 317 0 59379 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 238800

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30532
/proc/meminfo: memFree=1588128/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=344140 CPUtime=162.25
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 98998 0 0 0 16184 41 0 0 25 0 1 0 176450629 352399360 70187 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 86035 70187 170 317 0 85714 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 344140

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30532
/proc/meminfo: memFree=1529696/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=411580 CPUtime=222.23
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 121526 0 0 0 22173 50 0 0 25 0 1 0 176450629 421457920 84785 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713857 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 102895 84785 170 317 0 102574 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 411580

[startup+282.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30532
/proc/meminfo: memFree=1478496/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=473596 CPUtime=282.22
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 141442 0 0 0 28163 59 0 0 25 0 1 0 176450629 484962304 97718 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 118399 97718 170 317 0 118078 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 473596

[startup+342.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30532
/proc/meminfo: memFree=1436512/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=525416 CPUtime=342.21
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 157298 0 0 0 34156 65 0 0 25 0 1 0 176450629 538025984 108004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718422 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 131354 108004 170 317 0 131033 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 525416

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30532
/proc/meminfo: memFree=1410784/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=558036 CPUtime=402.19
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 167597 0 0 0 40150 69 0 0 25 0 1 0 176450629 571428864 114468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718413 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 139509 114468 170 317 0 139188 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 558036

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30532
/proc/meminfo: memFree=1316576/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=686720 CPUtime=462.17
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 196874 0 0 0 46137 80 0 0 25 0 1 0 176450629 703201280 137891 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 171680 137891 170 317 0 171359 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 686720

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30532
/proc/meminfo: memFree=1285920/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=722304 CPUtime=522.16
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 208543 0 0 0 52131 85 0 0 25 0 1 0 176450629 739639296 145641 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 180576 145641 170 317 0 180255 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 722304

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30532
/proc/meminfo: memFree=1251488/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=761436 CPUtime=582.14
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 221547 0 0 0 58124 90 0 0 25 0 1 0 176450629 779710464 154053 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 190359 154053 170 317 0 190038 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 761436

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30532
/proc/meminfo: memFree=1218144/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=799328 CPUtime=642.13
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 233661 0 0 0 64116 97 0 0 25 0 1 0 176450629 818511872 162348 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 199832 162348 170 317 0 199511 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 799328


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

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30532
/proc/meminfo: memFree=1075616/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=963096 CPUtime=942.05
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 287558 0 0 0 94088 117 0 0 25 0 1 0 176450629 986210304 197862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 240774 197862 170 317 0 240453 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 963096

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30532
/proc/meminfo: memFree=1051680/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=990256 CPUtime=1002.03
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 296809 0 0 0 100081 122 0 0 25 0 1 0 176450629 1014022144 203761 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 247564 203761 170 317 0 247243 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 990256

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30532
/proc/meminfo: memFree=1028256/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=1020436 CPUtime=1062.02
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 305877 0 0 0 106076 126 0 0 25 0 1 0 176450629 1044926464 209738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 255109 209738 170 317 0 254788 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 1020436

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30532
/proc/meminfo: memFree=1007200/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=1047132 CPUtime=1122
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 314078 0 0 0 112071 129 0 0 25 0 1 0 176450629 1072263168 214997 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 261783 214997 170 317 0 261462 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 1047132

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30532
/proc/meminfo: memFree=984544/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=1074564 CPUtime=1181.99
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 322748 0 0 0 118067 132 0 0 25 0 1 0 176450629 1100353536 220465 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 268641 220465 170 317 0 268320 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 1074564

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30532
/proc/meminfo: memFree=966880/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=1097432 CPUtime=1241.98
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 330194 0 0 0 124062 136 0 0 25 0 1 0 176450629 1123770368 225004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134554532 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 274358 225004 170 317 0 274037 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1097432

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30532
/proc/meminfo: memFree=868576/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=1263412 CPUtime=1301.96
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 356308 0 0 0 130051 145 0 0 25 0 1 0 176450629 1293733888 249329 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 315853 249329 170 317 0 315532 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1263412

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30532
/proc/meminfo: memFree=855520/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=1279432 CPUtime=1361.95
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 361529 0 0 0 136047 148 0 0 25 0 1 0 176450629 1310138368 252716 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 319858 252716 170 317 0 319537 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 1279432

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30532
/proc/meminfo: memFree=832352/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=1305300 CPUtime=1421.93
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 370075 0 0 0 142042 151 0 0 25 0 1 0 176450629 1336627200 258398 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278970 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 326325 258398 170 317 0 326004 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 1305300

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30532
/proc/meminfo: memFree=811424/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=1329828 CPUtime=1481.91
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 378101 0 0 0 148037 154 0 0 25 0 1 0 176450629 1361743872 263746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 332457 263746 170 317 0 332136 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1329828

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/84 30606
/proc/meminfo: memFree=788000/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=1354256 CPUtime=1541.86
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 386033 0 0 0 154028 158 0 0 25 0 1 0 176450629 1386758144 269046 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 338564 269046 170 317 0 338243 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1354256

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30730
/proc/meminfo: memFree=766752/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=1380084 CPUtime=1601.79
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 394269 0 0 0 160016 163 0 0 25 0 1 0 176450629 1413206016 274532 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 345021 274532 170 317 0 344700 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1380084

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30730
/proc/meminfo: memFree=752608/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=1396508 CPUtime=1661.76
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 399436 0 0 0 166011 165 0 0 25 0 1 0 176450629 1430024192 278086 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 349127 278086 170 317 0 348806 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1396508

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30730
/proc/meminfo: memFree=731872/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=1419796 CPUtime=1721.75
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 407033 0 0 0 172007 168 0 0 25 0 1 0 176450629 1453871104 283214 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 354949 283214 170 317 0 354628 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1419796

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30730
/proc/meminfo: memFree=715232/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=1438916 CPUtime=1781.73
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 413233 0 0 0 178003 170 0 0 25 0 1 0 176450629 1473449984 287359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 359729 287359 170 317 0 359408 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1438916



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30730
/proc/meminfo: memFree=709216/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=1445840 CPUtime=1800.04
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 415661 0 0 0 179833 171 0 0 25 0 1 0 176450629 1480540160 288861 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 361460 288861 170 317 0 361139 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1445840

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1801.4 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30730
/proc/meminfo: memFree=709216/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=1446776 CPUtime=1800.83
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194304 415912 0 0 0 179912 171 0 0 25 0 1 0 176450629 1481498624 289048 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284116 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 361694 289048 170 317 0 361373 0
Current children cumulated CPU time (s) 1800.83
Current children cumulated vsize (KiB) 1446776

[startup+1801.6 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 30730
/proc/meminfo: memFree=709216/2055920 swapFree=4149072/4192956
[pid=30531] ppid=30529 vsize=0 CPUtime=1801.03
/proc/30531/stat : 30531 (oree) R 30529 30531 30146 0 -1 4194308 415933 0 0 0 179921 182 0 0 25 0 1 0 176450629 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30531/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1801.03
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.68
CPU time (s): 1801.11
CPU user time (s): 1799.22
CPU system time (s): 1.89771
CPU usage (%): 99.9688
Max. virtual memory (cumulated for all children) (KiB): 1446776

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.22
system time used= 1.89771
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 415933
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= 8
involuntary context switches= 37452

runsolver used 2.02569 second user time and 4.18636 second system time

The end

Launcher Data (download as text)

Begin job on node2 on Thu Apr 19 17:35:28 UTC 2007

IDJOB= 367192
IDBENCH= 3045
IDSOLVER= 172
FILE ID= node2/367192-1177004128

PBS_JOBID= 4630513

Free space on /tmp= 66400 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=100-sizeP=51-sizeQ=100-520972534.opb
COMMAND LINE= oree /tmp/evaluation/367192-1177004128/instance-367192-1177004128.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node2/watcher-367192-1177004128 -o ROOT/results/node2/solver-367192-1177004128 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/367192-1177004128/instance-367192-1177004128.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  9a1c9dd98f3544399baaffc61b3b99d7

RANDOM SEED= 645454099

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node2.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1869632 kB
Buffers:         20536 kB
Cached:          87652 kB
SwapCached:      12240 kB
Active:          34740 kB
Inactive:        98532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1869632 kB
SwapTotal:     4192956 kB
SwapFree:      4149072 kB
Dirty:            1928 kB
Writeback:           0 kB
Mapped:          32152 kB
Slab:            38408 kB
Committed_AS:  7200632 kB
PageTables:       1864 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66400 MiB

End job on node2 on Thu Apr 19 18:05:31 UTC 2007