Trace number 455510

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) 1802.22 1802.93

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_5.opb
MD5SUM9b75ee50c2c62e6be495e8bd0a94fa2c
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-139
Best CPU time to get the best result obtained on this benchmark1800.15
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -131
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)12540
Sum of products size (including duplicates)25080
Number of different products6270
Sum of products size12540

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.09/0.11	c ...done
0.09/0.11	c #vars=7270 #constraints=14043 hasObjective=yes
0.09/0.17	c res. mode=mod
0.09/0.17	c VSIDS like heuristics
0.09/0.17	c complete search running
0.69/0.71	c restart after 401 decisions
0.69/0.75	c nbDecision=500 #constraints=14195
1.10/1.14	c restart after 801 decisions
1.10/1.19	c nbDecision=1000 #constraints=14295
1.99/2.06	c nbDecision=1500 #constraints=14500
2.29/2.32	c restart after 1601 decisions
2.49/2.52	c nbDecision=2000 #constraints=14549
3.79/3.81	c nbDecision=2500 #constraints=14800
5.19/5.20	c nbDecision=3000 #constraints=15051
5.29/5.33	c restart after 3201 decisions
5.69/5.70	c nbDecision=3500 #constraints=15052
7.19/7.20	c nbDecision=4000 #constraints=15301
8.39/8.44	c nbDecision=4500 #constraints=15480
9.69/9.74	c nbDecision=5000 #constraints=15551
11.59/11.61	c nbDecision=5500 #constraints=15798
13.68/13.73	c nbDecision=6000 #constraints=16045
14.88/14.96	c restart after 6401 decisions
15.49/15.56	c nbDecision=6500 #constraints=16070
17.39/17.50	c nbDecision=7000 #constraints=16291
19.89/19.91	c nbDecision=7500 #constraints=16535
22.38/22.48	c nbDecision=8000 #constraints=16778
25.18/25.28	c nbDecision=8500 #constraints=17043
28.18/28.25	c nbDecision=9000 #constraints=17311
31.18/31.21	c nbDecision=9500 #constraints=17640
34.57/34.61	c nbDecision=10000 #constraints=17893
38.08/38.17	c nbDecision=10500 #constraints=18145
41.97/42.00	c nbDecision=11000 #constraints=18451
44.78/44.80	c nbDecision=11500 #constraints=18870
48.77/48.87	c nbDecision=12000 #constraints=19143
55.47/55.54	c nbDecision=12500 #constraints=19295
58.77/58.86	c restart after 12801 decisions
60.57/60.63	c nbDecision=13000 #constraints=19296
65.07/65.14	c nbDecision=13500 #constraints=19549
69.27/69.36	c nbDecision=14000 #constraints=19852
74.07/74.18	c nbDecision=14500 #constraints=20125
78.67/78.76	c nbDecision=15000 #constraints=20442
83.57/83.63	c nbDecision=15500 #constraints=20742
88.56/88.66	c nbDecision=16000 #constraints=21036
95.76/95.86	c nbDecision=16500 #constraints=21291
104.36/104.42	c nbDecision=17000 #constraints=21353
110.06/110.18	c nbDecision=17500 #constraints=21597
116.85/116.97	c nbDecision=18000 #constraints=21783
124.94/125.05	c nbDecision=18500 #constraints=22027
131.95/132.08	c nbDecision=19000 #constraints=22200
138.74/138.89	c nbDecision=19500 #constraints=22350
147.74/147.81	c nbDecision=20000 #constraints=22515
154.44/154.51	c nbDecision=20500 #constraints=22756
163.83/164.00	c nbDecision=21000 #constraints=22873
168.93/169.00	c nbDecision=21500 #constraints=23196
175.23/175.33	c nbDecision=22000 #constraints=23593
182.42/182.58	c nbDecision=22500 #constraints=23831
189.73/189.89	c nbDecision=23000 #constraints=24067
200.72/200.86	c nbDecision=23500 #constraints=24282
208.42/208.56	c nbDecision=24000 #constraints=24518
215.92/216.01	c nbDecision=24500 #constraints=24753
224.81/224.90	c nbDecision=25000 #constraints=24987
233.71/233.85	c nbDecision=25500 #constraints=25167
236.91/237.05	c restart after 25601 decisions
246.21/246.31	c nbDecision=26000 #constraints=25222
256.90/257.07	c nbDecision=26500 #constraints=25455
267.90/268.03	c nbDecision=27000 #constraints=25687
276.00/276.14	c nbDecision=27500 #constraints=25917
285.19/285.38	c nbDecision=28000 #constraints=26127
299.19/299.35	c nbDecision=28500 #constraints=26148
310.68/310.81	c nbDecision=29000 #constraints=26377
320.09/320.22	c nbDecision=29500 #constraints=26604
332.87/333.09	c nbDecision=30000 #constraints=26831
343.38/343.57	c nbDecision=30500 #constraints=26929
357.67/357.88	c nbDecision=31000 #constraints=27058
368.06/368.21	c nbDecision=31500 #constraints=27282
378.36/378.56	c nbDecision=32000 #constraints=27490
391.66/391.87	c nbDecision=32500 #constraints=27611
404.85/405.06	c nbDecision=33000 #constraints=27746
414.45/414.60	c nbDecision=33500 #constraints=28019
421.85/422.03	c nbDecision=34000 #constraints=28390
431.64/431.80	c nbDecision=34500 #constraints=28662
441.64/441.82	c nbDecision=35000 #constraints=28936
452.04/452.27	c nbDecision=35500 #constraints=29202
464.63/464.83	c nbDecision=36000 #constraints=29430
475.62/475.86	c nbDecision=36500 #constraints=29683
486.82/487.02	c nbDecision=37000 #constraints=29919
497.91/498.16	c nbDecision=37500 #constraints=30182
509.11/509.34	c nbDecision=38000 #constraints=30535
521.31/521.53	c nbDecision=38500 #constraints=30745
527.00/527.24	c nbDecision=39000 #constraints=31153
542.90/543.17	c nbDecision=39500 #constraints=31369
553.00/553.22	c nbDecision=40000 #constraints=31610
565.10/565.30	c nbDecision=40500 #constraints=31876
577.09/577.32	c nbDecision=41000 #constraints=32150
592.19/592.48	c nbDecision=41500 #constraints=32389
605.48/605.74	c nbDecision=42000 #constraints=32590
618.47/618.77	c nbDecision=42500 #constraints=32835
629.97/630.24	c nbDecision=43000 #constraints=33141
643.86/644.14	c nbDecision=43500 #constraints=33384
655.77/656.03	c nbDecision=44000 #constraints=33712
675.76/676.06	c nbDecision=44500 #constraints=33862
697.45/697.78	c nbDecision=45000 #constraints=33947
705.64/705.91	c nbDecision=45500 #constraints=34279
719.24/719.51	c nbDecision=46000 #constraints=34554
732.54/732.89	c nbDecision=46500 #constraints=34836
742.63/742.99	c nbDecision=47000 #constraints=35216
757.23/757.58	c nbDecision=47500 #constraints=35480
771.82/772.20	c nbDecision=48000 #constraints=35751
794.41/794.74	c nbDecision=48500 #constraints=35985
817.90/818.25	c nbDecision=49000 #constraints=36000
833.70/834.04	c nbDecision=49500 #constraints=36241
849.00/849.31	c nbDecision=50000 #constraints=36447
863.69/864.01	c nbDecision=50500 #constraints=36726
879.29/879.68	c nbDecision=51000 #constraints=36986
890.08/890.44	c restart after 51201 decisions
902.57/902.93	c nbDecision=51500 #constraints=37066
918.57/918.98	c nbDecision=52000 #constraints=37322
937.07/937.41	c nbDecision=52500 #constraints=37585
954.05/954.44	c nbDecision=53000 #constraints=37773
969.85/970.28	c nbDecision=53500 #constraints=38039
989.84/990.21	c nbDecision=54000 #constraints=38330
1007.64/1008.05	c nbDecision=54500 #constraints=38513
1025.94/1026.38	c nbDecision=55000 #constraints=38695
1041.03/1041.44	c nbDecision=55500 #constraints=38987
1059.12/1059.55	c nbDecision=56000 #constraints=39235
1073.12/1073.56	c nbDecision=56500 #constraints=39595
1101.91/1102.32	c nbDecision=57000 #constraints=39636
1121.30/1121.73	c nbDecision=57500 #constraints=39929
1149.69/1150.11	c nbDecision=58000 #constraints=39985
1165.28/1165.78	c nbDecision=58500 #constraints=40294
1182.48/1182.92	c nbDecision=59000 #constraints=40574
1197.38/1197.84	c nbDecision=59500 #constraints=40910
1223.16/1223.69	c nbDecision=60000 #constraints=41097
1252.85/1253.38	c nbDecision=60500 #constraints=41205
1272.65/1273.19	c nbDecision=61000 #constraints=41355
1289.44/1289.98	c nbDecision=61500 #constraints=41654
1309.24/1309.71	c nbDecision=62000 #constraints=41920
1327.23/1327.73	c nbDecision=62500 #constraints=42190
1344.52/1345.05	c nbDecision=63000 #constraints=42597
1359.11/1359.61	c nbDecision=63500 #constraints=42845
1374.67/1375.22	c nbDecision=64000 #constraints=43182
1391.14/1391.79	c nbDecision=64500 #constraints=43507
1410.81/1411.43	c nbDecision=65000 #constraints=43776
1427.61/1428.26	c nbDecision=65500 #constraints=44099
1449.70/1450.37	c nbDecision=66000 #constraints=44331
1468.19/1468.80	c nbDecision=66500 #constraints=44630
1488.79/1489.44	c nbDecision=67000 #constraints=44894
1511.38/1512.09	c nbDecision=67500 #constraints=45159
1534.07/1534.73	c nbDecision=68000 #constraints=45366
1550.67/1551.30	c nbDecision=68500 #constraints=45704
1572.26/1572.92	c nbDecision=69000 #constraints=45966
1600.14/1600.84	c nbDecision=69500 #constraints=46176
1622.84/1623.53	c nbDecision=70000 #constraints=46376
1644.03/1644.76	c nbDecision=70500 #constraints=46648
1666.43/1667.18	c nbDecision=71000 #constraints=46906
1688.82/1689.56	c nbDecision=71500 #constraints=47168
1717.11/1717.88	c nbDecision=72000 #constraints=47423
1741.81/1742.59	c nbDecision=72500 #constraints=47596
1758.69/1759.41	c nbDecision=73000 #constraints=47921
1791.68/1792.45	c nbDecision=73500 #constraints=48106
1800.09/1800.80	Received signal 15

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/455510-1178044708/instance-455510-1178044708.opb
mv /tmp/evaluation/455510-1178044708/instance-455510-1178044708.opb.tmp /tmp/evaluation/455510-1178044708/instance-455510-1178044708.opb

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node25/watcher-455510-1178044708 -o ROOT/results/node25/solver-455510-1178044708 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455510-1178044708/instance-455510-1178044708.opb mod 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27265
/proc/meminfo: memFree=1845336/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=1468 CPUtime=0
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 252387912 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134527395 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 367 165 131 317 0 46 0

[startup+0.100208 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27265
/proc/meminfo: memFree=1845336/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=4288 CPUtime=0.09
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 884 0 0 0 9 0 0 0 18 0 1 0 252387912 4390912 867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 1072 867 132 317 0 751 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4288

[startup+0.201225 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27265
/proc/meminfo: memFree=1845336/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=6968 CPUtime=0.19
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 1542 0 0 0 19 0 0 0 18 0 1 0 252387912 7135232 1525 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 1742 1525 138 317 0 1421 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 6968

[startup+0.301241 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27265
/proc/meminfo: memFree=1845336/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=7884 CPUtime=0.29
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 1782 0 0 0 29 0 0 0 19 0 1 0 252387912 8073216 1669 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 1971 1669 139 317 0 1650 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7884

[startup+0.701309 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 27265
/proc/meminfo: memFree=1845336/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=10696 CPUtime=0.69
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 2508 0 0 0 69 0 0 0 23 0 1 0 252387912 10952704 2395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 2674 2395 139 317 0 2353 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10696

[startup+1.50145 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27266
/proc/meminfo: memFree=1833552/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=14564 CPUtime=1.49
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 3477 0 0 0 148 1 0 0 25 0 1 0 252387912 14913536 3364 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 3641 3364 139 317 0 3320 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14564

[startup+3.10272 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27266
/proc/meminfo: memFree=1829200/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=22512 CPUtime=3.09
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 5449 0 0 0 308 1 0 0 25 0 1 0 252387912 23052288 5336 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 5628 5336 139 317 0 5307 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22512

[startup+6.30127 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27266
/proc/meminfo: memFree=1817808/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=35272 CPUtime=6.29
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 8453 0 0 0 626 3 0 0 25 0 1 0 252387912 36118528 8340 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 8818 8340 139 317 0 8497 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35272

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27266
/proc/meminfo: memFree=1800464/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=48264 CPUtime=12.69
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 11890 0 0 0 1266 3 0 0 25 0 1 0 252387912 49422336 11777 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 12066 11777 139 317 0 11745 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 48264

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27266
/proc/meminfo: memFree=1771536/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=77416 CPUtime=25.48
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 18880 0 0 0 2543 5 0 0 25 0 1 0 252387912 79273984 18767 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 19354 18767 139 317 0 19033 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 77416

[startup+51.1019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27266
/proc/meminfo: memFree=1720080/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=131936 CPUtime=51.07
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 31554 0 0 0 5096 11 0 0 25 0 1 0 252387912 135102464 31441 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 32984 31441 139 317 0 32663 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 131936

[startup+102.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27267
/proc/meminfo: memFree=1677840/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=169660 CPUtime=102.26
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 42025 0 0 0 10209 17 0 0 25 0 1 0 252387912 173731840 41912 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 42415 41912 139 317 0 42094 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 169660

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27268
/proc/meminfo: memFree=1632528/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=229320 CPUtime=162.23
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 53321 0 0 0 16201 22 0 0 25 0 1 0 252387912 234823680 53208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 57330 53208 139 317 0 57009 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 229320

[startup+222.304 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27268
/proc/meminfo: memFree=1590416/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=267160 CPUtime=222.22
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 63824 0 0 0 22194 28 0 0 25 0 1 0 252387912 273571840 63711 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 66790 63711 139 317 0 66469 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 267160

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27268
/proc/meminfo: memFree=1571664/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=283744 CPUtime=282.19
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 68498 0 0 0 28189 30 0 0 25 0 1 0 252387912 290553856 68385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 70936 68385 139 317 0 70615 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 283744

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27268
/proc/meminfo: memFree=1554192/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=300096 CPUtime=342.17
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 72843 0 0 0 34185 32 0 0 25 0 1 0 252387912 307298304 72730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 75024 72730 139 317 0 74703 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 300096

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27268
/proc/meminfo: memFree=1536016/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=316172 CPUtime=402.15
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 77375 0 0 0 40180 35 0 0 25 0 1 0 252387912 323760128 77262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 79043 77262 139 317 0 78722 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 316172

[startup+462.301 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 27268
/proc/meminfo: memFree=1502416/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=347264 CPUtime=462.13
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 85948 0 0 0 46173 40 0 0 25 0 1 0 252387912 355598336 85644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 86816 85644 139 317 0 86495 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 347264

[startup+522.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 27268
/proc/meminfo: memFree=1461136/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=434304 CPUtime=522.1
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 104683 0 0 0 52165 45 0 0 25 0 1 0 252387912 444727296 95898 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 108576 95898 139 317 0 108255 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 434304

[startup+582.303 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 27268
/proc/meminfo: memFree=1430672/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=460068 CPUtime=582.09
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 112298 0 0 0 58161 48 0 0 25 0 1 0 252387912 471109632 103513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 115017 103513 139 317 0 114696 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 460068

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27268
/proc/meminfo: memFree=1406096/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=481848 CPUtime=642.06
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 118464 0 0 0 64156 50 0 0 25 0 1 0 252387912 493412352 109646 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 120462 109646 139 317 0 120141 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 481848


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

/proc/meminfo: memFree=1280720/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=589480 CPUtime=1061.92
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 149999 0 0 0 106125 67 0 0 25 0 1 0 252387912 603627520 141181 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 147370 141181 139 317 0 147049 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 589480

[startup+1122.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 27268
/proc/meminfo: memFree=1268432/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=599348 CPUtime=1121.9
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 152862 0 0 0 112121 69 0 0 25 0 1 0 252387912 613732352 144044 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563885 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 149837 144044 139 317 0 149516 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 599348

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 27268
/proc/meminfo: memFree=1257552/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=609808 CPUtime=1181.88
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 155836 0 0 0 118117 71 0 0 25 0 1 0 252387912 624443392 147018 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 152452 147018 139 317 0 152131 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 609808

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27268
/proc/meminfo: memFree=1242768/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=621684 CPUtime=1241.85
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 159206 0 0 0 124113 72 0 0 25 0 1 0 252387912 636604416 150388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 155421 150388 139 317 0 155100 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 621684

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27268
/proc/meminfo: memFree=1226512/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=634828 CPUtime=1301.84
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 163254 0 0 0 130109 75 0 0 25 0 1 0 252387912 650063872 154436 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 158707 154436 139 317 0 158386 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 634828

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/71 27342
/proc/meminfo: memFree=1202584/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=654716 CPUtime=1361.8
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 169021 0 0 0 136102 78 0 0 25 0 1 0 252387912 670429184 160203 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 163679 160203 139 317 0 163358 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 654716

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27467
/proc/meminfo: memFree=1185808/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=670276 CPUtime=1421.72
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 173336 0 0 0 142090 82 0 0 25 0 1 0 252387912 686362624 164518 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 167569 164518 139 317 0 167248 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 670276

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27467
/proc/meminfo: memFree=1167824/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=685456 CPUtime=1481.69
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 177835 0 0 0 148085 84 0 0 25 0 1 0 252387912 701906944 169017 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 171364 169017 139 317 0 171043 0
Current children cumulated CPU time (s) 1481.69
Current children cumulated vsize (KiB) 685456

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27467
/proc/meminfo: memFree=1149904/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=700416 CPUtime=1541.67
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 182328 0 0 0 154080 87 0 0 25 0 1 0 252387912 717225984 173510 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 175104 173510 139 317 0 174783 0
Current children cumulated CPU time (s) 1541.67
Current children cumulated vsize (KiB) 700416

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27467
/proc/meminfo: memFree=1137488/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=711136 CPUtime=1601.64
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 185422 0 0 0 160075 89 0 0 25 0 1 0 252387912 728203264 176604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 177784 176604 139 317 0 177463 0
Current children cumulated CPU time (s) 1601.64
Current children cumulated vsize (KiB) 711136

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27467
/proc/meminfo: memFree=1126288/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=720932 CPUtime=1661.63
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 188246 0 0 0 166072 91 0 0 25 0 1 0 252387912 738234368 179428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 180233 179428 139 317 0 179912 0
Current children cumulated CPU time (s) 1661.63
Current children cumulated vsize (KiB) 720932

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27467
/proc/meminfo: memFree=1100112/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=859032 CPUtime=1721.61
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 219610 0 0 0 172060 101 0 0 25 0 1 0 252387912 879648768 185897 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 214758 185897 139 317 0 214437 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 859032

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27467
/proc/meminfo: memFree=1084304/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=871388 CPUtime=1781.59
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 223562 0 0 0 178056 103 0 0 25 0 1 0 252387912 892301312 189849 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 217847 189849 139 317 0 217526 0
Current children cumulated CPU time (s) 1781.59
Current children cumulated vsize (KiB) 871388



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27467
/proc/meminfo: memFree=1081232/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=874472 CPUtime=1800.09
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 224316 0 0 0 179906 103 0 0 25 0 1 0 252387912 895459328 190603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 218618 190603 139 317 0 218297 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 874472

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

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27467
/proc/meminfo: memFree=1081232/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=874472 CPUtime=1800.78
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 224316 0 0 0 179975 103 0 0 25 0 1 0 252387912 895459328 190603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 218618 190603 139 317 0 218297 0
Current children cumulated CPU time (s) 1800.78
Current children cumulated vsize (KiB) 874472

[startup+1802.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27468
/proc/meminfo: memFree=1081224/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=874472 CPUtime=1801.58
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 224316 0 0 0 180055 103 0 0 25 0 1 0 252387912 895459328 190603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 218618 190603 139 317 0 218297 0
Current children cumulated CPU time (s) 1801.58
Current children cumulated vsize (KiB) 874472

[startup+1802.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27468
/proc/meminfo: memFree=1081224/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=874472 CPUtime=1801.98
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4194304 224316 0 0 0 180095 103 0 0 25 0 1 0 252387912 895459328 190603 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 218618 190603 139 317 0 218297 0
Current children cumulated CPU time (s) 1801.98
Current children cumulated vsize (KiB) 874472

[startup+1802.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 27468
/proc/meminfo: memFree=1660240/2055920 swapFree=4182940/4192956
[pid=27265] ppid=27263 vsize=0 CPUtime=1802.19
/proc/27265/stat : 27265 (oree) R 27263 27265 17121 0 -1 4195332 224316 0 0 0 180106 113 0 0 25 0 1 0 252387912 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27265/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1802.19
Current children cumulated vsize (KiB) 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.93
CPU time (s): 1802.22
CPU user time (s): 1801.06
CPU system time (s): 1.15882
CPU usage (%): 99.9604
Max. virtual memory (cumulated for all children) (KiB): 874472

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

runsolver used 1.21281 second user time and 3.77543 second system time

The end

Launcher Data (download as text)

Begin job on node25 on Tue May  1 18:38:28 UTC 2007

IDJOB= 455510
IDBENCH= 48268
IDSOLVER= 172
FILE ID= node25/455510-1178044708

PBS_JOBID= 4728448

Free space on /tmp= 66563 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_5.opb
COMMAND LINE= oree /tmp/evaluation/455510-1178044708/instance-455510-1178044708.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node25/convwatcher-455510-1178044708 -o ROOT/results/node25/conversion-455510-1178044708 -C 600 -M 1800 /tmp/evaluation/455510-1178044708/substituteSizeProductKeyword /tmp/evaluation/455510-1178044708/instance-455510-1178044708.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-455510-1178044708 -o ROOT/results/node25/solver-455510-1178044708 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/455510-1178044708/instance-455510-1178044708.opb mod           

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  9b75ee50c2c62e6be495e8bd0a94fa2c

RANDOM SEED= 122314995

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node25.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.261
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.261
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:       1845872 kB
Buffers:         69352 kB
Cached:          68844 kB
SwapCached:       3856 kB
Active:         103020 kB
Inactive:        49096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1845872 kB
SwapTotal:     4192956 kB
SwapFree:      4182940 kB
Dirty:            1488 kB
Writeback:           0 kB
Mapped:          19228 kB
Slab:            43908 kB
Committed_AS:  7522196 kB
PageTables:       1488 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= 66563 MiB

End job on node25 on Tue May  1 19:08:31 UTC 2007