Trace number 431575

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.1 1800.57

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=29-P1=61-P2=43-P3=131-P4=2-P5=59-P6=41-B.opb
MD5SUMaeb6a0e03ee8f8f2b4b438b8148c9b4c
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark0.150976
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved YES
Number of variables144
Total number of constraints13
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 constraints13
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)384
Sum of products size (including duplicates)768
Number of different products384
Sum of products size768

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=528 #constraints=788 hasObjective=yes
0.00/0.00	c res. mode=mod
0.00/0.00	c VSIDS like heuristics
0.00/0.00	c complete search running
0.59/0.64	c restart after 401 decisions
0.69/0.78	c nbDecision=500 #constraints=1224
1.29/1.37	c restart after 801 decisions
1.69/1.73	c nbDecision=1000 #constraints=1667
2.69/2.73	c nbDecision=1500 #constraints=2156
2.89/2.91	c restart after 1601 decisions
3.99/4.08	c nbDecision=2000 #constraints=2607
5.09/5.10	c nbDecision=2500 #constraints=3083
5.89/6.00	c nbDecision=3000 #constraints=3559
6.49/6.56	c restart after 3201 decisions
7.69/7.79	c nbDecision=3500 #constraints=4018
10.09/10.18	c nbDecision=4000 #constraints=4512
12.29/12.31	c nbDecision=4500 #constraints=4979
13.89/13.95	c nbDecision=5000 #constraints=5420
17.59/17.64	c nbDecision=5500 #constraints=5915
21.78/21.84	c nbDecision=6000 #constraints=6382
25.38/25.49	c restart after 6401 decisions
26.08/26.16	c nbDecision=6500 #constraints=6819
32.38/32.48	c nbDecision=7000 #constraints=7287
38.29/38.38	c nbDecision=7500 #constraints=7717
44.48/44.50	c nbDecision=8000 #constraints=8157
53.97/54.09	c nbDecision=8500 #constraints=8606
65.37/65.46	c nbDecision=9000 #constraints=9081
77.57/77.64	c nbDecision=9500 #constraints=9554
90.56/90.63	c nbDecision=10000 #constraints=9976
107.67/107.74	c nbDecision=10500 #constraints=10420
119.36/119.42	c nbDecision=11000 #constraints=10863
132.76/132.84	c nbDecision=11500 #constraints=11306
150.05/150.13	c nbDecision=12000 #constraints=11784
164.65/164.75	c nbDecision=12500 #constraints=12230
173.35/173.43	c restart after 12801 decisions
175.45/175.56	c nbDecision=13000 #constraints=12653
206.33/206.48	c nbDecision=13500 #constraints=13100
243.23/243.36	c nbDecision=14000 #constraints=13574
262.62/262.74	c nbDecision=14500 #constraints=14027
291.11/291.23	c nbDecision=15000 #constraints=14507
316.31/316.47	c nbDecision=15500 #constraints=14959
348.79/348.99	c nbDecision=16000 #constraints=15454
372.49/372.60	c nbDecision=16500 #constraints=15912
403.08/403.21	c nbDecision=17000 #constraints=16373
431.98/432.16	c nbDecision=17500 #constraints=16852
459.57/459.78	c nbDecision=18000 #constraints=17312
488.17/488.36	c nbDecision=18500 #constraints=17784
516.76/517.00	c nbDecision=19000 #constraints=18246
565.25/565.48	c nbDecision=19500 #constraints=18685
621.02/621.20	c nbDecision=20000 #constraints=19150
658.62/658.89	c nbDecision=20500 #constraints=19614
697.80/698.01	c nbDecision=21000 #constraints=20085
733.60/733.83	c nbDecision=21500 #constraints=20534
769.29/769.50	c nbDecision=22000 #constraints=21003
798.38/798.68	c nbDecision=22500 #constraints=21457
822.18/822.43	c nbDecision=23000 #constraints=21934
889.56/889.87	c nbDecision=23500 #constraints=22409
942.84/943.13	c nbDecision=24000 #constraints=22866
1000.63/1000.96	c nbDecision=24500 #constraints=23339
1057.61/1057.98	c nbDecision=25000 #constraints=23812
1106.70/1107.00	c nbDecision=25500 #constraints=24269
1118.09/1118.40	c restart after 25601 decisions
1125.20/1125.55	c nbDecision=26000 #constraints=24723
1200.47/1200.87	c nbDecision=26500 #constraints=25212
1282.16/1282.53	c nbDecision=27000 #constraints=25703
1351.14/1351.54	c nbDecision=27500 #constraints=26169
1413.91/1414.38	c nbDecision=28000 #constraints=26636
1504.59/1505.01	c nbDecision=28500 #constraints=27102
1593.48/1593.98	c nbDecision=29000 #constraints=27581
1684.45/1684.98	c nbDecision=29500 #constraints=28053
1754.53/1755.01	c nbDecision=30000 #constraints=28527
1800.02/1800.50	Received signal 15
1800.02/1800.54	
1800.02/1800.54	s UNKNOWN
1800.02/1800.54	
1800.02/1800.54	c user time= 1799.8 s
1800.02/1800.54	c system time= 0.272958 s
1800.02/1800.54	c wall clock time=1800.54

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/431575-1178007804/instance-431575-1178007804.opb
mv /tmp/evaluation/431575-1178007804/instance-431575-1178007804.opb.tmp /tmp/evaluation/431575-1178007804/instance-431575-1178007804.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node57/watcher-431575-1178007804 -o ROOT/results/node57/solver-431575-1178007804 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/431575-1178007804/instance-431575-1178007804.opb mod 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 28730
/proc/meminfo: memFree=1802560/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=1468 CPUtime=0
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 190 0 0 0 0 0 0 0 18 0 1 0 241916436 1503232 173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 367 173 132 317 0 46 0

[startup+0.0103371 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 28730
/proc/meminfo: memFree=1802560/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=1732 CPUtime=0
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 258 0 0 0 0 0 0 0 18 0 1 0 241916436 1773568 241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134594896 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 433 241 139 317 0 112 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1732

[startup+0.102345 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 28730
/proc/meminfo: memFree=1802560/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=1996 CPUtime=0.09
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 314 0 0 0 9 0 0 0 18 0 1 0 241916436 2043904 297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 499 297 139 317 0 178 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1996

[startup+0.302362 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 28730
/proc/meminfo: memFree=1802560/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=2388 CPUtime=0.29
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 428 0 0 0 29 0 0 0 19 0 1 0 241916436 2445312 411 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 597 412 139 317 0 276 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2388

[startup+0.702396 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 28730
/proc/meminfo: memFree=1802560/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=3440 CPUtime=0.69
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 667 0 0 0 69 0 0 0 22 0 1 0 241916436 3522560 650 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272549 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 860 650 139 317 0 539 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3440

[startup+1.50147 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28731
/proc/meminfo: memFree=1799928/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=5012 CPUtime=1.49
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 1054 0 0 0 149 0 0 0 25 0 1 0 241916436 5132288 1037 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564085 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 1253 1037 139 317 0 932 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5012

[startup+3.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28731
/proc/meminfo: memFree=1797624/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=7864 CPUtime=3.1
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 1775 0 0 0 309 1 0 0 25 0 1 0 241916436 8052736 1758 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 1966 1758 139 317 0 1645 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 7864

[startup+6.30188 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28731
/proc/meminfo: memFree=1791800/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=13404 CPUtime=6.29
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 3155 0 0 0 628 1 0 0 25 0 1 0 241916436 13725696 3138 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 3351 3138 139 317 0 3030 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13404

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28731
/proc/meminfo: memFree=1785208/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=18952 CPUtime=12.68
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 4521 0 0 0 1266 2 0 0 25 0 1 0 241916436 19406848 4504 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 4738 4505 139 317 0 4417 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 18952

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28731
/proc/meminfo: memFree=1777784/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=26176 CPUtime=25.48
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 6335 0 0 0 2545 3 0 0 25 0 1 0 241916436 26804224 6275 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 6544 6275 170 317 0 6223 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26176

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28731
/proc/meminfo: memFree=1770872/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=33164 CPUtime=51.08
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 8066 0 0 0 5103 5 0 0 25 0 1 0 241916436 33959936 8006 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 8291 8006 170 317 0 7970 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 33164

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28731
/proc/meminfo: memFree=1763960/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=40348 CPUtime=102.27
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 9772 0 0 0 10220 7 0 0 25 0 1 0 241916436 41316352 9712 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 10087 9712 170 317 0 9766 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 40348

[startup+162.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 28731
/proc/meminfo: memFree=1755960/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=48356 CPUtime=162.25
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 11786 0 0 0 16217 8 0 0 25 0 1 0 241916436 49516544 11726 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 12089 11726 170 317 0 11768 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 48356

[startup+222.302 s]
/proc/loadavg: 1.09 1.04 1.01 2/65 28731
/proc/meminfo: memFree=1751608/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=53160 CPUtime=222.23
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 12928 0 0 0 22214 9 0 0 25 0 1 0 241916436 54435840 12783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 13290 12783 170 317 0 12969 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 53160

[startup+282.302 s]
/proc/loadavg: 1.03 1.03 1.00 2/65 28731
/proc/meminfo: memFree=1747384/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=57672 CPUtime=282.21
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 13987 0 0 0 28211 10 0 0 25 0 1 0 241916436 59056128 13842 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 14418 13842 170 317 0 14097 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 57672

[startup+342.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 28731
/proc/meminfo: memFree=1743544/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=61752 CPUtime=342.2
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 14942 0 0 0 34209 11 0 0 25 0 1 0 241916436 63234048 14797 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 15438 14797 170 317 0 15117 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 61752

[startup+402.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 28733
/proc/meminfo: memFree=1739704/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=65680 CPUtime=402.18
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 15895 0 0 0 40206 12 0 0 25 0 1 0 241916436 67256320 15750 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711192 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 16420 15750 170 317 0 16099 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 65680

[startup+462.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 28733
/proc/meminfo: memFree=1735672/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=69628 CPUtime=462.17
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 16878 0 0 0 46204 13 0 0 25 0 1 0 241916436 71299072 16733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 17407 16733 170 317 0 17086 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 69628

[startup+522.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28733
/proc/meminfo: memFree=1730936/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=75340 CPUtime=522.15
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 18062 0 0 0 52201 14 0 0 25 0 1 0 241916436 77148160 17917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 18835 17917 170 317 0 18514 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 75340

[startup+582.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28733
/proc/meminfo: memFree=1728696/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=77296 CPUtime=582.14
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 18616 0 0 0 58199 15 0 0 25 0 1 0 241916436 79151104 18471 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 19324 18471 170 317 0 19003 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 77296

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28733
/proc/meminfo: memFree=1726200/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=79680 CPUtime=642.13
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 19236 0 0 0 64197 16 0 0 25 0 1 0 241916436 81592320 19091 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 19920 19091 170 317 0 19599 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 79680


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28733
/proc/meminfo: memFree=1715192/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=91000 CPUtime=882.05
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 21977 0 0 0 88186 19 0 0 25 0 1 0 241916436 93184000 21832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 22750 21832 170 317 0 22429 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 91000

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28733
/proc/meminfo: memFree=1713080/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=93528 CPUtime=942.04
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 22508 0 0 0 94184 20 0 0 25 0 1 0 241916436 95772672 22363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 23382 22363 170 317 0 23061 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 93528

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28733
/proc/meminfo: memFree=1711224/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=95224 CPUtime=1002.02
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 22951 0 0 0 100182 20 0 0 25 0 1 0 241916436 97509376 22806 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 23806 22806 170 317 0 23485 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 95224

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28733
/proc/meminfo: memFree=1709176/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=97516 CPUtime=1062.01
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 23463 0 0 0 106180 21 0 0 25 0 1 0 241916436 99856384 23318 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 24379 23318 170 317 0 24058 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 97516

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28733
/proc/meminfo: memFree=1706488/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=100336 CPUtime=1121.99
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 24130 0 0 0 112178 21 0 0 25 0 1 0 241916436 102744064 23985 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 25084 23985 170 317 0 24763 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 100336

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28733
/proc/meminfo: memFree=1704248/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=103372 CPUtime=1181.98
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 24847 0 0 0 118176 22 0 0 25 0 1 0 241916436 105852928 24533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 25843 24533 170 317 0 25522 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 103372

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28733
/proc/meminfo: memFree=1702840/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=104804 CPUtime=1241.97
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 25197 0 0 0 124174 23 0 0 25 0 1 0 241916436 107319296 24883 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 26201 24883 170 317 0 25880 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 104804

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28733
/proc/meminfo: memFree=1701240/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=106380 CPUtime=1301.95
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 25586 0 0 0 130172 23 0 0 25 0 1 0 241916436 108933120 25272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541612 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 26595 25272 170 317 0 26274 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 106380

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28733
/proc/meminfo: memFree=1699512/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=108460 CPUtime=1361.93
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 26073 0 0 0 136170 23 0 0 25 0 1 0 241916436 111063040 25660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 27115 25660 170 317 0 26794 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 108460

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28733
/proc/meminfo: memFree=1697912/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=110400 CPUtime=1421.91
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 26541 0 0 0 142168 23 0 0 25 0 1 0 241916436 113049600 26095 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563346 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 27600 26095 170 317 0 27279 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 110400

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28733
/proc/meminfo: memFree=1696824/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=111316 CPUtime=1481.9
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 26812 0 0 0 148166 24 0 0 25 0 1 0 241916436 113987584 26366 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 27829 26366 170 317 0 27508 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 111316

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28733
/proc/meminfo: memFree=1695544/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=112716 CPUtime=1541.88
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 27143 0 0 0 154164 24 0 0 25 0 1 0 241916436 115421184 26697 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 28179 26697 170 317 0 27858 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 112716

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28733
/proc/meminfo: memFree=1694264/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=113888 CPUtime=1601.87
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 27455 0 0 0 160162 25 0 0 25 0 1 0 241916436 116621312 27009 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718667 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 28472 27009 170 317 0 28151 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 113888

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28733
/proc/meminfo: memFree=1693048/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=115192 CPUtime=1661.85
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 27783 0 0 0 166160 25 0 0 25 0 1 0 241916436 117956608 27304 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 28798 27304 170 317 0 28477 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 115192

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28733
/proc/meminfo: memFree=1691768/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=116360 CPUtime=1721.84
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 28094 0 0 0 172158 26 0 0 25 0 1 0 241916436 119152640 27615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 29090 27615 170 317 0 28769 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 116360

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28733
/proc/meminfo: memFree=1689784/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=118228 CPUtime=1781.83
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 28588 0 0 0 178156 27 0 0 25 0 1 0 241916436 121065472 28109 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 29557 28109 170 317 0 29236 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 118228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28733
/proc/meminfo: memFree=1689272/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=118884 CPUtime=1800.02
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 28718 0 0 0 179975 27 0 0 25 0 1 0 241916436 121737216 28239 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 29721 28239 170 317 0 29400 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 118884

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 28733
/proc/meminfo: memFree=1689272/2055920 swapFree=4183136/4192956
[pid=28730] ppid=28728 vsize=118884 CPUtime=1800.02
/proc/28730/stat : 28730 (oree) R 28728 28730 28409 0 -1 4194304 28718 0 0 0 179975 27 0 0 25 0 1 0 241916436 121737216 28239 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28730/statm: 29721 28239 170 317 0 29400 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 118884

Child status: 0
Real time (s): 1800.57
CPU time (s): 1800.1
CPU user time (s): 1799.8
CPU system time (s): 0.291955
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 118884

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

runsolver used 1.45278 second user time and 3.47647 second system time

The end

Launcher Data (download as text)

Begin job on node57 on Tue May  1 08:23:25 UTC 2007

IDJOB= 431575
IDBENCH= 48061
IDSOLVER= 172
FILE ID= node57/431575-1178007804

PBS_JOBID= 4728300

Free space on /tmp= 66563 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=29-P1=61-P2=43-P3=131-P4=2-P5=59-P6=41-B.opb
COMMAND LINE= oree /tmp/evaluation/431575-1178007804/instance-431575-1178007804.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node57/convwatcher-431575-1178007804 -o ROOT/results/node57/conversion-431575-1178007804 -C 600 -M 1800 /tmp/evaluation/431575-1178007804/substituteSizeProductKeyword /tmp/evaluation/431575-1178007804/instance-431575-1178007804.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  aeb6a0e03ee8f8f2b4b438b8148c9b4c

RANDOM SEED= 313782120

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node57.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.239
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.239
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:       1802968 kB
Buffers:         24684 kB
Cached:         159776 kB
SwapCached:       3628 kB
Active:          22912 kB
Inactive:       171700 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1802968 kB
SwapTotal:     4192956 kB
SwapFree:      4183136 kB
Dirty:            1316 kB
Writeback:           0 kB
Mapped:          15464 kB
Slab:            44360 kB
Committed_AS:  3717016 kB
PageTables:       1408 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 node57 on Tue May  1 08:53:27 UTC 2007