Trace number 357474

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.26 1800.79

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_1.opb
MD5SUMae75c4a4fdafb98542bd11b7f7eecd54
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables41
Total number of constraints11
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint1
Maximum length of a constraint40
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1086
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3258
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=41 #constraints=12 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.19/0.26	c restart after 401 decisions
0.29/0.33	c nbDecision=500 #constraints=482
0.59/0.64	c restart after 801 decisions
0.90/0.91	c nbDecision=1000 #constraints=966
1.79/1.81	c nbDecision=1500 #constraints=1466
2.10/2.12	c restart after 1601 decisions
3.29/3.35	c nbDecision=2000 #constraints=1954
5.39/5.48	c nbDecision=2500 #constraints=2453
8.69/8.72	c nbDecision=3000 #constraints=2954
10.29/10.30	c restart after 3201 decisions
13.49/13.51	c nbDecision=3500 #constraints=3437
19.79/19.80	c nbDecision=4000 #constraints=3938
27.08/27.12	c nbDecision=4500 #constraints=4437
33.68/33.72	c nbDecision=5000 #constraints=4938
44.08/44.19	c nbDecision=5500 #constraints=5437
57.48/57.55	c nbDecision=6000 #constraints=5938
68.38/68.43	c restart after 6401 decisions
71.08/71.16	c nbDecision=6500 #constraints=6425
86.67/86.77	c nbDecision=7000 #constraints=6924
101.86/101.96	c nbDecision=7500 #constraints=7426
118.16/118.23	c nbDecision=8000 #constraints=7924
134.86/134.98	c nbDecision=8500 #constraints=8424
153.46/153.54	c nbDecision=9000 #constraints=8924
170.46/170.51	c nbDecision=9500 #constraints=9422
188.95/189.10	c nbDecision=10000 #constraints=9923
207.84/207.97	c nbDecision=10500 #constraints=10423
228.93/229.05	c nbDecision=11000 #constraints=10921
253.03/253.12	c nbDecision=11500 #constraints=11422
277.03/277.10	c nbDecision=12000 #constraints=11923
300.92/301.04	c nbDecision=12500 #constraints=12421
315.31/315.49	c restart after 12801 decisions
325.61/325.77	c nbDecision=13000 #constraints=12909
352.40/352.56	c nbDecision=13500 #constraints=13408
379.60/379.74	c nbDecision=14000 #constraints=13907
409.59/409.72	c nbDecision=14500 #constraints=14408
437.49/437.63	c nbDecision=15000 #constraints=14908
469.07/469.24	c nbDecision=15500 #constraints=15408
499.87/500.00	c nbDecision=16000 #constraints=15907
534.06/534.27	c nbDecision=16500 #constraints=16406
565.16/565.33	c nbDecision=17000 #constraints=16904
598.65/598.86	c nbDecision=17500 #constraints=17405
633.53/633.70	c nbDecision=18000 #constraints=17905
666.93/667.10	c nbDecision=18500 #constraints=18404
700.63/700.89	c nbDecision=19000 #constraints=18905
734.71/734.99	c nbDecision=19500 #constraints=19405
772.01/772.27	c nbDecision=20000 #constraints=19903
815.39/815.68	c nbDecision=20500 #constraints=20403
868.88/869.12	c nbDecision=21000 #constraints=20903
920.17/920.49	c nbDecision=21500 #constraints=21404
965.75/966.05	c nbDecision=22000 #constraints=21903
1012.54/1012.84	c nbDecision=22500 #constraints=22404
1071.54/1071.84	c nbDecision=23000 #constraints=22904
1127.07/1127.49	c nbDecision=23500 #constraints=23402
1183.31/1183.79	c nbDecision=24000 #constraints=23902
1233.30/1233.71	c nbDecision=24500 #constraints=24402
1278.98/1279.42	c nbDecision=25000 #constraints=24901
1333.67/1334.15	c nbDecision=25500 #constraints=25401
1343.17/1343.65	c restart after 25601 decisions
1387.76/1388.30	c nbDecision=26000 #constraints=25887
1442.15/1442.62	c nbDecision=26500 #constraints=26389
1493.34/1493.80	c nbDecision=27000 #constraints=26886
1563.82/1564.35	c nbDecision=27500 #constraints=27387
1633.20/1633.72	c nbDecision=28000 #constraints=27887
1693.68/1694.24	c nbDecision=28500 #constraints=28390
1752.67/1753.25	c nbDecision=29000 #constraints=28887
1800.07/1800.60	Received signal 15
1800.17/1800.77	
1800.17/1800.77	s UNKNOWN
1800.17/1800.77	
1800.17/1800.77	c user time= 1800.1 s
1800.17/1800.77	c system time= 0.143978 s
1800.17/1800.77	c wall clock time=1800.78

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/node51/watcher-357474-1177000952 -o ROOT/results/node51/solver-357474-1177000952 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357474-1177000952/instance-357474-1177000952.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/64 18071
/proc/meminfo: memFree=1666592/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=1468 CPUtime=0
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 184 0 0 0 0 0 0 0 18 0 1 0 54940288 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604848 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 367 167 138 317 0 46 0

[startup+0.0543679 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 18071
/proc/meminfo: memFree=1666592/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=1596 CPUtime=0.05
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 228 0 0 0 5 0 0 0 18 0 1 0 54940288 1634304 210 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 399 210 138 317 0 78 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 1596

[startup+0.10137 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 18071
/proc/meminfo: memFree=1666592/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=1856 CPUtime=0.09
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 267 0 0 0 9 0 0 0 18 0 1 0 54940288 1900544 249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135459514 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 464 249 138 317 0 143 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1856

[startup+0.301389 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 18071
/proc/meminfo: memFree=1666592/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=2248 CPUtime=0.29
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 392 0 0 0 29 0 0 0 19 0 1 0 54940288 2301952 374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 562 374 138 317 0 241 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2248

[startup+0.701425 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 18071
/proc/meminfo: memFree=1666592/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=3032 CPUtime=0.69
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 579 0 0 0 69 0 0 0 23 0 1 0 54940288 3104768 561 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 758 561 138 317 0 437 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3032

[startup+1.5015 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 18072
/proc/meminfo: memFree=1664408/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=4000 CPUtime=1.49
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 824 0 0 0 149 0 0 0 25 0 1 0 54940288 4096000 806 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 1000 806 138 317 0 679 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4000

[startup+3.10164 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 18072
/proc/meminfo: memFree=1663192/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=5188 CPUtime=3.09
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 1104 0 0 0 309 0 0 0 25 0 1 0 54940288 5312512 1086 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 1297 1086 138 317 0 976 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5188

[startup+6.30193 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 18072
/proc/meminfo: memFree=1661400/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=6644 CPUtime=6.29
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 1464 0 0 0 629 0 0 0 25 0 1 0 54940288 6803456 1446 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 1661 1446 138 317 0 1340 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6644

[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 18072
/proc/meminfo: memFree=1659680/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=8272 CPUtime=12.69
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 1829 0 0 0 1268 1 0 0 25 0 1 0 54940288 8470528 1811 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712565 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 2068 1811 138 317 0 1747 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8272

[startup+25.5017 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 18072
/proc/meminfo: memFree=1657888/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=10260 CPUtime=25.48
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 2290 0 0 0 2547 1 0 0 25 0 1 0 54940288 10506240 2272 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712585 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 2565 2272 138 317 0 2244 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10260

[startup+51.102 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 18072
/proc/meminfo: memFree=1655264/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=12808 CPUtime=51.08
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 2918 0 0 0 5105 3 0 0 25 0 1 0 54940288 13115392 2900 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 3202 2900 138 317 0 2881 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 12808

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 18072
/proc/meminfo: memFree=1652128/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=15896 CPUtime=102.27
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 3692 0 0 0 10224 3 0 0 25 0 1 0 54940288 16277504 3674 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 3974 3674 139 317 0 3653 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 15896

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18072
/proc/meminfo: memFree=1648928/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=19804 CPUtime=162.26
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 4552 0 0 0 16222 4 0 0 25 0 1 0 54940288 20279296 4477 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 4951 4477 139 317 0 4630 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 19804

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18072
/proc/meminfo: memFree=1645856/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=22968 CPUtime=222.23
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 5289 0 0 0 22219 4 0 0 25 0 1 0 54940288 23519232 5214 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 5742 5214 139 317 0 5421 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 22968

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18072
/proc/meminfo: memFree=1643616/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=25056 CPUtime=282.22
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 5852 0 0 0 28217 5 0 0 25 0 1 0 54940288 25657344 5777 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564092 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 6264 5777 139 317 0 5943 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 25056

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18072
/proc/meminfo: memFree=1641440/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=27224 CPUtime=342.2
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 6392 0 0 0 34215 5 0 0 25 0 1 0 54940288 27877376 6317 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 6806 6317 139 317 0 6485 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 27224

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18072
/proc/meminfo: memFree=1639392/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=29176 CPUtime=402.19
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 6889 0 0 0 40213 6 0 0 25 0 1 0 54940288 29876224 6814 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 7294 6814 139 317 0 6973 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 29176

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18072
/proc/meminfo: memFree=1637536/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=31204 CPUtime=462.18
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 7363 0 0 0 46212 6 0 0 25 0 1 0 54940288 31952896 7288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 7801 7288 139 317 0 7480 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 31204

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18072
/proc/meminfo: memFree=1635808/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=32896 CPUtime=522.17
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 7841 0 0 0 52210 7 0 0 25 0 1 0 54940288 33685504 7766 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 8224 7766 170 317 0 7903 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 32896

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18072
/proc/meminfo: memFree=1633824/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=35460 CPUtime=582.15
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 8437 0 0 0 58208 7 0 0 25 0 1 0 54940288 36311040 8249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 8865 8249 170 317 0 8544 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 35460

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18072
/proc/meminfo: memFree=1632160/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=37448 CPUtime=642.14
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 8866 0 0 0 64207 7 0 0 25 0 1 0 54940288 38346752 8645 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718522 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 9362 8645 170 317 0 9041 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 37448


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

[startup+882.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18072
/proc/meminfo: memFree=1626784/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=42616 CPUtime=882.08
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 10212 0 0 0 88199 9 0 0 25 0 1 0 54940288 43638784 9991 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 10654 9991 170 317 0 10333 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 42616

[startup+942.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18072
/proc/meminfo: memFree=1625760/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=43528 CPUtime=942.06
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 10478 0 0 0 94197 9 0 0 25 0 1 0 54940288 44572672 10257 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 10882 10257 170 317 0 10561 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 43528

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18072
/proc/meminfo: memFree=1624608/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=44716 CPUtime=1002.05
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 10763 0 0 0 100196 9 0 0 25 0 1 0 54940288 45789184 10542 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 11179 10542 170 317 0 10858 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 44716

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18072
/proc/meminfo: memFree=1623776/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=45624 CPUtime=1062.04
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 11016 0 0 0 106194 10 0 0 25 0 1 0 54940288 46718976 10762 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 11406 10762 170 317 0 11085 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 45624

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/71 18154
/proc/meminfo: memFree=1621480/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=46568 CPUtime=1121.99
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 11252 0 0 0 112188 11 0 0 25 0 1 0 54940288 47685632 10998 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 11642 10998 170 317 0 11321 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 46568

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18270
/proc/meminfo: memFree=1621656/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=47480 CPUtime=1181.91
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 11468 0 0 0 118179 12 0 0 25 0 1 0 54940288 48619520 11214 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 11870 11214 170 317 0 11549 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 47480

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18270
/proc/meminfo: memFree=1620504/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=48792 CPUtime=1241.89
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 11818 0 0 0 124177 12 0 0 25 0 1 0 54940288 49963008 11498 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 12198 11498 170 317 0 11877 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 48792

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18270
/proc/meminfo: memFree=1619416/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=50100 CPUtime=1301.88
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 12148 0 0 0 130176 12 0 0 25 0 1 0 54940288 51302400 11762 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 12525 11762 170 317 0 12204 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 50100

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 18270
/proc/meminfo: memFree=1618456/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=51136 CPUtime=1361.86
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 12451 0 0 0 136174 12 0 0 25 0 1 0 54940288 52363264 11999 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716218 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 12784 11999 170 317 0 12463 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 51136

[startup+1422.3 s]
/proc/loadavg: 1.03 1.00 1.00 2/65 18270
/proc/meminfo: memFree=1617304/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=52320 CPUtime=1421.86
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 12725 0 0 0 142173 13 0 0 25 0 1 0 54940288 53575680 12273 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 13080 12273 170 317 0 12759 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 52320

[startup+1482.3 s]
/proc/loadavg: 1.17 1.04 1.01 2/65 18270
/proc/meminfo: memFree=1616224/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=53596 CPUtime=1481.84
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 13047 0 0 0 148171 13 0 0 25 0 1 0 54940288 54882304 12562 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 13399 12562 170 317 0 13078 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 53596

[startup+1542.3 s]
/proc/loadavg: 1.06 1.03 1.00 2/65 18272
/proc/meminfo: memFree=1615392/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=54380 CPUtime=1541.82
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 13242 0 0 0 154169 13 0 0 25 0 1 0 54940288 55685120 12757 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 13595 12757 170 317 0 13274 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 54380

[startup+1602.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/65 18272
/proc/meminfo: memFree=1614688/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=55032 CPUtime=1601.81
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 13449 0 0 0 160168 13 0 0 25 0 1 0 54940288 56352768 12931 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 13758 12931 170 317 0 13437 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 55032

[startup+1662.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 18272
/proc/meminfo: memFree=1613856/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=56468 CPUtime=1661.79
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 13770 0 0 0 166166 13 0 0 25 0 1 0 54940288 57823232 13120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 14117 13120 170 317 0 13796 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 56468

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 18272
/proc/meminfo: memFree=1613024/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=57540 CPUtime=1721.77
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 14018 0 0 0 172164 13 0 0 25 0 1 0 54940288 58920960 13368 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563891 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 14385 13368 170 317 0 14064 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 57540

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 18272
/proc/meminfo: memFree=1611936/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=58844 CPUtime=1781.76
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 14341 0 0 0 178162 14 0 0 25 0 1 0 54940288 60256256 13625 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 14711 13625 170 317 0 14390 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 58844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 18272
/proc/meminfo: memFree=1611744/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=59100 CPUtime=1800.07
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 14404 0 0 0 179993 14 0 0 25 0 1 0 54940288 60518400 13688 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 14775 13688 170 317 0 14454 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 59100

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 1.00 2/65 18272
/proc/meminfo: memFree=1611744/2055920 swapFree=4183244/4192956
[pid=18071] ppid=18069 vsize=59100 CPUtime=1800.17
/proc/18071/stat : 18071 (oree) R 18069 18071 17728 0 -1 4194304 14404 0 0 0 180003 14 0 0 25 0 1 0 54940288 60518400 13688 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18071/statm: 14775 13688 170 317 0 14454 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 59100

Child status: 0
Real time (s): 1800.79
CPU time (s): 1800.26
CPU user time (s): 1800.1
CPU system time (s): 0.152976
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 59100

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

runsolver used 1.38179 second user time and 3.63245 second system time

The end

Launcher Data (download as text)

Begin job on node51 on Thu Apr 19 16:42:32 UTC 2007

IDJOB= 357474
IDBENCH= 2913
IDSOLVER= 172
FILE ID= node51/357474-1177000952

PBS_JOBID= 4630484

Free space on /tmp= 66461 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-market-split_5_40_1.opb
COMMAND LINE= oree /tmp/evaluation/357474-1177000952/instance-357474-1177000952.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node51/watcher-357474-1177000952 -o ROOT/results/node51/solver-357474-1177000952 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357474-1177000952/instance-357474-1177000952.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  ae75c4a4fdafb98542bd11b7f7eecd54

RANDOM SEED= 606387918

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node51.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.223
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.223
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:       1666936 kB
Buffers:         27008 kB
Cached:         314072 kB
SwapCached:       3544 kB
Active:         215388 kB
Inactive:       135128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1666936 kB
SwapTotal:     4192956 kB
SwapFree:      4183244 kB
Dirty:            1304 kB
Writeback:           0 kB
Mapped:          15400 kB
Slab:            24488 kB
Committed_AS:  2633728 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= 66461 MiB

End job on node51 on Thu Apr 19 17:12:34 UTC 2007