Trace number 357307

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.33 1800.95

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb
MD5SUM77d03e06bcf76c9b07fd6535ab6acb65
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1207959552
Best CPU time to get the best result obtained on this benchmark1800.17
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1207959552
Optimality of the best value was proved NO
Number of variables6651
Total number of constraints721
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)331
Number of constraints which are nor clauses,nor cardinality constraints390
Minimum length of a constraint20
Maximum length of a constraint6651
Number of terms in the objective function 31
Biggest coefficient in the objective function 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 2147483647
Number of bits of the sum of numbers in the objective function 31
Biggest number in a constraint 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 26715880447
Number of bits of the biggest sum of numbers35
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.49/0.51	c ...done
0.49/0.51	c #vars=6651 #constraints=722 hasObjective=yes
0.49/0.56	c res. mode=mod
0.49/0.56	c VSIDS like heuristics
0.49/0.56	c complete search running
1.99/2.09	c restart after 401 decisions
2.19/2.20	c nbDecision=500 #constraints=993
9.69/9.72	c restart after 801 decisions
10.49/10.55	c nbDecision=1000 #constraints=1334
12.59/12.62	c nbDecision=1500 #constraints=1834
15.88/15.98	c restart after 1601 decisions
17.99/18.06	c nbDecision=2000 #constraints=2204
20.09/20.18	c nbDecision=2500 #constraints=2704
22.48/22.50	c nbDecision=3000 #constraints=3204
23.58/23.67	c restart after 3201 decisions
25.38/25.48	c nbDecision=3500 #constraints=3580
28.88/28.92	c nbDecision=4000 #constraints=4078
31.69/31.77	c nbDecision=4500 #constraints=4578
34.28/34.39	c nbDecision=5000 #constraints=5078
37.39/37.46	c nbDecision=5500 #constraints=5578
40.38/40.49	c nbDecision=6000 #constraints=6078
42.67/42.75	c restart after 6401 decisions
43.67/43.78	c nbDecision=6500 #constraints=6480
69.87/69.93	c nbDecision=7000 #constraints=6948
92.86/93.00	c nbDecision=7500 #constraints=7447
115.85/115.94	c nbDecision=8000 #constraints=7947
144.15/144.29	c nbDecision=8500 #constraints=8447
172.94/173.04	c nbDecision=9000 #constraints=8947
201.83/201.97	c nbDecision=9500 #constraints=9447
222.73/222.86	c nbDecision=10000 #constraints=9947
236.62/236.73	c nbDecision=10500 #constraints=10447
259.22/259.34	c nbDecision=11000 #constraints=10947
283.01/283.13	c nbDecision=11500 #constraints=11447
314.81/314.98	c nbDecision=12000 #constraints=11947
339.69/339.88	c nbDecision=12500 #constraints=12447
359.39/359.59	c restart after 12801 decisions
367.99/368.11	c nbDecision=13000 #constraints=12818
400.18/400.37	c nbDecision=13500 #constraints=13318
433.47/433.61	c nbDecision=14000 #constraints=13818
456.46/456.67	c nbDecision=14500 #constraints=14318
481.15/481.32	c nbDecision=15000 #constraints=14818
515.35/515.51	c nbDecision=15500 #constraints=15318
540.84/541.03	c nbDecision=16000 #constraints=15818
566.73/566.93	c nbDecision=16500 #constraints=16318
593.62/593.80	c nbDecision=17000 #constraints=16818
611.92/612.16	c nbDecision=17500 #constraints=17319
649.21/649.45	c nbDecision=18000 #constraints=17818
686.70/686.97	c nbDecision=18500 #constraints=18318
716.49/716.74	c nbDecision=19000 #constraints=18818
738.38/738.65	c nbDecision=19500 #constraints=19318
770.07/770.33	c nbDecision=20000 #constraints=19818
810.26/810.55	c nbDecision=20500 #constraints=20318
850.45/850.78	c nbDecision=21000 #constraints=20818
881.52/881.87	c nbDecision=21500 #constraints=21318
896.38/896.73	c nbDecision=22000 #constraints=21818
925.04/925.45	c nbDecision=22500 #constraints=22318
955.43/955.87	c nbDecision=23000 #constraints=22818
985.81/986.23	c nbDecision=23500 #constraints=23318
1025.90/1026.33	c nbDecision=24000 #constraints=23819
1035.20/1035.61	c nbDecision=24500 #constraints=24318
1042.10/1042.59	c nbDecision=25000 #constraints=24818
1048.79/1049.23	c nbDecision=25500 #constraints=25318
1049.79/1050.25	c restart after 25601 decisions
1062.60/1063.06	c nbDecision=26000 #constraints=25683
1069.39/1069.89	c nbDecision=26500 #constraints=26182
1076.39/1076.82	c nbDecision=27000 #constraints=26682
1084.39/1084.82	c nbDecision=27500 #constraints=27182
1090.88/1091.37	c nbDecision=28000 #constraints=27682
1099.18/1099.66	c nbDecision=28500 #constraints=28182
1107.58/1108.00	c nbDecision=29000 #constraints=28682
1115.18/1115.69	c nbDecision=29500 #constraints=29182
1127.67/1128.18	c nbDecision=30000 #constraints=29682
1144.87/1145.35	c nbDecision=30500 #constraints=30182
1158.97/1159.43	c nbDecision=31000 #constraints=30682
1166.76/1167.29	c nbDecision=31500 #constraints=31182
1175.86/1176.34	c nbDecision=32000 #constraints=31682
1183.86/1184.39	c nbDecision=32500 #constraints=32182
1192.85/1193.39	c nbDecision=33000 #constraints=32682
1202.65/1203.10	c nbDecision=33500 #constraints=33182
1211.95/1212.46	c nbDecision=34000 #constraints=33682
1225.64/1226.10	c nbDecision=34500 #constraints=34182
1245.54/1246.03	c nbDecision=35000 #constraints=34682
1261.73/1262.27	c nbDecision=35500 #constraints=35182
1271.93/1272.49	c nbDecision=36000 #constraints=35682
1281.32/1281.89	c nbDecision=36500 #constraints=36182
1290.43/1290.96	c nbDecision=37000 #constraints=36682
1301.42/1301.99	c nbDecision=37500 #constraints=37182
1310.92/1311.46	c nbDecision=38000 #constraints=37682
1326.32/1326.80	c nbDecision=38500 #constraints=38182
1343.91/1344.48	c nbDecision=39000 #constraints=38682
1367.30/1367.87	c nbDecision=39500 #constraints=39183
1377.50/1378.08	c nbDecision=40000 #constraints=39682
1387.90/1388.48	c nbDecision=40500 #constraints=40182
1398.99/1399.54	c nbDecision=41000 #constraints=40682
1410.19/1410.72	c nbDecision=41500 #constraints=41182
1421.79/1422.40	c nbDecision=42000 #constraints=41682
1432.28/1432.86	c nbDecision=42500 #constraints=42182
1450.98/1451.51	c nbDecision=43000 #constraints=42682
1476.27/1476.83	c nbDecision=43500 #constraints=43182
1511.97/1512.52	c nbDecision=44000 #constraints=43683
1546.85/1547.47	c nbDecision=44500 #constraints=44182
1558.25/1558.84	c nbDecision=45000 #constraints=44682
1569.15/1569.80	c nbDecision=45500 #constraints=45182
1581.54/1582.12	c nbDecision=46000 #constraints=45682
1594.24/1594.85	c nbDecision=46500 #constraints=46182
1612.24/1612.87	c nbDecision=47000 #constraints=46682
1632.63/1633.27	c nbDecision=47500 #constraints=47182
1663.73/1664.37	c nbDecision=48000 #constraints=47682
1677.02/1677.64	c nbDecision=48500 #constraints=48182
1688.72/1689.35	c nbDecision=49000 #constraints=48682
1699.80/1700.49	c nbDecision=49500 #constraints=49182
1715.21/1715.83	c nbDecision=50000 #constraints=49682
1728.30/1728.98	c nbDecision=50500 #constraints=50182
1750.60/1751.24	c nbDecision=51000 #constraints=50683
1762.99/1763.65	c restart after 51201 decisions
1781.89/1782.51	c nbDecision=51500 #constraints=51053
1800.09/1800.70	Received signal 15
1800.18/1800.84	
1800.18/1800.84	s UNKNOWN
1800.18/1800.84	
1800.18/1800.84	c user time= 1799.23 s
1800.18/1800.84	c system time= 1.00685 s
1800.18/1800.84	c wall clock time=1800.85

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

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


[startup+0 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 26305
/proc/meminfo: memFree=1611792/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=1468 CPUtime=0
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 147316409 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 367 162 128 317 0 46 0

[startup+0.096913 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 26305
/proc/meminfo: memFree=1611792/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=2844 CPUtime=0.09
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 518 0 0 0 9 0 0 0 18 0 1 0 147316409 2912256 500 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 711 500 131 317 0 390 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2844

[startup+0.101913 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 26305
/proc/meminfo: memFree=1611792/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=2980 CPUtime=0.09
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 538 0 0 0 9 0 0 0 18 0 1 0 147316409 3051520 520 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 745 520 131 317 0 424 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2980

[startup+0.301935 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 26305
/proc/meminfo: memFree=1611792/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=6692 CPUtime=0.29
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 1415 0 0 0 29 0 0 0 19 0 1 0 147316409 6852608 1397 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 1673 1397 131 317 0 1352 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6692

[startup+0.701978 s]
/proc/loadavg: 0.91 0.95 0.98 3/77 26305
/proc/meminfo: memFree=1611792/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=13748 CPUtime=0.69
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 3159 0 0 0 68 1 0 0 23 0 1 0 147316409 14077952 3141 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 3437 3141 138 317 0 3116 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13748

[startup+1.50106 s]
/proc/loadavg: 0.91 0.95 0.98 2/78 26306
/proc/meminfo: memFree=1599688/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=15048 CPUtime=1.49
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 3479 0 0 0 148 1 0 0 25 0 1 0 147316409 15409152 3461 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 3762 3461 139 317 0 3441 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15048

[startup+3.10124 s]
/proc/loadavg: 0.91 0.95 0.98 2/78 26306
/proc/meminfo: memFree=1596744/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=16708 CPUtime=3.09
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 3871 0 0 0 308 1 0 0 25 0 1 0 147316409 17108992 3853 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 4177 3853 139 317 0 3856 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16708

[startup+6.30158 s]
/proc/loadavg: 0.92 0.95 0.98 2/78 26306
/proc/meminfo: memFree=1595848/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=17752 CPUtime=6.29
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 4138 0 0 0 628 1 0 0 25 0 1 0 147316409 18178048 4120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 4438 4120 139 317 0 4117 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17752

[startup+12.7013 s]
/proc/loadavg: 0.93 0.95 0.98 2/78 26306
/proc/meminfo: memFree=1590216/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=25180 CPUtime=12.69
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 5950 0 0 0 1267 2 0 0 25 0 1 0 147316409 25784320 5932 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712494 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 6295 5932 139 317 0 5974 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25180

[startup+25.5017 s]
/proc/loadavg: 0.94 0.96 0.98 2/78 26306
/proc/meminfo: memFree=1572488/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=41980 CPUtime=25.48
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 10083 0 0 0 2544 4 0 0 25 0 1 0 147316409 42987520 10065 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710975 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 10495 10065 139 317 0 10174 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 41980

[startup+51.1014 s]
/proc/loadavg: 0.96 0.96 0.98 2/78 26306
/proc/meminfo: memFree=1543304/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=71640 CPUtime=51.07
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 17198 0 0 0 5098 9 0 0 25 0 1 0 147316409 73359360 17180 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 17910 17180 139 317 0 17589 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 71640

[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.98 2/78 26306
/proc/meminfo: memFree=1533064/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=81740 CPUtime=102.27
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 19715 0 0 0 10215 12 0 0 25 0 1 0 147316409 83701760 19697 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 20435 19697 139 317 0 20114 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 81740

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26306
/proc/meminfo: memFree=1523592/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=91312 CPUtime=162.25
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 22143 0 0 0 16210 15 0 0 25 0 1 0 147316409 93503488 22067 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 22828 22067 139 317 0 22507 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 91312

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26306
/proc/meminfo: memFree=1511368/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=106348 CPUtime=222.23
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 25184 0 0 0 22205 18 0 0 25 0 1 0 147316409 108900352 25108 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 26587 25108 139 317 0 26266 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 106348

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26306
/proc/meminfo: memFree=1497672/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=120624 CPUtime=282.21
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 28614 0 0 0 28200 21 0 0 25 0 1 0 147316409 123518976 28538 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564080 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 30156 28538 139 317 0 29835 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 120624

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26306
/proc/meminfo: memFree=1488072/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=129580 CPUtime=342.19
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 30987 0 0 0 34197 22 0 0 25 0 1 0 147316409 132689920 30911 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 32395 30911 139 317 0 32074 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 129580

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26306
/proc/meminfo: memFree=1480200/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=137432 CPUtime=402.17
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 32963 0 0 0 40193 24 0 0 25 0 1 0 147316409 140730368 32887 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564074 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 34358 32887 139 317 0 34037 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 137432

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26306
/proc/meminfo: memFree=1469704/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=147876 CPUtime=462.16
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 35691 0 0 0 46190 26 0 0 25 0 1 0 147316409 151425024 35615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 36969 35615 139 317 0 36648 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 147876

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26306
/proc/meminfo: memFree=1461576/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=155796 CPUtime=522.14
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 37647 0 0 0 52186 28 0 0 25 0 1 0 147316409 159535104 37571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563935 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 38949 37571 139 317 0 38628 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 155796

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26306
/proc/meminfo: memFree=1450184/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=167632 CPUtime=582.12
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 40701 0 0 0 58181 31 0 0 25 0 1 0 147316409 171655168 40511 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 41908 40511 139 317 0 41587 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 167632

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26306
/proc/meminfo: memFree=1439176/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=185080 CPUtime=642.12
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 44727 0 0 0 64178 34 0 0 25 0 1 0 147316409 189521920 43118 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 46270 43118 139 317 0 45949 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 185080


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

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26504
/proc/meminfo: memFree=1394632/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=230856 CPUtime=941.93
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 56745 0 0 0 94148 45 0 0 25 0 1 0 147316409 236396544 54212 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718670 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 57714 54212 139 317 0 57393 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 230856

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26504
/proc/meminfo: memFree=1385800/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=239232 CPUtime=1001.91
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 59161 0 0 0 100144 47 0 0 25 0 1 0 147316409 244973568 56397 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563351 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 59808 56397 139 317 0 59487 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 239232

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26504
/proc/meminfo: memFree=1366408/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=258308 CPUtime=1061.89
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 64439 0 0 0 106140 49 0 0 25 0 1 0 147316409 264507392 61279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 64577 61279 139 317 0 64256 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 258308

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26504
/proc/meminfo: memFree=1330632/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=293652 CPUtime=1121.87
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 73645 0 0 0 112131 56 0 0 25 0 1 0 147316409 300699648 70221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 73413 70221 139 317 0 73092 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 293652

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26504
/proc/meminfo: memFree=1306440/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=317464 CPUtime=1181.85
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 80128 0 0 0 118125 60 0 0 25 0 1 0 147316409 325083136 76341 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 79366 76341 139 317 0 79045 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 317464

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26504
/proc/meminfo: memFree=1280328/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=358368 CPUtime=1241.84
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 90310 0 0 0 124118 66 0 0 25 0 1 0 147316409 366968832 82718 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 89592 82718 139 317 0 89271 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 358368

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 26504
/proc/meminfo: memFree=1256200/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=383120 CPUtime=1301.83
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 97371 0 0 0 130111 72 0 0 25 0 1 0 147316409 392314880 88732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 95780 88732 139 317 0 95459 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 383120

[startup+1362.3 s]
/proc/loadavg: 1.11 1.00 0.99 2/78 26504
/proc/meminfo: memFree=1240456/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=399204 CPUtime=1361.81
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 101908 0 0 0 136105 76 0 0 25 0 1 0 147316409 408784896 92713 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 99801 92713 139 317 0 99480 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 399204

[startup+1422.31 s]
/proc/loadavg: 1.11 1.02 1.00 2/78 26504
/proc/meminfo: memFree=1214984/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=425348 CPUtime=1421.79
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 109269 0 0 0 142098 81 0 0 25 0 1 0 147316409 435556352 99058 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 106337 99058 139 317 0 106016 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 425348

[startup+1482.3 s]
/proc/loadavg: 1.11 1.03 1.00 2/78 26504
/proc/meminfo: memFree=1199432/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=443364 CPUtime=1481.77
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 113982 0 0 0 148093 84 0 0 25 0 1 0 147316409 454004736 102920 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 110841 102920 139 317 0 110520 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 443364

[startup+1542.3 s]
/proc/loadavg: 1.10 1.04 1.00 2/78 26504
/proc/meminfo: memFree=1192200/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=450212 CPUtime=1541.76
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 115993 0 0 0 154090 86 0 0 25 0 1 0 147316409 461017088 104736 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 112553 104736 139 317 0 112232 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 450212

[startup+1602.3 s]
/proc/loadavg: 1.17 1.06 1.01 2/78 26504
/proc/meminfo: memFree=1168776/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=472300 CPUtime=1601.73
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 122448 0 0 0 160083 90 0 0 25 0 1 0 147316409 483635200 110671 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 118075 110671 139 317 0 117754 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 472300

[startup+1662.3 s]
/proc/loadavg: 1.19 1.08 1.01 2/78 26504
/proc/meminfo: memFree=1157832/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=482364 CPUtime=1661.72
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 125362 0 0 0 166078 94 0 0 25 0 1 0 147316409 493940736 113325 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 120591 113325 139 317 0 120270 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 482364

[startup+1722.3 s]
/proc/loadavg: 1.12 1.08 1.01 2/78 26504
/proc/meminfo: memFree=1136776/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=503172 CPUtime=1721.7
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 131427 0 0 0 172072 98 0 0 25 0 1 0 147316409 515248128 118740 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 125793 118740 139 317 0 125472 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 503172

[startup+1782.3 s]
/proc/loadavg: 1.04 1.06 1.01 2/78 26504
/proc/meminfo: memFree=1126088/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=512704 CPUtime=1781.69
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 134170 0 0 0 178069 100 0 0 25 0 1 0 147316409 525008896 121288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 128176 121288 139 317 0 127855 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 512704



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.03 1.05 1.01 2/78 26504
/proc/meminfo: memFree=1124744/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=513600 CPUtime=1800.09
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 134435 0 0 0 179909 100 0 0 25 0 1 0 147316409 525926400 121553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 128400 121553 139 317 0 128079 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 513600

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

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

[startup+1800.81 s]
/proc/loadavg: 1.03 1.05 1.01 2/78 26504
/proc/meminfo: memFree=1124744/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=513732 CPUtime=1800.18
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194304 134437 0 0 0 179918 100 0 0 25 0 1 0 147316409 526061568 121555 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 128433 121555 139 317 0 128112 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 513732

[startup+1800.9 s]
/proc/loadavg: 1.03 1.05 1.01 2/78 26504
/proc/meminfo: memFree=1124744/2055920 swapFree=4133640/4192956
[pid=26305] ppid=26303 vsize=0 CPUtime=1800.28
/proc/26305/stat : 26305 (oree) R 26303 26305 25025 0 -1 4194308 134453 0 0 0 179924 104 0 0 25 0 1 0 147316409 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/26305/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.95
CPU time (s): 1800.33
CPU user time (s): 1799.24
CPU system time (s): 1.08883
CPU usage (%): 99.966
Max. virtual memory (cumulated for all children) (KiB): 513732

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

runsolver used 1.9887 second user time and 4.5733 second system time

The end

Launcher Data (download as text)

Begin job on node24 on Thu Apr 19 14:46:24 UTC 2007

IDJOB= 357307
IDBENCH= 2371
IDSOLVER= 172
FILE ID= node24/357307-1176993984

PBS_JOBID= 4630409

Free space on /tmp= 66232 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/unibo/normalized-mps-v2-20-10-nsrand_ipx.opb
COMMAND LINE= oree /tmp/evaluation/357307-1176993984/instance-357307-1176993984.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node24/watcher-357307-1176993984 -o ROOT/results/node24/solver-357307-1176993984 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357307-1176993984/instance-357307-1176993984.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  77d03e06bcf76c9b07fd6535ab6acb65

RANDOM SEED= 216337313

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

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

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1612136 kB
Buffers:         37404 kB
Cached:         310004 kB
SwapCached:      27340 kB
Active:         132204 kB
Inactive:       250652 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1612136 kB
SwapTotal:     4192956 kB
SwapFree:      4133640 kB
Dirty:            3328 kB
Writeback:           0 kB
Mapped:          42556 kB
Slab:            46352 kB
Committed_AS:  1875268 kB
PageTables:       1808 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= 66232 MiB

End job on node24 on Thu Apr 19 15:16:27 UTC 2007