Trace number 431841

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.59 1801.25

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=373-P1=127-P2=409-P3=11-P4=263-P5=269-B.opb
MD5SUM65bc139f592885e582edbd6d46332a4d
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.284956
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 variables135
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 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)405
Sum of products size (including duplicates)810
Number of different products405
Sum of products size810

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=540 #constraints=827 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.69/0.79	c restart after 401 decisions
0.89/0.95	c nbDecision=500 #constraints=1253
1.69/1.79	c restart after 801 decisions
2.09/2.20	c nbDecision=1000 #constraints=1715
3.99/4.00	c nbDecision=1500 #constraints=2215
4.49/4.51	c restart after 1601 decisions
5.88/5.91	c nbDecision=2000 #constraints=2684
8.89/8.99	c nbDecision=2500 #constraints=3176
11.88/11.95	c nbDecision=3000 #constraints=3664
12.49/12.53	c restart after 3201 decisions
15.39/15.44	c nbDecision=3500 #constraints=4125
17.59/17.64	c nbDecision=4000 #constraints=4603
19.58/19.64	c nbDecision=4500 #constraints=5077
22.68/22.75	c nbDecision=5000 #constraints=5575
26.08/26.17	c nbDecision=5500 #constraints=6064
32.18/32.21	c nbDecision=6000 #constraints=6566
39.97/40.01	c restart after 6401 decisions
40.47/40.55	c nbDecision=6500 #constraints=7044
46.47/46.54	c nbDecision=7000 #constraints=7520
61.26/61.35	c nbDecision=7500 #constraints=8011
70.07/70.15	c nbDecision=8000 #constraints=8495
83.16/83.28	c nbDecision=8500 #constraints=8972
98.06/98.14	c nbDecision=9000 #constraints=9454
111.25/111.36	c nbDecision=9500 #constraints=9934
126.45/126.59	c nbDecision=10000 #constraints=10397
139.94/140.04	c nbDecision=10500 #constraints=10848
159.23/159.36	c nbDecision=11000 #constraints=11315
178.32/178.40	c nbDecision=11500 #constraints=11795
216.21/216.34	c nbDecision=12000 #constraints=12291
249.50/249.62	c nbDecision=12500 #constraints=12794
269.59/269.79	c restart after 12801 decisions
271.89/272.06	c nbDecision=13000 #constraints=13264
287.09/287.29	c nbDecision=13500 #constraints=13722
328.56/328.73	c nbDecision=14000 #constraints=14200
369.95/370.13	c nbDecision=14500 #constraints=14700
403.64/403.90	c nbDecision=15000 #constraints=15193
441.23/441.45	c nbDecision=15500 #constraints=15667
480.41/480.66	c nbDecision=16000 #constraints=16145
527.90/528.18	c nbDecision=16500 #constraints=16647
567.98/568.23	c nbDecision=17000 #constraints=17118
607.17/607.46	c nbDecision=17500 #constraints=17602
658.05/658.34	c nbDecision=18000 #constraints=18094
697.63/697.93	c nbDecision=18500 #constraints=18558
739.42/739.73	c nbDecision=19000 #constraints=19031
777.21/777.56	c nbDecision=19500 #constraints=19518
804.49/804.87	c nbDecision=20000 #constraints=20006
859.17/859.50	c nbDecision=20500 #constraints=20495
911.95/912.37	c nbDecision=21000 #constraints=20963
971.33/971.73	c nbDecision=21500 #constraints=21450
1026.11/1026.51	c nbDecision=22000 #constraints=21927
1087.69/1088.11	c nbDecision=22500 #constraints=22397
1136.67/1137.13	c nbDecision=23000 #constraints=22863
1199.45/1199.96	c nbDecision=23500 #constraints=23349
1240.24/1240.73	c nbDecision=24000 #constraints=23804
1309.62/1310.15	c nbDecision=24500 #constraints=24260
1401.38/1401.90	c nbDecision=25000 #constraints=24755
1470.55/1471.14	c nbDecision=25500 #constraints=25229
1474.95/1475.56	c restart after 25601 decisions
1546.42/1547.05	c nbDecision=26000 #constraints=25659
1634.29/1634.94	c nbDecision=26500 #constraints=26123
1768.54/1769.25	c nbDecision=27000 #constraints=26624
1800.04/1800.70	Received signal 15
1800.53/1801.22	
1800.53/1801.22	s UNKNOWN
1800.53/1801.22	
1800.53/1801.22	c user time= 1800.15 s
1800.53/1801.22	c system time= 0.415936 s
1800.53/1801.22	c wall clock time=1801.22

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/431841-1178011081/instance-431841-1178011081.opb
mv /tmp/evaluation/431841-1178011081/instance-431841-1178011081.opb.tmp /tmp/evaluation/431841-1178011081/instance-431841-1178011081.opb

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 21214
/proc/meminfo: memFree=1819280/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=1468 CPUtime=0
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 191 0 0 0 0 0 0 0 18 0 1 0 249025912 1503232 174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 367 174 132 317 0 46 0

[startup+0.0126341 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 21214
/proc/meminfo: memFree=1819280/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=1884 CPUtime=0
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 275 0 0 0 0 0 0 0 18 0 1 0 249025912 1929216 258 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710858 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 471 258 139 317 0 150 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1884

[startup+0.101654 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 21214
/proc/meminfo: memFree=1819280/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=2016 CPUtime=0.09
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 315 0 0 0 9 0 0 0 18 0 1 0 249025912 2064384 298 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278906 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 504 298 139 317 0 183 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2016

[startup+0.301696 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 21214
/proc/meminfo: memFree=1819280/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=2412 CPUtime=0.29
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 410 0 0 0 29 0 0 0 19 0 1 0 249025912 2469888 393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710874 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 603 393 139 317 0 282 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2412

[startup+0.701781 s]
/proc/loadavg: 0.91 0.98 0.99 3/77 21214
/proc/meminfo: memFree=1819280/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=3192 CPUtime=0.69
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 616 0 0 0 69 0 0 0 23 0 1 0 249025912 3268608 599 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 798 599 139 317 0 477 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3192

[startup+1.50195 s]
/proc/loadavg: 0.91 0.98 0.99 2/78 21215
/proc/meminfo: memFree=1816776/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=4640 CPUtime=1.49
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 978 0 0 0 149 0 0 0 25 0 1 0 249025912 4751360 961 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272641 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 1160 961 139 317 0 839 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4640

[startup+3.10129 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 21215
/proc/meminfo: memFree=1814728/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=7128 CPUtime=3.08
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 1605 0 0 0 308 0 0 0 25 0 1 0 249025912 7299072 1588 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 1782 1588 139 317 0 1461 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 7128

[startup+6.30197 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 21215
/proc/meminfo: memFree=1810768/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=10660 CPUtime=6.28
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 2458 0 0 0 627 1 0 0 25 0 1 0 249025912 10915840 2441 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134533521 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 2665 2441 139 317 0 2344 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 10660

[startup+12.7013 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 21215
/proc/meminfo: memFree=1805520/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=15792 CPUtime=12.69
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 3743 0 0 0 1266 3 0 0 25 0 1 0 249025912 16171008 3726 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272576 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 3948 3726 139 317 0 3627 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15792

[startup+25.5011 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 21215
/proc/meminfo: memFree=1795216/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=25516 CPUtime=25.48
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 6122 0 0 0 2544 4 0 0 25 0 1 0 249025912 26128384 6105 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 6379 6105 139 317 0 6058 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25516

[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 21215
/proc/meminfo: memFree=1787856/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=33132 CPUtime=51.07
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 8001 0 0 0 5101 6 0 0 25 0 1 0 249025912 33927168 7941 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 8283 7941 139 317 0 7962 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 33132

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 21215
/proc/meminfo: memFree=1779216/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=41948 CPUtime=102.26
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 10147 0 0 0 10218 8 0 0 25 0 1 0 249025912 42954752 10087 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 10487 10087 170 317 0 10166 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 41948

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21215
/proc/meminfo: memFree=1770896/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=50528 CPUtime=162.23
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 12237 0 0 0 16212 11 0 0 25 0 1 0 249025912 51740672 12177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 12632 12177 170 317 0 12311 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 50528

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21215
/proc/meminfo: memFree=1766544/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=54780 CPUtime=222.2
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 13298 0 0 0 22208 12 0 0 25 0 1 0 249025912 56094720 13238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 13695 13238 170 317 0 13374 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 54780

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21215
/proc/meminfo: memFree=1761424/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=60964 CPUtime=282.18
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 14663 0 0 0 28204 14 0 0 25 0 1 0 249025912 62427136 14518 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715992 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 15241 14518 170 317 0 14920 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 60964

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21215
/proc/meminfo: memFree=1757072/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=65788 CPUtime=342.17
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 15734 0 0 0 34201 16 0 0 25 0 1 0 249025912 67366912 15589 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 16447 15589 170 317 0 16126 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 65788

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21215
/proc/meminfo: memFree=1753488/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=69636 CPUtime=402.14
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 16638 0 0 0 40197 17 0 0 25 0 1 0 249025912 71307264 16493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 17409 16493 170 317 0 17088 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 69636

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21215
/proc/meminfo: memFree=1749968/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=73024 CPUtime=462.12
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 17483 0 0 0 46194 18 0 0 25 0 1 0 249025912 74776576 17338 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 18256 17338 170 317 0 17935 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 73024

[startup+522.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21215
/proc/meminfo: memFree=1747152/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=75984 CPUtime=522.1
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 18193 0 0 0 52190 20 0 0 25 0 1 0 249025912 77807616 18048 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 18996 18048 170 317 0 18675 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 75984

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21215
/proc/meminfo: memFree=1744080/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=79100 CPUtime=582.07
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 18966 0 0 0 58187 20 0 0 25 0 1 0 249025912 80998400 18821 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 19775 18821 170 317 0 19454 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 79100

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21215
/proc/meminfo: memFree=1741008/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=81980 CPUtime=642.05
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 19728 0 0 0 64184 21 0 0 25 0 1 0 249025912 83947520 19583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 20495 19583 170 317 0 20174 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 81980


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

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 21215
/proc/meminfo: memFree=1727376/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=96156 CPUtime=941.94
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 23103 0 0 0 94167 27 0 0 25 0 1 0 249025912 98463744 22958 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712587 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 24039 22958 170 317 0 23718 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 96156

[startup+1002.3 s]
/proc/loadavg: 1.04 1.00 0.99 2/78 21215
/proc/meminfo: memFree=1725328/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=98664 CPUtime=1001.92
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 23646 0 0 0 100164 28 0 0 25 0 1 0 249025912 101031936 23501 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 24666 23501 170 317 0 24345 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 98664

[startup+1062.3 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 21215
/proc/meminfo: memFree=1723536/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=100400 CPUtime=1061.9
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 24073 0 0 0 106161 29 0 0 25 0 1 0 249025912 102809600 23928 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 25100 23928 170 317 0 24779 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 100400

[startup+1122.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/78 21215
/proc/meminfo: memFree=1721488/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=102240 CPUtime=1121.88
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 24572 0 0 0 112158 30 0 0 25 0 1 0 249025912 104693760 24427 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 25560 24427 170 317 0 25239 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 102240

[startup+1182.3 s]
/proc/loadavg: 1.05 1.03 1.00 2/78 21215
/proc/meminfo: memFree=1719504/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=104328 CPUtime=1181.85
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 25069 0 0 0 118154 31 0 0 25 0 1 0 249025912 106831872 24924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 26082 24924 170 317 0 25761 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 104328

[startup+1242.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 21215
/proc/meminfo: memFree=1716944/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=106696 CPUtime=1241.84
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 25703 0 0 0 124151 33 0 0 25 0 1 0 249025912 109256704 25558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 26674 25558 170 317 0 26353 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 106696

[startup+1302.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 21215
/proc/meminfo: memFree=1714256/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=110536 CPUtime=1301.81
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 26361 0 0 0 130148 33 0 0 25 0 1 0 249025912 113188864 26216 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 27634 26216 170 317 0 27313 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 110536

[startup+1362.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 21215
/proc/meminfo: memFree=1712656/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=112752 CPUtime=1361.79
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 26877 0 0 0 136145 34 0 0 25 0 1 0 249025912 115458048 26600 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 28188 26600 170 317 0 27867 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 112752

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21215
/proc/meminfo: memFree=1710800/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=115268 CPUtime=1421.77
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 27540 0 0 0 142142 35 0 0 25 0 1 0 249025912 118034432 27060 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 28817 27060 170 317 0 28496 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 115268

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21217
/proc/meminfo: memFree=1708688/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=117672 CPUtime=1481.74
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 28140 0 0 0 148137 37 0 0 25 0 1 0 249025912 120496128 27594 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 29418 27594 170 317 0 29097 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 117672

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21217
/proc/meminfo: memFree=1707920/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=118716 CPUtime=1541.72
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 28373 0 0 0 154135 37 0 0 25 0 1 0 249025912 121565184 27794 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 29679 27794 170 317 0 29358 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 118716

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21217
/proc/meminfo: memFree=1707152/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=119640 CPUtime=1601.7
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 28573 0 0 0 160132 38 0 0 25 0 1 0 249025912 122511360 27994 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 29910 27994 170 317 0 29589 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 119640

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21217
/proc/meminfo: memFree=1705488/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=121092 CPUtime=1661.68
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 29000 0 0 0 166129 39 0 0 25 0 1 0 249025912 123998208 28421 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 30273 28421 170 317 0 29952 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 121092

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21217
/proc/meminfo: memFree=1704464/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=122008 CPUtime=1721.66
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 29265 0 0 0 172126 40 0 0 25 0 1 0 249025912 124936192 28686 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 30502 28686 170 317 0 30181 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 122008

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21217
/proc/meminfo: memFree=1703440/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=123052 CPUtime=1781.64
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 29488 0 0 0 178123 41 0 0 25 0 1 0 249025912 126005248 28909 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 30763 28909 170 317 0 30442 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 123052



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21217
/proc/meminfo: memFree=1703248/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=123340 CPUtime=1800.04
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 29547 0 0 0 179963 41 0 0 25 0 1 0 249025912 126300160 28968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 30835 28968 170 317 0 30514 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 123340

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

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

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21217
/proc/meminfo: memFree=1703248/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=123340 CPUtime=1800.33
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 29548 0 0 0 179992 41 0 0 25 0 1 0 249025912 126300160 28969 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 30835 28969 170 317 0 30514 0
Current children cumulated CPU time (s) 1800.33
Current children cumulated vsize (KiB) 123340

[startup+1801.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 21217
/proc/meminfo: memFree=1703248/2055920 swapFree=4159404/4192956
[pid=21214] ppid=21212 vsize=123340 CPUtime=1800.53
/proc/21214/stat : 21214 (oree) R 21212 21214 20412 0 -1 4194304 29548 0 0 0 180012 41 0 0 25 0 1 0 249025912 126300160 28969 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21214/statm: 30835 28969 170 317 0 30514 0
Current children cumulated CPU time (s) 1800.53
Current children cumulated vsize (KiB) 123340

Child status: 0
Real time (s): 1801.25
CPU time (s): 1800.59
CPU user time (s): 1800.15
CPU system time (s): 0.434933
CPU usage (%): 99.9631
Max. virtual memory (cumulated for all children) (KiB): 123340

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

runsolver used 1.41179 second user time and 4.06138 second system time

The end

Launcher Data (download as text)

Begin job on node13 on Tue May  1 09:18:01 UTC 2007

IDJOB= 431841
IDBENCH= 48080
IDSOLVER= 172
FILE ID= node13/431841-1178011081

PBS_JOBID= 4728282

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=373-P1=127-P2=409-P3=11-P4=263-P5=269-B.opb
COMMAND LINE= oree /tmp/evaluation/431841-1178011081/instance-431841-1178011081.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node13/convwatcher-431841-1178011081 -o ROOT/results/node13/conversion-431841-1178011081 -C 600 -M 1800 /tmp/evaluation/431841-1178011081/substituteSizeProductKeyword /tmp/evaluation/431841-1178011081/instance-431841-1178011081.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  65bc139f592885e582edbd6d46332a4d

RANDOM SEED= 466236951

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node13.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.259
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.259
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:       1819624 kB
Buffers:         36376 kB
Cached:         111012 kB
SwapCached:      12684 kB
Active:          58244 kB
Inactive:       112764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1819624 kB
SwapTotal:     4192956 kB
SwapFree:      4159404 kB
Dirty:            1328 kB
Writeback:           0 kB
Mapped:          30680 kB
Slab:            50680 kB
Committed_AS:  6989188 kB
PageTables:       1876 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 node13 on Tue May  1 09:48:04 UTC 2007