Trace number 357471

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.13 1800.68

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_3.opb
MD5SUM8d16c34d0eecf3c16ca4b890652c15ca
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7
Optimality of the best value was proved NO
Number of variables146
Total number of constraints12
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 constraints12
Minimum length of a constraint64
Maximum length of a constraint66
Number of terms in the objective function 96
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1270
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4321
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.00/0.00	c ...done
0.00/0.00	c #vars=146 #constraints=13 hasObjective=yes
0.00/0.00	c res. mode=mod
0.00/0.00	c VSIDS like heuristics
0.00/0.00	c complete search running
0.19/0.28	c restart after 401 decisions
0.19/0.28	c nbDecision=500 #constraints=295
0.59/0.64	c restart after 801 decisions
0.69/0.76	c nbDecision=1000 #constraints=655
1.69/1.78	c nbDecision=1500 #constraints=1155
1.99/2.06	c restart after 1601 decisions
2.98/3.05	c nbDecision=2000 #constraints=1539
5.40/5.45	c nbDecision=2500 #constraints=2040
8.49/8.52	c nbDecision=3000 #constraints=2538
10.19/10.20	c restart after 3201 decisions
11.89/11.96	c nbDecision=3500 #constraints=2921
17.99/18.07	c nbDecision=4000 #constraints=3420
25.19/25.24	c nbDecision=4500 #constraints=3918
33.78/33.87	c nbDecision=5000 #constraints=4419
42.48/42.55	c nbDecision=5500 #constraints=4919
52.98/53.08	c nbDecision=6000 #constraints=5419
63.37/63.47	c restart after 6401 decisions
63.68/63.78	c nbDecision=6500 #constraints=5822
77.68/77.71	c nbDecision=7000 #constraints=6301
92.37/92.42	c nbDecision=7500 #constraints=6801
107.46/107.54	c nbDecision=8000 #constraints=7301
124.06/124.20	c nbDecision=8500 #constraints=7802
140.26/140.37	c nbDecision=9000 #constraints=8302
160.55/160.68	c nbDecision=9500 #constraints=8800
182.84/182.90	c nbDecision=10000 #constraints=9300
202.84/202.96	c nbDecision=10500 #constraints=9802
227.23/227.32	c nbDecision=11000 #constraints=10300
250.43/250.56	c nbDecision=11500 #constraints=10801
272.42/272.54	c nbDecision=12000 #constraints=11303
303.21/303.34	c nbDecision=12500 #constraints=11801
320.01/320.16	c restart after 12801 decisions
326.51/326.63	c nbDecision=13000 #constraints=12180
356.00/356.14	c nbDecision=13500 #constraints=12680
388.68/388.88	c nbDecision=14000 #constraints=13180
418.58/418.72	c nbDecision=14500 #constraints=13681
445.97/446.15	c nbDecision=15000 #constraints=14181
476.57/476.77	c nbDecision=15500 #constraints=14681
513.06/513.27	c nbDecision=16000 #constraints=15180
544.85/545.04	c nbDecision=16500 #constraints=15682
579.64/579.87	c nbDecision=17000 #constraints=16181
613.33/613.57	c nbDecision=17500 #constraints=16683
644.63/644.85	c nbDecision=18000 #constraints=17183
686.61/686.84	c nbDecision=18500 #constraints=17680
732.00/732.25	c nbDecision=19000 #constraints=18180
772.19/772.49	c nbDecision=19500 #constraints=18680
816.57/816.83	c nbDecision=20000 #constraints=19179
863.07/863.31	c nbDecision=20500 #constraints=19679
907.95/908.22	c nbDecision=21000 #constraints=20180
959.95/960.23	c nbDecision=21500 #constraints=20679
1009.63/1009.97	c nbDecision=22000 #constraints=21179
1058.32/1058.61	c nbDecision=22500 #constraints=21679
1113.20/1113.54	c nbDecision=23000 #constraints=22179
1161.79/1162.14	c nbDecision=23500 #constraints=22679
1212.21/1212.68	c nbDecision=24000 #constraints=23180
1262.18/1262.65	c nbDecision=24500 #constraints=23680
1311.87/1312.37	c nbDecision=25000 #constraints=24180
1366.76/1367.26	c nbDecision=25500 #constraints=24679
1379.06/1379.50	c restart after 25601 decisions
1414.65/1415.19	c nbDecision=26000 #constraints=25059
1477.12/1477.67	c nbDecision=26500 #constraints=25560
1537.81/1538.35	c nbDecision=27000 #constraints=26060
1594.40/1594.96	c nbDecision=27500 #constraints=26561
1651.38/1651.97	c nbDecision=28000 #constraints=27060
1718.37/1718.95	c nbDecision=28500 #constraints=27561
1782.35/1782.98	c nbDecision=29000 #constraints=28061
1800.05/1800.60	Received signal 15
1800.05/1800.65	
1800.05/1800.65	s UNKNOWN
1800.05/1800.65	
1800.05/1800.65	c user time= 1799.74 s
1800.05/1800.65	c system time= 0.369943 s
1800.05/1800.65	c wall clock time=1800.65

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/node27/watcher-357471-1177000892 -o ROOT/results/node27/solver-357471-1177000892 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357471-1177000892/instance-357471-1177000892.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.78 0.95 0.98 2/65 26574
/proc/meminfo: memFree=1431568/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=1468 CPUtime=0
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 191 0 0 0 0 0 0 0 18 0 1 0 112785162 1503232 173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 367 173 139 317 0 46 0

[startup+0.00905098 s]
/proc/loadavg: 0.78 0.95 0.98 2/65 26574
/proc/meminfo: memFree=1431568/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=1468 CPUtime=0
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 202 0 0 0 0 0 0 0 18 0 1 0 112785162 1503232 184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 400 185 139 317 0 79 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1468

[startup+0.10106 s]
/proc/loadavg: 0.78 0.95 0.98 2/65 26574
/proc/meminfo: memFree=1431568/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=1992 CPUtime=0.09
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 315 0 0 0 9 0 0 0 18 0 1 0 112785162 2039808 297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 498 297 139 317 0 177 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1992

[startup+0.30108 s]
/proc/loadavg: 0.78 0.95 0.98 2/65 26574
/proc/meminfo: memFree=1431568/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=2784 CPUtime=0.29
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 531 0 0 0 29 0 0 0 19 0 1 0 112785162 2850816 513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 696 513 139 317 0 375 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2784

[startup+0.701121 s]
/proc/loadavg: 0.78 0.95 0.98 2/65 26574
/proc/meminfo: memFree=1431568/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=4232 CPUtime=0.69
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 864 0 0 0 69 0 0 0 23 0 1 0 112785162 4333568 846 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 1058 846 139 317 0 737 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4232

[startup+1.5012 s]
/proc/loadavg: 0.78 0.95 0.98 2/66 26575
/proc/meminfo: memFree=1427976/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=6236 CPUtime=1.49
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 1383 0 0 0 149 0 0 0 25 0 1 0 112785162 6385664 1365 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564062 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 1559 1365 170 317 0 1238 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6236

[startup+3.10136 s]
/proc/loadavg: 0.80 0.95 0.98 2/66 26575
/proc/meminfo: memFree=1425736/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=8208 CPUtime=3.08
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 1899 0 0 0 308 0 0 0 25 0 1 0 112785162 8404992 1881 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272549 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 2052 1881 170 317 0 1731 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 8208

[startup+6.30169 s]
/proc/loadavg: 0.80 0.95 0.98 2/66 26575
/proc/meminfo: memFree=1422664/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=11084 CPUtime=6.29
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 2564 0 0 0 628 1 0 0 25 0 1 0 112785162 11350016 2546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 2771 2546 170 317 0 2450 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11084

[startup+12.7013 s]
/proc/loadavg: 0.83 0.95 0.98 2/66 26575
/proc/meminfo: memFree=1418632/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=14396 CPUtime=12.68
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 3395 0 0 0 1267 1 0 0 25 0 1 0 112785162 14741504 3377 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 3599 3377 170 317 0 3278 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 14396

[startup+25.5016 s]
/proc/loadavg: 0.85 0.95 0.98 2/66 26575
/proc/meminfo: memFree=1414536/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=18376 CPUtime=25.49
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 4379 0 0 0 2546 3 0 0 25 0 1 0 112785162 18817024 4361 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 4594 4361 170 317 0 4273 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18376

[startup+51.1012 s]
/proc/loadavg: 0.90 0.96 0.98 2/66 26575
/proc/meminfo: memFree=1408200/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=25328 CPUtime=51.08
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 5973 0 0 0 5103 5 0 0 25 0 1 0 112785162 25935872 5955 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711055 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 6332 5955 170 317 0 6011 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 25328

[startup+102.305 s]
/proc/loadavg: 0.96 0.96 0.98 2/66 26575
/proc/meminfo: memFree=1400904/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=32364 CPUtime=102.27
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 7771 0 0 0 10221 6 0 0 25 0 1 0 112785162 33140736 7753 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 8091 7753 170 317 0 7770 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 32364

[startup+162.301 s]
/proc/loadavg: 0.98 0.97 0.98 2/66 26575
/proc/meminfo: memFree=1393480/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=41112 CPUtime=162.25
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 9700 0 0 0 16217 8 0 0 25 0 1 0 112785162 42098688 9625 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712571 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 10278 9625 170 317 0 9957 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 41112

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26575
/proc/meminfo: memFree=1387912/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=46324 CPUtime=222.23
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 11061 0 0 0 22214 9 0 0 25 0 1 0 112785162 47435776 10986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 11581 10986 170 317 0 11260 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 46324

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26575
/proc/meminfo: memFree=1382344/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=52064 CPUtime=282.22
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 12450 0 0 0 28211 11 0 0 25 0 1 0 112785162 53313536 12375 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 13016 12375 170 317 0 12695 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 52064

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26575
/proc/meminfo: memFree=1377936/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=56820 CPUtime=342.21
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 13542 0 0 0 34209 12 0 0 25 0 1 0 112785162 58183680 13467 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 14205 13467 170 317 0 13884 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 56820

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26575
/proc/meminfo: memFree=1373904/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=60880 CPUtime=402.19
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 14540 0 0 0 40206 13 0 0 25 0 1 0 112785162 62341120 14465 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 15220 14465 170 317 0 14899 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 60880

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26575
/proc/meminfo: memFree=1369552/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=64948 CPUtime=462.17
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 15622 0 0 0 46203 14 0 0 25 0 1 0 112785162 66506752 15547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 16237 15547 170 317 0 15916 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 64948

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26575
/proc/meminfo: memFree=1366224/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=68352 CPUtime=522.16
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 16499 0 0 0 52200 16 0 0 25 0 1 0 112785162 69992448 16424 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563898 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 17088 16424 170 317 0 16767 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 68352

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26575
/proc/meminfo: memFree=1362448/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=71656 CPUtime=582.14
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 17425 0 0 0 58197 17 0 0 25 0 1 0 112785162 73375744 17350 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 17914 17350 170 317 0 17593 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 71656

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26575
/proc/meminfo: memFree=1357776/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=79160 CPUtime=642.12
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 19024 0 0 0 64194 18 0 0 25 0 1 0 112785162 81059840 18506 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 19790 18506 170 317 0 19469 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 79160


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

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26575
/proc/meminfo: memFree=1348688/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=88760 CPUtime=822.08
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 21329 0 0 0 82187 21 0 0 25 0 1 0 112785162 90890240 20778 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 22190 20778 170 317 0 21869 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 88760

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26575
/proc/meminfo: memFree=1345872/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=91908 CPUtime=882.06
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 22101 0 0 0 88185 21 0 0 25 0 1 0 112785162 94113792 21484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 22977 21484 170 317 0 22656 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 91908

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26575
/proc/meminfo: memFree=1343312/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=94260 CPUtime=942.05
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 22754 0 0 0 94183 22 0 0 25 0 1 0 112785162 96522240 22104 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 23565 22104 170 317 0 23244 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 94260

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26575
/proc/meminfo: memFree=1340880/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=96472 CPUtime=1002.03
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 23360 0 0 0 100180 23 0 0 25 0 1 0 112785162 98787328 22710 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 24118 22710 170 317 0 23797 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 96472

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26575
/proc/meminfo: memFree=1338192/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=99976 CPUtime=1062.02
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 24209 0 0 0 106178 24 0 0 25 0 1 0 112785162 102375424 23361 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 24994 23361 170 317 0 24673 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 99976

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26575
/proc/meminfo: memFree=1335760/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=102336 CPUtime=1122
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 24821 0 0 0 112176 24 0 0 25 0 1 0 112785162 104792064 23973 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 25584 23973 170 317 0 25263 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 102336

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/72 26657
/proc/meminfo: memFree=1332064/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=104556 CPUtime=1181.96
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 25462 0 0 0 118168 28 0 0 25 0 1 0 112785162 107065344 24614 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 26139 24614 170 317 0 25818 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 104556

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26773
/proc/meminfo: memFree=1330640/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=107060 CPUtime=1241.89
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 26111 0 0 0 124159 30 0 0 25 0 1 0 112785162 109629440 25230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 26765 25230 170 317 0 26444 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 107060

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26773
/proc/meminfo: memFree=1327952/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=109552 CPUtime=1301.88
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 26829 0 0 0 130157 31 0 0 25 0 1 0 112785162 112181248 25882 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 27388 25882 170 317 0 27067 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 109552

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26773
/proc/meminfo: memFree=1325584/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=111656 CPUtime=1361.86
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 27403 0 0 0 136155 31 0 0 25 0 1 0 112785162 114335744 26456 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 27914 26456 170 317 0 27593 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 111656

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26773
/proc/meminfo: memFree=1323728/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=113748 CPUtime=1421.85
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 28003 0 0 0 142153 32 0 0 25 0 1 0 112785162 116477952 26957 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 28437 26957 170 317 0 28116 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 113748

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26773
/proc/meminfo: memFree=1321808/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=116524 CPUtime=1481.83
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 28661 0 0 0 148150 33 0 0 25 0 1 0 112785162 119320576 27450 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 29131 27450 170 317 0 28810 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 116524

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26773
/proc/meminfo: memFree=1319760/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=118364 CPUtime=1541.81
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 29183 0 0 0 154148 33 0 0 25 0 1 0 112785162 121204736 27972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 29591 27972 170 317 0 29270 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 118364

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26773
/proc/meminfo: memFree=1317648/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=120584 CPUtime=1601.8
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 29783 0 0 0 160145 35 0 0 25 0 1 0 112785162 123478016 28506 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 30146 28506 170 317 0 29825 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 120584

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26773
/proc/meminfo: memFree=1315408/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=122400 CPUtime=1661.78
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 30322 0 0 0 166143 35 0 0 25 0 1 0 112785162 125337600 29045 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 30600 29045 170 317 0 30279 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 122400

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26773
/proc/meminfo: memFree=1313616/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=123968 CPUtime=1721.77
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 30767 0 0 0 172141 36 0 0 25 0 1 0 112785162 126943232 29457 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 30992 29457 170 317 0 30671 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 123968

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26773
/proc/meminfo: memFree=1311824/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=125928 CPUtime=1781.75
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 31274 0 0 0 178139 36 0 0 25 0 1 0 112785162 128950272 29931 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 31482 29931 170 317 0 31161 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 125928



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.98 2/66 26773
/proc/meminfo: memFree=1311184/2055920 swapFree=4179984/4192956
[pid=26574] ppid=26572 vsize=126448 CPUtime=1800.05
/proc/26574/stat : 26574 (oree) R 26572 26574 26517 0 -1 4194304 31435 0 0 0 179969 36 0 0 25 0 1 0 112785162 129482752 30092 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26574/statm: 31612 30092 170 317 0 31291 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 126448

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

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

Child status: 0
Real time (s): 1800.68
CPU time (s): 1800.13
CPU user time (s): 1799.74
CPU system time (s): 0.39094
CPU usage (%): 99.9696
Max. virtual memory (cumulated for all children) (KiB): 126448

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

runsolver used 1.2838 second user time and 3.76643 second system time

The end

Launcher Data (download as text)

Begin job on node27 on Thu Apr 19 16:41:33 UTC 2007

IDJOB= 357471
IDBENCH= 2910
IDSOLVER= 172
FILE ID= node27/357471-1177000892

PBS_JOBID= 4630501

Free space on /tmp= 66376 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_3.opb
COMMAND LINE= oree /tmp/evaluation/357471-1177000892/instance-357471-1177000892.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node27/watcher-357471-1177000892 -o ROOT/results/node27/solver-357471-1177000892 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357471-1177000892/instance-357471-1177000892.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  8d16c34d0eecf3c16ca4b890652c15ca

RANDOM SEED= 111564874

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node27.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.213
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	: 5931.00
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.213
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:       1432040 kB
Buffers:         35844 kB
Cached:         512136 kB
SwapCached:       6696 kB
Active:          54892 kB
Inactive:       505260 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1432040 kB
SwapTotal:     4192956 kB
SwapFree:      4179984 kB
Dirty:            1468 kB
Writeback:           0 kB
Mapped:          15224 kB
Slab:            49780 kB
Committed_AS:  1691808 kB
PageTables:       1412 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= 66376 MiB

End job on node27 on Thu Apr 19 17:11:35 UTC 2007