Trace number 429405

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.08 1800.77

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=263-P1=409-P2=29-P3=379-B.opb
MD5SUM947e947c586d02edcb816b66608818b9
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.159974
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 variables81
Total number of constraints7
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 constraints7
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)243
Sum of products size (including duplicates)486
Number of different products243
Sum of products size486

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=324 #constraints=497 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.79/0.89	c restart after 401 decisions
1.09/1.14	c nbDecision=500 #constraints=962
2.19/2.30	c restart after 801 decisions
3.19/3.21	c nbDecision=1000 #constraints=1449
4.99/5.04	c nbDecision=1500 #constraints=1940
5.29/5.34	c restart after 1601 decisions
6.19/6.22	c nbDecision=2000 #constraints=2395
7.38/7.46	c nbDecision=2500 #constraints=2859
9.29/9.32	c nbDecision=3000 #constraints=3319
10.18/10.26	c restart after 3201 decisions
12.68/12.78	c nbDecision=3500 #constraints=3763
17.18/17.23	c nbDecision=4000 #constraints=4266
23.58/23.64	c nbDecision=4500 #constraints=4767
32.38/32.41	c nbDecision=5000 #constraints=5249
43.28/43.38	c nbDecision=5500 #constraints=5751
56.58/56.68	c nbDecision=6000 #constraints=6250
69.27/69.31	c restart after 6401 decisions
71.48/71.52	c nbDecision=6500 #constraints=6722
94.26/94.30	c nbDecision=7000 #constraints=7210
116.36/116.44	c nbDecision=7500 #constraints=7691
139.25/139.35	c nbDecision=8000 #constraints=8185
163.55/163.61	c nbDecision=8500 #constraints=8665
189.24/189.37	c nbDecision=9000 #constraints=9150
213.24/213.40	c nbDecision=9500 #constraints=9632
247.33/247.48	c nbDecision=10000 #constraints=10122
271.62/271.72	c nbDecision=10500 #constraints=10584
308.41/308.60	c nbDecision=11000 #constraints=11085
350.80/350.92	c nbDecision=11500 #constraints=11582
383.39/383.50	c nbDecision=12000 #constraints=12063
413.77/413.91	c nbDecision=12500 #constraints=12543
439.10/439.40	c restart after 12801 decisions
442.29/442.50	c nbDecision=13000 #constraints=13021
496.95/497.38	c nbDecision=13500 #constraints=13510
566.04/566.49	c nbDecision=14000 #constraints=14012
612.12/612.57	c nbDecision=14500 #constraints=14484
635.62/636.09	c nbDecision=15000 #constraints=14932
682.10/682.52	c nbDecision=15500 #constraints=15403
735.99/736.41	c nbDecision=16000 #constraints=15904
784.77/785.20	c nbDecision=16500 #constraints=16390
844.86/845.30	c nbDecision=17000 #constraints=16880
912.44/912.95	c nbDecision=17500 #constraints=17357
981.02/981.58	c nbDecision=18000 #constraints=17854
1037.61/1038.19	c nbDecision=18500 #constraints=18353
1100.99/1101.51	c nbDecision=19000 #constraints=18853
1154.48/1155.07	c nbDecision=19500 #constraints=19354
1211.06/1211.66	c nbDecision=20000 #constraints=19844
1264.95/1265.55	c nbDecision=20500 #constraints=20319
1329.24/1329.88	c nbDecision=21000 #constraints=20815
1387.02/1387.66	c nbDecision=21500 #constraints=21301
1448.00/1448.69	c nbDecision=22000 #constraints=21793
1523.28/1523.98	c nbDecision=22500 #constraints=22284
1606.05/1606.71	c nbDecision=23000 #constraints=22764
1672.14/1672.89	c nbDecision=23500 #constraints=23256
1750.42/1751.15	c nbDecision=24000 #constraints=23744
1800.01/1800.71	Received signal 15
1800.01/1800.74	
1800.01/1800.75	s UNKNOWN
1800.01/1800.75	
1800.01/1800.75	c user time= 1799.6 s
1800.01/1800.75	c system time= 0.463929 s
1800.01/1800.75	c wall clock time=1800.75

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/429405-1177984449/instance-429405-1177984449.opb
mv /tmp/evaluation/429405-1177984449/instance-429405-1177984449.opb.tmp /tmp/evaluation/429405-1177984449/instance-429405-1177984449.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node26/watcher-429405-1177984449 -o ROOT/results/node26/solver-429405-1177984449 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/429405-1177984449/instance-429405-1177984449.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.91 0.97 0.90 3/77 8477
/proc/meminfo: memFree=1819912/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=1468 CPUtime=0
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 246361751 1503232 176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 367 177 132 317 0 46 0

[startup+0.0750699 s]
/proc/loadavg: 0.91 0.97 0.90 3/77 8477
/proc/meminfo: memFree=1819912/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=1732 CPUtime=0.07
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 266 0 0 0 7 0 0 0 18 0 1 0 246361751 1773568 249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 433 249 139 317 0 112 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 1732

[startup+0.101071 s]
/proc/loadavg: 0.91 0.97 0.90 3/77 8477
/proc/meminfo: memFree=1819912/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=1864 CPUtime=0.09
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 278 0 0 0 9 0 0 0 18 0 1 0 246361751 1908736 261 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 466 261 139 317 0 145 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1864

[startup+0.301091 s]
/proc/loadavg: 0.91 0.97 0.90 3/77 8477
/proc/meminfo: memFree=1819912/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=2256 CPUtime=0.29
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 379 0 0 0 29 0 0 0 19 0 1 0 246361751 2310144 362 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134546807 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 564 362 139 317 0 243 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2256

[startup+0.701128 s]
/proc/loadavg: 0.91 0.97 0.90 3/77 8477
/proc/meminfo: memFree=1819912/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=3040 CPUtime=0.69
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 570 0 0 0 69 0 0 0 23 0 1 0 246361751 3112960 553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 760 553 139 317 0 439 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3040

[startup+1.5012 s]
/proc/loadavg: 0.91 0.97 0.90 2/78 8478
/proc/meminfo: memFree=1817792/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=4080 CPUtime=1.49
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 849 0 0 0 149 0 0 0 25 0 1 0 246361751 4177920 832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 1020 832 139 317 0 699 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4080

[startup+3.10135 s]
/proc/loadavg: 0.91 0.97 0.90 2/78 8478
/proc/meminfo: memFree=1816256/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=5660 CPUtime=3.09
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 1234 0 0 0 309 0 0 0 25 0 1 0 246361751 5795840 1217 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 1415 1217 139 317 0 1094 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5660

[startup+6.30165 s]
/proc/loadavg: 0.92 0.97 0.90 2/78 8478
/proc/meminfo: memFree=1812544/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=10348 CPUtime=6.29
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 2413 0 0 0 628 1 0 0 25 0 1 0 246361751 10596352 2396 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 2587 2396 170 317 0 2266 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10348

[startup+12.7012 s]
/proc/loadavg: 0.93 0.97 0.90 2/78 8478
/proc/meminfo: memFree=1804744/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=16652 CPUtime=12.68
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 3971 0 0 0 1266 2 0 0 25 0 1 0 246361751 17051648 3954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 4163 3954 170 317 0 3842 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 16652

[startup+25.5014 s]
/proc/loadavg: 0.94 0.97 0.91 2/78 8478
/proc/meminfo: memFree=1799496/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=21888 CPUtime=25.49
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 5238 0 0 0 2545 4 0 0 25 0 1 0 246361751 22413312 5221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 5472 5221 170 317 0 5151 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21888

[startup+51.1018 s]
/proc/loadavg: 0.96 0.97 0.91 2/78 8478
/proc/meminfo: memFree=1794248/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=27460 CPUtime=51.07
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 6545 0 0 0 5102 5 0 0 25 0 1 0 246361751 28119040 6528 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 6865 6528 170 317 0 6544 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 27460

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.91 2/78 8478
/proc/meminfo: memFree=1788424/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=33324 CPUtime=102.27
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 7966 0 0 0 10219 8 0 0 25 0 1 0 246361751 34123776 7949 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563488 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 8331 7949 170 317 0 8010 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 33324

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 8478
/proc/meminfo: memFree=1782792/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=39304 CPUtime=162.25
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 9428 0 0 0 16216 9 0 0 25 0 1 0 246361751 40247296 9353 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 9826 9353 170 317 0 9505 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 39304

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 8478
/proc/meminfo: memFree=1777352/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=45040 CPUtime=222.23
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 10768 0 0 0 22213 10 0 0 25 0 1 0 246361751 46120960 10693 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 11260 10693 170 317 0 10939 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 45040

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 8478
/proc/meminfo: memFree=1773128/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=49576 CPUtime=282.21
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 11816 0 0 0 28210 11 0 0 25 0 1 0 246361751 50765824 11741 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 12394 11741 170 317 0 12073 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 49576

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 8478
/proc/meminfo: memFree=1769736/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=53332 CPUtime=342.2
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 12642 0 0 0 34207 13 0 0 25 0 1 0 246361751 54611968 12567 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 13333 12567 170 317 0 13012 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 53332

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/78 8478
/proc/meminfo: memFree=1765704/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=57300 CPUtime=402.18
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 13645 0 0 0 40204 14 0 0 25 0 1 0 246361751 58675200 13570 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 14325 13570 170 317 0 14004 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 57300

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/84 8654
/proc/meminfo: memFree=1760400/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=61452 CPUtime=462.08
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 14623 0 0 0 46188 20 0 0 25 0 1 0 246361751 62926848 14548 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 15363 14548 170 317 0 15042 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 61452

[startup+522.301 s]
/proc/loadavg: 1.03 0.99 0.91 2/78 9152
/proc/meminfo: memFree=1732936/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=63196 CPUtime=521.95
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 15080 0 0 0 52170 25 0 0 25 0 1 0 246361751 64712704 15005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 15799 15005 170 317 0 15478 0
Current children cumulated CPU time (s) 521.95
Current children cumulated vsize (KiB) 63196

[startup+582.301 s]
/proc/loadavg: 1.01 0.99 0.91 2/78 9152
/proc/meminfo: memFree=1731016/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=65196 CPUtime=581.93
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 15590 0 0 0 58167 26 0 0 25 0 1 0 246361751 66760704 15515 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 16299 15515 170 317 0 15978 0
Current children cumulated CPU time (s) 581.93
Current children cumulated vsize (KiB) 65196

[startup+642.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 9152
/proc/meminfo: memFree=1727688/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=68364 CPUtime=641.92
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 16411 0 0 0 64165 27 0 0 25 0 1 0 246361751 70004736 16336 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 17091 16336 170 317 0 16770 0
Current children cumulated CPU time (s) 641.92
Current children cumulated vsize (KiB) 68364


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

[startup+882.302 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 9152
/proc/meminfo: memFree=1718088/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=79420 CPUtime=881.85
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 18906 0 0 0 88153 32 0 0 25 0 1 0 246361751 81326080 18716 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563770 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 19855 18716 170 317 0 19534 0
Current children cumulated CPU time (s) 881.85
Current children cumulated vsize (KiB) 79420

[startup+942.301 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 9152
/proc/meminfo: memFree=1716296/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=81188 CPUtime=941.84
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 19346 0 0 0 94151 33 0 0 25 0 1 0 246361751 83136512 19156 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 20297 19156 170 317 0 19976 0
Current children cumulated CPU time (s) 941.84
Current children cumulated vsize (KiB) 81188

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 9152
/proc/meminfo: memFree=1714440/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=83444 CPUtime=1001.82
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 19800 0 0 0 100148 34 0 0 25 0 1 0 246361751 85446656 19610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 20861 19610 170 317 0 20540 0
Current children cumulated CPU time (s) 1001.82
Current children cumulated vsize (KiB) 83444

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 9152
/proc/meminfo: memFree=1712456/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=85412 CPUtime=1061.8
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 20303 0 0 0 106146 34 0 0 25 0 1 0 246361751 87461888 20113 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 21353 20113 170 317 0 21032 0
Current children cumulated CPU time (s) 1061.8
Current children cumulated vsize (KiB) 85412

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.91 2/78 9152
/proc/meminfo: memFree=1710472/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=87188 CPUtime=1121.78
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 20786 0 0 0 112143 35 0 0 25 0 1 0 246361751 89280512 20596 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 21797 20596 170 317 0 21476 0
Current children cumulated CPU time (s) 1121.78
Current children cumulated vsize (KiB) 87188

[startup+1182.3 s]
/proc/loadavg: 1.04 1.00 0.92 2/78 9152
/proc/meminfo: memFree=1708552/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=89156 CPUtime=1181.77
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 21288 0 0 0 118141 36 0 0 25 0 1 0 246361751 91295744 21098 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 22289 21098 170 317 0 21968 0
Current children cumulated CPU time (s) 1181.77
Current children cumulated vsize (KiB) 89156

[startup+1242.3 s]
/proc/loadavg: 1.05 1.01 0.93 2/78 9152
/proc/meminfo: memFree=1706056/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=91768 CPUtime=1241.75
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 21882 0 0 0 124138 37 0 0 25 0 1 0 246361751 93970432 21692 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604450 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 22942 21692 170 317 0 22621 0
Current children cumulated CPU time (s) 1241.75
Current children cumulated vsize (KiB) 91768

[startup+1302.3 s]
/proc/loadavg: 1.05 1.02 0.93 2/78 9152
/proc/meminfo: memFree=1703752/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=94060 CPUtime=1301.74
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 22447 0 0 0 130136 38 0 0 25 0 1 0 246361751 96317440 22257 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 23515 22257 170 317 0 23194 0
Current children cumulated CPU time (s) 1301.74
Current children cumulated vsize (KiB) 94060

[startup+1362.3 s]
/proc/loadavg: 1.02 1.02 0.93 2/78 9152
/proc/meminfo: memFree=1701512/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=96700 CPUtime=1361.72
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 23077 0 0 0 136133 39 0 0 25 0 1 0 246361751 99020800 22788 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 24175 22788 170 317 0 23854 0
Current children cumulated CPU time (s) 1361.72
Current children cumulated vsize (KiB) 96700

[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 0.93 2/78 9152
/proc/meminfo: memFree=1699528/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=98828 CPUtime=1421.71
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 23632 0 0 0 142131 40 0 0 25 0 1 0 246361751 101199872 23310 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 24707 23310 170 317 0 24386 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 98828

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 9152
/proc/meminfo: memFree=1697992/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=100712 CPUtime=1481.69
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 24055 0 0 0 148128 41 0 0 25 0 1 0 246361751 103129088 23700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 25178 23700 170 317 0 24857 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 100712

[startup+1542.3 s]
/proc/loadavg: 1.07 1.02 0.94 2/78 9152
/proc/meminfo: memFree=1696328/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=102280 CPUtime=1541.67
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 24432 0 0 0 154125 42 0 0 25 0 1 0 246361751 104734720 24077 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 25570 24077 170 317 0 25249 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 102280

[startup+1602.3 s]
/proc/loadavg: 1.02 1.01 0.94 2/78 9152
/proc/meminfo: memFree=1694792/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=103592 CPUtime=1601.66
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 24822 0 0 0 160123 43 0 0 25 0 1 0 246361751 106078208 24467 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 25898 24467 170 317 0 25577 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 103592

[startup+1662.3 s]
/proc/loadavg: 1.01 1.00 0.94 2/78 9152
/proc/meminfo: memFree=1692936/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=105684 CPUtime=1661.64
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 25299 0 0 0 166120 44 0 0 25 0 1 0 246361751 108220416 24911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 26421 24911 170 317 0 26100 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 105684

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 9152
/proc/meminfo: memFree=1691208/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=107384 CPUtime=1721.63
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 25736 0 0 0 172118 45 0 0 25 0 1 0 246361751 109961216 25348 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 26846 25348 170 317 0 26525 0
Current children cumulated CPU time (s) 1721.63
Current children cumulated vsize (KiB) 107384

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 9152
/proc/meminfo: memFree=1689352/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=109348 CPUtime=1781.6
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 26224 0 0 0 178115 45 0 0 25 0 1 0 246361751 111972352 25803 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 27337 25803 170 317 0 27016 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 109348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 9152
/proc/meminfo: memFree=1688712/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=110140 CPUtime=1800.01
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 26384 0 0 0 179955 46 0 0 25 0 1 0 246361751 112783360 25963 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 27535 25963 170 317 0 27214 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 110140

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 9152
/proc/meminfo: memFree=1688712/2055920 swapFree=4170240/4192956
[pid=8477] ppid=8475 vsize=110140 CPUtime=1800.01
/proc/8477/stat : 8477 (oree) R 8475 8477 7810 0 -1 4194304 26384 0 0 0 179955 46 0 0 25 0 1 0 246361751 112783360 25963 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8477/statm: 27535 25963 170 317 0 27214 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 110140

Child status: 0
Real time (s): 1800.77
CPU time (s): 1800.08
CPU user time (s): 1799.6
CPU system time (s): 0.481926
CPU usage (%): 99.9616
Max. virtual memory (cumulated for all children) (KiB): 110140

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

runsolver used 1.46178 second user time and 4.00839 second system time

The end

Launcher Data (download as text)

Begin job on node26 on Tue May  1 01:54:09 UTC 2007

IDJOB= 429405
IDBENCH= 47906
IDSOLVER= 172
FILE ID= node26/429405-1177984449

PBS_JOBID= 4728075

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=263-P1=409-P2=29-P3=379-B.opb
COMMAND LINE= oree /tmp/evaluation/429405-1177984449/instance-429405-1177984449.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node26/convwatcher-429405-1177984449 -o ROOT/results/node26/conversion-429405-1177984449 -C 600 -M 1800 /tmp/evaluation/429405-1177984449/substituteSizeProductKeyword /tmp/evaluation/429405-1177984449/instance-429405-1177984449.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  947e947c586d02edcb816b66608818b9

RANDOM SEED= 441920540

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node26.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:       1820384 kB
Buffers:         30652 kB
Cached:         114240 kB
SwapCached:       3416 kB
Active:          61820 kB
Inactive:       106824 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1820384 kB
SwapTotal:     4192956 kB
SwapFree:      4170240 kB
Dirty:            1336 kB
Writeback:           0 kB
Mapped:          31264 kB
Slab:            52564 kB
Committed_AS:  1347848 kB
PageTables:       1720 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 node26 on Tue May  1 02:24:12 UTC 2007