Trace number 356908

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.11 1800.58

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-usAbbrv.8.25_70.opb
MD5SUM825fd1904b2d777401b7be7f08c7951c
Bench CategoryOPT-SMALLINT (optimisation, small 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 variables20611
Total number of constraints3921
Number of constraints which are clauses563
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3358
Minimum length of a constraint4
Maximum length of a constraint61
Number of terms in the objective function 135
Biggest coefficient in the objective function 262118
Number of bits for the biggest coefficient in the objective function 18
Sum of the numbers in the objective function 524354
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262118
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524354
Number of bits of the biggest sum of numbers20
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.39/0.47	c ...done
0.39/0.47	c #vars=20611 #constraints=3923 hasObjective=yes
0.49/0.53	c res. mode=mod
0.49/0.53	c VSIDS like heuristics
0.49/0.53	c complete search running
0.79/0.88	c restart after 401 decisions
0.89/0.97	c nbDecision=500 #constraints=3923
1.19/1.24	c restart after 801 decisions
1.39/1.41	c nbDecision=1000 #constraints=3923
1.79/1.85	c nbDecision=1500 #constraints=3923
1.89/1.94	c restart after 1601 decisions
2.20/2.29	c nbDecision=2000 #constraints=3923
2.69/2.77	c nbDecision=2500 #constraints=3966
4.19/4.25	c nbDecision=3000 #constraints=4373
4.99/5.04	c restart after 3201 decisions
5.29/5.31	c nbDecision=3500 #constraints=4564
5.69/5.75	c nbDecision=4000 #constraints=4564
8.08/8.11	c nbDecision=4500 #constraints=4999
10.69/10.79	c nbDecision=5000 #constraints=5428
13.89/13.95	c nbDecision=5500 #constraints=5857
17.38/17.47	c nbDecision=6000 #constraints=6275
20.79/20.80	c restart after 6401 decisions
20.89/20.95	c nbDecision=6500 #constraints=6630
21.28/21.39	c nbDecision=7000 #constraints=6630
23.98/24.03	c nbDecision=7500 #constraints=6854
28.48/28.50	c nbDecision=8000 #constraints=7295
33.28/33.36	c nbDecision=8500 #constraints=7731
39.38/39.50	c nbDecision=9000 #constraints=8184
46.97/47.03	c nbDecision=9500 #constraints=8644
53.18/53.29	c nbDecision=10000 #constraints=9071
60.97/61.04	c nbDecision=10500 #constraints=9521
69.17/69.27	c nbDecision=11000 #constraints=9997
76.57/76.62	c nbDecision=11500 #constraints=10437
88.27/88.32	c nbDecision=12000 #constraints=10906
97.77/97.83	c nbDecision=12500 #constraints=11336
104.07/104.17	c restart after 12801 decisions
104.47/104.58	c nbDecision=13000 #constraints=11596
104.97/105.03	c nbDecision=13500 #constraints=11596
114.66/114.76	c nbDecision=14000 #constraints=11939
124.85/124.99	c nbDecision=14500 #constraints=12305
134.36/134.44	c nbDecision=15000 #constraints=12763
144.45/144.51	c nbDecision=15500 #constraints=13192
155.25/155.36	c nbDecision=16000 #constraints=13632
167.35/167.48	c nbDecision=16500 #constraints=14068
179.44/179.53	c nbDecision=17000 #constraints=14496
193.55/193.60	c nbDecision=17500 #constraints=14931
208.74/208.90	c nbDecision=18000 #constraints=15374
225.23/225.40	c nbDecision=18500 #constraints=15815
246.23/246.33	c nbDecision=19000 #constraints=16264
259.02/259.15	c nbDecision=19500 #constraints=16695
263.42/263.51	c nbDecision=20000 #constraints=17121
272.62/272.74	c nbDecision=20500 #constraints=17474
274.71/274.85	c nbDecision=21000 #constraints=17704
276.92/277.02	c nbDecision=21500 #constraints=18117
279.22/279.36	c nbDecision=22000 #constraints=18487
281.92/282.06	c nbDecision=22500 #constraints=18711
284.31/284.48	c nbDecision=23000 #constraints=18923
287.22/287.38	c nbDecision=23500 #constraints=19246
294.91/295.02	c nbDecision=24000 #constraints=19635
298.31/298.46	c nbDecision=24500 #constraints=19964
301.91/302.01	c nbDecision=25000 #constraints=20202
305.41/305.51	c nbDecision=25500 #constraints=20415
306.11/306.29	c restart after 25601 decisions
306.91/307.09	c nbDecision=26000 #constraints=20470
308.81/308.96	c nbDecision=26500 #constraints=20548
313.91/314.02	c nbDecision=27000 #constraints=21046
318.51/318.65	c nbDecision=27500 #constraints=21358
323.80/323.97	c nbDecision=28000 #constraints=21733
331.10/331.29	c nbDecision=28500 #constraints=22229
338.10/338.21	c nbDecision=29000 #constraints=22631
343.30/343.44	c nbDecision=29500 #constraints=22790
349.50/349.66	c nbDecision=30000 #constraints=23052
357.19/357.33	c nbDecision=30500 #constraints=23459
365.80/365.91	c nbDecision=31000 #constraints=23957
374.99/375.18	c nbDecision=31500 #constraints=24457
385.38/385.53	c nbDecision=32000 #constraints=24951
396.39/396.57	c nbDecision=32500 #constraints=25447
407.48/407.60	c nbDecision=33000 #constraints=25942
417.78/417.93	c nbDecision=33500 #constraints=26436
432.48/432.60	c nbDecision=34000 #constraints=26936
447.57/447.75	c nbDecision=34500 #constraints=27436
461.66/461.80	c nbDecision=35000 #constraints=27929
478.07/478.28	c nbDecision=35500 #constraints=28429
495.76/495.94	c nbDecision=36000 #constraints=28925
512.46/512.68	c nbDecision=36500 #constraints=29423
531.45/531.69	c nbDecision=37000 #constraints=29923
549.04/549.22	c nbDecision=37500 #constraints=30417
568.74/568.93	c nbDecision=38000 #constraints=30916
587.73/587.94	c nbDecision=38500 #constraints=31413
608.83/609.05	c nbDecision=39000 #constraints=31909
629.22/629.41	c nbDecision=39500 #constraints=32412
651.72/651.90	c nbDecision=40000 #constraints=32905
672.91/673.17	c nbDecision=40500 #constraints=33403
695.71/695.90	c nbDecision=41000 #constraints=33902
718.10/718.32	c nbDecision=41500 #constraints=34396
741.90/742.15	c nbDecision=42000 #constraints=34897
763.89/764.14	c nbDecision=42500 #constraints=35393
786.09/786.35	c nbDecision=43000 #constraints=35893
806.98/807.26	c nbDecision=43500 #constraints=36383
834.77/835.00	c nbDecision=44000 #constraints=36882
860.56/860.89	c nbDecision=44500 #constraints=37380
889.16/889.40	c nbDecision=45000 #constraints=37876
916.85/917.18	c nbDecision=45500 #constraints=38375
946.44/946.77	c nbDecision=46000 #constraints=38868
978.14/978.40	c nbDecision=46500 #constraints=39370
1007.43/1007.74	c nbDecision=47000 #constraints=39866
1038.92/1039.21	c nbDecision=47500 #constraints=40366
1069.11/1069.43	c nbDecision=48000 #constraints=40865
1100.90/1101.29	c nbDecision=48500 #constraints=41362
1133.80/1134.12	c nbDecision=49000 #constraints=41859
1165.28/1165.64	c nbDecision=49500 #constraints=42356
1198.47/1198.81	c nbDecision=50000 #constraints=42859
1232.37/1232.77	c nbDecision=50500 #constraints=43357
1259.07/1259.48	c nbDecision=51000 #constraints=43779
1268.56/1268.90	c restart after 51201 decisions
1269.66/1270.03	c nbDecision=51500 #constraints=43880
1270.36/1270.70	c nbDecision=52000 #constraints=43880
1297.15/1297.50	c nbDecision=52500 #constraints=44320
1328.25/1328.61	c nbDecision=53000 #constraints=44774
1357.44/1357.82	c nbDecision=53500 #constraints=45202
1391.53/1391.93	c nbDecision=54000 #constraints=45669
1422.32/1422.79	c nbDecision=54500 #constraints=46113
1457.31/1457.79	c nbDecision=55000 #constraints=46574
1489.90/1490.36	c nbDecision=55500 #constraints=47018
1524.10/1524.51	c nbDecision=56000 #constraints=47462
1562.28/1562.71	c nbDecision=56500 #constraints=47921
1600.47/1600.96	c nbDecision=57000 #constraints=48361
1632.77/1633.26	c nbDecision=57500 #constraints=48815
1674.35/1674.81	c nbDecision=58000 #constraints=49289
1707.35/1707.89	c nbDecision=58500 #constraints=49746
1742.54/1743.05	c nbDecision=59000 #constraints=50195
1774.43/1774.91	c nbDecision=59500 #constraints=50640
1800.03/1800.50	Received signal 15
1800.03/1800.54	
1800.03/1800.54	s UNKNOWN
1800.03/1800.54	
1800.03/1800.54	c user time= 1799.62 s
1800.03/1800.54	c system time= 0.45593 s
1800.03/1800.54	c wall clock time=1800.55

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/node44/watcher-356908-1176847683 -o ROOT/results/node44/solver-356908-1176847683 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356908-1176847683/instance-356908-1176847683.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.77 0.93 0.98 3/77 20569
/proc/meminfo: memFree=1677632/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=1468 CPUtime=0
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 132680029 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 367 161 131 317 0 46 0

[startup+0.046417 s]
/proc/loadavg: 0.77 0.93 0.98 3/77 20569
/proc/meminfo: memFree=1677632/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=2128 CPUtime=0.04
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 341 0 0 0 4 0 0 0 18 0 1 0 132680029 2179072 323 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 532 323 131 317 0 211 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2128

[startup+0.101421 s]
/proc/loadavg: 0.77 0.93 0.98 3/77 20569
/proc/meminfo: memFree=1677632/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=2920 CPUtime=0.09
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 546 0 0 0 9 0 0 0 18 0 1 0 132680029 2990080 528 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 730 529 131 317 0 409 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2920

[startup+0.301442 s]
/proc/loadavg: 0.77 0.93 0.98 3/77 20569
/proc/meminfo: memFree=1677632/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=5692 CPUtime=0.29
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 1235 0 0 0 29 0 0 0 19 0 1 0 132680029 5828608 1217 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 1423 1217 131 317 0 1102 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5692

[startup+0.701483 s]
/proc/loadavg: 0.77 0.93 0.98 3/77 20569
/proc/meminfo: memFree=1677632/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=12048 CPUtime=0.69
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 2846 0 0 0 68 1 0 0 23 0 1 0 132680029 12337152 2828 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 3012 2828 138 317 0 2691 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12048

[startup+1.50156 s]
/proc/loadavg: 0.77 0.93 0.98 2/78 20570
/proc/meminfo: memFree=1666808/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=12048 CPUtime=1.49
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 2846 0 0 0 148 1 0 0 25 0 1 0 132680029 12337152 2828 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606670 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 3012 2828 138 317 0 2691 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12048

[startup+3.10273 s]
/proc/loadavg: 0.79 0.94 0.98 2/78 20570
/proc/meminfo: memFree=1666680/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=12528 CPUtime=3.09
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 2912 0 0 0 308 1 0 0 25 0 1 0 132680029 12828672 2894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270603 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 3132 2894 139 317 0 2811 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12528

[startup+6.30106 s]
/proc/loadavg: 0.79 0.94 0.98 2/78 20570
/proc/meminfo: memFree=1664632/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=14384 CPUtime=6.29
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 3389 0 0 0 628 1 0 0 25 0 1 0 132680029 14729216 3371 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279003 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 3596 3371 139 317 0 3275 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14384

[startup+12.7017 s]
/proc/loadavg: 0.82 0.94 0.98 2/78 20570
/proc/meminfo: memFree=1661112/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=17952 CPUtime=12.69
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 4276 0 0 0 1267 2 0 0 25 0 1 0 132680029 18382848 4258 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 4488 4259 139 317 0 4167 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17952

[startup+25.501 s]
/proc/loadavg: 0.85 0.94 0.98 2/78 20570
/proc/meminfo: memFree=1656376/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=22560 CPUtime=25.48
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 5404 0 0 0 2545 3 0 0 25 0 1 0 132680029 23101440 5386 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 5640 5386 139 317 0 5319 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22560

[startup+51.1017 s]
/proc/loadavg: 0.90 0.94 0.98 2/78 20570
/proc/meminfo: memFree=1650296/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=29420 CPUtime=51.08
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 6991 0 0 0 5103 5 0 0 25 0 1 0 132680029 30126080 6919 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 7355 6919 139 317 0 7034 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 29420

[startup+102.306 s]
/proc/loadavg: 0.96 0.95 0.98 2/78 20570
/proc/meminfo: memFree=1642552/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=36600 CPUtime=102.27
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 8898 0 0 0 10220 7 0 0 25 0 1 0 132680029 37478400 8826 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710946 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 9150 8826 139 317 0 8829 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 36600

[startup+162.301 s]
/proc/loadavg: 0.98 0.95 0.98 2/78 20570
/proc/meminfo: memFree=1634552/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=45916 CPUtime=162.25
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 10905 0 0 0 16216 9 0 0 25 0 1 0 132680029 47017984 10833 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593504 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 11479 10833 139 317 0 11158 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 45916

[startup+222.301 s]
/proc/loadavg: 0.99 0.96 0.98 2/78 20570
/proc/meminfo: memFree=1628792/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=51860 CPUtime=222.23
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 12415 0 0 0 22213 10 0 0 25 0 1 0 132680029 53104640 12237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 12965 12237 139 317 0 12644 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 51860

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20570
/proc/meminfo: memFree=1620984/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=59764 CPUtime=282.21
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 14420 0 0 0 28209 12 0 0 25 0 1 0 132680029 61198336 14242 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 14941 14242 139 317 0 14620 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 59764

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20570
/proc/meminfo: memFree=1610360/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=70392 CPUtime=342.2
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 17029 0 0 0 34205 15 0 0 25 0 1 0 132680029 72081408 16851 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 17598 16851 139 317 0 17277 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 70392

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20570
/proc/meminfo: memFree=1604344/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=76408 CPUtime=402.18
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 18542 0 0 0 40201 17 0 0 25 0 1 0 132680029 78241792 18364 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 19102 18364 139 317 0 18781 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 76408

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20570
/proc/meminfo: memFree=1599480/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=81976 CPUtime=462.16
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 19743 0 0 0 46198 18 0 0 25 0 1 0 132680029 83943424 19565 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 20494 19565 139 317 0 20173 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 81976

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20570
/proc/meminfo: memFree=1595960/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=85384 CPUtime=522.15
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 20618 0 0 0 52196 19 0 0 25 0 1 0 132680029 87433216 20440 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 21346 20440 139 317 0 21025 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 85384

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20570
/proc/meminfo: memFree=1592248/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=89588 CPUtime=582.13
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 21716 0 0 0 58192 21 0 0 25 0 1 0 132680029 91738112 21326 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 22397 21326 139 317 0 22076 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 89588

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20570
/proc/meminfo: memFree=1589816/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=91808 CPUtime=642.13
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 22358 0 0 0 64190 23 0 0 25 0 1 0 132680029 94011392 21968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 22952 21968 139 317 0 22631 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 91808


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20570
/proc/meminfo: memFree=1579512/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=104568 CPUtime=882.06
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 25618 0 0 0 88178 28 0 0 25 0 1 0 132680029 107077632 24568 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 26142 24568 139 317 0 25821 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 104568

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20570
/proc/meminfo: memFree=1577336/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=106648 CPUtime=942.04
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 26153 0 0 0 94175 29 0 0 25 0 1 0 132680029 109207552 25103 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 26662 25103 139 317 0 26341 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 106648

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20570
/proc/meminfo: memFree=1575352/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=108488 CPUtime=1002.03
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 26666 0 0 0 100173 30 0 0 25 0 1 0 132680029 111091712 25616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604492 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 27122 25616 139 317 0 26801 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 108488

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20570
/proc/meminfo: memFree=1573304/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=110324 CPUtime=1062.01
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 27170 0 0 0 106170 31 0 0 25 0 1 0 132680029 112971776 26120 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 27581 26120 139 317 0 27260 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 110324

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20570
/proc/meminfo: memFree=1571320/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=111936 CPUtime=1122
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 27639 0 0 0 112168 32 0 0 25 0 1 0 132680029 114622464 26589 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 27984 26589 139 317 0 27663 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 111936

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20570
/proc/meminfo: memFree=1569464/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=113628 CPUtime=1181.98
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 28106 0 0 0 118165 33 0 0 25 0 1 0 132680029 116355072 27056 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 28407 27056 139 317 0 28086 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 113628

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20570
/proc/meminfo: memFree=1567544/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=115320 CPUtime=1241.97
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 28582 0 0 0 124163 34 0 0 25 0 1 0 132680029 118087680 27532 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 28830 27532 139 317 0 28509 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 115320

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20570
/proc/meminfo: memFree=1565304/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=117412 CPUtime=1301.95
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 29140 0 0 0 130160 35 0 0 25 0 1 0 132680029 120229888 28090 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 29353 28090 139 317 0 29032 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 117412

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20570
/proc/meminfo: memFree=1563000/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=119384 CPUtime=1361.94
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 29719 0 0 0 136157 37 0 0 25 0 1 0 132680029 122249216 28669 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 29846 28669 139 317 0 29525 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 119384

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20570
/proc/meminfo: memFree=1560504/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=121664 CPUtime=1421.93
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 30347 0 0 0 142155 38 0 0 25 0 1 0 132680029 124583936 29297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 30416 29297 139 317 0 30095 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 121664

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20570
/proc/meminfo: memFree=1558392/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=124028 CPUtime=1481.91
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 30950 0 0 0 148152 39 0 0 25 0 1 0 132680029 127004672 29834 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 31007 29834 139 317 0 30686 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 124028

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20570
/proc/meminfo: memFree=1555384/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=130772 CPUtime=1541.89
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 32345 0 0 0 154149 40 0 0 25 0 1 0 132680029 133910528 30569 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 32693 30569 139 317 0 32372 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 130772

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20570
/proc/meminfo: memFree=1553336/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=132740 CPUtime=1601.87
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 32862 0 0 0 160146 41 0 0 25 0 1 0 132680029 135925760 31086 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 33185 31086 139 317 0 32864 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 132740

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20570
/proc/meminfo: memFree=1551032/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=135484 CPUtime=1661.86
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 33540 0 0 0 166144 42 0 0 25 0 1 0 132680029 138735616 31632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 33871 31632 139 317 0 33550 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 135484

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20570
/proc/meminfo: memFree=1548728/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=137720 CPUtime=1721.85
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 34146 0 0 0 172141 44 0 0 25 0 1 0 132680029 141025280 32238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 34430 32238 139 317 0 34109 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 137720

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20570
/proc/meminfo: memFree=1546296/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=139944 CPUtime=1781.83
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 34755 0 0 0 178138 45 0 0 25 0 1 0 132680029 143302656 32847 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 34986 32847 139 317 0 34665 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 139944



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20570
/proc/meminfo: memFree=1545592/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=140604 CPUtime=1800.03
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 34925 0 0 0 179958 45 0 0 25 0 1 0 132680029 143978496 33017 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 35151 33017 139 317 0 34830 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 140604

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

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

[startup+1800.5 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 20570
/proc/meminfo: memFree=1545592/2055920 swapFree=4143528/4192956
[pid=20569] ppid=20567 vsize=140604 CPUtime=1800.03
/proc/20569/stat : 20569 (oree) R 20567 20569 20512 0 -1 4194304 34925 0 0 0 179958 45 0 0 25 0 1 0 132680029 143978496 33017 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/20569/statm: 35151 33017 139 317 0 34830 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 140604

Child status: 0
Real time (s): 1800.58
CPU time (s): 1800.11
CPU user time (s): 1799.63
CPU system time (s): 0.480926
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 140604

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

runsolver used 2.20966 second user time and 4.34334 second system time

The end

Launcher Data (download as text)

Begin job on node44 on Tue Apr 17 22:08:03 UTC 2007

IDJOB= 356908
IDBENCH= 1621
IDSOLVER= 172
FILE ID= node44/356908-1176847683

PBS_JOBID= 4590218

Free space on /tmp= 66429 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-usAbbrv.8.25_70.opb
COMMAND LINE= oree /tmp/evaluation/356908-1176847683/instance-356908-1176847683.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node44/watcher-356908-1176847683 -o ROOT/results/node44/solver-356908-1176847683 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356908-1176847683/instance-356908-1176847683.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  825fd1904b2d777401b7be7f08c7951c

RANDOM SEED= 830676103

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node44.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.234
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.234
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:       1678104 kB
Buffers:         39024 kB
Cached:         257132 kB
SwapCached:      27456 kB
Active:         219360 kB
Inactive:       114284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1678104 kB
SwapTotal:     4192956 kB
SwapFree:      4143528 kB
Dirty:            3412 kB
Writeback:           0 kB
Mapped:          31884 kB
Slab:            29740 kB
Committed_AS:   429900 kB
PageTables:       1736 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= 66429 MiB

End job on node44 on Tue Apr 17 22:38:06 UTC 2007