Trace number 357480

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.21 1800.75

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_7_60_4.opb
MD5SUM8206de06d2228a9d751f3cf3a6d7aa05
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark1782.73
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 12
Optimality of the best value was proved NO
Number of variables172
Total number of constraints14
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 constraints14
Minimum length of a constraint75
Maximum length of a constraint76
Number of terms in the objective function 112
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 3570
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1531
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 5104
Number of bits of the biggest sum of numbers13
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=172 #constraints=15 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.30	c restart after 401 decisions
0.29/0.30	c nbDecision=500 #constraints=276
0.59/0.69	c restart after 801 decisions
0.79/0.80	c nbDecision=1000 #constraints=596
1.89/1.94	c nbDecision=1500 #constraints=1097
2.09/2.20	c restart after 1601 decisions
2.99/3.02	c nbDecision=2000 #constraints=1458
5.09/5.13	c nbDecision=2500 #constraints=1958
8.49/8.52	c nbDecision=3000 #constraints=2458
10.09/10.16	c restart after 3201 decisions
12.09/12.15	c nbDecision=3500 #constraints=2819
18.39/18.42	c nbDecision=4000 #constraints=3319
25.68/25.70	c nbDecision=4500 #constraints=3819
32.89/32.91	c nbDecision=5000 #constraints=4320
43.28/43.30	c nbDecision=5500 #constraints=4819
53.38/53.47	c nbDecision=6000 #constraints=5319
61.88/61.98	c restart after 6401 decisions
62.18/62.26	c nbDecision=6500 #constraints=5721
74.77/74.83	c nbDecision=7000 #constraints=6180
87.57/87.67	c nbDecision=7500 #constraints=6679
102.36/102.48	c nbDecision=8000 #constraints=7180
116.47/116.58	c nbDecision=8500 #constraints=7680
132.55/132.68	c nbDecision=9000 #constraints=8182
148.05/148.11	c nbDecision=9500 #constraints=8682
171.45/171.57	c nbDecision=10000 #constraints=9180
197.05/197.16	c nbDecision=10500 #constraints=9681
222.94/223.01	c nbDecision=11000 #constraints=10180
247.23/247.30	c nbDecision=11500 #constraints=10680
273.23/273.38	c nbDecision=12000 #constraints=11178
301.42/301.52	c nbDecision=12500 #constraints=11678
319.52/319.62	c restart after 12801 decisions
324.91/325.01	c nbDecision=13000 #constraints=12040
359.61/359.74	c nbDecision=13500 #constraints=12539
392.80/392.96	c nbDecision=14000 #constraints=13038
429.58/429.70	c nbDecision=14500 #constraints=13537
460.08/460.25	c nbDecision=15000 #constraints=14038
492.97/493.19	c nbDecision=15500 #constraints=14539
525.76/525.92	c nbDecision=16000 #constraints=15040
557.16/557.32	c nbDecision=16500 #constraints=15540
599.04/599.29	c nbDecision=17000 #constraints=16039
639.23/639.44	c nbDecision=17500 #constraints=16539
680.52/680.76	c nbDecision=18000 #constraints=17038
717.21/717.49	c nbDecision=18500 #constraints=17539
750.11/750.30	c nbDecision=19000 #constraints=18041
788.70/788.94	c nbDecision=19500 #constraints=18539
825.59/825.82	c nbDecision=20000 #constraints=19040
872.54/872.88	c nbDecision=20500 #constraints=19540
923.46/923.85	c nbDecision=21000 #constraints=20039
971.75/972.16	c nbDecision=21500 #constraints=20540
1023.03/1023.44	c nbDecision=22000 #constraints=21038
1071.73/1072.18	c nbDecision=22500 #constraints=21539
1120.32/1120.71	c nbDecision=23000 #constraints=22038
1166.71/1167.18	c nbDecision=23500 #constraints=22539
1212.09/1212.52	c nbDecision=24000 #constraints=23039
1261.58/1262.05	c nbDecision=24500 #constraints=23538
1306.87/1307.39	c nbDecision=25000 #constraints=24040
1355.56/1356.07	c nbDecision=25500 #constraints=24539
1364.46/1364.97	c restart after 25601 decisions
1407.04/1407.55	c nbDecision=26000 #constraints=24900
1479.13/1479.69	c nbDecision=26500 #constraints=25399
1552.81/1553.40	c nbDecision=27000 #constraints=25899
1627.89/1628.45	c nbDecision=27500 #constraints=26400
1695.68/1696.25	c nbDecision=28000 #constraints=26899
1762.46/1763.02	c nbDecision=28500 #constraints=27399
1800.06/1800.61	Received signal 15
1800.15/1800.72	
1800.15/1800.72	s UNKNOWN
1800.15/1800.72	
1800.15/1800.72	c user time= 1799.87 s
1800.15/1800.72	c system time= 0.312952 s
1800.15/1800.72	c wall clock time=1800.73

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/node52/watcher-357480-1177001196 -o ROOT/results/node52/solver-357480-1177001196 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357480-1177001196/instance-357480-1177001196.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.00 1.00 1.00 3/64 14165
/proc/meminfo: memFree=1798164/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=1468 CPUtime=0
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 54964634 1503232 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 367 175 137 317 0 46 0

[startup+0.051299 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14165
/proc/meminfo: memFree=1798164/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=1728 CPUtime=0.04
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 250 0 0 0 4 0 0 0 18 0 1 0 54964634 1769472 232 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 432 232 139 317 0 111 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 1728

[startup+0.101302 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14165
/proc/meminfo: memFree=1798164/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=1992 CPUtime=0.09
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 303 0 0 0 9 0 0 0 18 0 1 0 54964634 2039808 285 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 498 285 139 317 0 177 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1992

[startup+0.301316 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14165
/proc/meminfo: memFree=1798164/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=2792 CPUtime=0.29
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 504 0 0 0 29 0 0 0 19 0 1 0 54964634 2859008 486 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718428 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 698 486 139 317 0 377 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2792

[startup+0.701342 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 14165
/proc/meminfo: memFree=1798164/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=3976 CPUtime=0.69
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 821 0 0 0 69 0 0 0 23 0 1 0 54964634 4071424 803 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 994 803 139 317 0 673 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3976

[startup+1.5014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14166
/proc/meminfo: memFree=1794764/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=5820 CPUtime=1.49
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 1259 0 0 0 149 0 0 0 25 0 1 0 54964634 5959680 1241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 1455 1241 139 317 0 1134 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5820

[startup+3.10151 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14166
/proc/meminfo: memFree=1792396/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=8512 CPUtime=3.09
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 1912 0 0 0 309 0 0 0 25 0 1 0 54964634 8716288 1894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 2128 1894 139 317 0 1807 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8512

[startup+6.30172 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14166
/proc/meminfo: memFree=1788620/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=11784 CPUtime=6.29
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 2691 0 0 0 628 1 0 0 25 0 1 0 54964634 12066816 2673 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 2946 2673 139 317 0 2625 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11784

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14166
/proc/meminfo: memFree=1784780/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=15024 CPUtime=12.69
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 3496 0 0 0 1268 1 0 0 25 0 1 0 54964634 15384576 3478 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604419 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 3756 3478 139 317 0 3435 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15024

[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14166
/proc/meminfo: memFree=1780428/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=18992 CPUtime=25.48
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 4516 0 0 0 2546 2 0 0 25 0 1 0 54964634 19447808 4498 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 4748 4498 139 317 0 4427 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18992

[startup+51.1017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14166
/proc/meminfo: memFree=1773644/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=26540 CPUtime=51.08
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 6211 0 0 0 5104 4 0 0 25 0 1 0 54964634 27176960 6193 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564002 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 6635 6193 139 317 0 6314 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 26540

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14166
/proc/meminfo: memFree=1765196/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=34556 CPUtime=102.27
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 8295 0 0 0 10221 6 0 0 25 0 1 0 54964634 35385344 8277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 8639 8277 139 317 0 8318 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 34556

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14166
/proc/meminfo: memFree=1757004/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=43716 CPUtime=162.25
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 10396 0 0 0 16217 8 0 0 25 0 1 0 54964634 44765184 10321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 10929 10321 139 317 0 10608 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 43716

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14166
/proc/meminfo: memFree=1751372/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=50376 CPUtime=222.24
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 11785 0 0 0 22214 10 0 0 25 0 1 0 54964634 51585024 11710 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 12594 11710 139 317 0 12273 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 50376

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14166
/proc/meminfo: memFree=1746444/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=55044 CPUtime=282.22
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 13022 0 0 0 28211 11 0 0 25 0 1 0 54964634 56365056 12947 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 13761 12947 139 317 0 13440 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 55044

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14166
/proc/meminfo: memFree=1742284/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=59332 CPUtime=342.2
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 14030 0 0 0 34208 12 0 0 25 0 1 0 54964634 60755968 13955 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 14833 13955 139 317 0 14512 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 59332

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14166
/proc/meminfo: memFree=1738444/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=62860 CPUtime=402.19
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 14992 0 0 0 40206 13 0 0 25 0 1 0 54964634 64368640 14917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 15715 14917 139 317 0 15394 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 62860

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14166
/proc/meminfo: memFree=1734476/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=66536 CPUtime=462.17
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 15982 0 0 0 46204 13 0 0 25 0 1 0 54964634 68132864 15907 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 16634 15907 139 317 0 16313 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 66536

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14166
/proc/meminfo: memFree=1730572/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=70344 CPUtime=522.16
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 16977 0 0 0 52202 14 0 0 25 0 1 0 54964634 72032256 16902 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 17586 16902 139 317 0 17265 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 70344

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14166
/proc/meminfo: memFree=1726988/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=73744 CPUtime=582.15
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 17869 0 0 0 58200 15 0 0 25 0 1 0 54964634 75513856 17794 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 18436 17794 139 317 0 18115 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 73744

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14166
/proc/meminfo: memFree=1722828/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=80040 CPUtime=642.13
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 19386 0 0 0 64197 16 0 0 25 0 1 0 54964634 81960960 18769 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 20010 18769 139 317 0 19689 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 80040


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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 14274
/proc/meminfo: memFree=1708172/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=94876 CPUtime=882.03
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 23176 0 0 0 88183 20 0 0 25 0 1 0 54964634 97153024 22130 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 23719 22130 139 317 0 23398 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 94876

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14364
/proc/meminfo: memFree=1706252/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=99260 CPUtime=941.96
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 24120 0 0 0 94174 22 0 0 25 0 1 0 54964634 101642240 22876 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 24815 22876 139 317 0 24494 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 99260

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14364
/proc/meminfo: memFree=1703564/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=101864 CPUtime=1001.94
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 24794 0 0 0 100172 22 0 0 25 0 1 0 54964634 104308736 23550 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 25466 23550 139 317 0 25145 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 101864

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14364
/proc/meminfo: memFree=1700684/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=105028 CPUtime=1061.93
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 25542 0 0 0 106170 23 0 0 25 0 1 0 54964634 107548672 24265 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 26257 24265 139 317 0 25936 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 105028

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14364
/proc/meminfo: memFree=1697932/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=107756 CPUtime=1121.92
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 26284 0 0 0 112168 24 0 0 25 0 1 0 54964634 110342144 24974 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710933 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 26939 24974 139 317 0 26618 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 107756

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14364
/proc/meminfo: memFree=1695052/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=110492 CPUtime=1181.9
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 27039 0 0 0 118166 24 0 0 25 0 1 0 54964634 113143808 25696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 27623 25696 139 317 0 27302 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 110492

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14364
/proc/meminfo: memFree=1692300/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=112980 CPUtime=1241.89
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 27741 0 0 0 124164 25 0 0 25 0 1 0 54964634 115691520 26365 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 28245 26365 139 317 0 27924 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 112980

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14366
/proc/meminfo: memFree=1689292/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=115796 CPUtime=1301.88
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 28509 0 0 0 130162 26 0 0 25 0 1 0 54964634 118575104 27100 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 28949 27100 139 317 0 28628 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 115796

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14366
/proc/meminfo: memFree=1686604/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=118296 CPUtime=1361.86
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 29190 0 0 0 136159 27 0 0 25 0 1 0 54964634 121135104 27781 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 29574 27781 139 317 0 29253 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 118296

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14366
/proc/meminfo: memFree=1684876/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=119864 CPUtime=1421.84
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 29610 0 0 0 142157 27 0 0 25 0 1 0 54964634 122740736 28201 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 29966 28201 139 317 0 29645 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 119864

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14366
/proc/meminfo: memFree=1682956/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=121432 CPUtime=1481.83
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 30080 0 0 0 148155 28 0 0 25 0 1 0 54964634 124346368 28671 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 30358 28671 139 317 0 30037 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 121432

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14366
/proc/meminfo: memFree=1681036/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=123268 CPUtime=1541.82
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 30582 0 0 0 154153 29 0 0 25 0 1 0 54964634 126226432 29140 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 30817 29140 139 317 0 30496 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 123268

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14366
/proc/meminfo: memFree=1679244/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=124836 CPUtime=1601.8
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 31040 0 0 0 160151 29 0 0 25 0 1 0 54964634 127832064 29598 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 31209 29598 139 317 0 30888 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 124836

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14366
/proc/meminfo: memFree=1677580/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=126416 CPUtime=1661.78
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 31459 0 0 0 166149 29 0 0 25 0 1 0 54964634 129449984 30017 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 31604 30017 139 317 0 31283 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 126416

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14366
/proc/meminfo: memFree=1675404/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=128840 CPUtime=1721.76
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 32060 0 0 0 172146 30 0 0 25 0 1 0 54964634 131932160 30552 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 32210 30552 139 317 0 31889 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 128840

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14366
/proc/meminfo: memFree=1673228/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=130708 CPUtime=1781.75
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 32596 0 0 0 178144 31 0 0 25 0 1 0 54964634 133844992 31088 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 32677 31088 139 317 0 32356 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 130708



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 14366
/proc/meminfo: memFree=1672588/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=131236 CPUtime=1800.06
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 32745 0 0 0 179975 31 0 0 25 0 1 0 54964634 134385664 31237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 32809 31237 139 317 0 32488 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 131236

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 14366
/proc/meminfo: memFree=1672588/2055920 swapFree=4182956/4192956
[pid=14165] ppid=14163 vsize=131236 CPUtime=1800.15
/proc/14165/stat : 14165 (oree) R 14163 14165 13123 0 -1 4194304 32746 0 0 0 179984 31 0 0 25 0 1 0 54964634 134385664 31238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/14165/statm: 32809 31238 139 317 0 32488 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 131236

Child status: 0
Real time (s): 1800.75
CPU time (s): 1800.21
CPU user time (s): 1799.87
CPU system time (s): 0.333949
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 131236

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

runsolver used 1.22481 second user time and 3.76343 second system time

The end

Launcher Data (download as text)

Begin job on node52 on Thu Apr 19 16:46:36 UTC 2007

IDJOB= 357480
IDBENCH= 2921
IDSOLVER= 172
FILE ID= node52/357480-1177001196

PBS_JOBID= 4630454

Free space on /tmp= 66312 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_7_60_4.opb
COMMAND LINE= oree /tmp/evaluation/357480-1177001196/instance-357480-1177001196.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node52/watcher-357480-1177001196 -o ROOT/results/node52/solver-357480-1177001196 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357480-1177001196/instance-357480-1177001196.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  8206de06d2228a9d751f3cf3a6d7aa05

RANDOM SEED= 582132869

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node52.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.236
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.236
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:       1798572 kB
Buffers:         13056 kB
Cached:         195272 kB
SwapCached:       3832 kB
Active:          64928 kB
Inactive:       153032 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1798572 kB
SwapTotal:     4192956 kB
SwapFree:      4182956 kB
Dirty:            1312 kB
Writeback:           0 kB
Mapped:          15612 kB
Slab:            25336 kB
Committed_AS:  1630408 kB
PageTables:       1484 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= 66312 MiB

End job on node52 on Thu Apr 19 17:16:38 UTC 2007