Trace number 363490

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.4 1800.93

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-cracpb1.opb
MD5SUM75f6d21683e6eb738b98c93cf5598ff3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark22199
Best CPU time to get the best result obtained on this benchmark1.03584
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 22199
Optimality of the best value was proved YES
Number of variables572
Total number of constraints126
Number of constraints which are clauses3
Number of constraints which are cardinality constraints (but not clauses)54
Number of constraints which are nor clauses,nor cardinality constraints69
Minimum length of a constraint4
Maximum length of a constraint518
Number of terms in the objective function 572
Biggest coefficient in the objective function 5000
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 547769
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 5000
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 547769
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.00/0.01	c ...done
0.00/0.01	c #vars=572 #constraints=216 hasObjective=yes
0.00/0.02	c res. mode=mod
0.00/0.02	c VSIDS like heuristics
0.00/0.02	c complete search running
0.00/0.02	c restart after 401 decisions
0.00/0.02	c nbDecision=500 #constraints=227
0.03/0.04	c restart after 801 decisions
0.03/0.04	c nbDecision=1000 #constraints=257
1.09/1.18	c nbDecision=1500 #constraints=680
1.49/1.57	c restart after 1601 decisions
1.89/1.93	c nbDecision=2000 #constraints=887
3.79/3.89	c nbDecision=2500 #constraints=1327
6.28/6.30	c nbDecision=3000 #constraints=1762
7.89/7.93	c restart after 3201 decisions
8.59/8.66	c nbDecision=3500 #constraints=1986
11.79/11.84	c nbDecision=4000 #constraints=2386
16.59/16.69	c nbDecision=4500 #constraints=2865
23.48/23.54	c nbDecision=5000 #constraints=3339
31.38/31.46	c nbDecision=5500 #constraints=3829
40.28/40.30	c nbDecision=6000 #constraints=4291
48.18/48.20	c restart after 6401 decisions
48.88/48.95	c nbDecision=6500 #constraints=4670
58.78/58.87	c nbDecision=7000 #constraints=5007
74.07/74.16	c nbDecision=7500 #constraints=5494
89.97/90.07	c nbDecision=8000 #constraints=5983
110.16/110.27	c nbDecision=8500 #constraints=6471
133.16/133.28	c nbDecision=9000 #constraints=6954
155.56/155.64	c nbDecision=9500 #constraints=7440
176.44/176.58	c nbDecision=10000 #constraints=7912
205.65/205.72	c nbDecision=10500 #constraints=8403
230.33/230.42	c nbDecision=11000 #constraints=8880
265.92/266.10	c nbDecision=11500 #constraints=9367
305.52/305.61	c nbDecision=12000 #constraints=9850
341.11/341.25	c nbDecision=12500 #constraints=10321
362.31/362.49	c restart after 12801 decisions
365.21/365.34	c nbDecision=13000 #constraints=10563
395.29/395.49	c nbDecision=13500 #constraints=10992
430.78/430.94	c nbDecision=14000 #constraints=11416
467.87/468.07	c nbDecision=14500 #constraints=11868
510.17/510.38	c nbDecision=15000 #constraints=12325
557.66/557.86	c nbDecision=15500 #constraints=12814
601.95/602.16	c nbDecision=16000 #constraints=13309
641.93/642.19	c nbDecision=16500 #constraints=13781
691.23/691.40	c nbDecision=17000 #constraints=14268
738.52/738.72	c nbDecision=17500 #constraints=14750
789.41/789.67	c nbDecision=18000 #constraints=15240
842.99/843.22	c nbDecision=18500 #constraints=15736
893.38/893.61	c nbDecision=19000 #constraints=16219
942.47/942.77	c nbDecision=19500 #constraints=16708
989.15/989.48	c nbDecision=20000 #constraints=17189
1056.24/1056.55	c nbDecision=20500 #constraints=17686
1116.53/1116.85	c nbDecision=21000 #constraints=18150
1188.50/1188.80	c nbDecision=21500 #constraints=18637
1264.59/1264.98	c nbDecision=22000 #constraints=19113
1339.47/1339.89	c nbDecision=22500 #constraints=19596
1391.06/1391.41	c nbDecision=23000 #constraints=19867
1458.34/1458.70	c nbDecision=23500 #constraints=20299
1514.24/1514.62	c nbDecision=24000 #constraints=20776
1568.62/1569.00	c nbDecision=24500 #constraints=21234
1620.11/1620.56	c nbDecision=25000 #constraints=21685
1672.32/1672.81	c nbDecision=25500 #constraints=22161
1684.41/1684.96	c restart after 25601 decisions
1709.58/1710.13	c nbDecision=26000 #constraints=22423
1766.57/1767.10	c nbDecision=26500 #constraints=22898
1800.07/1800.60	Received signal 15
1800.26/1800.86	
1800.26/1800.86	s UNKNOWN
1800.26/1800.86	
1800.26/1800.86	c user time= 1799.73 s
1800.26/1800.86	c system time= 0.608907 s
1800.26/1800.86	c wall clock time=1800.86

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node57/watcher-363490-1176852820 -o ROOT/results/node57/solver-363490-1176852820 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363490-1176852820/instance-363490-1176852820.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.04 1.01 0.96 3/64 6010
/proc/meminfo: memFree=1599288/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=1468 CPUtime=0
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 126417938 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 367 164 131 317 0 46 0

[startup+0.0319469 s]
/proc/loadavg: 1.04 1.01 0.96 3/64 6010
/proc/meminfo: memFree=1599288/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=1864 CPUtime=0.03
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 295 0 0 0 3 0 0 0 18 0 1 0 126417938 1908736 277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270588 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 466 277 139 317 0 145 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1864

[startup+0.102953 s]
/proc/loadavg: 1.04 1.01 0.96 3/64 6010
/proc/meminfo: memFree=1599288/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=2532 CPUtime=0.09
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 486 0 0 0 9 0 0 0 18 0 1 0 126417938 2592768 468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 633 468 170 317 0 312 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2532

[startup+0.30197 s]
/proc/loadavg: 1.04 1.01 0.96 3/64 6010
/proc/meminfo: memFree=1599288/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=4248 CPUtime=0.29
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 924 0 0 0 29 0 0 0 19 0 1 0 126417938 4349952 906 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 1062 906 170 317 0 741 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4248

[startup+0.702005 s]
/proc/loadavg: 1.04 1.01 0.96 3/64 6010
/proc/meminfo: memFree=1599288/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=6888 CPUtime=0.69
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 1552 0 0 0 69 0 0 0 23 0 1 0 126417938 7053312 1534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 1722 1534 170 317 0 1401 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6888

[startup+1.50108 s]
/proc/loadavg: 1.04 1.01 0.96 2/65 6011
/proc/meminfo: memFree=1592432/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=10484 CPUtime=1.49
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 2482 0 0 0 148 1 0 0 25 0 1 0 126417938 10735616 2464 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710870 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 2621 2464 170 317 0 2300 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10484

[startup+3.10121 s]
/proc/loadavg: 1.04 1.01 0.96 2/65 6011
/proc/meminfo: memFree=1586928/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=16908 CPUtime=3.09
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 4077 0 0 0 307 2 0 0 25 0 1 0 126417938 17313792 4059 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 4227 4059 170 317 0 3906 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16908

[startup+6.30149 s]
/proc/loadavg: 1.04 1.01 0.96 2/65 6011
/proc/meminfo: memFree=1575280/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=27320 CPUtime=6.28
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 6671 0 0 0 625 3 0 0 25 0 1 0 126417938 27975680 6653 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 6830 6653 170 317 0 6509 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 27320

[startup+12.701 s]
/proc/loadavg: 1.04 1.01 0.96 2/65 6011
/proc/meminfo: memFree=1561912/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=41276 CPUtime=12.68
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 9661 0 0 0 1264 4 0 0 25 0 1 0 126417938 42266624 9643 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 10319 9643 170 317 0 9998 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 41276

[startup+25.5022 s]
/proc/loadavg: 1.03 1.01 0.96 2/65 6011
/proc/meminfo: memFree=1545592/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=55744 CPUtime=25.49
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 13560 0 0 0 2542 7 0 0 25 0 1 0 126417938 57081856 13542 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 13936 13542 170 317 0 13615 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 55744

[startup+51.1024 s]
/proc/loadavg: 1.02 1.01 0.96 2/65 6011
/proc/meminfo: memFree=1523704/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=81368 CPUtime=51.08
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 19066 0 0 0 5098 10 0 0 25 0 1 0 126417938 83320832 19048 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 20342 19048 170 317 0 20021 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 81368

[startup+102.306 s]
/proc/loadavg: 1.01 1.00 0.96 2/65 6011
/proc/meminfo: memFree=1498296/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=104656 CPUtime=102.27
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 25314 0 0 0 10212 15 0 0 25 0 1 0 126417938 107167744 25296 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 26164 25296 170 317 0 25843 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 104656

[startup+162.303 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 6011
/proc/meminfo: memFree=1478328/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=123652 CPUtime=162.26
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 30369 0 0 0 16208 18 0 0 25 0 1 0 126417938 126619648 30351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604220 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 30913 30351 170 317 0 30592 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 123652

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 6011
/proc/meminfo: memFree=1455160/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=155020 CPUtime=222.24
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 36137 0 0 0 22203 21 0 0 25 0 1 0 126417938 158740480 36061 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 38755 36061 170 317 0 38434 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 155020

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 6011
/proc/meminfo: memFree=1441656/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=168328 CPUtime=282.22
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 39555 0 0 0 28198 24 0 0 25 0 1 0 126417938 172367872 39479 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 42082 39479 170 317 0 41761 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 168328

[startup+342.303 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 6011
/proc/meminfo: memFree=1429624/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=179840 CPUtime=342.21
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 42520 0 0 0 34195 26 0 0 25 0 1 0 126417938 184156160 42444 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 44960 42444 170 317 0 44639 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 179840

[startup+402.303 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 6011
/proc/meminfo: memFree=1418424/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=190796 CPUtime=402.2
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 45342 0 0 0 40192 28 0 0 25 0 1 0 126417938 195375104 45266 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 47699 45266 170 317 0 47378 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 190796

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 6011
/proc/meminfo: memFree=1406584/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=201276 CPUtime=462.18
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 48253 0 0 0 46189 29 0 0 25 0 1 0 126417938 206106624 48177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 50319 48177 170 317 0 49998 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 201276

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 6011
/proc/meminfo: memFree=1396728/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=211008 CPUtime=522.17
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 50734 0 0 0 52186 31 0 0 25 0 1 0 126417938 216072192 50658 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 52752 50658 170 317 0 52431 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 211008

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 6011
/proc/meminfo: memFree=1386872/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=220120 CPUtime=582.15
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 53177 0 0 0 58183 32 0 0 25 0 1 0 126417938 225402880 53101 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 55030 53101 170 317 0 54709 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 220120

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/65 6011
/proc/meminfo: memFree=1375608/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=230244 CPUtime=642.14
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 55970 0 0 0 64181 33 0 0 25 0 1 0 126417938 235769856 55894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 57561 55894 170 317 0 57240 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 230244


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

[startup+942.302 s]
/proc/loadavg: 1.08 1.03 0.97 2/65 6011
/proc/meminfo: memFree=1329528/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=277420 CPUtime=942.06
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 68234 0 0 0 94166 40 0 0 25 0 1 0 126417938 284078080 67351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 69355 67351 170 317 0 69034 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 277420

[startup+1002.3 s]
/proc/loadavg: 1.03 1.02 0.97 2/65 6011
/proc/meminfo: memFree=1317112/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=311552 CPUtime=1002.05
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 75436 0 0 0 100162 43 0 0 25 0 1 0 126417938 319029248 70494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 77888 70494 170 317 0 77567 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 311552

[startup+1062.3 s]
/proc/loadavg: 1.01 1.01 0.97 2/65 6011
/proc/meminfo: memFree=1310008/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=318540 CPUtime=1062.03
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 77249 0 0 0 106158 45 0 0 25 0 1 0 126417938 326184960 72274 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718318 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 79635 72274 170 317 0 79314 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 318540

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 0.97 2/65 6011
/proc/meminfo: memFree=1302264/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=325904 CPUtime=1122.03
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 79235 0 0 0 112156 47 0 0 25 0 1 0 126417938 333725696 74194 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 81476 74194 170 317 0 81155 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 325904

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 6011
/proc/meminfo: memFree=1295608/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=331800 CPUtime=1182
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 80936 0 0 0 118153 47 0 0 25 0 1 0 126417938 339763200 75862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 82950 75862 170 317 0 82629 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 331800

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 6011
/proc/meminfo: memFree=1289400/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=337212 CPUtime=1241.99
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 82490 0 0 0 124151 48 0 0 25 0 1 0 126417938 345305088 77383 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 84303 77383 170 317 0 83982 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 337212

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 6011
/proc/meminfo: memFree=1282936/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=342812 CPUtime=1301.98
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 84105 0 0 0 130149 49 0 0 25 0 1 0 126417938 351039488 78998 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718327 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 85703 78998 170 317 0 85382 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 342812

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 6011
/proc/meminfo: memFree=1277944/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=347748 CPUtime=1361.97
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 85382 0 0 0 136146 51 0 0 25 0 1 0 126417938 356093952 80242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 86937 80242 170 317 0 86616 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 347748

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 6011
/proc/meminfo: memFree=1272952/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=352284 CPUtime=1421.95
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 86705 0 0 0 142144 51 0 0 25 0 1 0 126417938 360738816 81499 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604194 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 88071 81499 170 317 0 87750 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 352284

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 6011
/proc/meminfo: memFree=1266424/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=358876 CPUtime=1481.94
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 88559 0 0 0 148141 53 0 0 25 0 1 0 126417938 367489024 83122 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 89719 83122 170 317 0 89398 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 358876

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 6011
/proc/meminfo: memFree=1258616/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=366436 CPUtime=1541.92
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 90598 0 0 0 154138 54 0 0 25 0 1 0 126417938 375230464 85095 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 91609 85095 170 317 0 91288 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 366436

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 6011
/proc/meminfo: memFree=1251320/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=373136 CPUtime=1601.91
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 92417 0 0 0 160136 55 0 0 25 0 1 0 126417938 382091264 86914 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 93284 86914 170 317 0 92963 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 373136

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/71 6127
/proc/meminfo: memFree=1241336/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=381104 CPUtime=1661.84
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 94616 0 0 0 166127 57 0 0 25 0 1 0 126417938 390250496 89080 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 0 0 0
/proc/6010/statm: 95276 89080 170 317 0 94955 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 381104

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 6209
/proc/meminfo: memFree=1235512/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=387388 CPUtime=1721.78
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 96351 0 0 0 172120 58 0 0 25 0 1 0 126417938 396685312 90815 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 96847 90815 170 317 0 96526 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 387388

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 6209
/proc/meminfo: memFree=1227192/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=394652 CPUtime=1781.77
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 98433 0 0 0 178117 60 0 0 25 0 1 0 126417938 404123648 92897 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 98663 92897 170 317 0 98342 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 394652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 6209
/proc/meminfo: memFree=1224504/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=396772 CPUtime=1800.07
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 99065 0 0 0 179947 60 0 0 25 0 1 0 126417938 406294528 93529 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 99193 93529 170 317 0 98872 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 396772

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

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

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 6209
/proc/meminfo: memFree=1224504/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=396904 CPUtime=1800.26
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194304 99119 0 0 0 179966 60 0 0 25 0 1 0 126417938 406429696 93583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 99226 93583 170 317 0 98905 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 396904

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 0.97 2/65 6209
/proc/meminfo: memFree=1224504/2055920 swapFree=4174180/4192956
[pid=6010] ppid=6008 vsize=0 CPUtime=1800.36
/proc/6010/stat : 6010 (oree) R 6008 6010 5623 0 -1 4194308 99151 0 0 0 179972 64 0 0 25 0 1 0 126417938 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6010/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.36
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.93
CPU time (s): 1800.4
CPU user time (s): 1799.73
CPU system time (s): 0.669898
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 396904

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

runsolver used 1.3118 second user time and 3.69444 second system time

The end

Launcher Data (download as text)

Begin job on node57 on Tue Apr 17 23:33:40 UTC 2007

IDJOB= 363490
IDBENCH= 1855
IDSOLVER= 172
FILE ID= node57/363490-1176852820

PBS_JOBID= 4590226

Free space on /tmp= 66511 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-cracpb1.opb
COMMAND LINE= oree /tmp/evaluation/363490-1176852820/instance-363490-1176852820.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node57/watcher-363490-1176852820 -o ROOT/results/node57/solver-363490-1176852820 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/363490-1176852820/instance-363490-1176852820.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  75f6d21683e6eb738b98c93cf5598ff3

RANDOM SEED= 302637569

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:       1599696 kB
Buffers:         26808 kB
Cached:         368888 kB
SwapCached:      13052 kB
Active:         303556 kB
Inactive:       111092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1599696 kB
SwapTotal:     4192956 kB
SwapFree:      4174180 kB
Dirty:            1348 kB
Writeback:           0 kB
Mapped:          15468 kB
Slab:            27624 kB
Committed_AS:   838104 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= 66511 MiB

End job on node57 on Wed Apr 18 00:03:43 UTC 2007