Trace number 454880

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.27 1800.78

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_60_3.opb
MD5SUMa83973bc04af54d38c05a30d36c8573f
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-41
Best CPU time to get the best result obtained on this benchmark1800.3
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -41
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)74920
Sum of products size (including duplicates)149840
Number of different products37460
Sum of products size74920

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.59/0.60	c ...done
0.59/0.60	c #vars=38460 #constraints=76423 hasObjective=yes
0.89/0.97	c res. mode=mod
0.89/0.97	c VSIDS like heuristics
0.89/0.97	c complete search running
2.39/2.43	c restart after 401 decisions
2.59/2.61	c nbDecision=500 #constraints=76575
3.59/3.67	c restart after 801 decisions
3.89/3.90	c nbDecision=1000 #constraints=76676
7.09/7.19	c nbDecision=1500 #constraints=77022
8.08/8.12	c restart after 1601 decisions
9.48/9.51	c nbDecision=2000 #constraints=77181
12.29/12.38	c nbDecision=2500 #constraints=77431
15.39/15.47	c nbDecision=3000 #constraints=77681
15.89/15.90	c restart after 3201 decisions
16.89/16.93	c nbDecision=3500 #constraints=77690
21.18/21.23	c nbDecision=4000 #constraints=78119
25.38/25.45	c nbDecision=4500 #constraints=78425
29.28/29.38	c nbDecision=5000 #constraints=78672
33.18/33.29	c nbDecision=5500 #constraints=78916
36.19/36.25	c nbDecision=6000 #constraints=78976
39.68/39.71	c restart after 6401 decisions
40.78/40.82	c nbDecision=6500 #constraints=79160
45.37/45.45	c nbDecision=7000 #constraints=79404
49.18/49.26	c nbDecision=7500 #constraints=79646
53.98/54.08	c nbDecision=8000 #constraints=80040
58.97/59.06	c nbDecision=8500 #constraints=80271
64.27/64.31	c nbDecision=9000 #constraints=80642
69.77/69.83	c nbDecision=9500 #constraints=80875
75.47/75.52	c nbDecision=10000 #constraints=81087
81.17/81.28	c nbDecision=10500 #constraints=81545
87.26/87.37	c nbDecision=11000 #constraints=81778
93.66/93.70	c nbDecision=11500 #constraints=82010
99.66/99.70	c nbDecision=12000 #constraints=82242
105.36/105.48	c nbDecision=12500 #constraints=82643
108.86/108.99	c restart after 12801 decisions
112.56/112.63	c nbDecision=13000 #constraints=82905
119.26/119.37	c nbDecision=13500 #constraints=83105
126.75/126.85	c nbDecision=14000 #constraints=83284
134.25/134.32	c nbDecision=14500 #constraints=83483
141.65/141.79	c nbDecision=15000 #constraints=83709
149.55/149.63	c nbDecision=15500 #constraints=83910
156.24/156.32	c nbDecision=16000 #constraints=84275
163.64/163.72	c nbDecision=16500 #constraints=84578
172.04/172.10	c nbDecision=17000 #constraints=84795
179.84/179.92	c nbDecision=17500 #constraints=85081
188.83/188.93	c nbDecision=18000 #constraints=85267
198.23/198.33	c nbDecision=18500 #constraints=85586
207.13/207.27	c nbDecision=19000 #constraints=85801
216.73/216.82	c nbDecision=19500 #constraints=86016
226.62/226.70	c nbDecision=20000 #constraints=86229
236.03/236.12	c nbDecision=20500 #constraints=86441
245.52/245.61	c nbDecision=21000 #constraints=86652
252.72/252.88	c nbDecision=21500 #constraints=86917
260.62/260.79	c nbDecision=22000 #constraints=87290
271.11/271.21	c nbDecision=22500 #constraints=87503
282.11/282.21	c nbDecision=23000 #constraints=87692
292.71/292.81	c nbDecision=23500 #constraints=87905
300.80/300.91	c nbDecision=24000 #constraints=88286
312.80/312.94	c nbDecision=24500 #constraints=88506
322.00/322.10	c nbDecision=25000 #constraints=88782
333.29/333.44	c nbDecision=25500 #constraints=89000
334.60/334.71	c restart after 25601 decisions
347.30/347.46	c nbDecision=26000 #constraints=89106
355.49/355.60	c nbDecision=26500 #constraints=89500
364.18/364.37	c nbDecision=27000 #constraints=89868
377.58/377.72	c nbDecision=27500 #constraints=90086
390.08/390.20	c nbDecision=28000 #constraints=90279
402.98/403.18	c nbDecision=28500 #constraints=90471
411.37/411.57	c nbDecision=29000 #constraints=90846
428.77/428.96	c nbDecision=29500 #constraints=90853
444.97/445.18	c nbDecision=30000 #constraints=91041
454.76/454.91	c nbDecision=30500 #constraints=91279
469.85/470.05	c nbDecision=31000 #constraints=91602
482.76/482.90	c nbDecision=31500 #constraints=91786
495.95/496.18	c nbDecision=32000 #constraints=91970
509.24/509.46	c nbDecision=32500 #constraints=92111
523.24/523.41	c nbDecision=33000 #constraints=92335
537.54/537.76	c nbDecision=33500 #constraints=92517
548.33/548.57	c nbDecision=34000 #constraints=92864
567.93/568.12	c nbDecision=34500 #constraints=93054
581.82/582.05	c nbDecision=35000 #constraints=93230
593.32/593.55	c nbDecision=35500 #constraints=93450
609.62/609.80	c nbDecision=36000 #constraints=93756
619.12/619.39	c nbDecision=36500 #constraints=94024
634.61/634.81	c nbDecision=37000 #constraints=94230
646.10/646.31	c nbDecision=37500 #constraints=94581
662.20/662.41	c nbDecision=38000 #constraints=94778
678.99/679.25	c nbDecision=38500 #constraints=94957
692.70/692.95	c nbDecision=39000 #constraints=95276
710.39/710.65	c nbDecision=39500 #constraints=95441
726.28/726.51	c nbDecision=40000 #constraints=95638
743.68/743.91	c nbDecision=40500 #constraints=95927
754.78/755.01	c nbDecision=41000 #constraints=96208
773.17/773.46	c nbDecision=41500 #constraints=96404
790.47/790.73	c nbDecision=42000 #constraints=96580
809.56/809.84	c nbDecision=42500 #constraints=96871
829.15/829.41	c nbDecision=43000 #constraints=97026
840.35/840.68	c nbDecision=43500 #constraints=97274
864.14/864.48	c nbDecision=44000 #constraints=97482
876.45/876.76	c nbDecision=44500 #constraints=97679
889.94/890.23	c nbDecision=45000 #constraints=98019
909.03/909.32	c nbDecision=45500 #constraints=98222
933.22/933.55	c nbDecision=46000 #constraints=98367
946.02/946.33	c nbDecision=46500 #constraints=98622
966.82/967.12	c nbDecision=47000 #constraints=98795
992.81/993.12	c nbDecision=47500 #constraints=98937
1004.20/1004.57	c nbDecision=48000 #constraints=99201
1026.20/1026.59	c nbDecision=48500 #constraints=99491
1039.20/1039.51	c nbDecision=49000 #constraints=99712
1060.58/1060.91	c nbDecision=49500 #constraints=99896
1079.79/1080.18	c nbDecision=50000 #constraints=100160
1100.68/1101.08	c nbDecision=50500 #constraints=100291
1121.17/1121.51	c nbDecision=51000 #constraints=100478
1127.27/1127.66	c restart after 51201 decisions
1142.37/1142.72	c nbDecision=51500 #constraints=100660
1164.35/1164.75	c nbDecision=52000 #constraints=100828
1185.76/1186.14	c nbDecision=52500 #constraints=101056
1209.55/1209.99	c nbDecision=53000 #constraints=101181
1229.84/1230.20	c nbDecision=53500 #constraints=101364
1253.24/1253.64	c nbDecision=54000 #constraints=101547
1275.43/1275.89	c nbDecision=54500 #constraints=101785
1292.03/1292.45	c nbDecision=55000 #constraints=102020
1309.62/1310.08	c nbDecision=55500 #constraints=102295
1334.51/1334.94	c nbDecision=56000 #constraints=102479
1350.31/1350.75	c nbDecision=56500 #constraints=102766
1370.21/1370.60	c nbDecision=57000 #constraints=103028
1400.29/1400.75	c nbDecision=57500 #constraints=103136
1422.99/1423.41	c nbDecision=58000 #constraints=103248
1441.48/1441.91	c nbDecision=58500 #constraints=103553
1464.87/1465.31	c nbDecision=59000 #constraints=103724
1491.87/1492.39	c nbDecision=59500 #constraints=103857
1509.86/1510.37	c nbDecision=60000 #constraints=104150
1541.05/1541.50	c nbDecision=60500 #constraints=104246
1565.35/1565.82	c nbDecision=61000 #constraints=104358
1596.24/1596.75	c nbDecision=61500 #constraints=104436
1627.13/1627.66	c nbDecision=62000 #constraints=104529
1650.52/1651.08	c nbDecision=62500 #constraints=104653
1677.72/1678.26	c nbDecision=63000 #constraints=104802
1698.11/1698.62	c nbDecision=63500 #constraints=105065
1729.71/1730.27	c nbDecision=64000 #constraints=105236
1754.89/1755.45	c nbDecision=64500 #constraints=105321
1781.69/1782.28	c nbDecision=65000 #constraints=105485
1800.09/1800.60	Received signal 15
1800.09/1800.64	
1800.09/1800.64	s UNKNOWN
1800.09/1800.64	
1800.09/1800.64	c user time= 1799.29 s
1800.09/1800.64	c system time= 0.842871 s
1800.09/1800.64	c wall clock time=1800.64

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/454880-1178033146/instance-454880-1178033146.opb
mv /tmp/evaluation/454880-1178033146/instance-454880-1178033146.opb.tmp /tmp/evaluation/454880-1178033146/instance-454880-1178033146.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node63/watcher-454880-1178033146 -o ROOT/results/node63/solver-454880-1178033146 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454880-1178033146/instance-454880-1178033146.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.84 1.07 1.07 3/64 32145
/proc/meminfo: memFree=1870916/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=1468 CPUtime=0
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 279304580 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 367 166 131 317 0 46 0

[startup+0.00641406 s]
/proc/loadavg: 0.84 1.07 1.07 3/64 32145
/proc/meminfo: memFree=1870916/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=1468 CPUtime=0
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 279304580 1503232 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 367 175 131 317 0 46 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1468

[startup+0.101422 s]
/proc/loadavg: 0.84 1.07 1.07 3/64 32145
/proc/meminfo: memFree=1870916/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=3448 CPUtime=0.09
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 671 0 0 0 9 0 0 0 18 0 1 0 279304580 3530752 654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 862 654 131 317 0 541 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3448

[startup+0.301443 s]
/proc/loadavg: 0.84 1.07 1.07 3/64 32145
/proc/meminfo: memFree=1870916/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=8792 CPUtime=0.29
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 1978 0 0 0 29 0 0 0 19 0 1 0 279304580 9003008 1961 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 2198 1961 132 317 0 1877 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8792

[startup+0.701485 s]
/proc/loadavg: 0.84 1.07 1.07 3/64 32145
/proc/meminfo: memFree=1870916/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=29788 CPUtime=0.69
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 7306 0 0 0 66 3 0 0 23 0 1 0 279304580 30502912 7191 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 7447 7191 137 317 0 7126 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29788

[startup+1.50157 s]
/proc/loadavg: 0.84 1.07 1.07 2/65 32146
/proc/meminfo: memFree=1840124/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=36228 CPUtime=1.49
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 8935 0 0 0 146 3 0 0 25 0 1 0 279304580 37097472 8297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712585 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 9057 8297 139 317 0 8736 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36228

[startup+3.10174 s]
/proc/loadavg: 0.84 1.07 1.07 2/65 32146
/proc/meminfo: memFree=1837820/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=38912 CPUtime=3.09
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 9605 0 0 0 306 3 0 0 25 0 1 0 279304580 39845888 8967 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 9728 8967 139 317 0 9407 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38912

[startup+6.30107 s]
/proc/loadavg: 0.85 1.07 1.07 2/65 32146
/proc/meminfo: memFree=1831100/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=46432 CPUtime=6.29
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 11480 0 0 0 624 5 0 0 25 0 1 0 279304580 47546368 10842 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 11608 10842 139 317 0 11287 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46432

[startup+12.7017 s]
/proc/loadavg: 0.86 1.07 1.07 2/65 32146
/proc/meminfo: memFree=1816060/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=59324 CPUtime=12.69
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 14457 0 0 0 1263 6 0 0 25 0 1 0 279304580 60747776 13819 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 14831 13819 139 317 0 14510 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 59324

[startup+25.5011 s]
/proc/loadavg: 0.89 1.06 1.07 2/65 32146
/proc/meminfo: memFree=1791932/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=85644 CPUtime=25.48
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 20409 0 0 0 2540 8 0 0 25 0 1 0 279304580 87699456 19771 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 21411 19771 139 317 0 21090 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85644

[startup+51.1018 s]
/proc/loadavg: 0.93 1.06 1.07 2/65 32146
/proc/meminfo: memFree=1765692/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=109908 CPUtime=51.08
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 27297 0 0 0 5097 11 0 0 25 0 1 0 279304580 112545792 26659 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 27477 26659 139 317 0 27156 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 109908

[startup+102.305 s]
/proc/loadavg: 0.97 1.05 1.06 2/65 32146
/proc/meminfo: memFree=1704444/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=172956 CPUtime=102.26
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 42274 0 0 0 10209 17 0 0 25 0 1 0 279304580 177106944 41636 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604429 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 43239 41636 139 317 0 42918 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 172956

[startup+162.302 s]
/proc/loadavg: 0.99 1.04 1.06 2/65 32146
/proc/meminfo: memFree=1664508/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=209040 CPUtime=162.25
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 52197 0 0 0 16202 23 0 0 25 0 1 0 279304580 214056960 51559 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 52260 51559 139 317 0 51939 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 209040

[startup+222.302 s]
/proc/loadavg: 0.99 1.03 1.05 2/65 32146
/proc/meminfo: memFree=1614588/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=272756 CPUtime=222.23
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 64629 0 0 0 22194 29 0 0 25 0 1 0 279304580 279302144 63991 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562758 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 68189 63991 139 317 0 67868 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 272756

[startup+282.301 s]
/proc/loadavg: 0.99 1.02 1.04 2/65 32146
/proc/meminfo: memFree=1586108/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=298800 CPUtime=282.21
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 71734 0 0 0 28188 33 0 0 25 0 1 0 279304580 305971200 71096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 74700 71096 139 317 0 74379 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 298800

[startup+342.301 s]
/proc/loadavg: 0.99 1.01 1.04 2/65 32146
/proc/meminfo: memFree=1557820/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=323872 CPUtime=342.2
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 78792 0 0 0 34183 37 0 0 25 0 1 0 279304580 331644928 78154 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 80968 78154 139 317 0 80647 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 323872

[startup+402.302 s]
/proc/loadavg: 0.99 1.01 1.03 2/65 32146
/proc/meminfo: memFree=1530044/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=348372 CPUtime=402.18
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 85710 0 0 0 40177 41 0 0 25 0 1 0 279304580 356732928 85072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 87093 85072 139 317 0 86772 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 348372

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.03 2/65 32146
/proc/meminfo: memFree=1509116/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=367592 CPUtime=462.16
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 91087 0 0 0 46173 43 0 0 25 0 1 0 279304580 376414208 90449 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 91898 90449 139 317 0 91577 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 367592

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 1.02 2/65 32146
/proc/meminfo: memFree=1495100/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=381272 CPUtime=522.14
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 94779 0 0 0 52169 45 0 0 25 0 1 0 279304580 390422528 94141 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 95318 94141 139 317 0 94997 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 381272

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 1.02 2/65 32146
/proc/meminfo: memFree=1461756/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=461488 CPUtime=582.12
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 111594 0 0 0 58161 51 0 0 25 0 1 0 279304580 472563712 102079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 115372 102079 139 317 0 115051 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 461488

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 1.01 2/65 32146
/proc/meminfo: memFree=1435452/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=482936 CPUtime=642.11
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 118159 0 0 0 64157 54 0 0 25 0 1 0 279304580 494526464 108644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 120734 108644 139 317 0 120413 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 482936


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

[startup+882.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 32146
/proc/meminfo: memFree=1365244/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=543652 CPUtime=882.04
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 135745 0 0 0 88142 62 0 0 25 0 1 0 279304580 556699648 126230 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 135913 126230 139 317 0 135592 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 543652

[startup+942.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 32146
/proc/meminfo: memFree=1351996/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=555160 CPUtime=942.02
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 138997 0 0 0 94138 64 0 0 25 0 1 0 279304580 568483840 129482 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563407 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 138790 129482 139 317 0 138469 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 555160

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 32146
/proc/meminfo: memFree=1340348/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=565104 CPUtime=1002
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 141912 0 0 0 100134 66 0 0 25 0 1 0 279304580 578666496 132397 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 141276 132397 139 317 0 140955 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 565104

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 32148
/proc/meminfo: memFree=1322620/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=580108 CPUtime=1061.98
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 146459 0 0 0 106129 69 0 0 25 0 1 0 279304580 594030592 136944 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 145027 136944 139 317 0 144706 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 580108

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 32148
/proc/meminfo: memFree=1310268/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=590828 CPUtime=1121.98
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 149528 0 0 0 112127 71 0 0 25 0 1 0 279304580 605007872 140013 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712496 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 147707 140013 139 317 0 147386 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 590828

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 32148
/proc/meminfo: memFree=1298876/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=600100 CPUtime=1181.96
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 152259 0 0 0 118123 73 0 0 25 0 1 0 279304580 614502400 142744 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 150025 142744 139 317 0 149704 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 600100

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 32148
/proc/meminfo: memFree=1290684/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=606640 CPUtime=1241.94
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 154289 0 0 0 124120 74 0 0 25 0 1 0 279304580 621199360 144774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 151660 144774 139 317 0 151339 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 606640

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 32148
/proc/meminfo: memFree=1272892/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=621272 CPUtime=1301.93
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 158732 0 0 0 130118 75 0 0 25 0 1 0 279304580 636182528 149217 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 155318 149217 139 317 0 154997 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 621272

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 32148
/proc/meminfo: memFree=1259452/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=633056 CPUtime=1361.9
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 162087 0 0 0 136114 76 0 0 25 0 1 0 279304580 648249344 152572 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 158264 152572 139 317 0 157943 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 633056

[startup+1422.31 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 32148
/proc/meminfo: memFree=1253756/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=638692 CPUtime=1421.89
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 163515 0 0 0 142112 77 0 0 25 0 1 0 279304580 654020608 154000 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 159673 154000 139 317 0 159352 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 638692

[startup+1482.3 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 32148
/proc/meminfo: memFree=1243068/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=647804 CPUtime=1481.87
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 166176 0 0 0 148109 78 0 0 25 0 1 0 279304580 663351296 156661 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 161951 156661 139 317 0 161630 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 647804

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32148
/proc/meminfo: memFree=1232828/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=656524 CPUtime=1541.85
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 168728 0 0 0 154106 79 0 0 25 0 1 0 279304580 672280576 159213 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 164131 159213 139 317 0 163810 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 656524

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32148
/proc/meminfo: memFree=1226300/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=661360 CPUtime=1601.83
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 170367 0 0 0 160103 80 0 0 25 0 1 0 279304580 677232640 160852 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712504 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 165340 160852 139 317 0 165019 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 661360

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32148
/proc/meminfo: memFree=1223036/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=664700 CPUtime=1661.82
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 171174 0 0 0 166101 81 0 0 25 0 1 0 279304580 680652800 161659 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 166175 161659 139 317 0 165854 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 664700

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32148
/proc/meminfo: memFree=1213116/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=673916 CPUtime=1721.81
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 173878 0 0 0 172098 83 0 0 25 0 1 0 279304580 690089984 164363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 168479 164363 139 317 0 168158 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 673916

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32148
/proc/meminfo: memFree=1206204/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=678204 CPUtime=1781.79
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 175369 0 0 0 178095 84 0 0 25 0 1 0 279304580 694480896 165854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 169551 165854 139 317 0 169230 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 678204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32148
/proc/meminfo: memFree=1204796/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=679676 CPUtime=1800.09
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194304 175723 0 0 0 179925 84 0 0 25 0 1 0 279304580 695988224 166208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 169919 166208 139 317 0 169598 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 679676

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 32148
/proc/meminfo: memFree=1204796/2055920 swapFree=4182916/4192956
[pid=32145] ppid=32143 vsize=0 CPUtime=1800.19
/proc/32145/stat : 32145 (oree) R 32143 32145 32077 0 -1 4194308 175739 0 0 0 179931 88 0 0 25 0 1 0 279304580 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/32145/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.78
CPU time (s): 1800.27
CPU user time (s): 1799.31
CPU system time (s): 0.953854
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 679676

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

runsolver used 1.44078 second user time and 3.49547 second system time

The end

Launcher Data (download as text)

Begin job on node63 on Tue May  1 15:25:47 UTC 2007

IDJOB= 454880
IDBENCH= 48226
IDSOLVER= 172
FILE ID= node63/454880-1178033146

PBS_JOBID= 4728429

Free space on /tmp= 66562 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_60_3.opb
COMMAND LINE= oree /tmp/evaluation/454880-1178033146/instance-454880-1178033146.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node63/convwatcher-454880-1178033146 -o ROOT/results/node63/conversion-454880-1178033146 -C 600 -M 1800 /tmp/evaluation/454880-1178033146/substituteSizeProductKeyword /tmp/evaluation/454880-1178033146/instance-454880-1178033146.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  a83973bc04af54d38c05a30d36c8573f

RANDOM SEED= 940045220

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node63.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.232
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.232
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:       1871388 kB
Buffers:         52540 kB
Cached:          61276 kB
SwapCached:       3620 kB
Active:          76556 kB
Inactive:        46796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1871388 kB
SwapTotal:     4192956 kB
SwapFree:      4182916 kB
Dirty:            2496 kB
Writeback:           0 kB
Mapped:          15272 kB
Slab:            47220 kB
Committed_AS:  4964348 kB
PageTables:       1460 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= 66562 MiB

End job on node63 on Tue May  1 15:55:49 UTC 2007