Trace number 366838

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.12 1800.76

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_2.opb
MD5SUM031b0f629913e7cd5c934f00ec1a1885
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark21.4277
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
Number of variables94
Total number of constraints8
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 constraints8
Minimum length of a constraint44
Maximum length of a constraint46
Number of terms in the objective function 64
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 2040
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 808
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2934
Number of bits of the biggest sum of numbers12
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.00	c ...done
0.00/0.00	c #vars=94 #constraints=9 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.09/0.19	c restart after 401 decisions
0.19/0.21	c nbDecision=500 #constraints=357
0.39/0.44	c restart after 801 decisions
0.59/0.60	c nbDecision=1000 #constraints=783
1.29/1.30	c nbDecision=1500 #constraints=1282
1.39/1.47	c restart after 1601 decisions
2.09/2.17	c nbDecision=2000 #constraints=1705
3.58/3.67	c nbDecision=2500 #constraints=2204
5.69/5.71	c nbDecision=3000 #constraints=2704
6.59/6.61	c restart after 3201 decisions
8.29/8.38	c nbDecision=3500 #constraints=3126
12.00/12.09	c nbDecision=4000 #constraints=3627
16.79/16.89	c nbDecision=4500 #constraints=4128
22.38/22.47	c nbDecision=5000 #constraints=4627
28.18/28.21	c nbDecision=5500 #constraints=5128
35.48/35.52	c nbDecision=6000 #constraints=5628
41.68/41.77	c restart after 6401 decisions
42.48/42.54	c nbDecision=6500 #constraints=6052
51.27/51.37	c nbDecision=7000 #constraints=6551
60.48/60.56	c nbDecision=7500 #constraints=7049
69.87/69.90	c nbDecision=8000 #constraints=7549
80.87/80.90	c nbDecision=8500 #constraints=8048
92.86/92.95	c nbDecision=9000 #constraints=8547
105.16/105.27	c nbDecision=9500 #constraints=9051
118.26/118.31	c nbDecision=10000 #constraints=9548
131.95/132.02	c nbDecision=10500 #constraints=10051
145.74/145.82	c nbDecision=11000 #constraints=10549
162.15/162.25	c nbDecision=11500 #constraints=11049
179.54/179.62	c nbDecision=12000 #constraints=11550
196.74/196.80	c nbDecision=12500 #constraints=12051
208.23/208.38	c restart after 12801 decisions
213.83/213.91	c nbDecision=13000 #constraints=12474
232.82/232.92	c nbDecision=13500 #constraints=12968
253.22/253.31	c nbDecision=14000 #constraints=13472
272.31/272.42	c nbDecision=14500 #constraints=13966
291.80/291.98	c nbDecision=15000 #constraints=14467
311.00/311.12	c nbDecision=15500 #constraints=14968
331.79/331.99	c nbDecision=16000 #constraints=15465
355.39/355.51	c nbDecision=16500 #constraints=15966
378.78/378.98	c nbDecision=17000 #constraints=16465
402.27/402.44	c nbDecision=17500 #constraints=16965
426.36/426.52	c nbDecision=18000 #constraints=17462
450.56/450.71	c nbDecision=18500 #constraints=17963
476.35/476.56	c nbDecision=19000 #constraints=18465
502.15/502.34	c nbDecision=19500 #constraints=18962
526.83/527.02	c nbDecision=20000 #constraints=19461
554.93/555.11	c nbDecision=20500 #constraints=19963
585.12/585.34	c nbDecision=21000 #constraints=20462
614.11/614.36	c nbDecision=21500 #constraints=20962
642.70/642.97	c nbDecision=22000 #constraints=21459
672.89/673.18	c nbDecision=22500 #constraints=21959
702.59/702.89	c nbDecision=23000 #constraints=22458
739.87/740.14	c nbDecision=23500 #constraints=22958
774.26/774.56	c nbDecision=24000 #constraints=23458
809.06/809.35	c nbDecision=24500 #constraints=23958
843.74/844.09	c nbDecision=25000 #constraints=24456
878.54/878.87	c nbDecision=25500 #constraints=24955
885.43/885.72	c restart after 25601 decisions
917.42/917.76	c nbDecision=26000 #constraints=25380
961.12/961.48	c nbDecision=26500 #constraints=25881
1000.89/1001.22	c nbDecision=27000 #constraints=26379
1040.38/1040.78	c nbDecision=27500 #constraints=26879
1080.25/1080.67	c nbDecision=28000 #constraints=27382
1123.97/1124.41	c nbDecision=28500 #constraints=27878
1170.34/1170.86	c nbDecision=29000 #constraints=28377
1213.03/1213.51	c nbDecision=29500 #constraints=28878
1255.81/1256.32	c nbDecision=30000 #constraints=29380
1299.20/1299.78	c nbDecision=30500 #constraints=29880
1347.09/1347.62	c nbDecision=31000 #constraints=30379
1395.57/1396.18	c nbDecision=31500 #constraints=30877
1443.76/1444.38	c nbDecision=32000 #constraints=31378
1486.44/1487.00	c nbDecision=32500 #constraints=31877
1538.63/1539.20	c nbDecision=33000 #constraints=32376
1583.52/1584.11	c nbDecision=33500 #constraints=32875
1633.10/1633.80	c nbDecision=34000 #constraints=33376
1680.10/1680.77	c nbDecision=34500 #constraints=33874
1727.88/1728.52	c nbDecision=35000 #constraints=34374
1773.17/1773.85	c nbDecision=35500 #constraints=34874
1800.06/1800.70	Received signal 15
1800.06/1800.73	
1800.06/1800.73	s UNKNOWN
1800.06/1800.73	
1800.06/1800.73	c user time= 1799.73 s
1800.06/1800.73	c system time= 0.372943 s
1800.06/1800.73	c wall clock time=1800.74

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/node6/watcher-366838-1177000984 -o ROOT/results/node6/solver-366838-1177000984 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/366838-1177000984/instance-366838-1177000984.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.95 0.90 3/77 6794
/proc/meminfo: memFree=1694584/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=1468 CPUtime=0
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 187 0 0 0 0 0 0 0 18 0 1 0 176136078 1503232 169 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 367 169 139 317 0 46 0

[startup+0.049998 s]
/proc/loadavg: 0.91 0.95 0.90 3/77 6794
/proc/meminfo: memFree=1694584/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=1732 CPUtime=0.04
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 250 0 0 0 4 0 0 0 18 0 1 0 176136078 1773568 232 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718454 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 433 232 139 317 0 112 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 1732

[startup+0.102004 s]
/proc/loadavg: 0.91 0.95 0.90 3/77 6794
/proc/meminfo: memFree=1694584/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=1996 CPUtime=0.09
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 324 0 0 0 9 0 0 0 18 0 1 0 176136078 2043904 306 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 499 306 139 317 0 178 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1996

[startup+0.301027 s]
/proc/loadavg: 0.91 0.95 0.90 3/77 6794
/proc/meminfo: memFree=1694584/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=2788 CPUtime=0.29
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 531 0 0 0 29 0 0 0 19 0 1 0 176136078 2854912 513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 697 514 139 317 0 376 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2788

[startup+0.701074 s]
/proc/loadavg: 0.91 0.95 0.90 3/77 6794
/proc/meminfo: memFree=1694584/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=4104 CPUtime=0.69
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 847 0 0 0 69 0 0 0 22 0 1 0 176136078 4202496 829 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 1026 829 139 317 0 705 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4104

[startup+1.50117 s]
/proc/loadavg: 0.91 0.95 0.90 2/78 6795
/proc/meminfo: memFree=1691120/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=5704 CPUtime=1.49
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 1239 0 0 0 149 0 0 0 25 0 1 0 176136078 5840896 1221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 1426 1221 139 317 0 1105 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5704

[startup+3.10136 s]
/proc/loadavg: 0.91 0.95 0.90 2/78 6795
/proc/meminfo: memFree=1689136/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=7712 CPUtime=3.09
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 1727 0 0 0 309 0 0 0 25 0 1 0 176136078 7897088 1709 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 1928 1709 139 317 0 1607 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7712

[startup+6.30173 s]
/proc/loadavg: 0.92 0.95 0.90 2/78 6795
/proc/meminfo: memFree=1686320/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=10504 CPUtime=6.29
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 2365 0 0 0 628 1 0 0 25 0 1 0 176136078 10756096 2347 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604405 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 2626 2347 139 317 0 2305 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10504

[startup+12.7015 s]
/proc/loadavg: 0.93 0.95 0.90 2/78 6795
/proc/meminfo: memFree=1683248/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=12796 CPUtime=12.69
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 2969 0 0 0 1267 2 0 0 25 0 1 0 176136078 13103104 2951 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 3199 2951 139 317 0 2878 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12796

[startup+25.502 s]
/proc/loadavg: 0.94 0.96 0.91 2/78 6795
/proc/meminfo: memFree=1679792/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=16192 CPUtime=25.48
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 3818 0 0 0 2546 2 0 0 25 0 1 0 176136078 16580608 3800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 4048 3800 170 317 0 3727 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16192

[startup+51.102 s]
/proc/loadavg: 0.96 0.96 0.91 2/78 6795
/proc/meminfo: memFree=1674736/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=21752 CPUtime=51.07
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 5080 0 0 0 5104 3 0 0 25 0 1 0 176136078 22274048 5062 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 5438 5062 170 317 0 5117 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 21752

[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.91 2/78 6795
/proc/meminfo: memFree=1667568/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=29032 CPUtime=102.26
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 6886 0 0 0 10221 5 0 0 25 0 1 0 176136078 29728768 6811 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 7258 6811 170 317 0 6937 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 29032

[startup+162.301 s]
/proc/loadavg: 1.03 0.98 0.91 2/78 6795
/proc/meminfo: memFree=1661104/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=35872 CPUtime=162.24
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 8506 0 0 0 16217 7 0 0 25 0 1 0 176136078 36732928 8431 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 8968 8431 170 317 0 8647 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 35872

[startup+222.301 s]
/proc/loadavg: 1.01 0.98 0.91 2/78 6795
/proc/meminfo: memFree=1656304/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=41016 CPUtime=222.23
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 9694 0 0 0 22215 8 0 0 25 0 1 0 176136078 42000384 9619 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 10254 9619 170 317 0 9933 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 41016

[startup+282.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 6795
/proc/meminfo: memFree=1651568/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=46060 CPUtime=282.21
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 10873 0 0 0 28212 9 0 0 25 0 1 0 176136078 47165440 10798 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 11515 10798 170 317 0 11194 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 46060

[startup+342.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 6795
/proc/meminfo: memFree=1647152/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=50160 CPUtime=342.18
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 11937 0 0 0 34208 10 0 0 25 0 1 0 176136078 51363840 11862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 12540 11862 170 317 0 12219 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 50160

[startup+402.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 6795
/proc/meminfo: memFree=1643440/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=54836 CPUtime=402.17
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 13120 0 0 0 40205 12 0 0 25 0 1 0 176136078 56152064 12800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 13709 12800 170 317 0 13388 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 54836

[startup+462.301 s]
/proc/loadavg: 1.00 0.98 0.91 2/78 6795
/proc/meminfo: memFree=1639792/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=58148 CPUtime=462.15
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 14008 0 0 0 46202 13 0 0 25 0 1 0 176136078 59543552 13688 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 14537 13688 170 317 0 14216 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 58148

[startup+522.301 s]
/proc/loadavg: 1.06 1.00 0.92 2/78 6795
/proc/meminfo: memFree=1636144/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=62036 CPUtime=522.13
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 14933 0 0 0 52199 14 0 0 25 0 1 0 176136078 63524864 14613 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 15509 14613 170 317 0 15188 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 62036

[startup+582.301 s]
/proc/loadavg: 1.02 1.00 0.92 2/78 6795
/proc/meminfo: memFree=1632880/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=65196 CPUtime=582.12
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 15731 0 0 0 58196 16 0 0 25 0 1 0 176136078 66760704 15411 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 16299 15411 170 317 0 15978 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 65196

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6795
/proc/meminfo: memFree=1629552/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=69520 CPUtime=642.1
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 16729 0 0 0 64194 16 0 0 25 0 1 0 176136078 71188480 16244 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 17380 16244 170 317 0 17059 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 69520


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/78 6795
/proc/meminfo: memFree=1618864/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=81540 CPUtime=882.03
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 19839 0 0 0 88182 21 0 0 25 0 1 0 176136078 83496960 18859 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 20385 18859 170 317 0 20064 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 81540

[startup+942.302 s]
/proc/loadavg: 1.03 1.01 0.93 2/78 6795
/proc/meminfo: memFree=1617072/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=83116 CPUtime=942.01
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 20280 0 0 0 94179 22 0 0 25 0 1 0 176136078 85110784 19300 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 20779 19300 170 317 0 20458 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 83116

[startup+1002.3 s]
/proc/loadavg: 1.01 1.00 0.93 2/78 6795
/proc/meminfo: memFree=1615088/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=85216 CPUtime=1001.99
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 20844 0 0 0 100176 23 0 0 25 0 1 0 176136078 87261184 19831 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 21304 19831 170 317 0 20983 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 85216

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 6795
/proc/meminfo: memFree=1612912/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=87192 CPUtime=1061.98
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 21378 0 0 0 106173 25 0 0 25 0 1 0 176136078 89284608 20365 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 21798 20365 170 317 0 21477 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 87192

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/84 6967
/proc/meminfo: memFree=1609536/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=89020 CPUtime=1121.87
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 21900 0 0 0 112162 25 0 0 25 0 1 0 176136078 91156480 20887 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 22255 20887 170 317 0 21934 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 89020

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 6993
/proc/meminfo: memFree=1608752/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=90856 CPUtime=1181.83
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 22403 0 0 0 118157 26 0 0 25 0 1 0 176136078 93036544 21357 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 22714 21357 170 317 0 22393 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 90856

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 6993
/proc/meminfo: memFree=1606448/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=94024 CPUtime=1241.81
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 23209 0 0 0 124154 27 0 0 25 0 1 0 176136078 96280576 21899 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564065 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 23506 21899 170 317 0 23185 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 94024

[startup+1302.3 s]
/proc/loadavg: 1.05 1.01 0.93 2/78 6993
/proc/meminfo: memFree=1604272/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=95980 CPUtime=1301.8
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 23736 0 0 0 130152 28 0 0 25 0 1 0 176136078 98283520 22426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 23995 22426 170 317 0 23674 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 95980

[startup+1362.3 s]
/proc/loadavg: 1.02 1.01 0.93 2/78 6993
/proc/meminfo: memFree=1602672/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=97548 CPUtime=1361.78
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 24177 0 0 0 136149 29 0 0 25 0 1 0 176136078 99889152 22834 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 24387 22834 170 317 0 24066 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 97548

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 6993
/proc/meminfo: memFree=1600944/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=99120 CPUtime=1421.77
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 24603 0 0 0 142147 30 0 0 25 0 1 0 176136078 101498880 23260 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 24780 23260 170 317 0 24459 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 99120

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 6993
/proc/meminfo: memFree=1598960/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=100852 CPUtime=1481.74
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 25112 0 0 0 148143 31 0 0 25 0 1 0 176136078 103272448 23769 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 25213 23769 170 317 0 24892 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 100852

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 6993
/proc/meminfo: memFree=1597104/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=102692 CPUtime=1541.73
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 25548 0 0 0 154141 32 0 0 25 0 1 0 176136078 105156608 24205 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 25673 24205 170 317 0 25352 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 102692

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 6993
/proc/meminfo: memFree=1594544/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=106844 CPUtime=1601.71
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 26674 0 0 0 160138 33 0 0 25 0 1 0 176136078 109408256 24813 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 26711 24813 170 317 0 26390 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 106844

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 6993
/proc/meminfo: memFree=1593008/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=108948 CPUtime=1661.69
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 27133 0 0 0 166135 34 0 0 25 0 1 0 176136078 111562752 25207 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 27237 25207 170 317 0 26916 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 108948

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 6993
/proc/meminfo: memFree=1591600/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=110520 CPUtime=1721.67
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 27582 0 0 0 172132 35 0 0 25 0 1 0 176136078 113172480 25623 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 27630 25623 170 317 0 27309 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 110520

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 6993
/proc/meminfo: memFree=1589424/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=112228 CPUtime=1781.66
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 28094 0 0 0 178129 37 0 0 25 0 1 0 176136078 114921472 26135 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 28057 26135 170 317 0 27736 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 112228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 6993
/proc/meminfo: memFree=1588848/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=112748 CPUtime=1800.06
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 28231 0 0 0 179969 37 0 0 25 0 1 0 176136078 115453952 26272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 28187 26272 170 317 0 27866 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 112748

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.93 2/78 6993
/proc/meminfo: memFree=1588848/2055924 swapFree=4146720/4192956
[pid=6794] ppid=6792 vsize=112748 CPUtime=1800.06
/proc/6794/stat : 6794 (oree) R 6792 6794 5792 0 -1 4194304 28231 0 0 0 179969 37 0 0 25 0 1 0 176136078 115453952 26272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/6794/statm: 28187 26272 170 317 0 27866 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 112748

Child status: 0
Real time (s): 1800.76
CPU time (s): 1800.12
CPU user time (s): 1799.73
CPU system time (s): 0.39094
CPU usage (%): 99.9645
Max. virtual memory (cumulated for all children) (KiB): 112748

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

runsolver used 2.09468 second user time and 4.44932 second system time

The end

Launcher Data (download as text)

Begin job on node6 on Thu Apr 19 16:43:04 UTC 2007

IDJOB= 366838
IDBENCH= 2916
IDSOLVER= 172
FILE ID= node6/366838-1177000984

PBS_JOBID= 4630457

Free space on /tmp= 66418 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_2.opb
COMMAND LINE= oree /tmp/evaluation/366838-1177000984/instance-366838-1177000984.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node6/watcher-366838-1177000984 -o ROOT/results/node6/solver-366838-1177000984 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/366838-1177000984/instance-366838-1177000984.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  031b0f629913e7cd5c934f00ec1a1885

RANDOM SEED= 418330019

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node6.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.232
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.232
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:      2055924 kB
MemFree:       1694992 kB
Buffers:         28172 kB
Cached:         266148 kB
SwapCached:      13584 kB
Active:          40636 kB
Inactive:       278616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1694992 kB
SwapTotal:     4192956 kB
SwapFree:      4146720 kB
Dirty:            1324 kB
Writeback:           0 kB
Mapped:          32028 kB
Slab:            27176 kB
Committed_AS:  6943216 kB
PageTables:       1788 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= 66418 MiB

End job on node6 on Thu Apr 19 17:13:07 UTC 2007