Trace number 357369

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.63 1801.07

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-fixnet4.opb
MD5SUM795d0994735ed34c20fdfb3b5393e52b
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark35203702
Best CPU time to get the best result obtained on this benchmark1595.79
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 15257924
Optimality of the best value was proved NO
Number of variables14036
Total number of constraints600
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 constraints600
Minimum length of a constraint19
Maximum length of a constraint1523
Number of terms in the objective function 13668
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 2423922177090
Number of bits of the sum of numbers in the objective function 42
Biggest number in a constraint 5368709120
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 2423922177090
Number of bits of the biggest sum of numbers42
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.20	c ...done
0.09/0.20	c #vars=14036 #constraints=701 hasObjective=yes
0.29/0.37	c res. mode=mod
0.29/0.37	c VSIDS like heuristics
0.29/0.37	c complete search running
0.39/0.44	c restart after 401 decisions
0.39/0.46	c nbDecision=500 #constraints=701
0.39/0.49	c restart after 801 decisions
0.49/0.52	c nbDecision=1000 #constraints=701
0.49/0.58	c nbDecision=1500 #constraints=701
0.59/0.60	c restart after 1601 decisions
0.59/0.66	c nbDecision=2000 #constraints=702
1.79/1.83	c nbDecision=2500 #constraints=841
6.79/6.83	c nbDecision=3000 #constraints=1314
8.99/9.01	c restart after 3201 decisions
8.99/9.09	c nbDecision=3500 #constraints=1503
9.48/9.52	c nbDecision=4000 #constraints=1540
14.79/14.87	c nbDecision=4500 #constraints=2006
22.29/22.37	c nbDecision=5000 #constraints=2493
31.98/32.03	c nbDecision=5500 #constraints=2994
43.08/43.18	c nbDecision=6000 #constraints=3491
52.68/52.73	c restart after 6401 decisions
53.08/53.16	c nbDecision=6500 #constraints=3890
53.18/53.25	c nbDecision=7000 #constraints=3890
61.48/61.58	c nbDecision=7500 #constraints=4205
72.87/72.98	c nbDecision=8000 #constraints=4700
85.68/85.76	c nbDecision=8500 #constraints=5200
98.37/98.40	c nbDecision=9000 #constraints=5706
112.46/112.54	c nbDecision=9500 #constraints=6192
129.46/129.55	c nbDecision=10000 #constraints=6685
149.05/149.13	c nbDecision=10500 #constraints=7179
162.76/162.89	c nbDecision=11000 #constraints=7651
178.24/178.38	c nbDecision=11500 #constraints=8142
195.04/195.19	c nbDecision=12000 #constraints=8628
216.74/216.85	c nbDecision=12500 #constraints=9107
232.53/232.61	c restart after 12801 decisions
233.83/233.95	c nbDecision=13000 #constraints=9406
234.14/234.25	c nbDecision=13500 #constraints=9406
251.32/251.42	c nbDecision=14000 #constraints=9809
271.42/271.57	c nbDecision=14500 #constraints=10263
290.42/290.55	c nbDecision=15000 #constraints=10719
311.81/311.92	c nbDecision=15500 #constraints=11201
334.21/334.32	c nbDecision=16000 #constraints=11662
357.10/357.23	c nbDecision=16500 #constraints=12109
383.79/383.98	c nbDecision=17000 #constraints=12583
409.79/409.95	c nbDecision=17500 #constraints=13047
438.68/438.81	c nbDecision=18000 #constraints=13534
470.48/470.67	c nbDecision=18500 #constraints=14015
502.86/503.04	c nbDecision=19000 #constraints=14496
534.46/534.64	c nbDecision=19500 #constraints=14991
569.95/570.16	c nbDecision=20000 #constraints=15481
602.84/603.09	c nbDecision=20500 #constraints=15977
647.33/647.53	c nbDecision=21000 #constraints=16469
690.81/691.05	c nbDecision=21500 #constraints=16972
728.11/728.37	c nbDecision=22000 #constraints=17441
766.60/766.87	c nbDecision=22500 #constraints=17905
809.79/810.09	c nbDecision=23000 #constraints=18395
857.58/857.89	c nbDecision=23500 #constraints=18888
901.97/902.24	c nbDecision=24000 #constraints=19360
947.06/947.37	c nbDecision=24500 #constraints=19856
988.04/988.35	c nbDecision=25000 #constraints=20336
1032.94/1033.22	c nbDecision=25500 #constraints=20829
1042.03/1042.34	c restart after 25601 decisions
1044.83/1045.11	c nbDecision=26000 #constraints=20926
1053.13/1053.46	c nbDecision=26500 #constraints=21020
1086.02/1086.37	c nbDecision=27000 #constraints=21465
1120.91/1121.29	c nbDecision=27500 #constraints=21926
1152.10/1152.43	c nbDecision=28000 #constraints=22403
1190.60/1190.94	c nbDecision=28500 #constraints=22873
1227.88/1228.29	c nbDecision=29000 #constraints=23333
1269.78/1270.11	c nbDecision=29500 #constraints=23801
1308.57/1308.96	c nbDecision=30000 #constraints=24266
1352.66/1353.06	c nbDecision=30500 #constraints=24749
1405.25/1405.65	c nbDecision=31000 #constraints=25240
1456.93/1457.35	c nbDecision=31500 #constraints=25727
1505.01/1505.42	c nbDecision=32000 #constraints=26201
1552.60/1553.01	c nbDecision=32500 #constraints=26681
1596.00/1596.42	c nbDecision=33000 #constraints=27154
1649.09/1649.51	c nbDecision=33500 #constraints=27641
1697.17/1697.67	c nbDecision=34000 #constraints=28122
1754.65/1755.10	c nbDecision=34500 #constraints=28600
1800.05/1800.50	Received signal 15
1800.35/1800.89	
1800.35/1800.89	s UNKNOWN
1800.35/1800.89	
1800.35/1800.89	c user time= 1799.17 s
1800.35/1800.89	c system time= 1.28181 s
1800.35/1800.89	c wall clock time=1800.89

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9420
/proc/meminfo: memFree=1736380/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=1468 CPUtime=0
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 147511069 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 367 161 127 317 0 46 0

[startup+0.0389491 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9420
/proc/meminfo: memFree=1736380/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=1880 CPUtime=0.03
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 312 0 0 0 3 0 0 0 18 0 1 0 147511069 1925120 261 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134531129 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 470 261 128 317 0 149 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 1880

[startup+0.102915 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9420
/proc/meminfo: memFree=1736380/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=3028 CPUtime=0.09
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 574 0 0 0 9 0 0 0 18 0 1 0 147511069 3100672 523 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 757 523 131 317 0 436 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3028

[startup+0.301934 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9420
/proc/meminfo: memFree=1736380/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=6324 CPUtime=0.29
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 1377 0 0 0 29 0 0 0 19 0 1 0 147511069 6475776 1326 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 1581 1326 137 317 0 1260 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6324

[startup+0.702972 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 9420
/proc/meminfo: memFree=1736380/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=6860 CPUtime=0.69
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 1505 0 0 0 69 0 0 0 22 0 1 0 147511069 7024640 1454 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 1715 1454 139 317 0 1394 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6860

[startup+1.50105 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9421
/proc/meminfo: memFree=1729332/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=10692 CPUtime=1.49
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 2520 0 0 0 148 1 0 0 25 0 1 0 147511069 10948608 2469 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 2673 2470 170 317 0 2352 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10692

[startup+3.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9421
/proc/meminfo: memFree=1724148/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=18304 CPUtime=3.09
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 4423 0 0 0 308 1 0 0 25 0 1 0 147511069 18743296 4372 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271379 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 4576 4372 170 317 0 4255 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18304

[startup+6.3015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9421
/proc/meminfo: memFree=1712764/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=30160 CPUtime=6.29
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 7367 0 0 0 627 2 0 0 25 0 1 0 147511069 30883840 7316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 7540 7316 170 317 0 7219 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30160

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9421
/proc/meminfo: memFree=1687100/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=53948 CPUtime=12.68
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 12929 0 0 0 1263 5 0 0 25 0 1 0 147511069 55242752 12878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 13487 12878 170 317 0 13166 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 53948

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9421
/proc/meminfo: memFree=1658620/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=79340 CPUtime=25.48
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 19651 0 0 0 2540 8 0 0 25 0 1 0 147511069 81244160 19600 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 19835 19600 170 317 0 19514 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 79340

[startup+51.1018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9421
/proc/meminfo: memFree=1612028/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=127872 CPUtime=51.07
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 31367 0 0 0 5094 13 0 0 25 0 1 0 147511069 130940928 31316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 31968 31316 170 317 0 31647 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 127872

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9421
/proc/meminfo: memFree=1530364/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=214868 CPUtime=102.27
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 51554 0 0 0 10203 24 0 0 25 0 1 0 147511069 220024832 51503 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 53717 51503 170 317 0 53396 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 214868

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9421
/proc/meminfo: memFree=1469500/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=270776 CPUtime=162.25
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 66929 0 0 0 16193 32 0 0 25 0 1 0 147511069 277274624 66878 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 67694 66878 170 317 0 67373 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 270776

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9421
/proc/meminfo: memFree=1392892/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=368828 CPUtime=222.23
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 85916 0 0 0 22182 41 0 0 25 0 1 0 147511069 377679872 85807 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 92207 85807 170 317 0 91886 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 368828

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9421
/proc/meminfo: memFree=1348860/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=409432 CPUtime=282.22
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 97036 0 0 0 28175 47 0 0 25 0 1 0 147511069 419258368 96927 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 102358 96927 170 317 0 102037 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 409432

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9421
/proc/meminfo: memFree=1305852/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=449128 CPUtime=342.21
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 107641 0 0 0 34168 53 0 0 25 0 1 0 147511069 459907072 107532 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718327 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 112282 107532 170 317 0 111961 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 449128

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9421
/proc/meminfo: memFree=1269884/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=482644 CPUtime=402.19
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 116672 0 0 0 40161 58 0 0 25 0 1 0 147511069 494227456 116563 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 120661 116563 170 317 0 120340 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 482644

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9421
/proc/meminfo: memFree=1237116/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=512672 CPUtime=462.17
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 124820 0 0 0 46156 61 0 0 25 0 1 0 147511069 524976128 124711 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 128168 124711 170 317 0 127847 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 512672

[startup+522.302 s]
/proc/loadavg: 1.08 1.02 1.01 2/65 9421
/proc/meminfo: memFree=1206844/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=540336 CPUtime=522.16
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 132398 0 0 0 52150 66 0 0 25 0 1 0 147511069 553304064 132289 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 135084 132289 170 317 0 134763 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 540336

[startup+582.302 s]
/proc/loadavg: 1.10 1.03 1.00 2/65 9421
/proc/meminfo: memFree=1177084/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=567204 CPUtime=582.15
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 139787 0 0 0 58145 70 0 0 25 0 1 0 147511069 580816896 139678 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 141801 139678 170 317 0 141480 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 567204

[startup+642.303 s]
/proc/loadavg: 1.09 1.04 1.00 2/65 9421
/proc/meminfo: memFree=1153020/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=589664 CPUtime=642.13
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 145713 0 0 0 64141 72 0 0 25 0 1 0 147511069 603815936 145604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 147416 145604 170 317 0 147095 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 589664


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

[startup+942.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 9421
/proc/meminfo: memFree=1013628/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=786364 CPUtime=942.05
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 192570 0 0 0 94113 92 0 0 25 0 1 0 147511069 805236736 180368 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563625 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 196591 180368 170 317 0 196270 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 786364

[startup+1002.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 9421
/proc/meminfo: memFree=990524/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=807332 CPUtime=1002.05
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 198292 0 0 0 100110 95 0 0 25 0 1 0 147511069 826707968 186090 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 201833 186090 170 317 0 201512 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 807332

[startup+1062.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 9421
/proc/meminfo: memFree=968444/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=827428 CPUtime=1062.03
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 203857 0 0 0 106106 97 0 0 25 0 1 0 147511069 847286272 191655 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 206857 191655 170 317 0 206536 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 827428

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9421
/proc/meminfo: memFree=939196/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=852344 CPUtime=1122.02
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 211164 0 0 0 112102 100 0 0 25 0 1 0 147511069 872800256 198929 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 213086 198929 170 317 0 212765 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 852344

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9423
/proc/meminfo: memFree=910076/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=877272 CPUtime=1181.99
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 218456 0 0 0 118097 102 0 0 25 0 1 0 147511069 898326528 206221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 219318 206221 170 317 0 218997 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 877272

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9423
/proc/meminfo: memFree=884028/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=901308 CPUtime=1241.98
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 224972 0 0 0 124092 106 0 0 25 0 1 0 147511069 922939392 212671 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 225327 212671 170 317 0 225006 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 901308

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9423
/proc/meminfo: memFree=861180/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=921936 CPUtime=1301.97
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 230661 0 0 0 130089 108 0 0 25 0 1 0 147511069 944062464 218327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 230484 218327 170 317 0 230163 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 921936

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9423
/proc/meminfo: memFree=837116/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=941916 CPUtime=1361.95
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 236719 0 0 0 136085 110 0 0 25 0 1 0 147511069 964521984 224385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718428 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 235479 224385 170 317 0 235158 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 941916

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9423
/proc/meminfo: memFree=817084/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=959928 CPUtime=1421.95
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 241691 0 0 0 142081 114 0 0 25 0 1 0 147511069 982966272 229324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278967 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 239982 229324 170 317 0 239661 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 959928

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9423
/proc/meminfo: memFree=797628/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=977516 CPUtime=1481.93
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 246635 0 0 0 148077 116 0 0 25 0 1 0 147511069 1000976384 234235 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 244379 234235 170 317 0 244058 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 977516

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9423
/proc/meminfo: memFree=777340/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=995548 CPUtime=1541.91
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 251668 0 0 0 154073 118 0 0 25 0 1 0 147511069 1019441152 239268 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712494 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 248887 239268 170 317 0 248566 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 995548

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9423
/proc/meminfo: memFree=755772/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=1015260 CPUtime=1601.9
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 257079 0 0 0 160069 121 0 0 25 0 1 0 147511069 1039626240 244679 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715992 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 253815 244679 170 317 0 253494 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1015260

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9423
/proc/meminfo: memFree=736124/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=1032484 CPUtime=1661.88
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 261944 0 0 0 166065 123 0 0 25 0 1 0 147511069 1057263616 249544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 258121 249544 170 317 0 257800 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1032484

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9423
/proc/meminfo: memFree=713724/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=1050732 CPUtime=1721.87
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 267562 0 0 0 172061 126 0 0 25 0 1 0 147511069 1075949568 255162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 262683 255162 170 317 0 262362 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1050732

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9423
/proc/meminfo: memFree=700284/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=1065396 CPUtime=1781.85
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 271090 0 0 0 178058 127 0 0 25 0 1 0 147511069 1090965504 258492 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 266349 258492 170 317 0 266028 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1065396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9423
/proc/meminfo: memFree=693692/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=1069672 CPUtime=1800.05
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 272702 0 0 0 179877 128 0 0 25 0 1 0 147511069 1095344128 260104 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 267418 260104 170 317 0 267097 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1069672

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9424
/proc/meminfo: memFree=693620/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=1069672 CPUtime=1800.16
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194304 272717 0 0 0 179888 128 0 0 25 0 1 0 147511069 1095344128 260119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 267418 260119 170 317 0 267097 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 1069672

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9424
/proc/meminfo: memFree=693620/2055920 swapFree=4184496/4192956
[pid=9420] ppid=9418 vsize=0 CPUtime=1800.54
/proc/9420/stat : 9420 (oree) R 9418 9420 8624 0 -1 4194308 272748 0 0 0 179917 137 0 0 25 0 1 0 147511069 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9420/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.54
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.07
CPU time (s): 1800.63
CPU user time (s): 1799.18
CPU system time (s): 1.44778
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 1069796

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

runsolver used 1.2768 second user time and 3.66344 second system time

The end

Launcher Data (download as text)

Begin job on node55 on Thu Apr 19 15:20:10 UTC 2007

IDJOB= 357369
IDBENCH= 2489
IDSOLVER= 172
FILE ID= node55/357369-1176996010

PBS_JOBID= 4630439

Free space on /tmp= 66353 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-fixnet4.opb
COMMAND LINE= oree /tmp/evaluation/357369-1176996010/instance-357369-1176996010.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node55/watcher-357369-1176996010 -o ROOT/results/node55/solver-357369-1176996010 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357369-1176996010/instance-357369-1176996010.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  795d0994735ed34c20fdfb3b5393e52b

RANDOM SEED= 64108001

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node55.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.216
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.216
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:       1736788 kB
Buffers:         20324 kB
Cached:         219560 kB
SwapCached:       2196 kB
Active:         115944 kB
Inactive:       138788 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1736788 kB
SwapTotal:     4192956 kB
SwapFree:      4184496 kB
Dirty:            2012 kB
Writeback:           0 kB
Mapped:          21376 kB
Slab:            50476 kB
Committed_AS:  1155576 kB
PageTables:       1392 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= 66353 MiB

End job on node55 on Thu Apr 19 15:50:13 UTC 2007