Trace number 357224

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.97 1801.6

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-n3708.opb
MD5SUM0f95e02b74e4e0d269b94f6526e7c8b5
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4445352942
Best CPU time to get the best result obtained on this benchmark1804.14
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3625993486
Optimality of the best value was proved NO
Number of variables155000
Total number of constraints5150
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 constraints5150
Minimum length of a constraint31
Maximum length of a constraint3000
Number of terms in the objective function 155000
Biggest coefficient in the objective function 4294967296
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 29705729356859
Number of bits of the sum of numbers in the objective function 45
Biggest number in a constraint 4294967296
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 29705729356859
Number of bits of the biggest sum of numbers45
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...
2.29/2.37	c ...done
2.29/2.37	c #vars=155000 #constraints=5301 hasObjective=yes
4.30/4.30	c res. mode=mod
4.30/4.30	c VSIDS like heuristics
4.30/4.30	c complete search running
5.50/5.59	c restart after 401 decisions
5.79/5.82	c nbDecision=500 #constraints=5301
6.50/6.51	c restart after 801 decisions
6.89/6.96	c nbDecision=1000 #constraints=5301
8.09/8.10	c nbDecision=1500 #constraints=5301
8.29/8.33	c restart after 1601 decisions
9.19/9.23	c nbDecision=2000 #constraints=5301
10.29/10.36	c nbDecision=2500 #constraints=5301
11.39/11.49	c nbDecision=3000 #constraints=5301
11.89/11.94	c restart after 3201 decisions
12.59/12.62	c nbDecision=3500 #constraints=5301
13.69/13.75	c nbDecision=4000 #constraints=5301
14.79/14.88	c nbDecision=4500 #constraints=5301
15.99/16.01	c nbDecision=5000 #constraints=5301
17.09/17.14	c nbDecision=5500 #constraints=5301
18.19/18.27	c nbDecision=6000 #constraints=5301
19.09/19.18	c restart after 6401 decisions
19.39/19.41	c nbDecision=6500 #constraints=5301
20.49/20.55	c nbDecision=7000 #constraints=5301
21.59/21.69	c nbDecision=7500 #constraints=5301
22.79/22.83	c nbDecision=8000 #constraints=5301
23.89/23.97	c nbDecision=8500 #constraints=5301
25.09/25.10	c nbDecision=9000 #constraints=5301
26.19/26.24	c nbDecision=9500 #constraints=5301
27.29/27.37	c nbDecision=10000 #constraints=5301
28.49/28.54	c nbDecision=10500 #constraints=5303
29.58/29.65	c nbDecision=11000 #constraints=5303
30.68/30.77	c nbDecision=11500 #constraints=5303
31.78/31.89	c nbDecision=12000 #constraints=5303
32.98/33.01	c nbDecision=12500 #constraints=5303
33.58/33.68	c restart after 12801 decisions
34.07/34.14	c nbDecision=13000 #constraints=5303
35.17/35.28	c nbDecision=13500 #constraints=5303
36.37/36.40	c nbDecision=14000 #constraints=5303
37.47/37.53	c nbDecision=14500 #constraints=5303
38.57/38.67	c nbDecision=15000 #constraints=5303
39.77/39.81	c nbDecision=15500 #constraints=5303
40.87/40.94	c nbDecision=16000 #constraints=5303
41.97/42.08	c nbDecision=16500 #constraints=5303
43.17/43.22	c nbDecision=17000 #constraints=5303
44.27/44.35	c nbDecision=17500 #constraints=5303
45.37/45.47	c nbDecision=18000 #constraints=5303
46.57/46.60	c nbDecision=18500 #constraints=5303
47.67/47.74	c nbDecision=19000 #constraints=5303
48.77/48.85	c nbDecision=19500 #constraints=5303
49.86/49.96	c nbDecision=20000 #constraints=5303
50.96/51.07	c nbDecision=20500 #constraints=5303
52.96/53.01	c nbDecision=21000 #constraints=5329
54.06/54.11	c nbDecision=21500 #constraints=5329
55.16/55.21	c nbDecision=22000 #constraints=5329
56.26/56.31	c nbDecision=22500 #constraints=5329
57.36/57.44	c nbDecision=23000 #constraints=5331
58.46/58.55	c nbDecision=23500 #constraints=5331
59.56/59.66	c nbDecision=24000 #constraints=5331
60.66/60.76	c nbDecision=24500 #constraints=5331
76.96/77.06	c nbDecision=25000 #constraints=5650
103.45/103.58	c nbDecision=25500 #constraints=6148
111.94/112.02	c restart after 25601 decisions
113.24/113.37	c nbDecision=26000 #constraints=6252
114.44/114.50	c nbDecision=26500 #constraints=6252
115.54/115.63	c nbDecision=27000 #constraints=6252
116.64/116.76	c nbDecision=27500 #constraints=6252
117.74/117.89	c nbDecision=28000 #constraints=6252
118.93/119.03	c nbDecision=28500 #constraints=6252
120.04/120.16	c nbDecision=29000 #constraints=6252
121.13/121.29	c nbDecision=29500 #constraints=6252
122.33/122.44	c nbDecision=30000 #constraints=6252
123.43/123.56	c nbDecision=30500 #constraints=6252
124.53/124.69	c nbDecision=31000 #constraints=6252
125.73/125.82	c nbDecision=31500 #constraints=6252
126.83/126.96	c nbDecision=32000 #constraints=6252
127.93/128.09	c nbDecision=32500 #constraints=6252
129.13/129.22	c nbDecision=33000 #constraints=6252
130.23/130.34	c nbDecision=33500 #constraints=6252
131.43/131.52	c nbDecision=34000 #constraints=6252
132.53/132.62	c nbDecision=34500 #constraints=6252
133.63/133.73	c nbDecision=35000 #constraints=6252
134.73/134.83	c nbDecision=35500 #constraints=6252
136.03/136.17	c nbDecision=36000 #constraints=6252
137.43/137.56	c nbDecision=36500 #constraints=6252
138.83/138.96	c nbDecision=37000 #constraints=6252
144.73/144.85	c nbDecision=37500 #constraints=6308
184.42/184.56	c nbDecision=38000 #constraints=6809
233.30/233.48	c nbDecision=38500 #constraints=7310
279.58/279.78	c nbDecision=39000 #constraints=7800
335.96/336.18	c nbDecision=39500 #constraints=8303
392.04/392.20	c nbDecision=40000 #constraints=8803
461.92/462.10	c nbDecision=40500 #constraints=9299
540.89/541.12	c nbDecision=41000 #constraints=9794
612.07/612.38	c nbDecision=41500 #constraints=10281
705.53/705.89	c nbDecision=42000 #constraints=10776
809.60/809.94	c nbDecision=42500 #constraints=11280
916.56/916.91	c nbDecision=43000 #constraints=11781
1015.94/1016.39	c nbDecision=43500 #constraints=12274
1140.78/1141.21	c nbDecision=44000 #constraints=12776
1270.65/1271.15	c nbDecision=44500 #constraints=13273
1401.90/1402.40	c nbDecision=45000 #constraints=13770
1542.35/1542.92	c nbDecision=45500 #constraints=14271
1694.00/1694.68	c nbDecision=46000 #constraints=14769
1800.06/1800.71	Received signal 15
1800.66/1801.32	
1800.66/1801.32	s UNKNOWN
1800.66/1801.32	
1800.66/1801.32	c user time= 1799.09 s
1800.66/1801.32	c system time= 1.59876 s
1800.66/1801.32	c wall clock time=1801.32

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/node38/watcher-357224-1176991689 -o ROOT/results/node38/solver-357224-1176991689 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357224-1176991689/instance-357224-1176991689.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.98 3/77 30986
/proc/meminfo: memFree=1449680/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=1468 CPUtime=0
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 131335725 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134831202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 367 161 127 317 0 46 0

[startup+0.020663 s]
/proc/loadavg: 0.92 0.98 0.98 3/77 30986
/proc/meminfo: memFree=1449680/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=1752 CPUtime=0.01
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 240 0 0 0 1 0 0 0 18 0 1 0 131335725 1794048 222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710868 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 503 224 127 317 0 182 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1752

[startup+0.101678 s]
/proc/loadavg: 0.92 0.98 0.98 3/77 30986
/proc/meminfo: memFree=1449680/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=3440 CPUtime=0.09
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 801 0 0 0 9 0 0 0 18 0 1 0 131335725 3522560 556 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 860 556 127 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.301715 s]
/proc/loadavg: 0.92 0.98 0.98 3/77 30986
/proc/meminfo: memFree=1449680/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=5520 CPUtime=0.29
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 1645 0 0 0 28 1 0 0 19 0 1 0 131335725 5652480 1143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134831136 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 1380 1143 127 317 0 1059 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5520

[startup+0.701792 s]
/proc/loadavg: 0.92 0.98 0.98 3/77 30986
/proc/meminfo: memFree=1449680/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=9548 CPUtime=0.69
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 2791 0 0 0 68 1 0 0 23 0 1 0 131335725 9777152 1776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710874 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 2387 1776 131 317 0 2066 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9548

[startup+1.50195 s]
/proc/loadavg: 0.92 0.98 0.98 2/78 30987
/proc/meminfo: memFree=1437704/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=25384 CPUtime=1.49
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 6345 0 0 0 146 3 0 0 25 0 1 0 131335725 25993216 5330 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 6346 5330 131 317 0 6025 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 25384

[startup+3.10125 s]
/proc/loadavg: 0.93 0.98 0.98 2/78 30987
/proc/meminfo: memFree=1418888/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=54016 CPUtime=3.09
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 13374 0 0 0 302 7 0 0 25 0 1 0 131335725 55312384 12359 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 13504 12359 137 317 0 13183 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 54016

[startup+6.30186 s]
/proc/loadavg: 0.93 0.98 0.98 2/78 30987
/proc/meminfo: memFree=1395336/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=59032 CPUtime=6.29
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 14633 0 0 0 621 8 0 0 25 0 1 0 131335725 60448768 13618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 14758 13618 138 317 0 14437 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59032

[startup+12.7011 s]
/proc/loadavg: 0.94 0.98 0.98 2/78 30987
/proc/meminfo: memFree=1395400/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=59032 CPUtime=12.69
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 14633 0 0 0 1261 8 0 0 25 0 1 0 131335725 60448768 13618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 14758 13618 138 317 0 14437 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 59032

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.98 2/78 30987
/proc/meminfo: memFree=1395528/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=59032 CPUtime=25.49
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 14633 0 0 0 2541 8 0 0 25 0 1 0 131335725 60448768 13618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 14758 13618 138 317 0 14437 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 59032

[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.98 2/78 30987
/proc/meminfo: memFree=1395080/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=59660 CPUtime=51.06
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 14783 0 0 0 5098 8 0 0 25 0 1 0 131335725 61091840 13731 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 14915 13731 139 317 0 14594 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 59660

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.98 2/78 30987
/proc/meminfo: memFree=1281032/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=184304 CPUtime=102.25
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 43356 0 0 0 10208 17 0 0 25 0 1 0 131335725 188727296 42284 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284210 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 46076 42284 170 317 0 45755 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 184304

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30987
/proc/meminfo: memFree=1217544/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=258000 CPUtime=162.23
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 59450 0 0 0 16198 25 0 0 25 0 1 0 131335725 264192000 58374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 64500 58374 170 317 0 64179 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 258000

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30987
/proc/meminfo: memFree=1140680/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=338980 CPUtime=222.21
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 78375 0 0 0 22187 34 0 0 25 0 1 0 131335725 347115520 77295 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134717390 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 84745 77295 170 317 0 84424 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 338980

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30987
/proc/meminfo: memFree=1039240/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=461728 CPUtime=282.19
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 103841 0 0 0 28173 46 0 0 25 0 1 0 131335725 472809472 102761 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606723 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 115432 102761 170 317 0 115111 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 461728

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30987
/proc/meminfo: memFree=973960/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=527500 CPUtime=342.16
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 120000 0 0 0 34164 52 0 0 25 0 1 0 131335725 540160000 118918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 131875 118918 170 317 0 131554 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 527500

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30987
/proc/meminfo: memFree=913736/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=589100 CPUtime=402.14
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 135120 0 0 0 40156 58 0 0 25 0 1 0 131335725 603238400 134038 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 147275 134038 170 317 0 146954 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 589100

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30987
/proc/meminfo: memFree=866312/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=641224 CPUtime=462.12
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 146894 0 0 0 46148 64 0 0 25 0 1 0 131335725 656613376 145803 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710875 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 160306 145803 170 317 0 159985 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 641224

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30987
/proc/meminfo: memFree=770888/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=780040 CPUtime=522.1
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 170755 0 0 0 52136 74 0 0 25 0 1 0 131335725 798760960 169664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 195010 169664 170 317 0 194689 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 780040

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30987
/proc/meminfo: memFree=721992/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=829840 CPUtime=582.07
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 182931 0 0 0 58128 79 0 0 25 0 1 0 131335725 849756160 181837 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 207460 181837 170 317 0 207139 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 829840

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30987
/proc/meminfo: memFree=677704/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=874508 CPUtime=642.06
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 193919 0 0 0 64121 85 0 0 25 0 1 0 131335725 895496192 192752 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 218627 192752 170 317 0 218306 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 874508


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

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30989
/proc/meminfo: memFree=465992/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=1089616 CPUtime=1001.94
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 246826 0 0 0 100082 112 0 0 25 0 1 0 131335725 1115766784 245654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 272404 245654 170 317 0 272083 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 1089616

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30989
/proc/meminfo: memFree=437320/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=1119112 CPUtime=1061.91
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 254037 0 0 0 106077 114 0 0 25 0 1 0 131335725 1145970688 252865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266050 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 279778 252865 170 317 0 279457 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 1119112

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30989
/proc/meminfo: memFree=406344/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=1150300 CPUtime=1121.9
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 261726 0 0 0 112071 119 0 0 25 0 1 0 131335725 1177907200 260552 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 287575 260552 170 317 0 287254 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 1150300

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30989
/proc/meminfo: memFree=378376/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=1179092 CPUtime=1181.87
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 268787 0 0 0 118065 122 0 0 25 0 1 0 131335725 1207390208 267613 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272676 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 294773 267613 170 317 0 294452 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 1179092

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30989
/proc/meminfo: memFree=353096/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=1206452 CPUtime=1241.85
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 275029 0 0 0 124060 125 0 0 25 0 1 0 131335725 1235406848 273850 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 301613 273850 170 317 0 301292 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1206452

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30989
/proc/meminfo: memFree=329224/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=1233364 CPUtime=1301.83
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 280969 0 0 0 130055 128 0 0 25 0 1 0 131335725 1262964736 279790 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284237 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 308341 279790 170 317 0 308020 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1233364

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30989
/proc/meminfo: memFree=206216/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=1453196 CPUtime=1361.81
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 311676 0 0 0 136039 142 0 0 25 0 1 0 131335725 1488072704 310497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 363299 310497 170 317 0 362978 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1453196

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30989
/proc/meminfo: memFree=181960/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=1480404 CPUtime=1421.79
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 317696 0 0 0 142035 144 0 0 25 0 1 0 131335725 1515933696 316517 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 370101 316517 170 317 0 369780 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 1480404

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30989
/proc/meminfo: memFree=152136/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=1507680 CPUtime=1481.77
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 325219 0 0 0 148029 148 0 0 25 0 1 0 131335725 1543864320 324036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 376920 324036 170 317 0 376599 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 1507680

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30989
/proc/meminfo: memFree=129352/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=1533372 CPUtime=1541.75
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 330854 0 0 0 154026 149 0 0 25 0 1 0 131335725 1570172928 329671 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 383343 329671 170 317 0 383022 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 1533372

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30989
/proc/meminfo: memFree=107400/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=1558376 CPUtime=1601.73
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 336393 0 0 0 160021 152 0 0 25 0 1 0 131335725 1595777024 335210 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 389594 335210 170 317 0 389273 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 1558376

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30989
/proc/meminfo: memFree=80520/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=1581756 CPUtime=1661.71
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 343063 0 0 0 166016 155 0 0 25 0 1 0 131335725 1619718144 341880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 395439 341880 170 317 0 395118 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 1581756

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30989
/proc/meminfo: memFree=59848/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=1605040 CPUtime=1721.68
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 348262 0 0 0 172012 156 0 0 25 0 1 0 131335725 1643560960 347079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 401260 347079 170 317 0 400939 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 1605040

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30989
/proc/meminfo: memFree=38280/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=1629104 CPUtime=1781.67
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 353608 0 0 0 178009 158 0 0 25 0 1 0 131335725 1668202496 352425 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 407276 352425 170 317 0 406955 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 1629104



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30989
/proc/meminfo: memFree=26440/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=1635616 CPUtime=1800.06
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 356527 0 0 0 179847 159 0 0 25 0 1 0 131335725 1674870784 355344 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 408904 355344 170 317 0 408583 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1635616

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

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

[startup+1801 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30989
/proc/meminfo: memFree=26440/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=1635744 CPUtime=1800.36
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194304 356558 0 0 0 179877 159 0 0 25 0 1 0 131335725 1675001856 355375 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 408936 355375 170 317 0 408615 0
Current children cumulated CPU time (s) 1800.36
Current children cumulated vsize (KiB) 1635744

[startup+1801.4 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30989
/proc/meminfo: memFree=26440/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=0 CPUtime=1800.76
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194308 356596 0 0 0 179913 163 0 0 25 0 1 0 131335725 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.76
Current children cumulated vsize (KiB) 0

[startup+1801.5 s]
/proc/loadavg: 0.99 0.98 0.98 2/78 30989
/proc/meminfo: memFree=26440/2055920 swapFree=4159716/4192956
[pid=30986] ppid=30984 vsize=0 CPUtime=1800.86
/proc/30986/stat : 30986 (oree) R 30984 30986 30643 0 -1 4194308 356596 0 0 0 179913 173 0 0 25 0 1 0 131335725 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/30986/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.86
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.6
CPU time (s): 1800.97
CPU user time (s): 1799.13
CPU system time (s): 1.83372
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (KiB): 1635936

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

runsolver used 1.9457 second user time and 4.6133 second system time

The end

Launcher Data (download as text)

Begin job on node38 on Thu Apr 19 14:08:11 UTC 2007

IDJOB= 357224
IDBENCH= 2285
IDSOLVER= 172
FILE ID= node38/357224-1176991689

PBS_JOBID= 4630435

Free space on /tmp= 66233 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3708.opb
COMMAND LINE= oree /tmp/evaluation/357224-1176991689/instance-357224-1176991689.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node38/watcher-357224-1176991689 -o ROOT/results/node38/solver-357224-1176991689 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357224-1176991689/instance-357224-1176991689.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  0f95e02b74e4e0d269b94f6526e7c8b5

RANDOM SEED= 303954206

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node38.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.263
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.263
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:       1449896 kB
Buffers:         47000 kB
Cached:         464252 kB
SwapCached:       3100 kB
Active:         101548 kB
Inactive:       437496 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1449896 kB
SwapTotal:     4192956 kB
SwapFree:      4159716 kB
Dirty:           10024 kB
Writeback:           0 kB
Mapped:          35988 kB
Slab:            51988 kB
Committed_AS:  1538276 kB
PageTables:       2060 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= 66233 MiB

End job on node38 on Thu Apr 19 14:38:14 UTC 2007