Trace number 430903

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.16 1800.63

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=103-P1=277-P2=401-P3=67-P4=337-P5=17-P6=499-P7=23-B.opb
MD5SUM9de8f37e65dc0eaf693e157cab5aa725
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.217966
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables189
Total number of constraints15
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 constraints15
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)567
Sum of products size (including duplicates)1134
Number of different products567
Sum of products size1134

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.01	c ...done
0.00/0.01	c #vars=756 #constraints=1157 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.79/0.88	c restart after 401 decisions
1.00/1.07	c nbDecision=500 #constraints=1610
1.89/1.95	c restart after 801 decisions
2.39/2.49	c nbDecision=1000 #constraints=2085
4.49/4.57	c nbDecision=1500 #constraints=2588
5.09/5.14	c restart after 1601 decisions
7.89/7.92	c nbDecision=2000 #constraints=3057
9.39/9.43	c nbDecision=2500 #constraints=3529
10.59/10.65	c nbDecision=3000 #constraints=4022
11.19/11.22	c restart after 3201 decisions
13.09/13.19	c nbDecision=3500 #constraints=4481
15.39/15.46	c nbDecision=4000 #constraints=4968
17.49/17.53	c nbDecision=4500 #constraints=5460
19.89/19.99	c nbDecision=5000 #constraints=5961
23.78/23.80	c nbDecision=5500 #constraints=6449
25.09/25.13	c nbDecision=6000 #constraints=6955
25.98/26.02	c restart after 6401 decisions
26.58/26.68	c nbDecision=6500 #constraints=7398
30.28/30.31	c nbDecision=7000 #constraints=7889
33.68/33.77	c nbDecision=7500 #constraints=8362
35.48/35.57	c nbDecision=8000 #constraints=8842
39.18/39.24	c nbDecision=8500 #constraints=9335
43.77/43.90	c nbDecision=9000 #constraints=9801
51.88/51.90	c nbDecision=9500 #constraints=10305
62.07/62.13	c nbDecision=10000 #constraints=10803
71.47/71.53	c nbDecision=10500 #constraints=11277
85.97/86.06	c nbDecision=11000 #constraints=11769
100.76/100.81	c nbDecision=11500 #constraints=12260
116.35/116.44	c nbDecision=12000 #constraints=12752
140.66/140.74	c nbDecision=12500 #constraints=13234
154.15/154.29	c restart after 12801 decisions
156.55/156.70	c nbDecision=13000 #constraints=13689
162.55/162.65	c nbDecision=13500 #constraints=14177
169.55/169.67	c nbDecision=14000 #constraints=14675
177.84/177.99	c nbDecision=14500 #constraints=15162
184.64/184.74	c nbDecision=15000 #constraints=15663
194.93/195.09	c nbDecision=15500 #constraints=16139
224.93/225.09	c nbDecision=16000 #constraints=16613
252.33/252.49	c nbDecision=16500 #constraints=17091
286.72/286.88	c nbDecision=17000 #constraints=17573
323.80/323.90	c nbDecision=17500 #constraints=18074
362.29/362.43	c nbDecision=18000 #constraints=18575
398.68/398.86	c nbDecision=18500 #constraints=19075
436.08/436.20	c nbDecision=19000 #constraints=19542
492.86/493.09	c nbDecision=19500 #constraints=20040
546.14/546.31	c nbDecision=20000 #constraints=20541
593.13/593.32	c nbDecision=20500 #constraints=21039
634.32/634.52	c nbDecision=21000 #constraints=21523
672.11/672.30	c nbDecision=21500 #constraints=22004
702.61/702.86	c nbDecision=22000 #constraints=22497
744.50/744.79	c nbDecision=22500 #constraints=22989
804.38/804.66	c nbDecision=23000 #constraints=23494
854.17/854.44	c nbDecision=23500 #constraints=23965
902.06/902.37	c nbDecision=24000 #constraints=24444
963.54/963.89	c nbDecision=24500 #constraints=24939
1010.82/1011.10	c nbDecision=25000 #constraints=25404
1063.01/1063.37	c nbDecision=25500 #constraints=25888
1070.51/1070.88	c restart after 25601 decisions
1078.50/1078.89	c nbDecision=26000 #constraints=26351
1089.51/1089.85	c nbDecision=26500 #constraints=26851
1102.90/1103.24	c nbDecision=27000 #constraints=27339
1118.90/1119.26	c nbDecision=27500 #constraints=27839
1132.79/1133.19	c nbDecision=28000 #constraints=28315
1144.19/1144.50	c nbDecision=28500 #constraints=28817
1157.08/1157.49	c nbDecision=29000 #constraints=29319
1247.76/1248.13	c nbDecision=29500 #constraints=29785
1368.23/1368.64	c nbDecision=30000 #constraints=30267
1477.50/1477.90	c nbDecision=30500 #constraints=30724
1603.38/1603.86	c nbDecision=31000 #constraints=31182
1735.94/1736.48	c nbDecision=31500 #constraints=31661
1780.33/1780.88	c nbDecision=32000 #constraints=32141
1800.02/1800.50	Received signal 15
1800.02/1800.59	
1800.02/1800.59	s UNKNOWN
1800.02/1800.59	
1800.02/1800.59	c user time= 1799.71 s
1800.02/1800.59	c system time= 0.418936 s
1800.02/1800.59	c wall clock time=1800.6

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/430903-1178000378/instance-430903-1178000378.opb
mv /tmp/evaluation/430903-1178000378/instance-430903-1178000378.opb.tmp /tmp/evaluation/430903-1178000378/instance-430903-1178000378.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node19/watcher-430903-1178000378 -o ROOT/results/node19/solver-430903-1178000378 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430903-1178000378/instance-430903-1178000378.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 1.00 1.00 3/77 16252
/proc/meminfo: memFree=1801864/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=1468 CPUtime=0
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 186 0 0 0 0 0 0 0 18 0 1 0 247955194 1503232 169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 367 169 132 317 0 46 0

[startup+0.0331541 s]
/proc/loadavg: 0.99 1.00 1.00 3/77 16252
/proc/meminfo: memFree=1801864/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=2048 CPUtime=0.03
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 314 0 0 0 3 0 0 0 18 0 1 0 247955194 2097152 297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 512 297 139 317 0 191 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2048

[startup+0.101161 s]
/proc/loadavg: 0.99 1.00 1.00 3/77 16252
/proc/meminfo: memFree=1801864/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=2180 CPUtime=0.09
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 347 0 0 0 9 0 0 0 18 0 1 0 247955194 2232320 330 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 545 330 139 317 0 224 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2180

[startup+0.301187 s]
/proc/loadavg: 0.99 1.00 1.00 3/77 16252
/proc/meminfo: memFree=1801864/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=2436 CPUtime=0.29
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 436 0 0 0 29 0 0 0 19 0 1 0 247955194 2494464 419 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 609 419 139 317 0 288 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2436

[startup+0.701226 s]
/proc/loadavg: 0.99 1.00 1.00 3/77 16252
/proc/meminfo: memFree=1801864/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=3228 CPUtime=0.69
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 637 0 0 0 69 0 0 0 22 0 1 0 247955194 3305472 620 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718449 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 807 620 139 317 0 486 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3228

[startup+1.50131 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16253
/proc/meminfo: memFree=1799360/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=4660 CPUtime=1.49
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 969 0 0 0 149 0 0 0 25 0 1 0 247955194 4771840 952 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284117 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 1165 952 139 317 0 844 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4660

[startup+3.10249 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16253
/proc/meminfo: memFree=1797632/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=6908 CPUtime=3.09
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 1541 0 0 0 309 0 0 0 25 0 1 0 247955194 7073792 1524 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270612 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 1727 1524 139 317 0 1406 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6908

[startup+6.30184 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16253
/proc/meminfo: memFree=1793920/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=9516 CPUtime=6.29
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 2176 0 0 0 628 1 0 0 25 0 1 0 247955194 9744384 2159 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279003 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 2379 2159 139 317 0 2058 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9516

[startup+12.7015 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16253
/proc/meminfo: memFree=1786752/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=16548 CPUtime=12.69
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 3922 0 0 0 1267 2 0 0 25 0 1 0 247955194 16945152 3905 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 4137 3905 139 317 0 3816 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16548

[startup+25.5019 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16253
/proc/meminfo: memFree=1774656/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=28812 CPUtime=25.49
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 6961 0 0 0 2544 5 0 0 25 0 1 0 247955194 29503488 6944 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 7203 6944 139 317 0 6882 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28812

[startup+51.1017 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16253
/proc/meminfo: memFree=1759360/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=44360 CPUtime=51.08
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 10806 0 0 0 5100 8 0 0 25 0 1 0 247955194 45424640 10731 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 11090 10731 170 317 0 10769 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 44360

[startup+102.305 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16253
/proc/meminfo: memFree=1750208/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=53772 CPUtime=102.26
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 13040 0 0 0 10216 10 0 0 25 0 1 0 247955194 55062528 12965 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 13443 12965 170 317 0 13122 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 53772

[startup+162.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16253
/proc/meminfo: memFree=1742208/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=62084 CPUtime=162.25
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 15086 0 0 0 16213 12 0 0 25 0 1 0 247955194 63574016 15011 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 15521 15011 170 317 0 15200 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 62084

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16253
/proc/meminfo: memFree=1730112/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=74304 CPUtime=222.23
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 18103 0 0 0 22208 15 0 0 25 0 1 0 247955194 76087296 17914 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 18576 17914 170 317 0 18255 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 74304

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16253
/proc/meminfo: memFree=1726848/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=78120 CPUtime=282.22
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 18970 0 0 0 28205 17 0 0 25 0 1 0 247955194 79994880 18781 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715798 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 19530 18781 170 317 0 19209 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 78120

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16253
/proc/meminfo: memFree=1723264/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=82032 CPUtime=342.2
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 19857 0 0 0 34202 18 0 0 25 0 1 0 247955194 84000768 19668 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 20508 19668 170 317 0 20187 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 82032

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16253
/proc/meminfo: memFree=1719680/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=85948 CPUtime=402.18
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 20743 0 0 0 40199 19 0 0 25 0 1 0 247955194 88010752 20554 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 21487 20554 170 317 0 21166 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 85948

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16253
/proc/meminfo: memFree=1716800/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=88828 CPUtime=462.17
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 21447 0 0 0 46196 21 0 0 25 0 1 0 247955194 90959872 21258 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 22207 21258 170 317 0 21886 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 88828

[startup+522.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16253
/proc/meminfo: memFree=1714560/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=91104 CPUtime=522.16
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 22013 0 0 0 52194 22 0 0 25 0 1 0 247955194 93290496 21824 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 22776 21824 170 317 0 22455 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 91104

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16253
/proc/meminfo: memFree=1711680/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=94128 CPUtime=582.14
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 22720 0 0 0 58191 23 0 0 25 0 1 0 247955194 96387072 22531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 23532 22531 170 317 0 23211 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 94128

[startup+642.302 s]
/proc/loadavg: 0.99 1.00 1.00 3/78 16253
/proc/meminfo: memFree=1708352/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=97356 CPUtime=642.12
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 23532 0 0 0 64188 24 0 0 25 0 1 0 247955194 99692544 23343 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 24339 23343 170 317 0 24018 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 97356


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

[startup+882.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16253
/proc/meminfo: memFree=1696320/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=110176 CPUtime=882.05
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 26494 0 0 0 88178 27 0 0 25 0 1 0 247955194 112820224 26305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 27544 26305 170 317 0 27223 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 110176

[startup+942.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16253
/proc/meminfo: memFree=1694016/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=112664 CPUtime=942.04
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 27060 0 0 0 94176 28 0 0 25 0 1 0 247955194 115367936 26871 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 28166 26871 170 317 0 27845 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 112664

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16253
/proc/meminfo: memFree=1692096/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=114968 CPUtime=1002.03
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 27546 0 0 0 100174 29 0 0 25 0 1 0 247955194 117727232 27357 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 28742 27357 170 317 0 28421 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 114968

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16253
/proc/meminfo: memFree=1689216/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=117900 CPUtime=1062.01
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 28270 0 0 0 106171 30 0 0 25 0 1 0 247955194 120729600 28081 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 29475 28081 170 317 0 29154 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 117900

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16253
/proc/meminfo: memFree=1680128/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=126988 CPUtime=1122
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 30521 0 0 0 112168 32 0 0 25 0 1 0 247955194 130035712 30332 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563622 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 31747 30332 170 317 0 31426 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 126988

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16253
/proc/meminfo: memFree=1672896/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=134360 CPUtime=1181.99
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 32318 0 0 0 118165 34 0 0 25 0 1 0 247955194 137584640 32096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 33590 32096 170 317 0 33269 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 134360

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16253
/proc/meminfo: memFree=1671872/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=135560 CPUtime=1241.96
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 32592 0 0 0 124162 34 0 0 25 0 1 0 247955194 138813440 32337 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 33890 32337 170 317 0 33569 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 135560

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16255
/proc/meminfo: memFree=1670976/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=136356 CPUtime=1301.95
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 32843 0 0 0 130160 35 0 0 25 0 1 0 247955194 139628544 32555 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 34089 32555 170 317 0 33768 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 136356

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16255
/proc/meminfo: memFree=1669824/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=137800 CPUtime=1361.94
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 33170 0 0 0 136158 36 0 0 25 0 1 0 247955194 141107200 32849 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 34450 32849 170 317 0 34129 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 137800

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16255
/proc/meminfo: memFree=1668736/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=138768 CPUtime=1421.92
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 33432 0 0 0 142156 36 0 0 25 0 1 0 247955194 142098432 33111 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 34692 33111 170 317 0 34371 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 138768

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16255
/proc/meminfo: memFree=1667584/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=140080 CPUtime=1481.9
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 33746 0 0 0 148153 37 0 0 25 0 1 0 247955194 143441920 33392 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 35020 33392 170 317 0 34699 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 140080

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16255
/proc/meminfo: memFree=1666752/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=140760 CPUtime=1541.89
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 33949 0 0 0 154151 38 0 0 25 0 1 0 247955194 144138240 33595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 35190 33595 170 317 0 34869 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 140760

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16255
/proc/meminfo: memFree=1665792/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=141808 CPUtime=1601.87
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 34214 0 0 0 160148 39 0 0 25 0 1 0 247955194 145211392 33827 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 35452 33827 170 317 0 35131 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 141808

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16255
/proc/meminfo: memFree=1664896/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=142724 CPUtime=1661.85
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 34454 0 0 0 166146 39 0 0 25 0 1 0 247955194 146149376 34034 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718520 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 35681 34034 170 317 0 35360 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 142724

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16255
/proc/meminfo: memFree=1664192/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=143772 CPUtime=1721.84
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 34636 0 0 0 172144 40 0 0 25 0 1 0 247955194 147222528 34216 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 35943 34216 170 317 0 35622 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 143772

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16255
/proc/meminfo: memFree=1661568/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=146408 CPUtime=1781.82
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 35304 0 0 0 178141 41 0 0 25 0 1 0 247955194 149921792 34851 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 36602 34851 170 317 0 36281 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 146408



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 16255
/proc/meminfo: memFree=1660992/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=146976 CPUtime=1800.02
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194304 35452 0 0 0 179961 41 0 0 25 0 1 0 247955194 150503424 34999 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 36744 34999 170 317 0 36423 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 146976

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: 0.99 1.00 1.00 2/79 16256
/proc/meminfo: memFree=1662904/2055920 swapFree=4153644/4192956
[pid=16252] ppid=16250 vsize=0 CPUtime=1800.13
/proc/16252/stat : 16252 (oree) R 16250 16252 14354 0 -1 4194308 35468 0 0 0 179971 42 0 0 25 0 1 0 247955194 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16252/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.63
CPU time (s): 1800.16
CPU user time (s): 1799.72
CPU system time (s): 0.441932
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 146976

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

runsolver used 1.49077 second user time and 4.07438 second system time

The end

Launcher Data (download as text)

Begin job on node19 on Tue May  1 06:19:38 UTC 2007

IDJOB= 430903
IDBENCH= 48013
IDSOLVER= 172
FILE ID= node19/430903-1178000378

PBS_JOBID= 4728207

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=9-P0=103-P1=277-P2=401-P3=67-P4=337-P5=17-P6=499-P7=23-B.opb
COMMAND LINE= oree /tmp/evaluation/430903-1178000378/instance-430903-1178000378.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node19/convwatcher-430903-1178000378 -o ROOT/results/node19/conversion-430903-1178000378 -C 600 -M 1800 /tmp/evaluation/430903-1178000378/substituteSizeProductKeyword /tmp/evaluation/430903-1178000378/instance-430903-1178000378.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  9de8f37e65dc0eaf693e157cab5aa725

RANDOM SEED= 309712985

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node19.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.213
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.213
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:       1802272 kB
Buffers:         48056 kB
Cached:         115396 kB
SwapCached:       7976 kB
Active:          31676 kB
Inactive:       159280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1802272 kB
SwapTotal:     4192956 kB
SwapFree:      4153644 kB
Dirty:            1340 kB
Writeback:           0 kB
Mapped:          30380 kB
Slab:            48152 kB
Committed_AS:  5650680 kB
PageTables:       1788 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 node19 on Tue May  1 06:49:41 UTC 2007