Trace number 429517

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.42 1800.93

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=6-P0=47-P1=23-P2=47-P3=53-P4=59-P5=23-P6=37-P7=61-B.opb
MD5SUM9967eb2b89437d51526bdf8efb5c6065
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.089986
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 variables126
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 constraint6
Maximum length of a constraint48
Number of terms in the objective function 6
Biggest coefficient in the objective function 32
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 63
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 2048
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 8064
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)252
Sum of products size (including duplicates)504
Number of different products252
Sum of products size504

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=378 #constraints=527 hasObjective=yes
0.00/0.00	c res. mode=mod
0.00/0.00	c VSIDS like heuristics
0.00/0.00	c complete search running
0.19/0.28	c restart after 401 decisions
0.29/0.35	c nbDecision=500 #constraints=964
0.49/0.57	c restart after 801 decisions
0.69/0.75	c nbDecision=1000 #constraints=1397
1.09/1.19	c nbDecision=1500 #constraints=1864
1.29/1.30	c restart after 1601 decisions
1.69/1.77	c nbDecision=2000 #constraints=2307
2.49/2.54	c nbDecision=2500 #constraints=2772
3.59/3.64	c nbDecision=3000 #constraints=3220
4.29/4.31	c restart after 3201 decisions
4.69/4.74	c nbDecision=3500 #constraints=3658
6.89/6.93	c nbDecision=4000 #constraints=4119
10.08/10.16	c nbDecision=4500 #constraints=4571
13.89/13.97	c nbDecision=5000 #constraints=5043
18.99/19.00	c nbDecision=5500 #constraints=5524
25.48/25.58	c nbDecision=6000 #constraints=5961
31.79/31.82	c restart after 6401 decisions
32.09/32.12	c nbDecision=6500 #constraints=6400
38.68/38.71	c nbDecision=7000 #constraints=6857
48.58/48.65	c nbDecision=7500 #constraints=7316
62.77/62.88	c nbDecision=8000 #constraints=7779
77.17/77.20	c nbDecision=8500 #constraints=8238
92.77/92.80	c nbDecision=9000 #constraints=8657
110.56/110.61	c nbDecision=9500 #constraints=9110
130.86/130.91	c nbDecision=10000 #constraints=9556
151.55/151.63	c nbDecision=10500 #constraints=10042
171.64/171.76	c nbDecision=11000 #constraints=10522
193.44/193.57	c nbDecision=11500 #constraints=10981
219.03/219.17	c nbDecision=12000 #constraints=11447
247.42/247.51	c nbDecision=12500 #constraints=11933
262.31/262.42	c restart after 12801 decisions
263.32/263.43	c nbDecision=13000 #constraints=12397
284.31/284.49	c nbDecision=13500 #constraints=12868
313.91/314.09	c nbDecision=14000 #constraints=13349
342.49/342.64	c nbDecision=14500 #constraints=13812
373.69/373.86	c nbDecision=15000 #constraints=14304
406.28/406.46	c nbDecision=15500 #constraints=14761
444.67/444.83	c nbDecision=16000 #constraints=15228
473.46/473.61	c nbDecision=16500 #constraints=15706
513.85/514.07	c nbDecision=17000 #constraints=16175
558.84/559.09	c nbDecision=17500 #constraints=16668
600.82/601.08	c nbDecision=18000 #constraints=17151
650.81/651.02	c nbDecision=18500 #constraints=17634
699.80/700.03	c nbDecision=19000 #constraints=18104
747.28/747.58	c nbDecision=19500 #constraints=18579
792.67/792.96	c nbDecision=20000 #constraints=19017
842.96/843.27	c nbDecision=20500 #constraints=19450
896.44/896.75	c nbDecision=21000 #constraints=19921
950.23/950.54	c nbDecision=21500 #constraints=20379
1012.51/1012.88	c nbDecision=22000 #constraints=20860
1075.69/1076.04	c nbDecision=22500 #constraints=21338
1146.26/1146.62	c nbDecision=23000 #constraints=21832
1210.95/1211.40	c nbDecision=23500 #constraints=22304
1277.83/1278.24	c nbDecision=24000 #constraints=22785
1329.31/1329.78	c nbDecision=24500 #constraints=23266
1360.81/1361.27	c nbDecision=25000 #constraints=23734
1378.30/1378.74	c nbDecision=25500 #constraints=24188
1382.49/1382.95	c restart after 25601 decisions
1390.00/1390.41	c nbDecision=26000 #constraints=24642
1413.79/1414.21	c nbDecision=26500 #constraints=25105
1434.59/1435.00	c nbDecision=27000 #constraints=25584
1458.68/1459.17	c nbDecision=27500 #constraints=26052
1486.67/1487.17	c nbDecision=28000 #constraints=26509
1519.46/1519.97	c nbDecision=28500 #constraints=26965
1545.65/1546.13	c nbDecision=29000 #constraints=27433
1576.74/1577.22	c nbDecision=29500 #constraints=27895
1604.93/1605.43	c nbDecision=30000 #constraints=28342
1636.83/1637.38	c nbDecision=30500 #constraints=28838
1672.53/1673.07	c nbDecision=31000 #constraints=29314
1702.61/1703.12	c nbDecision=31500 #constraints=29746
1736.60/1737.19	c nbDecision=32000 #constraints=30228
1772.59/1773.11	c nbDecision=32500 #constraints=30673
1800.09/1800.60	Received signal 15
1800.39/1800.91	
1800.39/1800.91	s UNKNOWN
1800.39/1800.91	
1800.39/1800.91	c user time= 1800.08 s
1800.39/1800.91	c system time= 0.321951 s
1800.39/1800.91	c wall clock time=1800.91

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/429517-1177986242/instance-429517-1177986242.opb
mv /tmp/evaluation/429517-1177986242/instance-429517-1177986242.opb.tmp /tmp/evaluation/429517-1177986242/instance-429517-1177986242.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node45/watcher-429517-1177986242 -o ROOT/results/node45/solver-429517-1177986242 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/429517-1177986242/instance-429517-1177986242.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.90 1.04 1.03 3/77 7087
/proc/meminfo: memFree=1778264/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=1468 CPUtime=0
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 194 0 0 0 0 0 0 0 18 0 1 0 153469792 1503232 177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 367 177 132 317 0 46 0

[startup+0.023559 s]
/proc/loadavg: 0.90 1.04 1.03 3/77 7087
/proc/meminfo: memFree=1778264/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=1736 CPUtime=0.02
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 243 0 0 0 2 0 0 0 18 0 1 0 153469792 1777664 226 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 434 226 139 317 0 113 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1736

[startup+0.10151 s]
/proc/loadavg: 0.90 1.04 1.03 3/77 7087
/proc/meminfo: memFree=1778264/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=1868 CPUtime=0.09
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 297 0 0 0 9 0 0 0 18 0 1 0 153469792 1912832 280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 467 280 139 317 0 146 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1868

[startup+0.30153 s]
/proc/loadavg: 0.90 1.04 1.03 3/77 7087
/proc/meminfo: memFree=1778264/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=2516 CPUtime=0.29
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 434 0 0 0 29 0 0 0 19 0 1 0 153469792 2576384 417 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270569 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 629 417 139 317 0 308 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2516

[startup+0.701571 s]
/proc/loadavg: 0.90 1.04 1.03 3/77 7087
/proc/meminfo: memFree=1778264/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=3436 CPUtime=0.69
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 687 0 0 0 69 0 0 0 23 0 1 0 153469792 3518464 670 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 859 670 139 317 0 538 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3436

[startup+1.50165 s]
/proc/loadavg: 0.90 1.04 1.03 2/78 7088
/proc/meminfo: memFree=1775376/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=5312 CPUtime=1.49
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 1166 0 0 0 149 0 0 0 25 0 1 0 153469792 5439488 1149 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271382 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 1328 1149 170 317 0 1007 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5312

[startup+3.10181 s]
/proc/loadavg: 0.90 1.04 1.03 2/78 7088
/proc/meminfo: memFree=1773264/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=7280 CPUtime=3.09
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 1672 0 0 0 308 1 0 0 25 0 1 0 153469792 7454720 1655 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 1820 1655 170 317 0 1499 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7280

[startup+6.30114 s]
/proc/loadavg: 0.91 1.04 1.03 2/78 7088
/proc/meminfo: memFree=1770192/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=9516 CPUtime=6.29
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 2228 0 0 0 627 2 0 0 25 0 1 0 153469792 9744384 2211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 2379 2211 170 317 0 2058 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 9516

[startup+12.7018 s]
/proc/loadavg: 0.91 1.03 1.03 2/78 7088
/proc/meminfo: memFree=1767952/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=11600 CPUtime=12.68
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 2715 0 0 0 1266 2 0 0 25 0 1 0 153469792 11878400 2698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 2900 2698 170 317 0 2579 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 11600

[startup+25.5011 s]
/proc/loadavg: 0.93 1.03 1.03 2/78 7088
/proc/meminfo: memFree=1765264/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=14248 CPUtime=25.48
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 3375 0 0 0 2545 3 0 0 25 0 1 0 153469792 14589952 3358 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 3562 3358 170 317 0 3241 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14248

[startup+51.1017 s]
/proc/loadavg: 0.95 1.03 1.02 2/78 7088
/proc/meminfo: memFree=1761808/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=17896 CPUtime=51.08
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 4223 0 0 0 5103 5 0 0 25 0 1 0 153469792 18325504 4206 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604370 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 4474 4206 170 317 0 4153 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17896

[startup+102.305 s]
/proc/loadavg: 0.98 1.02 1.02 2/78 7088
/proc/meminfo: memFree=1758224/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=21724 CPUtime=102.27
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 5147 0 0 0 10221 6 0 0 25 0 1 0 153469792 22245376 5073 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 5431 5073 170 317 0 5110 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 21724

[startup+162.302 s]
/proc/loadavg: 0.99 1.02 1.01 2/78 7088
/proc/meminfo: memFree=1754896/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=25172 CPUtime=162.25
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 5976 0 0 0 16218 7 0 0 25 0 1 0 153469792 25776128 5902 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 6293 5902 170 317 0 5972 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 25172

[startup+222.301 s]
/proc/loadavg: 0.99 1.01 1.01 2/78 7088
/proc/meminfo: memFree=1752144/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=27784 CPUtime=222.23
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 6646 0 0 0 22215 8 0 0 25 0 1 0 153469792 28450816 6572 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 6946 6572 170 317 0 6625 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 27784

[startup+282.301 s]
/proc/loadavg: 0.99 1.01 1.00 2/78 7088
/proc/meminfo: memFree=1749200/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=30732 CPUtime=282.21
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 7390 0 0 0 28212 9 0 0 25 0 1 0 153469792 31469568 7316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 7683 7316 170 317 0 7362 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 30732

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 7088
/proc/meminfo: memFree=1746832/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=33180 CPUtime=342.19
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 7958 0 0 0 34209 10 0 0 25 0 1 0 153469792 33976320 7884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 8295 7884 170 317 0 7974 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 33180

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 7088
/proc/meminfo: memFree=1744912/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=35312 CPUtime=402.18
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 8447 0 0 0 40207 11 0 0 25 0 1 0 153469792 36159488 8373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 8828 8373 170 317 0 8507 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 35312

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 7088
/proc/meminfo: memFree=1742864/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=37244 CPUtime=462.16
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 8953 0 0 0 46204 12 0 0 25 0 1 0 153469792 38137856 8879 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 9311 8879 170 317 0 8990 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 37244

[startup+522.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 7088
/proc/meminfo: memFree=1741136/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=38892 CPUtime=522.15
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 9364 0 0 0 52202 13 0 0 25 0 1 0 153469792 39825408 9290 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 9723 9290 170 317 0 9402 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 38892

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 7088
/proc/meminfo: memFree=1739664/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=41096 CPUtime=582.13
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 9852 0 0 0 58199 14 0 0 25 0 1 0 153469792 42082304 9665 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 10274 9665 170 317 0 9953 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 41096

[startup+642.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 7088
/proc/meminfo: memFree=1737872/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=43068 CPUtime=642.11
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 10274 0 0 0 64197 14 0 0 25 0 1 0 153469792 44101632 10087 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 10767 10087 170 317 0 10446 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 43068


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

[startup+942.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 7088
/proc/meminfo: memFree=1731728/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=49572 CPUtime=942.03
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 11796 0 0 0 94185 18 0 0 25 0 1 0 153469792 50761728 11609 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712567 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 12393 11609 170 317 0 12072 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 49572

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 7088
/proc/meminfo: memFree=1730576/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=50504 CPUtime=1002.01
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 12081 0 0 0 100183 18 0 0 25 0 1 0 153469792 51716096 11894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 12626 11894 170 317 0 12305 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 50504

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 7088
/proc/meminfo: memFree=1729424/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=51824 CPUtime=1061.99
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 12380 0 0 0 106180 19 0 0 25 0 1 0 153469792 53067776 12160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563778 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 12956 12160 170 317 0 12635 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 51824

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 7094
/proc/meminfo: memFree=1728336/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=53132 CPUtime=1121.97
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 12659 0 0 0 112177 20 0 0 25 0 1 0 153469792 54407168 12439 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 13283 12439 170 317 0 12962 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 53132

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 7094
/proc/meminfo: memFree=1727568/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=53916 CPUtime=1181.96
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 12864 0 0 0 118175 21 0 0 25 0 1 0 153469792 55209984 12644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 13479 12644 170 317 0 13158 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 53916

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 7094
/proc/meminfo: memFree=1726544/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=54828 CPUtime=1241.94
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 13144 0 0 0 124172 22 0 0 25 0 1 0 153469792 56143872 12891 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 13707 12891 170 317 0 13386 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 54828

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 7094
/proc/meminfo: memFree=1725520/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=56140 CPUtime=1301.93
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 13423 0 0 0 130170 23 0 0 25 0 1 0 153469792 57487360 13137 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 14035 13137 170 317 0 13714 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 56140

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 7094
/proc/meminfo: memFree=1723600/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=57980 CPUtime=1361.91
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 13901 0 0 0 136167 24 0 0 25 0 1 0 153469792 59371520 13615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 14495 13615 170 317 0 14174 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 57980

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 7094
/proc/meminfo: memFree=1720144/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=61512 CPUtime=1421.89
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 14773 0 0 0 142164 25 0 0 25 0 1 0 153469792 62988288 14487 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 15378 14487 170 317 0 15057 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 61512

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 7094
/proc/meminfo: memFree=1717392/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=64196 CPUtime=1481.87
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 15441 0 0 0 148161 26 0 0 25 0 1 0 153469792 65736704 15155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 16049 15155 170 317 0 15728 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 64196

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 7094
/proc/meminfo: memFree=1715280/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=66464 CPUtime=1541.85
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 15971 0 0 0 154158 27 0 0 25 0 1 0 153469792 68059136 15685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 16616 15685 170 317 0 16295 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 66464

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 7094
/proc/meminfo: memFree=1713232/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=68688 CPUtime=1601.83
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 16513 0 0 0 160155 28 0 0 25 0 1 0 153469792 70336512 16227 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 17172 16227 170 317 0 16851 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 68688

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 7094
/proc/meminfo: memFree=1711056/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=70896 CPUtime=1661.82
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 17030 0 0 0 166153 29 0 0 25 0 1 0 153469792 72597504 16744 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 17724 16744 170 317 0 17403 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 70896

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 7094
/proc/meminfo: memFree=1709072/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=72756 CPUtime=1721.8
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 17508 0 0 0 172150 30 0 0 25 0 1 0 153469792 74502144 17222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 18189 17222 170 317 0 17868 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 72756

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 7094
/proc/meminfo: memFree=1707280/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=74660 CPUtime=1781.78
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 17974 0 0 0 178147 31 0 0 25 0 1 0 153469792 76451840 17688 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 18665 17688 170 317 0 18344 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 74660



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 7094
/proc/meminfo: memFree=1706704/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=75056 CPUtime=1800.09
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 18102 0 0 0 179977 32 0 0 25 0 1 0 153469792 76857344 17816 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 18764 17816 170 317 0 18443 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 75056

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

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

[startup+1800.8 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 7094
/proc/meminfo: memFree=1706704/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=75056 CPUtime=1800.29
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 18102 0 0 0 179997 32 0 0 25 0 1 0 153469792 76857344 17816 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 18764 17816 170 317 0 18443 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 75056

[startup+1800.9 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 7094
/proc/meminfo: memFree=1706704/2055920 swapFree=4157808/4192956
[pid=7087] ppid=7085 vsize=75056 CPUtime=1800.39
/proc/7087/stat : 7087 (oree) R 7085 7087 2717 0 -1 4194304 18102 0 0 0 180007 32 0 0 25 0 1 0 153469792 76857344 17816 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7087/statm: 18764 17816 170 317 0 18443 0
Current children cumulated CPU time (s) 1800.39
Current children cumulated vsize (KiB) 75056

Child status: 0
Real time (s): 1800.93
CPU time (s): 1800.42
CPU user time (s): 1800.08
CPU system time (s): 0.333949
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 75056

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

runsolver used 1.49377 second user time and 4.09938 second system time

The end

Launcher Data (download as text)

Begin job on node45 on Tue May  1 02:24:02 UTC 2007

IDJOB= 429517
IDBENCH= 47914
IDSOLVER= 172
FILE ID= node45/429517-1177986242

PBS_JOBID= 4727950

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=6-P0=47-P1=23-P2=47-P3=53-P4=59-P5=23-P6=37-P7=61-B.opb
COMMAND LINE= oree /tmp/evaluation/429517-1177986242/instance-429517-1177986242.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node45/convwatcher-429517-1177986242 -o ROOT/results/node45/conversion-429517-1177986242 -C 600 -M 1800 /tmp/evaluation/429517-1177986242/substituteSizeProductKeyword /tmp/evaluation/429517-1177986242/instance-429517-1177986242.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  9967eb2b89437d51526bdf8efb5c6065

RANDOM SEED= 249771780

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node45.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:       1778672 kB
Buffers:         33436 kB
Cached:         159000 kB
SwapCached:      14284 kB
Active:          77988 kB
Inactive:       137904 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1778672 kB
SwapTotal:     4192956 kB
SwapFree:      4157808 kB
Dirty:            1400 kB
Writeback:           0 kB
Mapped:          30516 kB
Slab:            46928 kB
Committed_AS:  1468200 kB
PageTables:       1736 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 node45 on Tue May  1 02:54:04 UTC 2007