Trace number 430343

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.36 1800.9

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=191-P1=151-P2=41-P3=257-P4=191-B.opb
MD5SUMe04f59e7146720276551350f74bab120
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.100984
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 variables96
Total number of constraints9
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 constraints9
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)256
Sum of products size (including duplicates)512
Number of different products256
Sum of products size512

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=352 #constraints=526 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.59/0.66	c restart after 401 decisions
0.79/0.80	c nbDecision=500 #constraints=967
1.59/1.60	c restart after 801 decisions
1.99/2.08	c nbDecision=1000 #constraints=1433
2.69/2.71	c nbDecision=1500 #constraints=1895
2.69/2.80	c restart after 1601 decisions
3.59/3.63	c nbDecision=2000 #constraints=2356
4.79/4.84	c nbDecision=2500 #constraints=2824
6.69/6.70	c nbDecision=3000 #constraints=3282
7.39/7.47	c restart after 3201 decisions
8.99/9.09	c nbDecision=3500 #constraints=3732
12.79/12.88	c nbDecision=4000 #constraints=4225
17.39/17.41	c nbDecision=4500 #constraints=4713
22.28/22.31	c nbDecision=5000 #constraints=5200
28.98/29.01	c nbDecision=5500 #constraints=5664
36.89/36.92	c nbDecision=6000 #constraints=6137
44.68/44.76	c restart after 6401 decisions
45.38/45.42	c nbDecision=6500 #constraints=6606
60.97/61.00	c nbDecision=7000 #constraints=7086
77.67/77.71	c nbDecision=7500 #constraints=7588
95.37/95.42	c nbDecision=8000 #constraints=8075
120.96/121.03	c nbDecision=8500 #constraints=8575
134.26/134.39	c nbDecision=9000 #constraints=9039
155.45/155.57	c nbDecision=9500 #constraints=9513
176.25/176.32	c nbDecision=10000 #constraints=9965
203.35/203.42	c nbDecision=10500 #constraints=10449
227.93/228.02	c nbDecision=11000 #constraints=10916
249.03/249.16	c nbDecision=11500 #constraints=11359
273.62/273.79	c nbDecision=12000 #constraints=11835
296.83/296.92	c nbDecision=12500 #constraints=12306
319.02/319.12	c restart after 12801 decisions
320.51/320.62	c nbDecision=13000 #constraints=12766
356.01/356.19	c nbDecision=13500 #constraints=13251
398.79/398.99	c nbDecision=14000 #constraints=13739
437.69/437.89	c nbDecision=14500 #constraints=14203
476.07/476.26	c nbDecision=15000 #constraints=14687
520.37/520.55	c nbDecision=15500 #constraints=15168
565.85/566.07	c nbDecision=16000 #constraints=15659
600.14/600.36	c nbDecision=16500 #constraints=16111
647.13/647.30	c nbDecision=17000 #constraints=16603
694.22/694.48	c nbDecision=17500 #constraints=17088
743.42/743.65	c nbDecision=18000 #constraints=17577
784.00/784.29	c nbDecision=18500 #constraints=18048
833.09/833.34	c nbDecision=19000 #constraints=18536
864.29/864.58	c nbDecision=19500 #constraints=18974
897.87/898.17	c nbDecision=20000 #constraints=19431
944.36/944.62	c nbDecision=20500 #constraints=19927
986.35/986.69	c nbDecision=21000 #constraints=20367
1060.14/1060.48	c nbDecision=21500 #constraints=20867
1126.32/1126.63	c nbDecision=22000 #constraints=21364
1190.20/1190.55	c nbDecision=22500 #constraints=21840
1239.09/1239.46	c nbDecision=23000 #constraints=22315
1276.38/1276.74	c nbDecision=23500 #constraints=22738
1333.67/1334.00	c nbDecision=24000 #constraints=23226
1394.15/1394.53	c nbDecision=24500 #constraints=23692
1445.34/1445.73	c nbDecision=25000 #constraints=24166
1479.14/1479.56	c nbDecision=25500 #constraints=24639
1492.13/1492.51	c restart after 25601 decisions
1551.42/1551.87	c nbDecision=26000 #constraints=25089
1657.49/1657.94	c nbDecision=26500 #constraints=25581
1762.68/1763.25	c nbDecision=27000 #constraints=26072
1800.06/1800.61	Received signal 15
1800.25/1800.87	
1800.25/1800.87	s UNKNOWN
1800.25/1800.87	
1800.25/1800.87	c user time= 1800.08 s
1800.25/1800.87	c system time= 0.25996 s
1800.25/1800.87	c wall clock time=1800.87

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/430343-1177993934/instance-430343-1177993934.opb
mv /tmp/evaluation/430343-1177993934/instance-430343-1177993934.opb.tmp /tmp/evaluation/430343-1177993934/instance-430343-1177993934.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node68/watcher-430343-1177993934 -o ROOT/results/node68/solver-430343-1177993934 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430343-1177993934/instance-430343-1177993934.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 1.00 3/64 1544
/proc/meminfo: memFree=1790152/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=1468 CPUtime=0
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 275382961 1503232 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 367 176 132 317 0 46 0

[startup+0.050431 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1544
/proc/meminfo: memFree=1790152/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=1740 CPUtime=0.04
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 260 0 0 0 4 0 0 0 18 0 1 0 275382961 1781760 243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 435 243 139 317 0 114 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 1740

[startup+0.102434 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1544
/proc/meminfo: memFree=1790152/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=1868 CPUtime=0.09
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 289 0 0 0 9 0 0 0 18 0 1 0 275382961 1912832 272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272611 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 467 272 139 317 0 146 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1868

[startup+0.302452 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1544
/proc/meminfo: memFree=1790152/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=2388 CPUtime=0.29
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 417 0 0 0 29 0 0 0 19 0 1 0 275382961 2445312 400 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 597 400 139 317 0 276 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2388

[startup+0.702488 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 1544
/proc/meminfo: memFree=1790152/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=3296 CPUtime=0.69
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 626 0 0 0 69 0 0 0 22 0 1 0 275382961 3375104 609 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272561 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 824 609 139 317 0 503 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3296

[startup+1.50156 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1545
/proc/meminfo: memFree=1787712/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=4608 CPUtime=1.49
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 956 0 0 0 149 0 0 0 25 0 1 0 275382961 4718592 939 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 1152 939 139 317 0 831 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4608

[startup+3.10171 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1545
/proc/meminfo: memFree=1786048/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=8288 CPUtime=3.09
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 1876 0 0 0 309 0 0 0 25 0 1 0 275382961 8486912 1859 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266187 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 2072 1859 139 317 0 1751 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8288

[startup+6.30199 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1545
/proc/meminfo: memFree=1779648/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=12592 CPUtime=6.29
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 2972 0 0 0 628 1 0 0 25 0 1 0 275382961 12894208 2955 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 3148 2955 170 317 0 2827 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12592

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1545
/proc/meminfo: memFree=1774472/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=17164 CPUtime=12.69
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 4057 0 0 0 1267 2 0 0 25 0 1 0 275382961 17575936 4040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564092 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 4291 4040 170 317 0 3970 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17164

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1545
/proc/meminfo: memFree=1770120/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=21512 CPUtime=25.49
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 5132 0 0 0 2546 3 0 0 25 0 1 0 275382961 22028288 5115 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 5378 5115 170 317 0 5057 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21512

[startup+51.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1545
/proc/meminfo: memFree=1764808/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=27256 CPUtime=51.08
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 6468 0 0 0 5104 4 0 0 25 0 1 0 275382961 27910144 6451 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 6814 6451 170 317 0 6493 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 27256

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1545
/proc/meminfo: memFree=1758856/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=33092 CPUtime=102.27
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 7917 0 0 0 10222 5 0 0 25 0 1 0 275382961 33886208 7900 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 8273 7900 170 317 0 7952 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 33092

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1545
/proc/meminfo: memFree=1753352/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=38596 CPUtime=162.25
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 9342 0 0 0 16219 6 0 0 25 0 1 0 275382961 39522304 9268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 9649 9268 170 317 0 9328 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 38596

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1545
/proc/meminfo: memFree=1749064/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=43212 CPUtime=222.23
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 10409 0 0 0 22216 7 0 0 25 0 1 0 275382961 44249088 10335 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 10803 10335 170 317 0 10482 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 43212

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1545
/proc/meminfo: memFree=1743944/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=49308 CPUtime=282.22
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 11694 0 0 0 28214 8 0 0 25 0 1 0 275382961 50491392 11620 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 12327 11620 170 317 0 12006 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 49308

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1545
/proc/meminfo: memFree=1739720/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=53416 CPUtime=342.2
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 12732 0 0 0 34211 9 0 0 25 0 1 0 275382961 54697984 12658 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 13354 12658 170 317 0 13033 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 53416

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1545
/proc/meminfo: memFree=1736904/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=56356 CPUtime=402.19
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 13441 0 0 0 40209 10 0 0 25 0 1 0 275382961 57708544 13367 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 14089 13367 170 317 0 13768 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 56356

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1545
/proc/meminfo: memFree=1733960/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=59324 CPUtime=462.18
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 14174 0 0 0 46207 11 0 0 25 0 1 0 275382961 60747776 14100 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 14831 14100 170 317 0 14510 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 59324

[startup+522.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1545
/proc/meminfo: memFree=1731336/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=61928 CPUtime=522.17
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 14823 0 0 0 52204 13 0 0 25 0 1 0 275382961 63414272 14749 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 15482 14749 170 317 0 15161 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 61928

[startup+582.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1547
/proc/meminfo: memFree=1728200/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=64684 CPUtime=582.15
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 15564 0 0 0 58202 13 0 0 25 0 1 0 275382961 66236416 15490 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 16171 15490 170 317 0 15850 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 64684

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1547
/proc/meminfo: memFree=1725256/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=67952 CPUtime=642.14
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 16355 0 0 0 64200 14 0 0 25 0 1 0 275382961 69582848 16168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 16988 16168 170 317 0 16667 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 67952


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1547
/proc/meminfo: memFree=1714952/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=79416 CPUtime=882.07
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 18990 0 0 0 88191 16 0 0 25 0 1 0 275382961 81321984 18803 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 19854 18803 170 317 0 19533 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 79416

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1547
/proc/meminfo: memFree=1712392/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=81888 CPUtime=942.06
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 19615 0 0 0 94189 17 0 0 25 0 1 0 275382961 83853312 19428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 20472 19428 170 317 0 20151 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 81888

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1547
/proc/meminfo: memFree=1710216/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=84240 CPUtime=1002.05
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 20159 0 0 0 100187 18 0 0 25 0 1 0 275382961 86261760 19972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 21060 19972 170 317 0 20739 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 84240

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1547
/proc/meminfo: memFree=1708616/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=85852 CPUtime=1062.04
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 20550 0 0 0 106186 18 0 0 25 0 1 0 275382961 87912448 20363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 21463 20363 170 317 0 21142 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 85852

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1547
/proc/meminfo: memFree=1707144/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=87488 CPUtime=1122.02
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 20920 0 0 0 112183 19 0 0 25 0 1 0 275382961 89587712 20733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563935 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 21872 20733 170 317 0 21551 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 87488

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1547
/proc/meminfo: memFree=1704392/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=91292 CPUtime=1182
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 21611 0 0 0 118181 19 0 0 25 0 1 0 275382961 93483008 21424 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604492 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 22823 21424 170 317 0 22502 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 91292

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1547
/proc/meminfo: memFree=1702024/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=93720 CPUtime=1241.99
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 22180 0 0 0 124179 20 0 0 25 0 1 0 275382961 95969280 21993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 23430 21993 170 317 0 23109 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 93720

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1547
/proc/meminfo: memFree=1699400/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=96464 CPUtime=1301.97
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 22897 0 0 0 130177 20 0 0 25 0 1 0 275382961 98779136 22644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 24116 22644 170 317 0 23795 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 96464

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1547
/proc/meminfo: memFree=1697800/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=98312 CPUtime=1361.96
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 23321 0 0 0 136175 21 0 0 25 0 1 0 275382961 100671488 23035 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 24578 23035 170 317 0 24257 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 98312

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1547
/proc/meminfo: memFree=1695816/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=100152 CPUtime=1421.95
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 23844 0 0 0 142174 21 0 0 25 0 1 0 275382961 102555648 23525 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 25038 23525 170 317 0 24717 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 100152

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1547
/proc/meminfo: memFree=1692936/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=102800 CPUtime=1481.93
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 24568 0 0 0 148171 22 0 0 25 0 1 0 275382961 105267200 24249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 25700 24249 170 317 0 25379 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 102800

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1547
/proc/meminfo: memFree=1691400/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=104368 CPUtime=1541.92
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 24942 0 0 0 154169 23 0 0 25 0 1 0 275382961 106872832 24623 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710946 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 26092 24623 170 317 0 25771 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 104368

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1547
/proc/meminfo: memFree=1690376/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=105404 CPUtime=1601.9
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 25194 0 0 0 160167 23 0 0 25 0 1 0 275382961 107933696 24875 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712518 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 26351 24875 170 317 0 26030 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 105404

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1547
/proc/meminfo: memFree=1689224/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=106704 CPUtime=1661.88
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 25473 0 0 0 166165 23 0 0 25 0 1 0 275382961 109264896 25154 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 26676 25154 170 317 0 26355 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 106704

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1547
/proc/meminfo: memFree=1688136/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=107736 CPUtime=1721.88
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 25745 0 0 0 172164 24 0 0 25 0 1 0 275382961 110321664 25426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 26934 25426 170 317 0 26613 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 107736

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1750
/proc/meminfo: memFree=1686520/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=108640 CPUtime=1781.75
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 25992 0 0 0 178150 25 0 0 25 0 1 0 275382961 111247360 25673 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 27160 25673 170 317 0 26839 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 108640



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 1750
/proc/meminfo: memFree=1686280/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=109068 CPUtime=1800.06
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 26108 0 0 0 179981 25 0 0 25 0 1 0 275382961 111685632 25789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715641 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 27267 25789 170 317 0 26946 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 109068

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: 1.00 1.00 1.00 2/65 1750
/proc/meminfo: memFree=1686280/2055920 swapFree=4183864/4192956
[pid=1544] ppid=1542 vsize=109068 CPUtime=1800.25
/proc/1544/stat : 1544 (oree) R 1542 1544 1372 0 -1 4194304 26109 0 0 0 180000 25 0 0 25 0 1 0 275382961 111685632 25790 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/1544/statm: 27267 25790 170 317 0 26946 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 109068

Child status: 0
Real time (s): 1800.9
CPU time (s): 1800.36
CPU user time (s): 1800.08
CPU system time (s): 0.277957
CPU usage (%): 99.97
Max. virtual memory (cumulated for all children) (KiB): 109068

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

runsolver used 1.48477 second user time and 3.49347 second system time

The end

Launcher Data (download as text)

Begin job on node68 on Tue May  1 04:32:14 UTC 2007

IDJOB= 430343
IDBENCH= 47973
IDSOLVER= 172
FILE ID= node68/430343-1177993934

PBS_JOBID= 4728231

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=191-P1=151-P2=41-P3=257-P4=191-B.opb
COMMAND LINE= oree /tmp/evaluation/430343-1177993934/instance-430343-1177993934.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node68/convwatcher-430343-1177993934 -o ROOT/results/node68/conversion-430343-1177993934 -C 600 -M 1800 /tmp/evaluation/430343-1177993934/substituteSizeProductKeyword /tmp/evaluation/430343-1177993934/instance-430343-1177993934.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  e04f59e7146720276551350f74bab120

RANDOM SEED= 522168337

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node68.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.216
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.216
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:       1790560 kB
Buffers:         12032 kB
Cached:         181464 kB
SwapCached:       2888 kB
Active:          63028 kB
Inactive:       139868 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1790560 kB
SwapTotal:     4192956 kB
SwapFree:      4183864 kB
Dirty:            1308 kB
Writeback:           0 kB
Mapped:          15392 kB
Slab:            48564 kB
Committed_AS:  3056376 kB
PageTables:       1380 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 node68 on Tue May  1 05:02:17 UTC 2007