Trace number 357221

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.4 1800.92

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran6x43.opb
MD5SUM9dd7506c46c3c26c10ff03753daf5d0f
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark9783292
Best CPU time to get the best result obtained on this benchmark1800.69
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 8442880
Optimality of the best value was proved NO
Number of variables7998
Total number of constraints307
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 constraints307
Minimum length of a constraint31
Maximum length of a constraint1290
Number of terms in the objective function 7998
Biggest coefficient in the objective function 5368709120
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 1568780661323
Number of bits of the sum of numbers in the objective function 41
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 1568780661323
Number of bits of the biggest sum of numbers41
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.09/0.11	c ...done
0.09/0.11	c #vars=7998 #constraints=357 hasObjective=yes
0.19/0.21	c res. mode=mod
0.19/0.21	c VSIDS like heuristics
0.19/0.21	c complete search running
0.19/0.25	c restart after 401 decisions
0.19/0.26	c nbDecision=500 #constraints=357
0.19/0.28	c restart after 801 decisions
0.19/0.29	c nbDecision=1000 #constraints=357
0.29/0.33	c nbDecision=1500 #constraints=357
0.29/0.33	c restart after 1601 decisions
0.29/0.36	c nbDecision=2000 #constraints=357
0.39/0.40	c nbDecision=2500 #constraints=357
0.39/0.43	c nbDecision=3000 #constraints=358
0.39/0.44	c restart after 3201 decisions
0.39/0.46	c nbDecision=3500 #constraints=358
0.49/0.50	c nbDecision=4000 #constraints=358
0.49/0.53	c nbDecision=4500 #constraints=358
0.49/0.57	c nbDecision=5000 #constraints=359
2.09/2.12	c nbDecision=5500 #constraints=461
12.79/12.83	c nbDecision=6000 #constraints=955
23.38/23.43	c restart after 6401 decisions
23.48/23.54	c nbDecision=6500 #constraints=1362
23.48/23.58	c nbDecision=7000 #constraints=1362
23.58/23.61	c nbDecision=7500 #constraints=1362
23.58/23.64	c nbDecision=8000 #constraints=1362
23.68/23.77	c nbDecision=8500 #constraints=1362
36.37/36.50	c nbDecision=9000 #constraints=1766
54.88/54.91	c nbDecision=9500 #constraints=2261
78.66/78.74	c nbDecision=10000 #constraints=2763
102.76/102.84	c nbDecision=10500 #constraints=3256
129.85/129.94	c nbDecision=11000 #constraints=3755
160.24/160.35	c nbDecision=11500 #constraints=4258
194.23/194.38	c nbDecision=12000 #constraints=4759
226.82/226.92	c nbDecision=12500 #constraints=5256
249.42/249.55	c restart after 12801 decisions
250.92/251.04	c nbDecision=13000 #constraints=5558
250.92/251.08	c nbDecision=13500 #constraints=5558
251.02/251.13	c nbDecision=14000 #constraints=5558
251.12/251.21	c nbDecision=14500 #constraints=5558
253.21/253.36	c nbDecision=15000 #constraints=5565
296.60/296.74	c nbDecision=15500 #constraints=6069
339.19/339.31	c nbDecision=16000 #constraints=6565
382.08/382.28	c nbDecision=16500 #constraints=7065
430.76/430.92	c nbDecision=17000 #constraints=7567
481.75/481.92	c nbDecision=17500 #constraints=8066
533.54/533.74	c nbDecision=18000 #constraints=8562
586.32/586.57	c nbDecision=18500 #constraints=9061
642.00/642.28	c nbDecision=19000 #constraints=9558
703.79/704.07	c nbDecision=19500 #constraints=10058
762.57/762.88	c nbDecision=20000 #constraints=10558
820.55/820.89	c nbDecision=20500 #constraints=11036
890.53/890.88	c nbDecision=21000 #constraints=11526
968.91/969.25	c nbDecision=21500 #constraints=12022
1049.69/1050.09	c nbDecision=22000 #constraints=12514
1131.36/1131.77	c nbDecision=22500 #constraints=13014
1206.74/1207.18	c nbDecision=23000 #constraints=13511
1289.01/1289.48	c nbDecision=23500 #constraints=14003
1371.69/1372.10	c nbDecision=24000 #constraints=14501
1459.76/1460.21	c nbDecision=24500 #constraints=15001
1552.24/1552.73	c nbDecision=25000 #constraints=15498
1644.51/1645.07	c nbDecision=25500 #constraints=16001
1663.61/1664.18	c restart after 25601 decisions
1668.11/1668.69	c nbDecision=26000 #constraints=16100
1668.21/1668.72	c nbDecision=26500 #constraints=16100
1668.31/1668.82	c nbDecision=27000 #constraints=16100
1670.31/1670.85	c nbDecision=27500 #constraints=16100
1712.89/1713.44	c nbDecision=28000 #constraints=16314
1800.07/1800.61	Received signal 15
1800.17/1800.75	
1800.17/1800.75	s UNKNOWN
1800.17/1800.75	
1800.17/1800.75	c user time= 1799.04 s
1800.17/1800.75	c system time= 1.18682 s
1800.17/1800.75	c wall clock time=1800.75

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/node5/watcher-357221-1176991642 -o ROOT/results/node5/solver-357221-1176991642 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357221-1176991642/instance-357221-1176991642.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.97 3/77 31879
/proc/meminfo: memFree=1710144/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=1468 CPUtime=0
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 169 0 0 0 0 0 0 0 19 0 1 0 175201854 1503232 151 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 367 151 127 317 0 46 0

[startup+0.073212 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 31879
/proc/meminfo: memFree=1710144/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=2600 CPUtime=0.06
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 442 0 0 0 6 0 0 0 19 0 1 0 175201854 2662400 424 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 650 424 131 317 0 329 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2600

[startup+0.101215 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 31879
/proc/meminfo: memFree=1710144/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=3128 CPUtime=0.09
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 569 0 0 0 9 0 0 0 19 0 1 0 175201854 3203072 551 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 782 552 131 317 0 461 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3128

[startup+0.301237 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 31879
/proc/meminfo: memFree=1710144/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=4408 CPUtime=0.29
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 911 0 0 0 29 0 0 0 21 0 1 0 175201854 4513792 893 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 1102 893 138 317 0 781 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4408

[startup+0.701283 s]
/proc/loadavg: 0.91 0.95 0.97 3/77 31879
/proc/meminfo: memFree=1710144/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=5536 CPUtime=0.69
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 1139 0 0 0 69 0 0 0 25 0 1 0 175201854 5668864 1121 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271339 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 1384 1121 139 317 0 1063 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5536

[startup+1.50137 s]
/proc/loadavg: 0.91 0.95 0.97 2/78 31880
/proc/meminfo: memFree=1704632/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=9640 CPUtime=1.49
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 2048 0 0 0 149 0 0 0 25 0 1 0 175201854 9871360 2030 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 2410 2030 139 317 0 2089 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9640

[startup+3.10155 s]
/proc/loadavg: 0.91 0.95 0.97 2/78 31880
/proc/meminfo: memFree=1700792/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=15348 CPUtime=3.09
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 3313 0 0 0 308 1 0 0 25 0 1 0 175201854 15716352 3295 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 3837 3296 139 317 0 3516 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15348

[startup+6.30192 s]
/proc/loadavg: 0.92 0.95 0.97 2/78 31880
/proc/meminfo: memFree=1692344/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=26172 CPUtime=6.29
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 5755 0 0 0 627 2 0 0 25 0 1 0 175201854 26800128 5737 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718926 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 6543 5737 170 317 0 6222 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26172

[startup+12.7026 s]
/proc/loadavg: 0.93 0.95 0.97 2/78 31880
/proc/meminfo: memFree=1670584/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=46928 CPUtime=12.69
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 10276 0 0 0 1265 4 0 0 25 0 1 0 175201854 48054272 10258 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284171 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 11732 10258 170 317 0 11411 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 46928

[startup+25.5011 s]
/proc/loadavg: 0.94 0.96 0.97 2/78 31880
/proc/meminfo: memFree=1639160/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=83136 CPUtime=25.48
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 17966 0 0 0 2539 9 0 0 25 0 1 0 175201854 85131264 17948 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 20784 17948 170 317 0 20463 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 83136

[startup+51.102 s]
/proc/loadavg: 0.96 0.96 0.97 2/78 31880
/proc/meminfo: memFree=1600504/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=124468 CPUtime=51.07
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 27582 0 0 0 5093 14 0 0 25 0 1 0 175201854 127455232 27564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718701 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 31117 27564 170 317 0 30796 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 124468

[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.97 2/78 31880
/proc/meminfo: memFree=1532728/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=202444 CPUtime=102.27
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 44379 0 0 0 10205 22 0 0 25 0 1 0 175201854 207302656 44361 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 50611 44361 170 317 0 50290 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 202444

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 31880
/proc/meminfo: memFree=1478648/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=260564 CPUtime=162.24
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 58010 0 0 0 16196 28 0 0 25 0 1 0 175201854 266817536 57992 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 65141 57992 170 317 0 64820 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 260564

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 31880
/proc/meminfo: memFree=1408952/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=348716 CPUtime=222.22
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 75240 0 0 0 22186 36 0 0 25 0 1 0 175201854 357085184 75222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 87179 75222 170 317 0 86858 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 348716

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 31880
/proc/meminfo: memFree=1372024/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=387676 CPUtime=282.21
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 84527 0 0 0 28179 42 0 0 25 0 1 0 175201854 396980224 84509 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 96919 84509 170 317 0 96598 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 387676

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 31880
/proc/meminfo: memFree=1334328/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=426832 CPUtime=342.19
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 93922 0 0 0 34173 46 0 0 25 0 1 0 175201854 437075968 93904 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272553 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 106708 93904 170 317 0 106387 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 426832

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 31880
/proc/meminfo: memFree=1300216/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=462828 CPUtime=402.17
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 102422 0 0 0 40167 50 0 0 25 0 1 0 175201854 473935872 102404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 115707 102404 170 317 0 115386 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 462828

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 31880
/proc/meminfo: memFree=1267064/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=497588 CPUtime=462.16
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 110658 0 0 0 46163 53 0 0 25 0 1 0 175201854 509530112 110640 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 124397 110640 170 317 0 124076 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 497588

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 31880
/proc/meminfo: memFree=1239224/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=529228 CPUtime=522.13
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 117698 0 0 0 52157 56 0 0 25 0 1 0 175201854 541929472 117623 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596223 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 132307 117623 170 317 0 131986 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 529228

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 31880
/proc/meminfo: memFree=1171320/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=638272 CPUtime=582.12
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 134568 0 0 0 58149 63 0 0 25 0 1 0 175201854 653590528 134493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 159568 134493 170 317 0 159247 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 638272

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 31880
/proc/meminfo: memFree=1142584/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=667764 CPUtime=642.11
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 141671 0 0 0 64145 66 0 0 25 0 1 0 175201854 683790336 141596 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 166941 141596 170 317 0 166620 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 667764


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

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 31880
/proc/meminfo: memFree=1022712/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=793484 CPUtime=942.02
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 171618 0 0 0 94124 78 0 0 25 0 1 0 175201854 812527616 171543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 198371 171543 170 317 0 198050 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 793484

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 31880
/proc/meminfo: memFree=1001208/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=815592 CPUtime=1002
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 176938 0 0 0 100120 80 0 0 25 0 1 0 175201854 835166208 176863 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 203898 176863 170 317 0 203577 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 815592

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 31880
/proc/meminfo: memFree=984568/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=835344 CPUtime=1061.98
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 181134 0 0 0 106116 82 0 0 25 0 1 0 175201854 855392256 181059 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 208836 181059 170 317 0 208515 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 835344

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 31880
/proc/meminfo: memFree=964664/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=855688 CPUtime=1121.96
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 186093 0 0 0 112112 84 0 0 25 0 1 0 175201854 876224512 186018 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 213922 186018 170 317 0 213601 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 855688

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 31880
/proc/meminfo: memFree=943544/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=878148 CPUtime=1181.94
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 191400 0 0 0 118107 87 0 0 25 0 1 0 175201854 899223552 191325 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716218 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 219537 191325 170 317 0 219216 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 878148

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 31880
/proc/meminfo: memFree=923320/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=899092 CPUtime=1241.92
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 196401 0 0 0 124103 89 0 0 25 0 1 0 175201854 920670208 196326 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 224773 196326 170 317 0 224452 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 899092

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 31880
/proc/meminfo: memFree=907256/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=918084 CPUtime=1301.92
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 200377 0 0 0 130100 92 0 0 25 0 1 0 175201854 940118016 200302 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 229521 200302 170 317 0 229200 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 918084

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 31880
/proc/meminfo: memFree=888184/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=937832 CPUtime=1361.9
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 205180 0 0 0 136095 95 0 0 25 0 1 0 175201854 960339968 205105 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 234458 205105 170 317 0 234137 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 937832

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 31880
/proc/meminfo: memFree=868536/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=957612 CPUtime=1421.88
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 210022 0 0 0 142092 96 0 0 25 0 1 0 175201854 980594688 209947 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 239403 209947 170 317 0 239082 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 957612

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 31882
/proc/meminfo: memFree=852536/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=976100 CPUtime=1481.86
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 214040 0 0 0 148088 98 0 0 25 0 1 0 175201854 999526400 213965 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 244025 213965 170 317 0 243704 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 976100

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 31882
/proc/meminfo: memFree=835000/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=993460 CPUtime=1541.84
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 218399 0 0 0 154084 100 0 0 25 0 1 0 175201854 1017303040 218324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 248365 218324 170 317 0 248044 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 993460

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 31882
/proc/meminfo: memFree=817144/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=1011528 CPUtime=1601.83
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 222917 0 0 0 160080 103 0 0 25 0 1 0 175201854 1035804672 222842 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 252882 222842 170 317 0 252561 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1011528

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 31882
/proc/meminfo: memFree=801272/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=1029356 CPUtime=1661.81
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 226820 0 0 0 166076 105 0 0 25 0 1 0 175201854 1054060544 226745 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 257339 226745 170 317 0 257018 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1029356

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 31882
/proc/meminfo: memFree=785720/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=1044788 CPUtime=1721.79
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 230747 0 0 0 172072 107 0 0 25 0 1 0 175201854 1069862912 230672 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 261197 230672 170 317 0 260876 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1044788

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 31882
/proc/meminfo: memFree=771064/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=1061848 CPUtime=1781.78
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 234477 0 0 0 178069 109 0 0 25 0 1 0 175201854 1087332352 234288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 265462 234288 170 317 0 265141 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1061848



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 31882
/proc/meminfo: memFree=725432/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=1218140 CPUtime=1800.07
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194304 265210 0 0 0 179889 118 0 0 25 0 1 0 175201854 1247375360 245518 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 304535 245518 170 317 0 304214 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1218140

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

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

[startup+1800.8 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 31882
/proc/meminfo: memFree=725432/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=0 CPUtime=1800.26
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194308 265226 0 0 0 179904 122 0 0 25 0 1 0 175201854 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0

[startup+1800.9 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 31882
/proc/meminfo: memFree=725432/2055920 swapFree=4151632/4192956
[pid=31879] ppid=31877 vsize=0 CPUtime=1800.36
/proc/31879/stat : 31879 (oree) R 31877 31879 31536 0 -1 4194308 265226 0 0 0 179904 132 0 0 25 0 1 0 175201854 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31879/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.36
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.92
CPU time (s): 1800.4
CPU user time (s): 1799.05
CPU system time (s): 1.3478
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 1218140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.05
system time used= 1.3478
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 265226
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= 7
involuntary context switches= 37238

runsolver used 2.18867 second user time and 4.33334 second system time

The end

Launcher Data (download as text)

Begin job on node5 on Thu Apr 19 14:07:22 UTC 2007

IDJOB= 357221
IDBENCH= 2282
IDSOLVER= 172
FILE ID= node5/357221-1176991642

PBS_JOBID= 4630432

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  9dd7506c46c3c26c10ff03753daf5d0f

RANDOM SEED= 833540970

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node5.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1710552 kB
Buffers:         31136 kB
Cached:         250904 kB
SwapCached:       9408 kB
Active:          58044 kB
Inactive:       246916 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1710552 kB
SwapTotal:     4192956 kB
SwapFree:      4151632 kB
Dirty:            1800 kB
Writeback:           0 kB
Mapped:          29940 kB
Slab:            25960 kB
Committed_AS:  8663800 kB
PageTables:       1720 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= 66356 MiB

End job on node5 on Thu Apr 19 14:37:26 UTC 2007