Trace number 357291

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.23 1800.93

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-mps-v2-20-10-dg012142.opb
MD5SUM4f88b3d47f6404caca0c9a65b4bd3b5a
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables41920
Total number of constraints2137
Number of constraints which are clauses40
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2097
Minimum length of a constraint1
Maximum length of a constraint371
Number of terms in the objective function 22720
Biggest coefficient in the objective function 5368709120000
Number of bits for the biggest coefficient in the objective function 43
Sum of the numbers in the objective function 1036222338778688
Number of bits of the sum of numbers in the objective function 50
Biggest number in a constraint 5368709120000
Number of bits of the biggest number in a constraint 43
Biggest sum of numbers in a constraint 1036222338778688
Number of bits of the biggest sum of numbers50
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.89/0.90	c ...done
0.89/0.90	c #vars=41920 #constraints=2778 hasObjective=yes
1.19/1.24	c res. mode=mod
1.19/1.24	c VSIDS like heuristics
1.19/1.24	c complete search running
1.39/1.48	c restart after 401 decisions
1.49/1.53	c nbDecision=500 #constraints=2778
1.59/1.67	c restart after 801 decisions
1.69/1.77	c nbDecision=1000 #constraints=2778
1.99/2.01	c nbDecision=1500 #constraints=2778
1.99/2.05	c restart after 1601 decisions
2.20/2.25	c nbDecision=2000 #constraints=2778
2.39/2.50	c nbDecision=2500 #constraints=2778
2.69/2.74	c nbDecision=3000 #constraints=2778
2.79/2.84	c restart after 3201 decisions
2.89/3.00	c nbDecision=3500 #constraints=2778
3.19/3.24	c nbDecision=4000 #constraints=2778
3.39/3.49	c nbDecision=4500 #constraints=2778
3.69/3.74	c nbDecision=5000 #constraints=2778
3.89/3.98	c nbDecision=5500 #constraints=2778
4.19/4.23	c nbDecision=6000 #constraints=2778
4.39/4.43	c restart after 6401 decisions
4.39/4.49	c nbDecision=6500 #constraints=2778
4.68/4.73	c nbDecision=7000 #constraints=2778
4.88/4.98	c nbDecision=7500 #constraints=2778
5.18/5.22	c nbDecision=8000 #constraints=2778
5.39/5.47	c nbDecision=8500 #constraints=2778
5.68/5.70	c nbDecision=9000 #constraints=2778
5.88/5.94	c nbDecision=9500 #constraints=2778
6.59/6.64	c nbDecision=10000 #constraints=2906
9.99/10.06	c nbDecision=10500 #constraints=3413
13.88/13.91	c nbDecision=11000 #constraints=3910
19.48/19.57	c nbDecision=11500 #constraints=4414
26.98/27.01	c nbDecision=12000 #constraints=4908
33.68/33.79	c nbDecision=12500 #constraints=5408
38.27/38.38	c restart after 12801 decisions
38.87/38.91	c nbDecision=13000 #constraints=5711
39.18/39.20	c nbDecision=13500 #constraints=5711
39.37/39.45	c nbDecision=14000 #constraints=5711
39.58/39.69	c nbDecision=14500 #constraints=5711
39.87/39.94	c nbDecision=15000 #constraints=5711
40.07/40.18	c nbDecision=15500 #constraints=5711
40.37/40.47	c nbDecision=16000 #constraints=5711
44.78/44.86	c nbDecision=16500 #constraints=5948
55.47/55.53	c nbDecision=17000 #constraints=6447
64.78/64.81	c nbDecision=17500 #constraints=6946
75.37/75.42	c nbDecision=18000 #constraints=7445
89.76/89.87	c nbDecision=18500 #constraints=7948
103.16/103.28	c nbDecision=19000 #constraints=8445
117.15/117.22	c nbDecision=19500 #constraints=8938
131.04/131.11	c nbDecision=20000 #constraints=9441
151.25/151.39	c nbDecision=20500 #constraints=9945
164.84/164.90	c nbDecision=21000 #constraints=10442
183.33/183.40	c nbDecision=21500 #constraints=10941
208.02/208.13	c nbDecision=22000 #constraints=11446
233.52/233.62	c nbDecision=22500 #constraints=11943
251.00/251.15	c nbDecision=23000 #constraints=12438
269.90/270.04	c nbDecision=23500 #constraints=12940
292.69/292.86	c nbDecision=24000 #constraints=13441
323.19/323.39	c nbDecision=24500 #constraints=13938
356.88/357.01	c nbDecision=25000 #constraints=14438
384.06/384.25	c nbDecision=25500 #constraints=14941
390.86/391.06	c restart after 25601 decisions
393.46/393.61	c nbDecision=26000 #constraints=15044
393.67/393.86	c nbDecision=26500 #constraints=15044
393.86/394.09	c nbDecision=27000 #constraints=15044
394.16/394.34	c nbDecision=27500 #constraints=15044
394.36/394.59	c nbDecision=28000 #constraints=15044
394.67/394.84	c nbDecision=28500 #constraints=15044
395.36/395.52	c nbDecision=29000 #constraints=15044
422.15/422.34	c nbDecision=29500 #constraints=15480
449.04/449.26	c nbDecision=30000 #constraints=15982
484.83/485.04	c nbDecision=30500 #constraints=16480
513.52/513.72	c nbDecision=31000 #constraints=16977
545.31/545.52	c nbDecision=31500 #constraints=17481
586.89/587.10	c nbDecision=32000 #constraints=17981
630.78/631.08	c nbDecision=32500 #constraints=18478
664.07/664.33	c nbDecision=33000 #constraints=18975
699.06/699.39	c nbDecision=33500 #constraints=19477
744.15/744.48	c nbDecision=34000 #constraints=19979
792.92/793.21	c nbDecision=34500 #constraints=20477
836.22/836.50	c nbDecision=35000 #constraints=20973
889.10/889.47	c nbDecision=35500 #constraints=21475
924.99/925.37	c nbDecision=36000 #constraints=21970
965.57/965.97	c nbDecision=36500 #constraints=22476
1018.05/1018.40	c nbDecision=37000 #constraints=22976
1072.93/1073.38	c nbDecision=37500 #constraints=23470
1103.82/1104.22	c nbDecision=38000 #constraints=23974
1150.41/1150.86	c nbDecision=38500 #constraints=24477
1211.49/1211.99	c nbDecision=39000 #constraints=24974
1274.38/1274.88	c nbDecision=39500 #constraints=25472
1312.36/1312.90	c nbDecision=40000 #constraints=25973
1356.05/1356.67	c nbDecision=40500 #constraints=26471
1415.32/1415.99	c nbDecision=41000 #constraints=26975
1475.90/1476.60	c nbDecision=41500 #constraints=27472
1542.78/1543.43	c nbDecision=42000 #constraints=27969
1600.66/1601.36	c nbDecision=42500 #constraints=28472
1667.34/1668.09	c nbDecision=43000 #constraints=28966
1729.82/1730.57	c nbDecision=43500 #constraints=29468
1800.00/1800.70	Received signal 15
1800.10/1800.84	
1800.10/1800.84	s UNKNOWN
1800.10/1800.84	
1800.10/1800.84	c user time= 1799.42 s
1800.10/1800.84	c system time= 0.727889 s
1800.10/1800.84	c wall clock time=1800.84

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/node22/watcher-357291-1176993533 -o ROOT/results/node22/solver-357291-1176993533 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357291-1176993533/instance-357291-1176993533.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.01 1.00 0.94 3/77 9031
/proc/meminfo: memFree=1412296/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=1468 CPUtime=0
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 147271064 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 367 162 127 317 0 46 0

[startup+0.0645899 s]
/proc/loadavg: 1.01 1.00 0.94 3/77 9031
/proc/meminfo: memFree=1412296/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=2400 CPUtime=0.06
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 476 0 0 0 6 0 0 0 18 0 1 0 147271064 2457600 360 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271382 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 600 360 128 317 0 279 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2400

[startup+0.101595 s]
/proc/loadavg: 1.01 1.00 0.94 3/77 9031
/proc/meminfo: memFree=1412296/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=2728 CPUtime=0.09
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 536 0 0 0 9 0 0 0 18 0 1 0 147271064 2793472 420 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 682 420 131 317 0 361 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2728

[startup+0.301627 s]
/proc/loadavg: 1.01 1.00 0.94 3/77 9031
/proc/meminfo: memFree=1412296/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=5648 CPUtime=0.29
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 1286 0 0 0 29 0 0 0 19 0 1 0 147271064 5783552 1170 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 1412 1170 131 317 0 1091 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5648

[startup+0.701686 s]
/proc/loadavg: 1.01 1.00 0.94 3/77 9031
/proc/meminfo: memFree=1412296/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=12928 CPUtime=0.69
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 3094 0 0 0 67 2 0 0 22 0 1 0 147271064 13238272 2978 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 3232 2978 131 317 0 2911 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12928

[startup+1.50181 s]
/proc/loadavg: 1.01 1.00 0.94 2/78 9032
/proc/meminfo: memFree=1392704/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=23156 CPUtime=1.49
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 5681 0 0 0 146 3 0 0 25 0 1 0 147271064 23711744 5565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606670 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 5789 5565 138 317 0 5468 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 23156

[startup+3.10105 s]
/proc/loadavg: 1.01 1.00 0.94 2/78 9032
/proc/meminfo: memFree=1390400/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=23156 CPUtime=3.09
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 5681 0 0 0 306 3 0 0 25 0 1 0 147271064 23711744 5565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 5789 5565 138 317 0 5468 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23156

[startup+6.30154 s]
/proc/loadavg: 1.01 1.00 0.94 2/78 9032
/proc/meminfo: memFree=1390152/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=23700 CPUtime=6.28
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 5774 0 0 0 625 3 0 0 25 0 1 0 147271064 24268800 5658 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 5925 5658 139 317 0 5604 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 23700

[startup+12.7015 s]
/proc/loadavg: 1.01 1.00 0.94 2/78 9032
/proc/meminfo: memFree=1381512/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=32844 CPUtime=12.69
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 8079 0 0 0 1264 5 0 0 25 0 1 0 147271064 33632256 7963 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718926 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 8211 7963 139 317 0 7890 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32844

[startup+25.5015 s]
/proc/loadavg: 1.01 1.00 0.94 2/78 9032
/proc/meminfo: memFree=1363656/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=50704 CPUtime=25.48
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 12457 0 0 0 2541 7 0 0 25 0 1 0 147271064 51920896 12341 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 12676 12341 139 317 0 12355 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 50704

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 9032
/proc/meminfo: memFree=1343368/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=71008 CPUtime=51.07
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 17515 0 0 0 5098 9 0 0 25 0 1 0 147271064 72712192 17362 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 17752 17362 139 317 0 17431 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 71008

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 9032
/proc/meminfo: memFree=1310024/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=105772 CPUtime=102.26
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 25741 0 0 0 10212 14 0 0 25 0 1 0 147271064 108310528 25588 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564040 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 26443 25588 139 317 0 26122 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 105772

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 9032
/proc/meminfo: memFree=1281928/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=133448 CPUtime=162.24
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 32840 0 0 0 16205 19 0 0 25 0 1 0 147271064 136650752 32687 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 33362 32687 139 317 0 33041 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 133448

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 9032
/proc/meminfo: memFree=1255496/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=166524 CPUtime=222.22
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 39425 0 0 0 22199 23 0 0 25 0 1 0 147271064 170520576 39200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 41631 39200 139 317 0 41310 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 166524

[startup+282.302 s]
/proc/loadavg: 1.03 1.01 0.95 2/78 9032
/proc/meminfo: memFree=1236744/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=183812 CPUtime=282.2
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 44155 0 0 0 28193 27 0 0 25 0 1 0 147271064 188223488 43930 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 45953 43930 139 317 0 45632 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 183812

[startup+342.302 s]
/proc/loadavg: 1.01 1.01 0.95 2/78 9032
/proc/meminfo: memFree=1223496/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=195588 CPUtime=342.18
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 47401 0 0 0 34189 29 0 0 25 0 1 0 147271064 200282112 47176 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 48897 47176 139 317 0 48576 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 195588

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 9032
/proc/meminfo: memFree=1214856/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=203304 CPUtime=402.16
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 49560 0 0 0 40185 31 0 0 25 0 1 0 147271064 208183296 49335 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 50826 49335 139 317 0 50505 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 203304

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 9032
/proc/meminfo: memFree=1199816/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=216964 CPUtime=462.13
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 53342 0 0 0 46180 33 0 0 25 0 1 0 147271064 222171136 53117 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596056 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 54241 53117 139 317 0 53920 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 216964

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 9032
/proc/meminfo: memFree=1182792/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=236708 CPUtime=522.11
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 57635 0 0 0 52176 35 0 0 25 0 1 0 147271064 242388992 57410 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 59177 57410 139 317 0 58856 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 236708

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 9032
/proc/meminfo: memFree=1170504/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=247972 CPUtime=582.1
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 60646 0 0 0 58172 38 0 0 25 0 1 0 147271064 253923328 60421 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 61993 60421 139 317 0 61672 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 247972

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 9032
/proc/meminfo: memFree=1163144/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=254784 CPUtime=642.08
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 62466 0 0 0 64168 40 0 0 25 0 1 0 147271064 260898816 62241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 63696 62241 139 317 0 63375 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 254784


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

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 9032
/proc/meminfo: memFree=1112520/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=322952 CPUtime=941.98
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 79109 0 0 0 94146 52 0 0 25 0 1 0 147271064 330702848 74881 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564037 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 80738 74881 139 317 0 80417 0
Current children cumulated CPU time (s) 941.98
Current children cumulated vsize (KiB) 322952

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 9032
/proc/meminfo: memFree=1102216/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=331800 CPUtime=1001.96
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 81638 0 0 0 100142 54 0 0 25 0 1 0 147271064 339763200 77410 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 82950 77410 139 317 0 82629 0
Current children cumulated CPU time (s) 1001.96
Current children cumulated vsize (KiB) 331800

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 9032
/proc/meminfo: memFree=1094664/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=338148 CPUtime=1061.94
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 83521 0 0 0 106139 55 0 0 25 0 1 0 147271064 346263552 79293 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 84537 79293 139 317 0 84216 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 338148

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 9032
/proc/meminfo: memFree=1083336/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=348508 CPUtime=1121.92
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 86360 0 0 0 112135 57 0 0 25 0 1 0 147271064 356872192 82132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 87127 82132 139 317 0 86806 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 348508

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 9032
/proc/meminfo: memFree=1074568/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=356508 CPUtime=1181.9
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 88559 0 0 0 118132 58 0 0 25 0 1 0 147271064 365064192 84331 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 89127 84331 139 317 0 88806 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 356508

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 9032
/proc/meminfo: memFree=1067784/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=362464 CPUtime=1241.88
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 90230 0 0 0 124128 60 0 0 25 0 1 0 147271064 371163136 86002 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 90616 86002 139 317 0 90295 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 362464

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 9032
/proc/meminfo: memFree=1061128/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=367960 CPUtime=1301.86
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 91908 0 0 0 130125 61 0 0 25 0 1 0 147271064 376791040 87647 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 91990 87647 139 317 0 91669 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 367960

[startup+1362.3 s]
/proc/loadavg: 1.08 1.02 0.95 2/84 9198
/proc/meminfo: memFree=1049600/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=377068 CPUtime=1361.76
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 94495 0 0 0 136113 63 0 0 25 0 1 0 147271064 386117632 90234 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710752 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 94267 90234 139 317 0 93946 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 377068

[startup+1422.31 s]
/proc/loadavg: 1.03 1.01 0.95 2/78 9230
/proc/meminfo: memFree=1043144/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=383956 CPUtime=1421.72
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 96356 0 0 0 142108 64 0 0 25 0 1 0 147271064 393170944 92095 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 95989 92095 139 317 0 95668 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 383956

[startup+1482.3 s]
/proc/loadavg: 1.01 1.00 0.95 2/78 9230
/proc/meminfo: memFree=1037128/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=389352 CPUtime=1481.7
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 97883 0 0 0 148104 66 0 0 25 0 1 0 147271064 398696448 93622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 97338 93622 139 317 0 97017 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 389352

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 9230
/proc/meminfo: memFree=1032648/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=393028 CPUtime=1541.68
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 98984 0 0 0 154101 67 0 0 25 0 1 0 147271064 402460672 94723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 98257 94723 139 317 0 97936 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 393028

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 9230
/proc/meminfo: memFree=1027528/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=397468 CPUtime=1601.66
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 100275 0 0 0 160098 68 0 0 25 0 1 0 147271064 407007232 96014 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 99367 96014 139 317 0 99046 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 397468

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 9230
/proc/meminfo: memFree=1022664/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=401504 CPUtime=1661.64
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 101483 0 0 0 166095 69 0 0 25 0 1 0 147271064 411140096 97222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 100376 97222 139 317 0 100055 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 401504

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 9230
/proc/meminfo: memFree=1014920/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=408464 CPUtime=1721.62
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 103406 0 0 0 172092 70 0 0 25 0 1 0 147271064 418267136 99145 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 102116 99145 139 317 0 101795 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 408464

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 9230
/proc/meminfo: memFree=1008648/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=414136 CPUtime=1781.6
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 104999 0 0 0 178088 72 0 0 25 0 1 0 147271064 424075264 100705 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 103534 100705 139 317 0 103213 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 414136



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 9230
/proc/meminfo: memFree=1006728/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=415708 CPUtime=1800
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 105474 0 0 0 179928 72 0 0 25 0 1 0 147271064 425684992 101180 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 103927 101180 139 317 0 103606 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 415708

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.00 1.00 0.95 2/78 9230
/proc/meminfo: memFree=1006728/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=415844 CPUtime=1800.1
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194304 105478 0 0 0 179938 72 0 0 25 0 1 0 147271064 425824256 101184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 103961 101184 139 317 0 103640 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 415844

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 9230
/proc/meminfo: memFree=1006728/2055920 swapFree=4168584/4192956
[pid=9031] ppid=9029 vsize=0 CPUtime=1800.2
/proc/9031/stat : 9031 (oree) R 9029 9031 8559 0 -1 4194308 105494 0 0 0 179943 77 0 0 25 0 1 0 147271064 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9031/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.93
CPU time (s): 1800.23
CPU user time (s): 1799.43
CPU system time (s): 0.795879
CPU usage (%): 99.9612
Max. virtual memory (cumulated for all children) (KiB): 415844

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

runsolver used 2.23066 second user time and 4.31834 second system time

The end

Launcher Data (download as text)

Begin job on node22 on Thu Apr 19 14:38:54 UTC 2007

IDJOB= 357291
IDBENCH= 2355
IDSOLVER= 172
FILE ID= node22/357291-1176993533

PBS_JOBID= 4630440

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  4f88b3d47f6404caca0c9a65b4bd3b5a

RANDOM SEED= 396436909

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node22.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.265
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.265
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:       1412704 kB
Buffers:         50012 kB
Cached:         498664 kB
SwapCached:       2192 kB
Active:         103368 kB
Inactive:       467932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1412704 kB
SwapTotal:     4192956 kB
SwapFree:      4168584 kB
Dirty:            4908 kB
Writeback:           0 kB
Mapped:          30480 kB
Slab:            57592 kB
Committed_AS:  1801056 kB
PageTables:       1676 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= 66494 MiB

End job on node22 on Thu Apr 19 15:08:57 UTC 2007