Trace number 362202

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? (MO) 1283.26 1283.58

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n370e.opb
MD5SUMec90eecae558bb98c83f0a39ee76567f
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark8.71967
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
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 76
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 654958
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 654958
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
1.79/1.89	c ...done
1.79/1.89	c #vars=155000 #constraints=5301 hasObjective=yes
3.79/3.80	c res. mode=mod
3.79/3.80	c VSIDS like heuristics
3.79/3.80	c complete search running
4.99/5.05	c restart after 401 decisions
5.19/5.27	c nbDecision=500 #constraints=5301
5.89/5.93	c restart after 801 decisions
6.29/6.38	c nbDecision=1000 #constraints=5301
7.49/7.50	c nbDecision=1500 #constraints=5301
7.69/7.72	c restart after 1601 decisions
8.59/8.61	c nbDecision=2000 #constraints=5301
9.69/9.73	c nbDecision=2500 #constraints=5301
10.79/10.86	c nbDecision=3000 #constraints=5301
11.29/11.32	c restart after 3201 decisions
11.99/12.01	c nbDecision=3500 #constraints=5301
13.09/13.15	c nbDecision=4000 #constraints=5301
14.19/14.29	c nbDecision=4500 #constraints=5301
15.39/15.43	c nbDecision=5000 #constraints=5301
16.49/16.57	c nbDecision=5500 #constraints=5301
17.69/17.71	c nbDecision=6000 #constraints=5301
18.59/18.61	c restart after 6401 decisions
18.79/18.84	c nbDecision=6500 #constraints=5301
19.89/19.98	c nbDecision=7000 #constraints=5301
21.08/21.11	c nbDecision=7500 #constraints=5301
22.18/22.23	c nbDecision=8000 #constraints=5301
23.28/23.36	c nbDecision=8500 #constraints=5301
24.38/24.49	c nbDecision=9000 #constraints=5301
25.58/25.61	c nbDecision=9500 #constraints=5301
26.68/26.74	c nbDecision=10000 #constraints=5301
29.18/29.29	c nbDecision=10500 #constraints=5369
49.27/49.39	c nbDecision=11000 #constraints=5877
50.67/50.73	c nbDecision=11500 #constraints=5880
51.77/51.87	c nbDecision=12000 #constraints=5880
52.87/52.99	c nbDecision=12500 #constraints=5880
53.57/53.67	c restart after 12801 decisions
54.27/54.35	c nbDecision=13000 #constraints=5880
55.37/55.49	c nbDecision=13500 #constraints=5880
56.57/56.62	c nbDecision=14000 #constraints=5880
57.67/57.75	c nbDecision=14500 #constraints=5880
58.87/58.95	c nbDecision=15000 #constraints=5880
60.17/60.24	c nbDecision=15500 #constraints=5880
61.47/61.55	c nbDecision=16000 #constraints=5880
62.77/62.85	c nbDecision=16500 #constraints=5880
64.07/64.14	c nbDecision=17000 #constraints=5880
65.17/65.26	c nbDecision=17500 #constraints=5880
66.27/66.34	c nbDecision=18000 #constraints=5880
67.37/67.43	c nbDecision=18500 #constraints=5880
68.97/69.07	c nbDecision=19000 #constraints=5896
70.07/70.16	c nbDecision=19500 #constraints=5896
71.17/71.28	c nbDecision=20000 #constraints=5896
72.37/72.40	c nbDecision=20500 #constraints=5896
79.07/79.18	c nbDecision=21000 #constraints=6092
97.46/97.54	c nbDecision=21500 #constraints=6603
118.76/118.89	c nbDecision=22000 #constraints=7102
143.35/143.47	c nbDecision=22500 #constraints=7596
171.94/172.06	c nbDecision=23000 #constraints=8100
204.34/204.47	c nbDecision=23500 #constraints=8594
239.43/239.55	c nbDecision=24000 #constraints=9097
278.62/278.75	c nbDecision=24500 #constraints=9594
323.11/323.25	c nbDecision=25000 #constraints=10102
371.60/371.80	c nbDecision=25500 #constraints=10602
382.19/382.31	c restart after 25601 decisions
388.89/389.01	c nbDecision=26000 #constraints=10701
389.99/390.13	c nbDecision=26500 #constraints=10701
391.09/391.27	c nbDecision=27000 #constraints=10701
392.29/392.41	c nbDecision=27500 #constraints=10701
393.49/393.68	c nbDecision=28000 #constraints=10701
394.79/394.99	c nbDecision=28500 #constraints=10701
396.19/396.31	c nbDecision=29000 #constraints=10701
397.48/397.63	c nbDecision=29500 #constraints=10701
398.78/398.92	c nbDecision=30000 #constraints=10701
399.88/400.05	c nbDecision=30500 #constraints=10701
400.98/401.17	c nbDecision=31000 #constraints=10701
402.08/402.29	c nbDecision=31500 #constraints=10701
404.38/404.56	c nbDecision=32000 #constraints=10701
406.89/407.03	c nbDecision=32500 #constraints=10701
409.48/409.62	c nbDecision=33000 #constraints=10701
412.08/412.26	c nbDecision=33500 #constraints=10701
457.87/458.01	c nbDecision=34000 #constraints=11123
511.76/511.94	c nbDecision=34500 #constraints=11625
571.05/571.21	c nbDecision=35000 #constraints=12127
633.73/633.97	c nbDecision=35500 #constraints=12618
703.11/703.32	c nbDecision=36000 #constraints=13113
777.89/778.19	c nbDecision=36500 #constraints=13625
854.67/854.91	c nbDecision=37000 #constraints=14115
939.75/940.04	c nbDecision=37500 #constraints=14616
1038.83/1039.19	c nbDecision=38000 #constraints=15118
1120.51/1120.82	c nbDecision=38500 #constraints=15614
1210.89/1211.22	c nbDecision=39000 #constraints=16115
1282.18/1282.51	Received signal 15
1282.87/1283.28	
1282.87/1283.28	s UNKNOWN
1282.87/1283.28	
1282.87/1283.28	c user time= 1281.39 s
1282.87/1283.28	c system time= 1.57376 s
1282.87/1283.28	c wall clock time=1283.28

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/node48/watcher-362202-1176845685 -o ROOT/results/node48/solver-362202-1176845685 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362202-1176845685/instance-362202-1176845685.opb mod 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 21357
/proc/meminfo: memFree=1624568/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=1620 CPUtime=0
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 39413889 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 405 175 126 317 0 84 0

[startup+0.086602 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 21357
/proc/meminfo: memFree=1624568/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=3440 CPUtime=0.08
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 855 0 0 0 8 0 0 0 18 0 1 0 39413889 3522560 610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 860 610 126 317 0 539 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3440

[startup+0.101601 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 21357
/proc/meminfo: memFree=1624568/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=3440 CPUtime=0.09
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 897 0 0 0 9 0 0 0 18 0 1 0 39413889 3522560 652 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 860 653 126 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.301619 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 21357
/proc/meminfo: memFree=1624568/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=9548 CPUtime=0.29
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 2787 0 0 0 28 1 0 0 19 0 1 0 39413889 9777152 1772 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 2387 1772 127 317 0 2066 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9548

[startup+0.701655 s]
/proc/loadavg: 0.91 0.95 0.98 3/64 21357
/proc/meminfo: memFree=1624568/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=14576 CPUtime=0.69
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 3899 0 0 0 68 1 0 0 22 0 1 0 39413889 14925824 2884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 3644 2884 131 317 0 3323 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14576

[startup+1.50173 s]
/proc/loadavg: 0.91 0.95 0.98 2/65 21358
/proc/meminfo: memFree=1606704/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=33080 CPUtime=1.49
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 8122 0 0 0 146 3 0 0 25 0 1 0 39413889 33873920 7107 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 8270 7107 131 317 0 7949 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33080

[startup+3.10189 s]
/proc/loadavg: 0.92 0.95 0.98 2/65 21358
/proc/meminfo: memFree=1575344/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=57580 CPUtime=3.09
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 14260 0 0 0 302 7 0 0 25 0 1 0 39413889 58961920 13245 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 14395 13245 137 317 0 14074 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 57580

[startup+6.30117 s]
/proc/loadavg: 0.92 0.95 0.98 2/65 21358
/proc/meminfo: memFree=1570224/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=59032 CPUtime=6.29
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 14630 0 0 0 622 7 0 0 25 0 1 0 39413889 60448768 13615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 14758 13615 138 317 0 14437 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59032

[startup+12.7018 s]
/proc/loadavg: 0.93 0.96 0.98 2/65 21358
/proc/meminfo: memFree=1570288/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=59032 CPUtime=12.69
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 14630 0 0 0 1262 7 0 0 25 0 1 0 39413889 60448768 13615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 14758 13615 138 317 0 14437 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 59032

[startup+25.5019 s]
/proc/loadavg: 0.94 0.96 0.98 2/65 21358
/proc/meminfo: memFree=1570416/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=59032 CPUtime=25.48
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 14630 0 0 0 2541 7 0 0 25 0 1 0 39413889 60448768 13615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 14758 13615 138 317 0 14437 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 59032

[startup+51.1013 s]
/proc/loadavg: 0.96 0.96 0.98 2/65 21358
/proc/meminfo: memFree=1482736/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=154340 CPUtime=51.07
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 36556 0 0 0 5093 14 0 0 25 0 1 0 39413889 158044160 35504 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 38585 35504 139 317 0 38264 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 154340

[startup+102.305 s]
/proc/loadavg: 0.98 0.96 0.98 2/65 21358
/proc/meminfo: memFree=1366320/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=281636 CPUtime=102.27
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 65627 0 0 0 10201 26 0 0 25 0 1 0 39413889 288395264 64575 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 70409 64575 139 317 0 70088 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 281636

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21358
/proc/meminfo: memFree=1210288/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=454972 CPUtime=162.24
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 104903 0 0 0 16182 42 0 0 25 0 1 0 39413889 465891328 103851 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 113743 103851 139 317 0 113422 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 454972

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21358
/proc/meminfo: memFree=1068272/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=615260 CPUtime=222.23
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 140138 0 0 0 22165 58 0 0 25 0 1 0 39413889 630026240 139086 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563351 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 153815 139086 139 317 0 153494 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 615260

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21358
/proc/meminfo: memFree=975408/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=710740 CPUtime=282.21
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 163295 0 0 0 28154 67 0 0 25 0 1 0 39413889 727797760 162243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 177685 162243 139 317 0 177364 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 710740

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21358
/proc/meminfo: memFree=844272/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=888216 CPUtime=342.2
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 195886 0 0 0 34141 79 0 0 25 0 1 0 39413889 909533184 194834 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 222054 194834 139 317 0 221733 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 888216

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21358
/proc/meminfo: memFree=796080/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=936908 CPUtime=402.18
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 207912 0 0 0 40135 83 0 0 25 0 1 0 39413889 959393792 206788 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 234227 206788 139 317 0 233906 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 936908

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21358
/proc/meminfo: memFree=740080/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=993480 CPUtime=462.17
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 221924 0 0 0 46128 89 0 0 25 0 1 0 39413889 1017323520 220800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 248370 220800 139 317 0 248049 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 993480

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21358
/proc/meminfo: memFree=674352/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=1061196 CPUtime=522.16
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 238647 0 0 0 52122 94 0 0 25 0 1 0 39413889 1086664704 237523 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712518 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 265299 237523 139 317 0 264978 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 1061196

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21358
/proc/meminfo: memFree=612848/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=1122232 CPUtime=582.14
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 253717 0 0 0 58115 99 0 0 25 0 1 0 39413889 1149165568 252593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272608 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 280558 252593 139 317 0 280237 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 1122232

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21358
/proc/meminfo: memFree=555184/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=1180064 CPUtime=642.13
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 268012 0 0 0 64109 104 0 0 25 0 1 0 39413889 1208385536 266888 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 295016 266888 139 317 0 294695 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 1180064

[startup+702.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21358
/proc/meminfo: memFree=503792/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=1232416 CPUtime=702.11
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 280957 0 0 0 70101 110 0 0 25 0 1 0 39413889 1261993984 279833 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 308104 279833 139 317 0 307783 0
Current children cumulated CPU time (s) 702.11
Current children cumulated vsize (KiB) 1232416

[startup+762.306 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21358
/proc/meminfo: memFree=454192/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=1282476 CPUtime=762.1
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 293267 0 0 0 76096 114 0 0 25 0 1 0 39413889 1313255424 292143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284202 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 320619 292143 139 317 0 320298 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 1282476

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21358
/proc/meminfo: memFree=410992/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=1330864 CPUtime=822.09
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 304263 0 0 0 82090 119 0 0 25 0 1 0 39413889 1362804736 303139 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 332716 303139 139 317 0 332395 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 1330864

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21358
/proc/meminfo: memFree=268272/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=1572692 CPUtime=882.07
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 339572 0 0 0 88076 131 0 0 25 0 1 0 39413889 1610436608 338448 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 393173 338448 139 317 0 392852 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 1572692

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21358
/proc/meminfo: memFree=224560/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=1615116 CPUtime=942.05
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 350533 0 0 0 94070 135 0 0 25 0 1 0 39413889 1653878784 349409 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 403779 349409 139 317 0 403458 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 1615116

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21358
/proc/meminfo: memFree=188208/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=1655748 CPUtime=1002.04
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 359568 0 0 0 100065 139 0 0 25 0 1 0 39413889 1695485952 358444 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 413937 358444 139 317 0 413616 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 1655748

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21358
/proc/meminfo: memFree=149424/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=1692520 CPUtime=1062.02
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 369267 0 0 0 106060 142 0 0 25 0 1 0 39413889 1733140480 368143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 423130 368143 139 317 0 422809 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 1692520

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21358
/proc/meminfo: memFree=103536/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=1737220 CPUtime=1122.01
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 380701 0 0 0 112054 147 0 0 25 0 1 0 39413889 1778913280 379577 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563383 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 434305 379577 139 317 0 433984 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 1737220

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21358
/proc/meminfo: memFree=66864/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=1778420 CPUtime=1181.99
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 389924 0 0 0 118049 150 0 0 25 0 1 0 39413889 1821102080 388800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 444605 388800 139 317 0 444284 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 1778420

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21358
/proc/meminfo: memFree=25712/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=1817420 CPUtime=1241.98
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 400102 0 0 0 124043 155 0 0 25 0 1 0 39413889 1861038080 398978 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 454355 398978 139 317 0 454034 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 1817420



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1282.5 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21358
/proc/meminfo: memFree=14960/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=1843268 CPUtime=1282.18
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 405856 0 0 0 128061 157 0 0 25 0 1 0 39413889 1887506432 404732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 460817 404732 139 317 0 460496 0
Current children cumulated CPU time (s) 1282.18
Current children cumulated vsize (KiB) 1843268

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

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

[startup+1283 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21358
/proc/meminfo: memFree=14960/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=1843760 CPUtime=1282.67
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194304 405966 0 0 0 128110 157 0 0 25 0 1 0 39413889 1888010240 404842 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 460940 404842 139 317 0 460619 0
Current children cumulated CPU time (s) 1282.67
Current children cumulated vsize (KiB) 1843760

[startup+1283.4 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21358
/proc/meminfo: memFree=14960/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=0 CPUtime=1283.07
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194308 406036 0 0 0 128142 165 0 0 25 0 1 0 39413889 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1283.07
Current children cumulated vsize (KiB) 0

[startup+1283.5 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 21358
/proc/meminfo: memFree=14960/2055920 swapFree=4184680/4192956
[pid=21357] ppid=21355 vsize=0 CPUtime=1283.17
/proc/21357/stat : 21357 (oree) R 21355 21357 20443 0 -1 4194308 406036 0 0 0 128142 175 0 0 25 0 1 0 39413889 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/21357/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1283.17
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1283.58
CPU time (s): 1283.26
CPU user time (s): 1281.43
CPU system time (s): 1.83172
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 1843940

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

runsolver used 0.885865 second user time and 2.6446 second system time

The end

Launcher Data (download as text)

Begin job on node48 on Tue Apr 17 21:34:46 UTC 2007

IDJOB= 362202
IDBENCH= 1539
IDSOLVER= 172
FILE ID= node48/362202-1176845685

PBS_JOBID= 4590167

Free space on /tmp= 66541 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  ec90eecae558bb98c83f0a39ee76567f

RANDOM SEED= 838611481

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node48.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.238
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.238
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:       1624976 kB
Buffers:         48492 kB
Cached:         308088 kB
SwapCached:       2392 kB
Active:         202644 kB
Inactive:       164156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1624976 kB
SwapTotal:     4192956 kB
SwapFree:      4184680 kB
Dirty:            7860 kB
Writeback:           0 kB
Mapped:          16480 kB
Slab:            50144 kB
Committed_AS:   940476 kB
PageTables:       1388 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= 66541 MiB

End job on node48 on Tue Apr 17 21:56:10 UTC 2007