Trace number 431547

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) 1800.22 1800.67

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=53-P1=17-P2=109-P3=2-P4=191-P5=191-P6=47-P7=101-P8=97-B.opb
MD5SUM10ec6ab90ad015d6fa7b4d2290470901
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.197969
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved YES
Number of variables192
Total number of constraints17
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints17
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)512
Sum of products size (including duplicates)1024
Number of different products512
Sum of products size1024

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.00/0.00	c ...done
0.00/0.00	c #vars=704 #constraints=1050 hasObjective=yes
0.00/0.01	c res. mode=mod
0.00/0.01	c VSIDS like heuristics
0.00/0.01	c complete search running
0.59/0.63	c restart after 401 decisions
0.69/0.74	c nbDecision=500 #constraints=1474
1.39/1.43	c restart after 801 decisions
1.89/1.93	c nbDecision=1000 #constraints=1936
2.79/2.88	c nbDecision=1500 #constraints=2417
2.99/3.04	c restart after 1601 decisions
4.50/4.51	c nbDecision=2000 #constraints=2868
5.99/6.04	c nbDecision=2500 #constraints=3358
7.29/7.32	c nbDecision=3000 #constraints=3835
7.59/7.70	c restart after 3201 decisions
9.39/9.47	c nbDecision=3500 #constraints=4301
12.19/12.20	c nbDecision=4000 #constraints=4766
13.09/13.15	c nbDecision=4500 #constraints=5251
14.09/14.15	c nbDecision=5000 #constraints=5726
15.79/15.86	c nbDecision=5500 #constraints=6219
18.38/18.45	c nbDecision=6000 #constraints=6691
20.79/20.85	c restart after 6401 decisions
21.18/21.24	c nbDecision=6500 #constraints=7128
25.49/25.54	c nbDecision=7000 #constraints=7601
27.59/27.67	c nbDecision=7500 #constraints=8091
31.18/31.29	c nbDecision=8000 #constraints=8560
35.09/35.13	c nbDecision=8500 #constraints=9019
40.58/40.69	c nbDecision=9000 #constraints=9495
48.48/48.56	c nbDecision=9500 #constraints=9987
55.08/55.19	c nbDecision=10000 #constraints=10445
67.68/67.71	c nbDecision=10500 #constraints=10929
77.47/77.54	c nbDecision=11000 #constraints=11370
89.67/89.79	c nbDecision=11500 #constraints=11811
103.27/103.34	c nbDecision=12000 #constraints=12267
122.77/122.86	c nbDecision=12500 #constraints=12731
130.76/130.82	c restart after 12801 decisions
132.66/132.73	c nbDecision=13000 #constraints=13166
136.76/136.84	c nbDecision=13500 #constraints=13646
169.25/169.32	c nbDecision=14000 #constraints=14130
193.65/193.72	c nbDecision=14500 #constraints=14602
220.63/220.75	c nbDecision=15000 #constraints=15076
239.73/239.85	c nbDecision=15500 #constraints=15556
263.73/263.86	c nbDecision=16000 #constraints=16043
289.82/289.91	c nbDecision=16500 #constraints=16530
322.51/322.68	c nbDecision=17000 #constraints=17026
355.70/355.84	c nbDecision=17500 #constraints=17489
390.49/390.64	c nbDecision=18000 #constraints=17973
414.79/414.96	c nbDecision=18500 #constraints=18436
437.08/437.27	c nbDecision=19000 #constraints=18900
467.97/468.13	c nbDecision=19500 #constraints=19361
506.97/507.14	c nbDecision=20000 #constraints=19815
546.25/546.47	c nbDecision=20500 #constraints=20293
590.34/590.54	c nbDecision=21000 #constraints=20755
620.44/620.66	c nbDecision=21500 #constraints=21207
650.83/651.07	c nbDecision=22000 #constraints=21677
698.41/698.65	c nbDecision=22500 #constraints=22151
746.90/747.13	c nbDecision=23000 #constraints=22644
783.59/783.88	c nbDecision=23500 #constraints=23106
825.58/825.89	c nbDecision=24000 #constraints=23579
867.67/867.90	c nbDecision=24500 #constraints=24034
909.96/910.21	c nbDecision=25000 #constraints=24513
934.85/935.19	c nbDecision=25500 #constraints=24975
951.76/952.01	c restart after 25601 decisions
957.15/957.47	c nbDecision=26000 #constraints=25416
963.65/963.90	c nbDecision=26500 #constraints=25905
1043.02/1043.36	c nbDecision=27000 #constraints=26396
1113.01/1113.31	c nbDecision=27500 #constraints=26882
1186.50/1186.87	c nbDecision=28000 #constraints=27370
1245.28/1245.63	c nbDecision=28500 #constraints=27841
1302.96/1303.36	c nbDecision=29000 #constraints=28294
1372.95/1373.32	c nbDecision=29500 #constraints=28746
1455.72/1456.17	c nbDecision=30000 #constraints=29230
1528.71/1529.18	c nbDecision=30500 #constraints=29713
1600.19/1600.61	c nbDecision=31000 #constraints=30192
1687.97/1688.48	c nbDecision=31500 #constraints=30683
1771.44/1771.92	c nbDecision=32000 #constraints=31172
1800.05/1800.50	Received signal 15
1800.15/1800.64	
1800.15/1800.64	s UNKNOWN
1800.15/1800.64	
1800.15/1800.64	c user time= 1799.86 s
1800.15/1800.64	c system time= 0.331949 s
1800.15/1800.64	c wall clock time=1800.64

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/431547-1178007341/instance-431547-1178007341.opb
mv /tmp/evaluation/431547-1178007341/instance-431547-1178007341.opb.tmp /tmp/evaluation/431547-1178007341/instance-431547-1178007341.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node70/watcher-431547-1178007341 -o ROOT/results/node70/solver-431547-1178007341 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/431547-1178007341/instance-431547-1178007341.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: 1.00 1.00 0.98 3/64 2924
/proc/meminfo: memFree=1802536/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=1468 CPUtime=0
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 186 0 0 0 0 0 0 0 18 0 1 0 240271419 1503232 169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 367 169 132 317 0 46 0

[startup+0.024226 s]
/proc/loadavg: 1.00 1.00 0.98 3/64 2924
/proc/meminfo: memFree=1802536/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=1996 CPUtime=0.02
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 303 0 0 0 2 0 0 0 18 0 1 0 240271419 2043904 286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284244 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 499 286 139 317 0 178 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1996

[startup+0.101233 s]
/proc/loadavg: 1.00 1.00 0.98 3/64 2924
/proc/meminfo: memFree=1802536/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=2128 CPUtime=0.09
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 341 0 0 0 9 0 0 0 18 0 1 0 240271419 2179072 324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284169 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 532 324 139 317 0 211 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2128

[startup+0.301253 s]
/proc/loadavg: 1.00 1.00 0.98 3/64 2924
/proc/meminfo: memFree=1802536/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=2520 CPUtime=0.29
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 459 0 0 0 29 0 0 0 19 0 1 0 240271419 2580480 442 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272552 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 630 442 139 317 0 309 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2520

[startup+0.701293 s]
/proc/loadavg: 1.00 1.00 0.98 3/64 2924
/proc/meminfo: memFree=1802536/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=3568 CPUtime=0.69
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 695 0 0 0 69 0 0 0 22 0 1 0 240271419 3653632 678 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712551 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 892 678 139 317 0 571 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3568

[startup+1.50137 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 2925
/proc/meminfo: memFree=1799712/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=5000 CPUtime=1.49
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 1052 0 0 0 149 0 0 0 25 0 1 0 240271419 5120000 1035 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135459514 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 1250 1035 139 317 0 929 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5000

[startup+3.10153 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 2925
/proc/meminfo: memFree=1797984/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=7964 CPUtime=3.1
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 1785 0 0 0 308 2 0 0 25 0 1 0 240271419 8155136 1768 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 1991 1768 139 317 0 1670 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 7964

[startup+6.30185 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 2925
/proc/meminfo: memFree=1793056/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=11516 CPUtime=6.29
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 2691 0 0 0 627 2 0 0 25 0 1 0 240271419 11792384 2674 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716120 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 2879 2674 139 317 0 2558 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11516

[startup+12.7025 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 2925
/proc/meminfo: memFree=1786800/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=18184 CPUtime=12.69
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 4301 0 0 0 1266 3 0 0 25 0 1 0 240271419 18620416 4284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272675 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 4546 4284 139 317 0 4225 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18184

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 2925
/proc/meminfo: memFree=1775088/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=28772 CPUtime=25.49
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 7007 0 0 0 2544 5 0 0 25 0 1 0 240271419 29462528 6990 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 7193 6990 170 317 0 6872 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28772

[startup+51.1013 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 2925
/proc/meminfo: memFree=1765104/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=39236 CPUtime=51.08
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 9564 0 0 0 5101 7 0 0 25 0 1 0 240271419 40177664 9490 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 9809 9490 170 317 0 9488 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 39236

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 2925
/proc/meminfo: memFree=1756208/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=48372 CPUtime=102.27
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 11755 0 0 0 10218 9 0 0 25 0 1 0 240271419 49532928 11681 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 12093 11681 170 317 0 11772 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 48372

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 2925
/proc/meminfo: memFree=1749296/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=55076 CPUtime=162.25
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 13486 0 0 0 16214 11 0 0 25 0 1 0 240271419 56397824 13412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 13769 13412 170 317 0 13448 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 55076

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 2925
/proc/meminfo: memFree=1745072/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=59660 CPUtime=222.23
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 14528 0 0 0 22211 12 0 0 25 0 1 0 240271419 61091840 14454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 14915 14454 170 317 0 14594 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 59660

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 2925
/proc/meminfo: memFree=1739440/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=66024 CPUtime=282.23
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 15936 0 0 0 28209 14 0 0 25 0 1 0 240271419 67608576 15862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 16506 15862 170 317 0 16185 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 66024

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 2925
/proc/meminfo: memFree=1735600/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=70548 CPUtime=342.21
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 16996 0 0 0 34206 15 0 0 25 0 1 0 240271419 72241152 16809 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 17637 16809 170 317 0 17316 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 70548

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 2925
/proc/meminfo: memFree=1732208/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=73932 CPUtime=402.19
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 17855 0 0 0 40203 16 0 0 25 0 1 0 240271419 75706368 17668 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 18483 17668 170 317 0 18162 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 73932

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 2925
/proc/meminfo: memFree=1727856/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=78292 CPUtime=462.18
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 18938 0 0 0 46201 17 0 0 25 0 1 0 240271419 80171008 18751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 19573 18751 170 317 0 19252 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 78292

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 2925
/proc/meminfo: memFree=1725488/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=80504 CPUtime=522.16
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 19535 0 0 0 52199 17 0 0 25 0 1 0 240271419 82436096 19348 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 20126 19348 170 317 0 19805 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 80504

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 2925
/proc/meminfo: memFree=1722928/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=83008 CPUtime=582.15
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 20178 0 0 0 58197 18 0 0 25 0 1 0 240271419 85000192 19991 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 20752 19991 170 317 0 20431 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 83008

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 2925
/proc/meminfo: memFree=1719408/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=86280 CPUtime=642.14
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 21048 0 0 0 64194 20 0 0 25 0 1 0 240271419 88350720 20861 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 21570 20861 170 317 0 21249 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 86280


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 2925
/proc/meminfo: memFree=1708720/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=98688 CPUtime=882.07
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 23710 0 0 0 88184 23 0 0 25 0 1 0 240271419 101056512 23523 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 24672 23523 170 317 0 24351 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 98688

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 2925
/proc/meminfo: memFree=1705456/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=102016 CPUtime=942.06
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 24526 0 0 0 94182 24 0 0 25 0 1 0 240271419 104464384 24339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 25504 24339 170 317 0 25183 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 102016

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 2925
/proc/meminfo: memFree=1700976/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=106468 CPUtime=1002.04
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 25639 0 0 0 100179 25 0 0 25 0 1 0 240271419 109023232 25452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 26617 25452 170 317 0 26296 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 106468

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 2925
/proc/meminfo: memFree=1699440/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=108204 CPUtime=1062.02
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 26033 0 0 0 106176 26 0 0 25 0 1 0 240271419 110800896 25846 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 27051 25846 170 317 0 26730 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 108204

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 2925
/proc/meminfo: memFree=1697840/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=110040 CPUtime=1122.01
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 26423 0 0 0 112174 27 0 0 25 0 1 0 240271419 112680960 26236 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 27510 26236 170 317 0 27189 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 110040

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 2925
/proc/meminfo: memFree=1696304/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=111464 CPUtime=1181.99
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 26803 0 0 0 118172 27 0 0 25 0 1 0 240271419 114139136 26616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 27866 26616 170 317 0 27545 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 111464

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 2925
/proc/meminfo: memFree=1694448/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=113312 CPUtime=1241.98
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 27253 0 0 0 124170 28 0 0 25 0 1 0 240271419 116031488 27066 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 28328 27066 170 317 0 28007 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 113312

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 2925
/proc/meminfo: memFree=1692528/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=115328 CPUtime=1301.97
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 27728 0 0 0 130169 28 0 0 25 0 1 0 240271419 118095872 27541 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 28832 27541 170 317 0 28511 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 115328

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 2925
/proc/meminfo: memFree=1691056/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=117024 CPUtime=1361.95
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 28169 0 0 0 136166 29 0 0 25 0 1 0 240271419 119832576 27916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563315 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 29256 27916 170 317 0 28935 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 117024

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 2925
/proc/meminfo: memFree=1689648/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=118764 CPUtime=1421.93
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 28582 0 0 0 142164 29 0 0 25 0 1 0 240271419 121614336 28263 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718318 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 29691 28263 170 317 0 29370 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 118764

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 2925
/proc/meminfo: memFree=1688048/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=120380 CPUtime=1481.92
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 29007 0 0 0 148162 30 0 0 25 0 1 0 240271419 123269120 28655 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 30095 28655 170 317 0 29774 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 120380

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 2925
/proc/meminfo: memFree=1686640/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=121900 CPUtime=1541.9
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 29375 0 0 0 154160 30 0 0 25 0 1 0 240271419 124825600 29023 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 30475 29023 170 317 0 30154 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 121900

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 2925
/proc/meminfo: memFree=1684976/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=123496 CPUtime=1601.89
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 29778 0 0 0 160158 31 0 0 25 0 1 0 240271419 126459904 29426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712518 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 30874 29426 170 317 0 30553 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 123496

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 2925
/proc/meminfo: memFree=1683568/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=124808 CPUtime=1661.87
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 30134 0 0 0 166156 31 0 0 25 0 1 0 240271419 127803392 29782 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 31202 29782 170 317 0 30881 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 124808

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 2925
/proc/meminfo: memFree=1682352/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=126124 CPUtime=1721.86
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 30438 0 0 0 172154 32 0 0 25 0 1 0 240271419 129150976 30086 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 31531 30086 170 317 0 31210 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 126124

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 2925
/proc/meminfo: memFree=1680816/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=127552 CPUtime=1781.85
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 30783 0 0 0 178152 33 0 0 25 0 1 0 240271419 130613248 30431 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 31888 30431 170 317 0 31567 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 127552



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.98 2/65 2925
/proc/meminfo: memFree=1680240/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=128096 CPUtime=1800.05
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 30930 0 0 0 179972 33 0 0 25 0 1 0 240271419 131170304 30578 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 32024 30578 170 317 0 31703 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 128096

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 0.98 2/66 2926
/proc/meminfo: memFree=1680232/2055920 swapFree=4183764/4192956
[pid=2924] ppid=2922 vsize=128096 CPUtime=1800.15
/proc/2924/stat : 2924 (oree) R 2922 2924 2428 0 -1 4194304 30931 0 0 0 179982 33 0 0 25 0 1 0 240271419 131170304 30579 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2924/statm: 32024 30579 170 317 0 31703 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 128096

Child status: 0
Real time (s): 1800.67
CPU time (s): 1800.22
CPU user time (s): 1799.86
CPU system time (s): 0.350946
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 128096

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.86
system time used= 0.350946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30947
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= 3208

runsolver used 1.43478 second user time and 3.49147 second system time

The end

Launcher Data (download as text)

Begin job on node70 on Tue May  1 08:15:41 UTC 2007

IDJOB= 431547
IDBENCH= 48059
IDSOLVER= 172
FILE ID= node70/431547-1178007341

PBS_JOBID= 4728283

Free space on /tmp= 66563 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=53-P1=17-P2=109-P3=2-P4=191-P5=191-P6=47-P7=101-P8=97-B.opb
COMMAND LINE= oree /tmp/evaluation/431547-1178007341/instance-431547-1178007341.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node70/convwatcher-431547-1178007341 -o ROOT/results/node70/conversion-431547-1178007341 -C 600 -M 1800 /tmp/evaluation/431547-1178007341/substituteSizeProductKeyword /tmp/evaluation/431547-1178007341/instance-431547-1178007341.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node70/watcher-431547-1178007341 -o ROOT/results/node70/solver-431547-1178007341 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/431547-1178007341/instance-431547-1178007341.opb mod           

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  10ec6ab90ad015d6fa7b4d2290470901

RANDOM SEED= 525220625

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node70.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.218
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.218
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:       1803008 kB
Buffers:         29040 kB
Cached:         152288 kB
SwapCached:       2952 kB
Active:          45208 kB
Inactive:       145692 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1803008 kB
SwapTotal:     4192956 kB
SwapFree:      4183764 kB
Dirty:            1312 kB
Writeback:           0 kB
Mapped:          15432 kB
Slab:            48120 kB
Committed_AS:  4298536 kB
PageTables:       1396 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= 66563 MiB

End job on node70 on Tue May  1 08:45:43 UTC 2007