Trace number 431743

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.73

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=53-P1=37-P2=29-P3=83-P4=23-P5=67-B.opb
MD5SUMfeb866c77c1922bd09324402c14b21f3
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.089985
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 variables105
Total number of constraints11
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 constraints11
Minimum length of a constraint7
Maximum length of a constraint63
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 32512
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)245
Sum of products size (including duplicates)490
Number of different products245
Sum of products size490

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=350 #constraints=507 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.39/0.44	c restart after 401 decisions
0.49/0.55	c nbDecision=500 #constraints=960
0.89/0.94	c restart after 801 decisions
1.09/1.20	c nbDecision=1000 #constraints=1417
1.69/1.73	c nbDecision=1500 #constraints=1882
1.79/1.84	c restart after 1601 decisions
2.39/2.46	c nbDecision=2000 #constraints=2311
3.39/3.46	c nbDecision=2500 #constraints=2795
4.69/4.75	c nbDecision=3000 #constraints=3271
5.39/5.40	c restart after 3201 decisions
6.19/6.26	c nbDecision=3500 #constraints=3714
9.08/9.13	c nbDecision=4000 #constraints=4188
12.49/12.56	c nbDecision=4500 #constraints=4625
16.39/16.43	c nbDecision=5000 #constraints=5074
22.48/22.52	c nbDecision=5500 #constraints=5516
29.08/29.12	c nbDecision=6000 #constraints=5974
33.99/34.04	c restart after 6401 decisions
34.38/34.41	c nbDecision=6500 #constraints=6425
42.98/43.01	c nbDecision=7000 #constraints=6890
51.18/51.29	c nbDecision=7500 #constraints=7332
61.88/61.96	c nbDecision=8000 #constraints=7784
73.87/73.91	c nbDecision=8500 #constraints=8230
87.47/87.55	c nbDecision=9000 #constraints=8702
99.56/99.66	c nbDecision=9500 #constraints=9182
120.75/120.85	c nbDecision=10000 #constraints=9668
145.35/145.49	c nbDecision=10500 #constraints=10137
171.24/171.36	c nbDecision=11000 #constraints=10614
198.21/198.33	c nbDecision=11500 #constraints=11080
231.24/231.47	c nbDecision=12000 #constraints=11550
271.82/272.02	c nbDecision=12500 #constraints=12025
295.22/295.47	c restart after 12801 decisions
297.11/297.33	c nbDecision=13000 #constraints=12485
333.50/333.78	c nbDecision=13500 #constraints=12973
370.19/370.42	c nbDecision=14000 #constraints=13466
410.59/410.88	c nbDecision=14500 #constraints=13939
451.88/452.17	c nbDecision=15000 #constraints=14420
492.36/492.67	c nbDecision=15500 #constraints=14868
530.55/530.85	c nbDecision=16000 #constraints=15334
573.34/573.68	c nbDecision=16500 #constraints=15823
617.73/618.02	c nbDecision=17000 #constraints=16314
661.93/662.23	c nbDecision=17500 #constraints=16797
709.12/709.49	c nbDecision=18000 #constraints=17283
757.90/758.29	c nbDecision=18500 #constraints=17767
771.99/772.32	c nbDecision=19000 #constraints=18259
831.47/831.84	c nbDecision=19500 #constraints=18751
900.76/901.15	c nbDecision=20000 #constraints=19244
971.94/972.37	c nbDecision=20500 #constraints=19737
1027.93/1028.39	c nbDecision=21000 #constraints=20231
1091.02/1091.49	c nbDecision=21500 #constraints=20723
1151.59/1152.09	c nbDecision=22000 #constraints=21210
1216.59/1217.03	c nbDecision=22500 #constraints=21671
1280.47/1280.96	c nbDecision=23000 #constraints=22139
1345.95/1346.43	c nbDecision=23500 #constraints=22609
1408.23/1408.76	c nbDecision=24000 #constraints=23057
1476.51/1477.07	c nbDecision=24500 #constraints=23555
1540.20/1540.77	c nbDecision=25000 #constraints=24050
1616.38/1617.00	c nbDecision=25500 #constraints=24543
1630.37/1630.97	c restart after 25601 decisions
1675.57/1676.18	c nbDecision=26000 #constraints=25009
1749.95/1750.58	c nbDecision=26500 #constraints=25500
1800.04/1800.60	Received signal 15
1800.14/1800.71	
1800.14/1800.71	s UNKNOWN
1800.14/1800.71	
1800.14/1800.71	c user time= 1799.98 s
1800.14/1800.71	c system time= 0.179972 s
1800.14/1800.71	c wall clock time=1800.71

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/431743-1178009875/instance-431743-1178009875.opb
mv /tmp/evaluation/431743-1178009875/instance-431743-1178009875.opb.tmp /tmp/evaluation/431743-1178009875/instance-431743-1178009875.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node60/watcher-431743-1178009875 -o ROOT/results/node60/solver-431743-1178009875 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/431743-1178009875/instance-431743-1178009875.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/64 510
/proc/meminfo: memFree=1772312/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=1468 CPUtime=0
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 248897493 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 367 165 132 317 0 46 0

[startup+0.054162 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 510
/proc/meminfo: memFree=1772312/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=1732 CPUtime=0.05
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 254 0 0 0 5 0 0 0 18 0 1 0 248897493 1773568 237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 433 237 139 317 0 112 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1732

[startup+0.101165 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 510
/proc/meminfo: memFree=1772312/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=1864 CPUtime=0.09
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 280 0 0 0 9 0 0 0 18 0 1 0 248897493 1908736 263 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716198 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 466 263 139 317 0 145 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1864

[startup+0.301185 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 510
/proc/meminfo: memFree=1772312/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=2252 CPUtime=0.29
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 382 0 0 0 29 0 0 0 19 0 1 0 248897493 2306048 365 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 563 365 139 317 0 242 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2252

[startup+0.701224 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 510
/proc/meminfo: memFree=1772312/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=3040 CPUtime=0.69
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 573 0 0 0 69 0 0 0 22 0 1 0 248897493 3112960 556 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 760 556 139 317 0 439 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3040

[startup+1.5013 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 511
/proc/meminfo: memFree=1769936/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=4632 CPUtime=1.49
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 984 0 0 0 149 0 0 0 25 0 1 0 248897493 4743168 967 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272576 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 1158 967 139 317 0 837 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4632

[startup+3.10146 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 511
/proc/meminfo: memFree=1767632/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=7460 CPUtime=3.09
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 1663 0 0 0 308 1 0 0 25 0 1 0 248897493 7639040 1646 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715604 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 1865 1646 139 317 0 1544 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7460

[startup+6.30177 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 511
/proc/meminfo: memFree=1763856/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=10240 CPUtime=6.29
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 2399 0 0 0 628 1 0 0 25 0 1 0 248897493 10485760 2382 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 2560 2382 170 317 0 2239 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10240

[startup+12.7024 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 511
/proc/meminfo: memFree=1760976/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=12900 CPUtime=12.69
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 3014 0 0 0 1267 2 0 0 25 0 1 0 248897493 13209600 2997 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 3225 2997 170 317 0 2904 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12900

[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 511
/proc/meminfo: memFree=1757904/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=15884 CPUtime=25.48
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 3733 0 0 0 2546 2 0 0 25 0 1 0 248897493 16265216 3716 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 3971 3716 170 317 0 3650 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15884

[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 511
/proc/meminfo: memFree=1753616/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=20156 CPUtime=51.08
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 4790 0 0 0 5104 4 0 0 25 0 1 0 248897493 20639744 4773 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 5039 4773 170 317 0 4718 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 20156

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 511
/proc/meminfo: memFree=1748048/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=26132 CPUtime=102.26
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 6216 0 0 0 10222 4 0 0 25 0 1 0 248897493 26759168 6141 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 6533 6141 170 317 0 6212 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 26132

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 511
/proc/meminfo: memFree=1744912/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=29460 CPUtime=162.25
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 6996 0 0 0 16220 5 0 0 25 0 1 0 248897493 30167040 6921 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 7365 6921 170 317 0 7044 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 29460

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/71 677
/proc/meminfo: memFree=1740616/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=32780 CPUtime=222.15
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 7728 0 0 0 22209 6 0 0 25 0 1 0 248897493 33566720 7653 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 8195 7653 170 317 0 7874 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 32780

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 709
/proc/meminfo: memFree=1740048/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=34596 CPUtime=282.12
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 8189 0 0 0 28205 7 0 0 25 0 1 0 248897493 35426304 8114 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 8649 8114 170 317 0 8328 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 34596

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 709
/proc/meminfo: memFree=1737552/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=37160 CPUtime=342.1
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 8788 0 0 0 34202 8 0 0 25 0 1 0 248897493 38051840 8713 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 9290 8713 170 317 0 8969 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 37160

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 709
/proc/meminfo: memFree=1735568/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=38984 CPUtime=402.09
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 9286 0 0 0 40200 9 0 0 25 0 1 0 248897493 39919616 9211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 9746 9211 170 317 0 9425 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 38984

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 709
/proc/meminfo: memFree=1733648/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=40876 CPUtime=462.07
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 9749 0 0 0 46198 9 0 0 25 0 1 0 248897493 41857024 9674 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 10219 9674 170 317 0 9898 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 40876

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 709
/proc/meminfo: memFree=1731600/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=42904 CPUtime=522.05
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 10277 0 0 0 52196 9 0 0 25 0 1 0 248897493 43933696 10202 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718453 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 10726 10202 170 317 0 10405 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 42904

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 709
/proc/meminfo: memFree=1729872/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=44608 CPUtime=582.04
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 10708 0 0 0 58194 10 0 0 25 0 1 0 248897493 45678592 10633 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 11152 10633 170 317 0 10831 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 44608

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 709
/proc/meminfo: memFree=1728144/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=46440 CPUtime=642.03
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 11138 0 0 0 64193 10 0 0 25 0 1 0 248897493 47554560 11063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 11610 11063 170 317 0 11289 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 46440


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 709
/proc/meminfo: memFree=1721296/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=54324 CPUtime=881.97
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 12946 0 0 0 88185 12 0 0 25 0 1 0 248897493 55627776 12756 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 13581 12756 170 317 0 13260 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 54324

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 709
/proc/meminfo: memFree=1720208/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=55632 CPUtime=941.95
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 13230 0 0 0 94183 12 0 0 25 0 1 0 248897493 56967168 13040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604396 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 13908 13040 170 317 0 13587 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 55632

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 709
/proc/meminfo: memFree=1718864/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=56812 CPUtime=1001.94
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 13550 0 0 0 100181 13 0 0 25 0 1 0 248897493 58175488 13360 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 14203 13360 170 317 0 13882 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 56812

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 709
/proc/meminfo: memFree=1717520/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=58368 CPUtime=1061.92
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 13899 0 0 0 106179 13 0 0 25 0 1 0 248897493 59768832 13709 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 14592 13709 170 317 0 14271 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 58368

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 709
/proc/meminfo: memFree=1716304/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=59696 CPUtime=1121.91
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 14198 0 0 0 112177 14 0 0 25 0 1 0 248897493 61128704 14008 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718667 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 14924 14008 170 317 0 14603 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 59696

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 709
/proc/meminfo: memFree=1715088/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=61196 CPUtime=1181.89
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 14561 0 0 0 118175 14 0 0 25 0 1 0 248897493 62664704 14305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 15299 14305 170 317 0 14978 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 61196

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 709
/proc/meminfo: memFree=1713936/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=62492 CPUtime=1241.88
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 14879 0 0 0 124173 15 0 0 25 0 1 0 248897493 63991808 14590 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 15623 14590 170 317 0 15302 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 62492

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 709
/proc/meminfo: memFree=1712784/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=63540 CPUtime=1301.87
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 15142 0 0 0 130172 15 0 0 25 0 1 0 248897493 65064960 14853 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 15885 14853 170 317 0 15564 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 63540

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 709
/proc/meminfo: memFree=1711568/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=64728 CPUtime=1361.85
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 15455 0 0 0 136170 15 0 0 25 0 1 0 248897493 66281472 15166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 16182 15166 170 317 0 15861 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 64728

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 709
/proc/meminfo: memFree=1710480/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=65644 CPUtime=1421.83
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 15716 0 0 0 142168 15 0 0 25 0 1 0 248897493 67219456 15427 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 16411 15427 170 317 0 16090 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 65644

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 709
/proc/meminfo: memFree=1709392/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=66708 CPUtime=1481.81
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 15985 0 0 0 148166 15 0 0 25 0 1 0 248897493 68308992 15696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 16677 15696 170 317 0 16356 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 66708

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 709
/proc/meminfo: memFree=1708176/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=67944 CPUtime=1541.8
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 16289 0 0 0 154164 16 0 0 25 0 1 0 248897493 69574656 16000 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 16986 16000 170 317 0 16665 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 67944

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 709
/proc/meminfo: memFree=1707216/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=69244 CPUtime=1601.78
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 16594 0 0 0 160162 16 0 0 25 0 1 0 248897493 70905856 16239 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 17311 16239 170 317 0 16990 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 69244

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 709
/proc/meminfo: memFree=1706000/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=70568 CPUtime=1661.77
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 16937 0 0 0 166160 17 0 0 25 0 1 0 248897493 72261632 16549 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718338 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 17642 16549 170 317 0 17321 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 70568

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 709
/proc/meminfo: memFree=1704976/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=71628 CPUtime=1721.76
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 17221 0 0 0 172159 17 0 0 25 0 1 0 248897493 73347072 16800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 17907 16800 170 317 0 17586 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 71628

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 709
/proc/meminfo: memFree=1703824/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=72812 CPUtime=1781.74
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 17502 0 0 0 178157 17 0 0 25 0 1 0 248897493 74559488 17081 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 18203 17081 170 317 0 17882 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 72812



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 709
/proc/meminfo: memFree=1703568/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=73200 CPUtime=1800.04
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 17594 0 0 0 179987 17 0 0 25 0 1 0 248897493 74956800 17140 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 18300 17140 170 317 0 17979 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 73200

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: 0.99 0.98 0.99 2/65 709
/proc/meminfo: memFree=1703568/2055920 swapFree=4183296/4192956
[pid=510] ppid=508 vsize=73200 CPUtime=1800.14
/proc/510/stat : 510 (oree) R 508 510 32274 0 -1 4194304 17594 0 0 0 179997 17 0 0 25 0 1 0 248897493 74956800 17140 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/510/statm: 18300 17140 170 317 0 17979 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 73200

Child status: 0
Real time (s): 1800.73
CPU time (s): 1800.17
CPU user time (s): 1799.98
CPU system time (s): 0.19197
CPU usage (%): 99.9691
Max. virtual memory (cumulated for all children) (KiB): 73200

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

runsolver used 1.21981 second user time and 3.75543 second system time

The end

Launcher Data (download as text)

Begin job on node60 on Tue May  1 08:57:55 UTC 2007

IDJOB= 431743
IDBENCH= 48073
IDSOLVER= 172
FILE ID= node60/431743-1178009875

PBS_JOBID= 4728309

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=7-P0=53-P1=37-P2=29-P3=83-P4=23-P5=67-B.opb
COMMAND LINE= oree /tmp/evaluation/431743-1178009875/instance-431743-1178009875.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node60/convwatcher-431743-1178009875 -o ROOT/results/node60/conversion-431743-1178009875 -C 600 -M 1800 /tmp/evaluation/431743-1178009875/substituteSizeProductKeyword /tmp/evaluation/431743-1178009875/instance-431743-1178009875.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  feb866c77c1922bd09324402c14b21f3

RANDOM SEED= 690674944

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node60.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.214
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.214
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:       1772656 kB
Buffers:         32460 kB
Cached:         176392 kB
SwapCached:       3580 kB
Active:          62620 kB
Inactive:       156408 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1772656 kB
SwapTotal:     4192956 kB
SwapFree:      4183296 kB
Dirty:            1316 kB
Writeback:           0 kB
Mapped:          16188 kB
Slab:            50180 kB
Committed_AS:  2956444 kB
PageTables:       1468 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 node60 on Tue May  1 09:27:58 UTC 2007