Trace number 430637

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.17 1800.67

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=251-P1=251-P2=101-P3=11-P4=89-P5=53-P6=439-P7=491-P8=389-B.opb
MD5SUM016a6113efb9500350327fbbc3111675
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.340947
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 variables216
Total number of constraints17
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints17
Minimum length of a 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)648
Sum of products size (including duplicates)1296
Number of different products648
Sum of products size1296

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.00/0.01	c ...done
0.00/0.01	c #vars=864 #constraints=1322 hasObjective=yes
0.00/0.01	c res. mode=mod
0.00/0.01	c VSIDS like heuristics
0.00/0.01	c complete search running
0.79/0.87	c restart after 401 decisions
1.00/1.08	c nbDecision=500 #constraints=1785
2.10/2.19	c restart after 801 decisions
2.59/2.66	c nbDecision=1000 #constraints=2253
3.89/3.90	c nbDecision=1500 #constraints=2744
4.09/4.13	c restart after 1601 decisions
5.39/5.49	c nbDecision=2000 #constraints=3204
6.69/6.75	c nbDecision=2500 #constraints=3694
7.89/7.95	c nbDecision=3000 #constraints=4187
8.58/8.66	c restart after 3201 decisions
10.38/10.40	c nbDecision=3500 #constraints=4658
12.87/12.95	c nbDecision=4000 #constraints=5146
16.56/16.60	c nbDecision=4500 #constraints=5643
22.07/22.17	c nbDecision=5000 #constraints=6144
28.86/28.97	c nbDecision=5500 #constraints=6633
31.26/31.39	c nbDecision=6000 #constraints=7133
34.07/34.13	c restart after 6401 decisions
34.76/34.84	c nbDecision=6500 #constraints=7603
44.76/44.86	c nbDecision=7000 #constraints=8090
53.36/53.45	c nbDecision=7500 #constraints=8570
56.45/56.55	c nbDecision=8000 #constraints=9072
58.06/58.15	c nbDecision=8500 #constraints=9546
58.86/58.94	c nbDecision=9000 #constraints=10025
60.55/60.69	c nbDecision=9500 #constraints=10504
63.55/63.66	c nbDecision=10000 #constraints=11002
68.15/68.20	c nbDecision=10500 #constraints=11502
74.95/75.03	c nbDecision=11000 #constraints=12002
84.85/84.95	c nbDecision=11500 #constraints=12499
92.25/92.37	c nbDecision=12000 #constraints=12987
103.94/104.06	c nbDecision=12500 #constraints=13475
111.94/112.09	c restart after 12801 decisions
116.24/116.30	c nbDecision=13000 #constraints=13909
129.54/129.60	c nbDecision=13500 #constraints=14399
137.23/137.33	c nbDecision=14000 #constraints=14901
144.73/144.85	c nbDecision=14500 #constraints=15361
151.73/151.82	c nbDecision=15000 #constraints=15805
171.23/171.39	c nbDecision=15500 #constraints=16305
192.91/193.06	c nbDecision=16000 #constraints=16808
214.71/214.85	c nbDecision=16500 #constraints=17306
237.60/237.75	c nbDecision=17000 #constraints=17803
263.29/263.46	c nbDecision=17500 #constraints=18302
292.79/292.94	c nbDecision=18000 #constraints=18803
317.19/317.37	c nbDecision=18500 #constraints=19280
338.78/338.99	c nbDecision=19000 #constraints=19748
380.67/380.87	c nbDecision=19500 #constraints=20246
422.56/422.75	c nbDecision=20000 #constraints=20732
448.85/449.02	c nbDecision=20500 #constraints=21213
479.94/480.12	c nbDecision=21000 #constraints=21683
523.73/523.93	c nbDecision=21500 #constraints=22163
572.82/573.06	c nbDecision=22000 #constraints=22659
607.30/607.57	c nbDecision=22500 #constraints=23143
647.80/648.08	c nbDecision=23000 #constraints=23622
694.88/695.13	c nbDecision=23500 #constraints=24124
723.68/723.94	c nbDecision=24000 #constraints=24585
791.06/791.33	c nbDecision=24500 #constraints=25082
848.05/848.35	c nbDecision=25000 #constraints=25584
905.82/906.13	c nbDecision=25500 #constraints=26077
917.73/918.05	c restart after 25601 decisions
925.12/925.41	c nbDecision=26000 #constraints=26494
929.92/930.28	c nbDecision=26500 #constraints=26995
935.02/935.35	c nbDecision=27000 #constraints=27495
984.50/984.88	c nbDecision=27500 #constraints=27962
1056.29/1056.69	c nbDecision=28000 #constraints=28435
1107.07/1107.50	c nbDecision=28500 #constraints=28925
1190.75/1191.14	c nbDecision=29000 #constraints=29421
1278.53/1278.99	c nbDecision=29500 #constraints=29919
1330.42/1330.81	c nbDecision=30000 #constraints=30404
1392.40/1392.81	c nbDecision=30500 #constraints=30884
1462.88/1463.35	c nbDecision=31000 #constraints=31371
1524.76/1525.27	c nbDecision=31500 #constraints=31837
1606.24/1606.78	c nbDecision=32000 #constraints=32317
1700.51/1701.05	c nbDecision=32500 #constraints=32812
1775.59/1776.19	c nbDecision=33000 #constraints=33262
1800.09/1800.60	Received signal 15
1800.09/1800.64	
1800.09/1800.64	s UNKNOWN
1800.09/1800.64	
1800.09/1800.64	c user time= 1799.69 s
1800.09/1800.64	c system time= 0.449931 s
1800.09/1800.64	c wall clock time=1800.64

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/430637-1177997341/instance-430637-1177997341.opb
mv /tmp/evaluation/430637-1177997341/instance-430637-1177997341.opb.tmp /tmp/evaluation/430637-1177997341/instance-430637-1177997341.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node72/watcher-430637-1177997341 -o ROOT/results/node72/solver-430637-1177997341 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/430637-1177997341/instance-430637-1177997341.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.92 0.98 0.99 3/77 18731
/proc/meminfo: memFree=1779616/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=1468 CPUtime=0
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 191 0 0 0 0 0 0 0 18 0 1 0 275772558 1503232 174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0
/proc/18731/statm: 367 175 132 317 0 46 0

[startup+0.0182751 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 18731
/proc/meminfo: memFree=1779616/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=2128 CPUtime=0.01
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 334 0 0 0 1 0 0 0 18 0 1 0 275772558 2179072 317 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718665 0 0 4096 17474 0 0 0 17 0 0 0
/proc/18731/statm: 532 317 139 317 0 211 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2128

[startup+0.101283 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 18731
/proc/meminfo: memFree=1779616/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=2260 CPUtime=0.1
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 367 0 0 0 10 0 0 0 18 0 1 0 275772558 2314240 350 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712475 0 0 4096 17474 0 0 0 17 0 0 0
/proc/18731/statm: 565 350 139 317 0 244 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2260

[startup+0.301302 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 18731
/proc/meminfo: memFree=1779616/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=2652 CPUtime=0.3
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 481 0 0 0 30 0 0 0 19 0 1 0 275772558 2715648 464 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272619 0 0 4096 17474 0 0 0 17 0 0 0
/proc/18731/statm: 663 464 139 317 0 342 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 2652

[startup+0.701338 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 18731
/proc/meminfo: memFree=1779616/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=3432 CPUtime=0.69
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 673 0 0 0 69 0 0 0 23 0 1 0 275772558 3514368 656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284208 0 0 4096 17474 0 0 0 17 0 0 0
/proc/18731/statm: 858 656 139 317 0 537 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3432

[startup+1.50141 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 18732
/proc/meminfo: memFree=1777112/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=4608 CPUtime=1.49
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 956 0 0 0 149 0 0 0 25 0 1 0 275772558 4718592 939 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 0 0 0
/proc/18731/statm: 1152 939 139 317 0 831 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4608

[startup+3.10156 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 18732
/proc/meminfo: memFree=1775640/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=6836 CPUtime=3.09
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 1532 0 0 0 309 0 0 0 25 0 1 0 275772558 7000064 1515 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0
/proc/18731/statm: 1709 1515 139 317 0 1388 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6836

[startup+6.30285 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 18732
/proc/meminfo: memFree=1770456/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=11840 CPUtime=6.29
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 2763 0 0 0 628 1 0 0 25 0 1 0 275772558 12124160 2746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 0 0 0
/proc/18731/statm: 2960 2746 139 317 0 2639 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11840

[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 18732
/proc/meminfo: memFree=1762016/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=19180 CPUtime=12.67
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 4589 0 0 0 1265 2 0 0 25 0 1 0 275772558 19640320 4572 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278906 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18731/statm: 4795 4572 139 317 0 4474 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 19180

[startup+25.5024 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 18732
/proc/meminfo: memFree=1755808/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=25264 CPUtime=25.47
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 6080 0 0 0 2544 3 0 0 25 0 1 0 275772558 25870336 6027 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18731/statm: 6316 6027 139 317 0 5995 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 25264

[startup+51.1028 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 18732
/proc/meminfo: memFree=1746976/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=34288 CPUtime=51.06
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 8301 0 0 0 5101 5 0 0 25 0 1 0 275772558 35110912 8248 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18731/statm: 8572 8248 139 317 0 8251 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 34288

[startup+102.305 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 18732
/proc/meminfo: memFree=1723744/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=57884 CPUtime=102.25
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 14112 0 0 0 10215 10 0 0 25 0 1 0 275772558 59273216 13988 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18731/statm: 14471 13988 139 317 0 14150 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 57884

[startup+162.303 s]
/proc/loadavg: 1.06 1.03 1.00 2/78 18732
/proc/meminfo: memFree=1711840/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=70300 CPUtime=162.23
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 17122 0 0 0 16209 14 0 0 25 0 1 0 275772558 71987200 16998 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18731/statm: 17575 16998 170 317 0 17254 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 70300

[startup+222.303 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 18732
/proc/meminfo: memFree=1705568/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=76564 CPUtime=222.22
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 18663 0 0 0 22206 16 0 0 25 0 1 0 275772558 78401536 18539 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18731/statm: 19141 18539 170 317 0 18820 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 76564

[startup+282.301 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 18732
/proc/meminfo: memFree=1700256/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=82536 CPUtime=282.2
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 19993 0 0 0 28202 18 0 0 25 0 1 0 275772558 84516864 19869 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18731/statm: 20634 19869 170 317 0 20313 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 82536

[startup+342.302 s]
/proc/loadavg: 1.00 1.01 1.00 3/78 18734
/proc/meminfo: memFree=1695008/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=87512 CPUtime=342.18
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 21264 0 0 0 34199 19 0 0 25 0 1 0 275772558 89612288 21140 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18731/statm: 21878 21140 170 317 0 21557 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 87512

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18734
/proc/meminfo: memFree=1691744/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=90772 CPUtime=402.16
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 22083 0 0 0 40195 21 0 0 25 0 1 0 275772558 92950528 21959 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18731/statm: 22693 21959 170 317 0 22372 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 90772

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18734
/proc/meminfo: memFree=1687200/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=96596 CPUtime=462.15
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 23365 0 0 0 46193 22 0 0 25 0 1 0 275772558 98914304 23100 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18731/statm: 24149 23100 170 317 0 23828 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 96596

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18734
/proc/meminfo: memFree=1684448/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=99532 CPUtime=522.13
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 24057 0 0 0 52190 23 0 0 25 0 1 0 275772558 101920768 23792 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18731/statm: 24883 23792 170 317 0 24562 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 99532

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18734
/proc/meminfo: memFree=1681760/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=102064 CPUtime=582.11
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 24720 0 0 0 58187 24 0 0 25 0 1 0 275772558 104513536 24455 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18731/statm: 25516 24455 170 317 0 25195 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 102064

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18734
/proc/meminfo: memFree=1677600/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=106544 CPUtime=642.11
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 25752 0 0 0 64185 26 0 0 25 0 1 0 275772558 109101056 25487 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18731/statm: 26636 25487 170 317 0 26315 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 106544


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

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18734
/proc/meminfo: memFree=1669920/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=114736 CPUtime=822.05
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 27663 0 0 0 82177 28 0 0 25 0 1 0 275772558 117489664 27398 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18731/statm: 28684 27398 170 317 0 28363 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 114736

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18734
/proc/meminfo: memFree=1667744/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=117100 CPUtime=882.03
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 28199 0 0 0 88174 29 0 0 25 0 1 0 275772558 119910400 27934 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18731/statm: 29275 27934 170 317 0 28954 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 117100

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18734
/proc/meminfo: memFree=1660128/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=125280 CPUtime=942.02
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 30124 0 0 0 94171 31 0 0 25 0 1 0 275772558 128286720 29859 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18731/statm: 31320 29859 170 317 0 30999 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 125280

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18734
/proc/meminfo: memFree=1657760/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=127652 CPUtime=1002
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 30672 0 0 0 100169 31 0 0 25 0 1 0 275772558 130715648 30407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18731/statm: 31913 30407 170 317 0 31592 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 127652

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18734
/proc/meminfo: memFree=1655712/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=129740 CPUtime=1061.99
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 31185 0 0 0 106166 33 0 0 25 0 1 0 275772558 132853760 30920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18731/statm: 32435 30920 170 317 0 32114 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 129740

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18734
/proc/meminfo: memFree=1653920/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=131444 CPUtime=1121.97
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 31624 0 0 0 112163 34 0 0 25 0 1 0 275772558 134598656 31359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18731/statm: 32861 31359 170 317 0 32540 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 131444

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18734
/proc/meminfo: memFree=1652320/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=133084 CPUtime=1181.96
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 32040 0 0 0 118161 35 0 0 25 0 1 0 275772558 136278016 31775 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18731/statm: 33271 31775 170 317 0 32950 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 133084

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18734
/proc/meminfo: memFree=1650720/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=134652 CPUtime=1241.94
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 32410 0 0 0 124158 36 0 0 25 0 1 0 275772558 137883648 32145 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18731/statm: 33663 32145 170 317 0 33342 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 134652

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18734
/proc/meminfo: memFree=1648288/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=136956 CPUtime=1301.93
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 33005 0 0 0 130156 37 0 0 25 0 1 0 275772558 140242944 32740 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18731/statm: 34239 32740 170 317 0 33918 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 136956

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18734
/proc/meminfo: memFree=1646304/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=138800 CPUtime=1361.91
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 33487 0 0 0 136153 38 0 0 25 0 1 0 275772558 142131200 33222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715632 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18731/statm: 34700 33222 170 317 0 34379 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 138800

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18734
/proc/meminfo: memFree=1644320/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=140760 CPUtime=1421.89
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 33964 0 0 0 142151 38 0 0 25 0 1 0 275772558 144138240 33699 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18731/statm: 35190 33699 170 317 0 34869 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 140760

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18734
/proc/meminfo: memFree=1642272/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=143008 CPUtime=1481.87
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 34506 0 0 0 148148 39 0 0 25 0 1 0 275772558 146440192 34208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18731/statm: 35752 34208 170 317 0 35431 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 143008

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18734
/proc/meminfo: memFree=1640800/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=144828 CPUtime=1541.85
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 34994 0 0 0 154145 40 0 0 25 0 1 0 275772558 148303872 34597 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18731/statm: 36207 34597 170 317 0 35886 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 144828

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18734
/proc/meminfo: memFree=1639072/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=146848 CPUtime=1601.84
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 35416 0 0 0 160142 42 0 0 25 0 1 0 275772558 150372352 35019 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18731/statm: 36712 35019 170 317 0 36391 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 146848

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18734
/proc/meminfo: memFree=1637856/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=148544 CPUtime=1661.82
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 35800 0 0 0 166140 42 0 0 25 0 1 0 275772558 152109056 35304 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18731/statm: 37136 35304 170 317 0 36815 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 148544

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18734
/proc/meminfo: memFree=1636384/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=150112 CPUtime=1721.81
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 36208 0 0 0 172138 43 0 0 25 0 1 0 275772558 153714688 35679 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18731/statm: 37528 35679 170 317 0 37207 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 150112

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18734
/proc/meminfo: memFree=1634912/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=151552 CPUtime=1781.79
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 36585 0 0 0 178135 44 0 0 25 0 1 0 275772558 155189248 36056 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18731/statm: 37888 36056 170 317 0 37567 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 151552



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 18734
/proc/meminfo: memFree=1634400/2055920 swapFree=4157100/4192956
[pid=18731] ppid=18729 vsize=152076 CPUtime=1800.09
/proc/18731/stat : 18731 (oree) R 18729 18731 18088 0 -1 4194304 36706 0 0 0 179965 44 0 0 25 0 1 0 275772558 155725824 36177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18731/statm: 38019 36177 170 317 0 37698 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 152076

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

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

Child status: 0
Real time (s): 1800.67
CPU time (s): 1800.17
CPU user time (s): 1799.69
CPU system time (s): 0.474927
CPU usage (%): 99.972
Max. virtual memory (cumulated for all children) (KiB): 152076

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

runsolver used 1.57976 second user time and 4.45832 second system time

The end

Launcher Data (download as text)

Begin job on node72 on Tue May  1 05:29:01 UTC 2007

IDJOB= 430637
IDBENCH= 47994
IDSOLVER= 172
FILE ID= node72/430637-1177997341

PBS_JOBID= 4728255

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=251-P1=251-P2=101-P3=11-P4=89-P5=53-P6=439-P7=491-P8=389-B.opb
COMMAND LINE= oree /tmp/evaluation/430637-1177997341/instance-430637-1177997341.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node72/convwatcher-430637-1177997341 -o ROOT/results/node72/conversion-430637-1177997341 -C 600 -M 1800 /tmp/evaluation/430637-1177997341/substituteSizeProductKeyword /tmp/evaluation/430637-1177997341/instance-430637-1177997341.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  016a6113efb9500350327fbbc3111675

RANDOM SEED= 599565369

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node72.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.222
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	: 5931.00
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.222
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:       1780024 kB
Buffers:         37380 kB
Cached:         152160 kB
SwapCached:      16772 kB
Active:          73556 kB
Inactive:       139260 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1780024 kB
SwapTotal:     4192956 kB
SwapFree:      4157100 kB
Dirty:            1340 kB
Writeback:           0 kB
Mapped:          30080 kB
Slab:            48620 kB
Committed_AS:  3456712 kB
PageTables:       1792 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 node72 on Tue May  1 05:59:04 UTC 2007