Trace number 430203

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.36 1801.48

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=139-P1=67-P2=211-P3=127-P4=137-P5=173-P6=89-P7=223-P8=227-P9=79-B.opb
MD5SUM651e385f00e2858954d8683e891a1dbe
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.227965
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables216
Total number of constraints19
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 constraints19
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)576
Sum of products size (including duplicates)1152
Number of different products576
Sum of products size1152

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=792 #constraints=1181 hasObjective=yes
0.00/0.01	c res. mode=mod
0.00/0.01	c VSIDS like heuristics
0.00/0.01	c complete search running
0.59/0.60	c restart after 401 decisions
0.69/0.74	c nbDecision=500 #constraints=1639
1.29/1.34	c restart after 801 decisions
1.69/1.76	c nbDecision=1000 #constraints=2115
2.89/2.98	c nbDecision=1500 #constraints=2605
3.10/3.16	c restart after 1601 decisions
4.49/4.58	c nbDecision=2000 #constraints=3085
5.99/6.06	c nbDecision=2500 #constraints=3575
7.29/7.33	c nbDecision=3000 #constraints=4042
7.59/7.65	c restart after 3201 decisions
9.19/9.20	c nbDecision=3500 #constraints=4501
12.79/12.81	c nbDecision=4000 #constraints=5000
13.88/13.96	c nbDecision=4500 #constraints=5481
14.89/14.99	c nbDecision=5000 #constraints=5974
15.99/16.06	c nbDecision=5500 #constraints=6453
16.79/16.86	c nbDecision=6000 #constraints=6938
17.79/17.80	c restart after 6401 decisions
18.49/18.50	c nbDecision=6500 #constraints=7399
21.48/21.54	c nbDecision=7000 #constraints=7861
23.79/23.85	c nbDecision=7500 #constraints=8353
25.48/25.57	c nbDecision=8000 #constraints=8816
27.58/27.60	c nbDecision=8500 #constraints=9284
30.97/31.03	c nbDecision=9000 #constraints=9767
34.98/35.08	c nbDecision=9500 #constraints=10236
42.67/42.71	c nbDecision=10000 #constraints=10718
49.57/49.60	c nbDecision=10500 #constraints=11179
56.36/56.47	c nbDecision=11000 #constraints=11651
64.16/64.23	c nbDecision=11500 #constraints=12100
73.84/73.94	c nbDecision=12000 #constraints=12583
87.44/87.51	c nbDecision=12500 #constraints=13070
94.54/94.67	c restart after 12801 decisions
96.53/96.63	c nbDecision=13000 #constraints=13490
99.44/99.58	c nbDecision=13500 #constraints=13981
104.03/104.13	c nbDecision=14000 #constraints=14479
108.33/108.43	c nbDecision=14500 #constraints=14966
119.12/119.26	c nbDecision=15000 #constraints=15430
142.31/142.42	c nbDecision=15500 #constraints=15917
166.20/166.36	c nbDecision=16000 #constraints=16412
191.38/191.56	c nbDecision=16500 #constraints=16909
213.76/213.99	c nbDecision=17000 #constraints=17386
234.36/234.59	c nbDecision=17500 #constraints=17842
253.14/253.39	c nbDecision=18000 #constraints=18290
282.22/282.41	c nbDecision=18500 #constraints=18774
313.31/313.55	c nbDecision=19000 #constraints=19244
346.39/346.61	c nbDecision=19500 #constraints=19717
372.46/372.77	c nbDecision=20000 #constraints=20180
404.05/404.32	c nbDecision=20500 #constraints=20649
429.73/430.09	c nbDecision=21000 #constraints=21116
460.91/461.28	c nbDecision=21500 #constraints=21597
500.08/500.48	c nbDecision=22000 #constraints=22070
533.16/533.51	c nbDecision=22500 #constraints=22521
574.12/574.50	c nbDecision=23000 #constraints=23000
608.11/608.56	c nbDecision=23500 #constraints=23448
655.18/655.68	c nbDecision=24000 #constraints=23943
681.47/682.00	c nbDecision=24500 #constraints=24417
714.74/715.23	c nbDecision=25000 #constraints=24881
764.02/764.55	c nbDecision=25500 #constraints=25350
766.12/766.60	c restart after 25601 decisions
770.81/771.37	c nbDecision=26000 #constraints=25812
776.50/777.02	c nbDecision=26500 #constraints=26302
806.38/806.90	c nbDecision=27000 #constraints=26772
891.14/891.77	c nbDecision=27500 #constraints=27272
953.40/954.04	c nbDecision=28000 #constraints=27730
1030.35/1031.04	c nbDecision=28500 #constraints=28224
1103.51/1104.26	c nbDecision=29000 #constraints=28722
1150.47/1151.22	c nbDecision=29500 #constraints=29153
1181.87/1182.66	c nbDecision=30000 #constraints=29606
1247.11/1247.90	c nbDecision=30500 #constraints=30104
1325.67/1326.59	c nbDecision=31000 #constraints=30598
1394.63/1395.58	c nbDecision=31500 #constraints=31093
1444.30/1445.26	c nbDecision=32000 #constraints=31556
1518.55/1519.53	c nbDecision=32500 #constraints=32055
1573.81/1574.81	c nbDecision=33000 #constraints=32521
1628.69/1629.79	c nbDecision=33500 #constraints=33007
1705.93/1707.09	c nbDecision=34000 #constraints=33462
1786.07/1787.23	c nbDecision=34500 #constraints=33951
1800.08/1801.20	Received signal 15
1800.28/1801.45	
1800.28/1801.45	s UNKNOWN
1800.28/1801.45	
1800.28/1801.45	c user time= 1800.04 s
1800.28/1801.45	c system time= 0.300954 s
1800.28/1801.45	c wall clock time=1801.45

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/430203-1177992845/instance-430203-1177992845.opb
mv /tmp/evaluation/430203-1177992845/instance-430203-1177992845.opb.tmp /tmp/evaluation/430203-1177992845/instance-430203-1177992845.opb

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 10635
/proc/meminfo: memFree=1818592/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=1468 CPUtime=0
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 191 0 0 0 0 0 0 0 18 0 1 0 247201999 1503232 174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 367 174 132 317 0 46 0

[startup+0.01317 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 10635
/proc/meminfo: memFree=1818592/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=1864 CPUtime=0.01
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 300 0 0 0 1 0 0 0 18 0 1 0 247201999 1908736 283 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 466 283 139 317 0 145 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1864

[startup+0.101146 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 10635
/proc/meminfo: memFree=1818592/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=2188 CPUtime=0.09
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 352 0 0 0 9 0 0 0 18 0 1 0 247201999 2240512 335 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270574 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 547 335 139 317 0 226 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2188

[startup+0.301167 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 10635
/proc/meminfo: memFree=1818592/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=2704 CPUtime=0.29
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 475 0 0 0 29 0 0 0 19 0 1 0 247201999 2768896 458 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 676 458 139 317 0 355 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2704

[startup+0.701209 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 10635
/proc/meminfo: memFree=1818592/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=3620 CPUtime=0.69
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 729 0 0 0 69 0 0 0 23 0 1 0 247201999 3706880 712 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272675 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 905 712 139 317 0 584 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3620

[startup+1.50229 s]
/proc/loadavg: 0.92 0.98 0.99 3/78 10636
/proc/meminfo: memFree=1815576/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=5188 CPUtime=1.49
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 1112 0 0 0 149 0 0 0 25 0 1 0 247201999 5312512 1095 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718437 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 1297 1095 139 317 0 976 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5188

[startup+3.10146 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 10636
/proc/meminfo: memFree=1813656/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=7996 CPUtime=3.1
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 1789 0 0 0 309 1 0 0 25 0 1 0 247201999 8187904 1772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135273406 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 1999 1772 139 317 0 1678 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 7996

[startup+6.30179 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 10636
/proc/meminfo: memFree=1809320/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=11804 CPUtime=6.3
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 2775 0 0 0 628 2 0 0 25 0 1 0 247201999 12087296 2758 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 2951 2758 139 317 0 2630 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 11804

[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 10636
/proc/meminfo: memFree=1802792/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=17392 CPUtime=12.69
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 4110 0 0 0 1266 3 0 0 25 0 1 0 247201999 17809408 4093 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 4348 4093 139 317 0 4027 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17392

[startup+25.5018 s]
/proc/loadavg: 1.02 1.00 0.99 2/78 10636
/proc/meminfo: memFree=1787304/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=33304 CPUtime=25.48
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 8093 0 0 0 2543 5 0 0 25 0 1 0 247201999 34103296 8018 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716147 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 8326 8018 170 317 0 8005 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33304

[startup+51.1015 s]
/proc/loadavg: 1.01 1.00 0.99 2/78 10636
/proc/meminfo: memFree=1776936/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=43452 CPUtime=51.07
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 10619 0 0 0 5100 7 0 0 25 0 1 0 247201999 44494848 10544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 10863 10544 170 317 0 10542 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 43452

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10636
/proc/meminfo: memFree=1764968/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=55536 CPUtime=102.24
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 13542 0 0 0 10215 9 0 0 25 0 1 0 247201999 56868864 13467 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 13884 13468 170 317 0 13563 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 55536

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10636
/proc/meminfo: memFree=1756904/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=63476 CPUtime=162.2
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 15553 0 0 0 16209 11 0 0 25 0 1 0 247201999 64999424 15478 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 15869 15478 170 317 0 15548 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 63476

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10636
/proc/meminfo: memFree=1752168/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=68964 CPUtime=222.16
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 16830 0 0 0 22204 12 0 0 25 0 1 0 247201999 70619136 16641 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 17241 16641 170 317 0 16920 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 68964

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10636
/proc/meminfo: memFree=1747112/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=74376 CPUtime=282.12
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 18115 0 0 0 28199 13 0 0 25 0 1 0 247201999 76161024 17926 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 18594 17926 170 317 0 18273 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 74376

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10636
/proc/meminfo: memFree=1743400/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=78196 CPUtime=342.09
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 19002 0 0 0 34194 15 0 0 25 0 1 0 247201999 80072704 18813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 19549 18813 170 317 0 19228 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 78196

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/78 10636
/proc/meminfo: memFree=1739816/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=82124 CPUtime=402.05
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 19914 0 0 0 40189 16 0 0 25 0 1 0 247201999 84094976 19725 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 20531 19725 170 317 0 20210 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 82124

[startup+462.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 10636
/proc/meminfo: memFree=1735720/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=86292 CPUtime=462.01
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 20940 0 0 0 46184 17 0 0 25 0 1 0 247201999 88363008 20751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 21573 20751 170 317 0 21252 0
Current children cumulated CPU time (s) 462.01
Current children cumulated vsize (KiB) 86292

[startup+522.302 s]
/proc/loadavg: 1.01 1.01 1.00 2/78 10636
/proc/meminfo: memFree=1732840/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=89256 CPUtime=521.96
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 21677 0 0 0 52179 17 0 0 25 0 1 0 247201999 91398144 21488 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 22314 21488 170 317 0 21993 0
Current children cumulated CPU time (s) 521.96
Current children cumulated vsize (KiB) 89256

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10636
/proc/meminfo: memFree=1729960/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=91776 CPUtime=581.92
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 22386 0 0 0 58175 17 0 0 25 0 1 0 247201999 93978624 22197 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 22944 22197 170 317 0 22623 0
Current children cumulated CPU time (s) 581.92
Current children cumulated vsize (KiB) 91776

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10636
/proc/meminfo: memFree=1727400/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=94212 CPUtime=641.89
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 23023 0 0 0 64171 18 0 0 25 0 1 0 247201999 96473088 22834 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 23553 22834 170 317 0 23232 0
Current children cumulated CPU time (s) 641.89
Current children cumulated vsize (KiB) 94212


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10636
/proc/meminfo: memFree=1713448/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=109712 CPUtime=881.74
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 26465 0 0 0 88152 22 0 0 25 0 1 0 247201999 112345088 26276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 27428 26276 170 317 0 27107 0
Current children cumulated CPU time (s) 881.74
Current children cumulated vsize (KiB) 109712

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10636
/proc/meminfo: memFree=1711592/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=111600 CPUtime=941.71
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 26926 0 0 0 94149 22 0 0 25 0 1 0 247201999 114278400 26737 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718437 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 27900 26737 170 317 0 27579 0
Current children cumulated CPU time (s) 941.71
Current children cumulated vsize (KiB) 111600

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10636
/proc/meminfo: memFree=1710056/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=113568 CPUtime=1001.67
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 27320 0 0 0 100145 22 0 0 25 0 1 0 247201999 116293632 27131 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 28392 27131 170 317 0 28071 0
Current children cumulated CPU time (s) 1001.67
Current children cumulated vsize (KiB) 113568

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10636
/proc/meminfo: memFree=1708648/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=114876 CPUtime=1061.63
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 27693 0 0 0 106140 23 0 0 25 0 1 0 247201999 117633024 27504 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 28719 27504 170 317 0 28398 0
Current children cumulated CPU time (s) 1061.63
Current children cumulated vsize (KiB) 114876

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10636
/proc/meminfo: memFree=1707176/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=116776 CPUtime=1121.6
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 28088 0 0 0 112137 23 0 0 25 0 1 0 247201999 119578624 27899 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 29194 27899 170 317 0 28873 0
Current children cumulated CPU time (s) 1121.6
Current children cumulated vsize (KiB) 116776

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10636
/proc/meminfo: memFree=1704168/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=119824 CPUtime=1181.57
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 28813 0 0 0 118133 24 0 0 25 0 1 0 247201999 122699776 28624 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 29956 28624 170 317 0 29635 0
Current children cumulated CPU time (s) 1181.57
Current children cumulated vsize (KiB) 119824

[startup+1242.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 10636
/proc/meminfo: memFree=1702248/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=121500 CPUtime=1241.52
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 29251 0 0 0 124128 24 0 0 25 0 1 0 247201999 124416000 29062 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 30375 29062 170 317 0 30054 0
Current children cumulated CPU time (s) 1241.52
Current children cumulated vsize (KiB) 121500

[startup+1302.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 10636
/proc/meminfo: memFree=1700776/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=123228 CPUtime=1301.49
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 29622 0 0 0 130124 25 0 0 25 0 1 0 247201999 126185472 29433 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 30807 29433 170 317 0 30486 0
Current children cumulated CPU time (s) 1301.49
Current children cumulated vsize (KiB) 123228

[startup+1362.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 10636
/proc/meminfo: memFree=1699176/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=124688 CPUtime=1361.45
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 30023 0 0 0 136119 26 0 0 25 0 1 0 247201999 127680512 29834 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 31172 29834 170 317 0 30851 0
Current children cumulated CPU time (s) 1361.45
Current children cumulated vsize (KiB) 124688

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10636
/proc/meminfo: memFree=1696360/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=126912 CPUtime=1421.41
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 30533 0 0 0 142115 26 0 0 25 0 1 0 247201999 129957888 30344 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 31728 30344 170 317 0 31407 0
Current children cumulated CPU time (s) 1421.41
Current children cumulated vsize (KiB) 126912

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10636
/proc/meminfo: memFree=1694632/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=128632 CPUtime=1481.37
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 30956 0 0 0 148110 27 0 0 25 0 1 0 247201999 131719168 30767 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 32158 30767 170 317 0 31837 0
Current children cumulated CPU time (s) 1481.37
Current children cumulated vsize (KiB) 128632

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10636
/proc/meminfo: memFree=1692776/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=130904 CPUtime=1541.34
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 31540 0 0 0 154107 27 0 0 25 0 1 0 247201999 134045696 31219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 32726 31219 170 317 0 32405 0
Current children cumulated CPU time (s) 1541.34
Current children cumulated vsize (KiB) 130904

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10638
/proc/meminfo: memFree=1690984/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=132720 CPUtime=1601.3
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 32020 0 0 0 160102 28 0 0 25 0 1 0 247201999 135905280 31699 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10635/statm: 33180 31699 170 317 0 32859 0
Current children cumulated CPU time (s) 1601.3
Current children cumulated vsize (KiB) 132720

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10638
/proc/meminfo: memFree=1688424/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=136248 CPUtime=1661.26
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 32865 0 0 0 166097 29 0 0 25 0 1 0 247201999 139517952 32285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 34062 32285 170 317 0 33741 0
Current children cumulated CPU time (s) 1661.26
Current children cumulated vsize (KiB) 136248

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10638
/proc/meminfo: memFree=1687336/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=137184 CPUtime=1721.23
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 33151 0 0 0 172094 29 0 0 25 0 1 0 247201999 140476416 32571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 34296 32571 170 317 0 33975 0
Current children cumulated CPU time (s) 1721.23
Current children cumulated vsize (KiB) 137184

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10638
/proc/meminfo: memFree=1685928/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=138472 CPUtime=1781.18
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 33474 0 0 0 178089 29 0 0 25 0 1 0 247201999 141795328 32894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 34618 32894 170 317 0 34297 0
Current children cumulated CPU time (s) 1781.18
Current children cumulated vsize (KiB) 138472



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10638
/proc/meminfo: memFree=1685416/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=138992 CPUtime=1800.08
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 33613 0 0 0 179978 30 0 0 25 0 1 0 247201999 142327808 33033 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 34748 33033 170 317 0 34427 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 138992

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

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

[startup+1801.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 10638
/proc/meminfo: memFree=1685416/2055920 swapFree=4140032/4192956
[pid=10635] ppid=10633 vsize=138992 CPUtime=1800.28
/proc/10635/stat : 10635 (oree) R 10633 10635 10305 0 -1 4194304 33613 0 0 0 179998 30 0 0 25 0 1 0 247201999 142327808 33033 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715632 0 0 4096 17474 0 0 0 17 0 0 0
/proc/10635/statm: 34748 33033 170 317 0 34427 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 138992

Child status: 0
Real time (s): 1801.48
CPU time (s): 1800.36
CPU user time (s): 1800.04
CPU system time (s): 0.320951
CPU usage (%): 99.9379
Max. virtual memory (cumulated for all children) (KiB): 138992

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

runsolver used 1.58176 second user time and 4.98524 second system time

The end

Launcher Data (download as text)

Begin job on node17 on Tue May  1 04:14:05 UTC 2007

IDJOB= 430203
IDBENCH= 47963
IDSOLVER= 172
FILE ID= node17/430203-1177992845

PBS_JOBID= 4728200

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=139-P1=67-P2=211-P3=127-P4=137-P5=173-P6=89-P7=223-P8=227-P9=79-B.opb
COMMAND LINE= oree /tmp/evaluation/430203-1177992845/instance-430203-1177992845.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node17/convwatcher-430203-1177992845 -o ROOT/results/node17/conversion-430203-1177992845 -C 600 -M 1800 /tmp/evaluation/430203-1177992845/substituteSizeProductKeyword /tmp/evaluation/430203-1177992845/instance-430203-1177992845.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  651e385f00e2858954d8683e891a1dbe

RANDOM SEED= 416385773

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node17.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.240
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.240
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:       1819000 kB
Buffers:         29072 kB
Cached:         126276 kB
SwapCached:      15196 kB
Active:         123116 kB
Inactive:        55120 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1819000 kB
SwapTotal:     4192956 kB
SwapFree:      4140032 kB
Dirty:            1396 kB
Writeback:           0 kB
Mapped:          29744 kB
Slab:            44164 kB
Committed_AS:  7398968 kB
PageTables:       1796 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 node17 on Tue May  1 04:44:08 UTC 2007