Trace number 455090

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.15 1800.68

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_4.opb
MD5SUM169f1f6799c5c0fd2a1b0aca08165f42
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-59
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -59
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)5048
Sum of products size (including duplicates)10096
Number of different products2524
Sum of products size5048

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.00/0.04	c ...done
0.00/0.04	c #vars=2924 #constraints=5651 hasObjective=yes
0.05/0.06	c res. mode=mod
0.05/0.06	c VSIDS like heuristics
0.05/0.06	c complete search running
0.19/0.24	c restart after 401 decisions
0.19/0.26	c nbDecision=500 #constraints=5774
0.49/0.50	c restart after 801 decisions
0.49/0.59	c nbDecision=1000 #constraints=5958
0.89/0.99	c nbDecision=1500 #constraints=6159
0.99/1.03	c restart after 1601 decisions
1.29/1.36	c nbDecision=2000 #constraints=6300
1.79/1.83	c nbDecision=2500 #constraints=6454
2.29/2.39	c nbDecision=3000 #constraints=6645
2.59/2.68	c restart after 3201 decisions
2.99/3.05	c nbDecision=3500 #constraints=6832
3.79/3.81	c nbDecision=4000 #constraints=7015
4.59/4.65	c nbDecision=4500 #constraints=7298
5.78/5.83	c nbDecision=5000 #constraints=7618
7.09/7.11	c nbDecision=5500 #constraints=7856
8.89/8.92	c nbDecision=6000 #constraints=8095
10.28/10.34	c restart after 6401 decisions
10.69/10.79	c nbDecision=6500 #constraints=8246
12.79/12.81	c nbDecision=7000 #constraints=8536
14.88/14.99	c nbDecision=7500 #constraints=8810
17.38/17.40	c nbDecision=8000 #constraints=9005
20.29/20.30	c nbDecision=8500 #constraints=9186
23.68/23.74	c nbDecision=9000 #constraints=9344
26.88/26.94	c nbDecision=9500 #constraints=9543
30.18/30.21	c nbDecision=10000 #constraints=9801
33.78/33.89	c nbDecision=10500 #constraints=9954
37.18/37.30	c nbDecision=11000 #constraints=10163
40.37/40.41	c nbDecision=11500 #constraints=10466
43.28/43.33	c nbDecision=12000 #constraints=10804
47.28/47.38	c nbDecision=12500 #constraints=11034
50.07/50.11	c restart after 12801 decisions
52.27/52.33	c nbDecision=13000 #constraints=11189
56.58/56.63	c nbDecision=13500 #constraints=11419
61.17/61.21	c nbDecision=14000 #constraints=11636
64.98/65.01	c nbDecision=14500 #constraints=11949
69.77/69.88	c nbDecision=15000 #constraints=12180
74.77/74.84	c nbDecision=15500 #constraints=12433
79.47/79.53	c nbDecision=16000 #constraints=12731
84.87/84.98	c nbDecision=16500 #constraints=12944
90.46/90.50	c nbDecision=17000 #constraints=13166
96.77/96.89	c nbDecision=17500 #constraints=13410
103.76/103.86	c nbDecision=18000 #constraints=13572
110.26/110.35	c nbDecision=18500 #constraints=13731
115.25/115.36	c nbDecision=19000 #constraints=14032
123.16/123.22	c nbDecision=19500 #constraints=14155
129.15/129.26	c nbDecision=20000 #constraints=14414
135.85/135.94	c nbDecision=20500 #constraints=14652
142.35/142.41	c nbDecision=21000 #constraints=14909
148.04/148.17	c nbDecision=21500 #constraints=15217
155.45/155.53	c nbDecision=22000 #constraints=15475
161.94/162.02	c nbDecision=22500 #constraints=15747
168.74/168.80	c nbDecision=23000 #constraints=16030
176.13/176.24	c nbDecision=23500 #constraints=16284
183.14/183.29	c nbDecision=24000 #constraints=16564
192.13/192.22	c nbDecision=24500 #constraints=16778
201.53/201.68	c nbDecision=25000 #constraints=16975
210.63/210.72	c nbDecision=25500 #constraints=17163
212.13/212.27	c restart after 25601 decisions
217.63/217.79	c nbDecision=26000 #constraints=17480
227.02/227.12	c nbDecision=26500 #constraints=17737
236.43/236.55	c nbDecision=27000 #constraints=17909
247.32/247.42	c nbDecision=27500 #constraints=18113
256.61/256.78	c nbDecision=28000 #constraints=18342
264.71/264.84	c nbDecision=28500 #constraints=18617
277.31/277.45	c nbDecision=29000 #constraints=18742
286.61/286.76	c nbDecision=29500 #constraints=19025
295.51/295.62	c nbDecision=30000 #constraints=19317
307.00/307.14	c nbDecision=30500 #constraints=19574
315.70/315.85	c nbDecision=31000 #constraints=19846
328.20/328.32	c nbDecision=31500 #constraints=20079
338.09/338.26	c nbDecision=32000 #constraints=20348
349.29/349.44	c nbDecision=32500 #constraints=20578
359.98/360.11	c nbDecision=33000 #constraints=20872
370.68/370.80	c nbDecision=33500 #constraints=21130
386.27/386.48	c nbDecision=34000 #constraints=21263
398.97/399.12	c nbDecision=34500 #constraints=21490
413.07/413.29	c nbDecision=35000 #constraints=21689
424.77/424.95	c nbDecision=35500 #constraints=21954
442.66/442.84	c nbDecision=36000 #constraints=22074
455.75/455.96	c nbDecision=36500 #constraints=22288
470.55/470.76	c nbDecision=37000 #constraints=22520
483.25/483.40	c nbDecision=37500 #constraints=22789
498.74/498.96	c nbDecision=38000 #constraints=23004
511.64/511.85	c nbDecision=38500 #constraints=23290
525.64/525.85	c nbDecision=39000 #constraints=23534
541.63/541.89	c nbDecision=39500 #constraints=23741
551.63/551.87	c nbDecision=40000 #constraints=24120
567.12/567.31	c nbDecision=40500 #constraints=24377
582.92/583.16	c nbDecision=41000 #constraints=24648
598.22/598.47	c nbDecision=41500 #constraints=24871
610.51/610.73	c nbDecision=42000 #constraints=25257
625.90/626.10	c nbDecision=42500 #constraints=25490
642.60/642.82	c nbDecision=43000 #constraints=25712
660.50/660.79	c nbDecision=43500 #constraints=25906
680.89/681.11	c nbDecision=44000 #constraints=26046
702.79/703.02	c nbDecision=44500 #constraints=26181
726.47/726.75	c nbDecision=45000 #constraints=26234
745.07/745.40	c nbDecision=45500 #constraints=26431
760.26/760.53	c nbDecision=46000 #constraints=26719
780.06/780.39	c nbDecision=46500 #constraints=26941
798.96/799.27	c nbDecision=47000 #constraints=27192
817.15/817.49	c nbDecision=47500 #constraints=27469
836.75/837.06	c nbDecision=48000 #constraints=27706
854.35/854.64	c nbDecision=48500 #constraints=27994
874.03/874.39	c nbDecision=49000 #constraints=28232
891.84/892.18	c nbDecision=49500 #constraints=28506
911.62/911.92	c nbDecision=50000 #constraints=28775
934.92/935.27	c nbDecision=50500 #constraints=28972
952.61/952.95	c nbDecision=51000 #constraints=29288
961.01/961.32	c restart after 51201 decisions
972.90/973.25	c nbDecision=51500 #constraints=29549
993.69/994.04	c nbDecision=52000 #constraints=29805
1012.49/1012.84	c nbDecision=52500 #constraints=30119
1032.19/1032.59	c nbDecision=53000 #constraints=30403
1056.68/1057.08	c nbDecision=53500 #constraints=30623
1078.47/1078.87	c nbDecision=54000 #constraints=30908
1100.46/1100.86	c nbDecision=54500 #constraints=31202
1124.26/1124.68	c nbDecision=55000 #constraints=31451
1146.95/1147.38	c nbDecision=55500 #constraints=31739
1170.25/1170.64	c nbDecision=56000 #constraints=32005
1193.74/1194.15	c nbDecision=56500 #constraints=32281
1216.73/1217.19	c nbDecision=57000 #constraints=32600
1238.03/1238.43	c nbDecision=57500 #constraints=32942
1263.12/1263.55	c nbDecision=58000 #constraints=33245
1288.11/1288.52	c nbDecision=58500 #constraints=33568
1312.50/1312.97	c nbDecision=59000 #constraints=33912
1337.99/1338.42	c nbDecision=59500 #constraints=34270
1363.59/1364.03	c nbDecision=60000 #constraints=34563
1389.58/1390.05	c nbDecision=60500 #constraints=34902
1417.97/1418.48	c nbDecision=61000 #constraints=35204
1444.26/1444.73	c nbDecision=61500 #constraints=35517
1472.86/1473.39	c nbDecision=62000 #constraints=35833
1499.75/1500.23	c nbDecision=62500 #constraints=36202
1527.04/1527.50	c nbDecision=63000 #constraints=36524
1554.94/1555.46	c nbDecision=63500 #constraints=36862
1584.02/1584.60	c nbDecision=64000 #constraints=37218
1612.02/1612.57	c nbDecision=64500 #constraints=37540
1640.61/1641.12	c nbDecision=65000 #constraints=37859
1671.41/1671.97	c nbDecision=65500 #constraints=38176
1702.58/1703.14	c nbDecision=66000 #constraints=38498
1731.58/1732.18	c nbDecision=66500 #constraints=38859
1763.18/1763.77	c nbDecision=67000 #constraints=39179
1794.76/1795.38	c nbDecision=67500 #constraints=39485
1800.07/1800.60	Received signal 15
1800.07/1800.61	
1800.07/1800.61	s UNKNOWN
1800.07/1800.61	
1800.07/1800.61	c user time= 1799.32 s
1800.07/1800.61	c system time= 0.765883 s
1800.07/1800.61	c wall clock time=1800.62

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/455090-1178036801/instance-455090-1178036801.opb
mv /tmp/evaluation/455090-1178036801/instance-455090-1178036801.opb.tmp /tmp/evaluation/455090-1178036801/instance-455090-1178036801.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node6/watcher-455090-1178036801 -o ROOT/results/node6/solver-455090-1178036801 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455090-1178036801/instance-455090-1178036801.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.99 1.00 1.00 2/77 27509
/proc/meminfo: memFree=1863024/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=1468 CPUtime=0
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 279717779 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 367 166 131 317 0 46 0

[startup+0.062038 s]
/proc/loadavg: 0.99 1.00 1.00 2/77 27509
/proc/meminfo: memFree=1863024/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=3540 CPUtime=0.05
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 689 0 0 0 5 0 0 0 18 0 1 0 279717779 3624960 672 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 885 672 137 317 0 564 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3540

[startup+0.101043 s]
/proc/loadavg: 0.99 1.00 1.00 2/77 27509
/proc/meminfo: memFree=1863024/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=3960 CPUtime=0.09
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 817 0 0 0 9 0 0 0 18 0 1 0 279717779 4055040 761 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 990 761 139 317 0 669 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3960

[startup+0.301066 s]
/proc/loadavg: 0.99 1.00 1.00 2/77 27509
/proc/meminfo: memFree=1863024/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=5284 CPUtime=0.29
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 1152 0 0 0 29 0 0 0 19 0 1 0 279717779 5410816 1096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 1321 1096 139 317 0 1000 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5284

[startup+0.701113 s]
/proc/loadavg: 0.99 1.00 1.00 2/77 27509
/proc/meminfo: memFree=1863024/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=7396 CPUtime=0.69
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 1666 0 0 0 69 0 0 0 23 0 1 0 279717779 7573504 1610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 1849 1610 139 317 0 1528 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7396

[startup+1.50121 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27510
/proc/meminfo: memFree=1855272/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=10852 CPUtime=1.49
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 2542 0 0 0 148 1 0 0 25 0 1 0 279717779 11112448 2486 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 2713 2486 139 317 0 2392 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10852

[startup+3.10139 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27510
/proc/meminfo: memFree=1851944/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=16280 CPUtime=3.09
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 3786 0 0 0 307 2 0 0 25 0 1 0 279717779 16670720 3730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 4070 3730 139 317 0 3749 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16280

[startup+6.30177 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27510
/proc/meminfo: memFree=1842472/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=23144 CPUtime=6.28
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 5608 0 0 0 626 2 0 0 25 0 1 0 279717779 23699456 5552 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 5786 5552 139 317 0 5465 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 23144

[startup+12.7015 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27510
/proc/meminfo: memFree=1833256/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=32948 CPUtime=12.69
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 7904 0 0 0 1265 4 0 0 25 0 1 0 279717779 33738752 7848 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 8237 7848 139 317 0 7916 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32948

[startup+25.502 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27510
/proc/meminfo: memFree=1824104/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=40336 CPUtime=25.48
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 9904 0 0 0 2543 5 0 0 25 0 1 0 279717779 41304064 9848 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 10084 9848 139 317 0 9763 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 40336

[startup+51.102 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27510
/proc/meminfo: memFree=1806184/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=60320 CPUtime=51.07
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 14435 0 0 0 5100 7 0 0 25 0 1 0 279717779 61767680 14303 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 15080 14303 139 317 0 14759 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 60320

[startup+102.306 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27510
/proc/meminfo: memFree=1784872/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=79592 CPUtime=102.27
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 19766 0 0 0 10216 11 0 0 25 0 1 0 279717779 81502208 19634 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 19898 19634 139 317 0 19577 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 79592

[startup+162.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27510
/proc/meminfo: memFree=1759912/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=110240 CPUtime=162.24
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 26094 0 0 0 16209 15 0 0 25 0 1 0 279717779 112885760 25962 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 27560 25962 139 317 0 27239 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 110240

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 1.00 3/78 27510
/proc/meminfo: memFree=1743144/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=124988 CPUtime=222.22
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 30150 0 0 0 22204 18 0 0 25 0 1 0 279717779 127987712 30018 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 31247 30018 139 317 0 30926 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 124988

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27510
/proc/meminfo: memFree=1732136/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=135688 CPUtime=282.21
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 33015 0 0 0 28199 22 0 0 25 0 1 0 279717779 138944512 32883 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 33922 32883 139 317 0 33601 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 135688

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27510
/proc/meminfo: memFree=1718120/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=147920 CPUtime=342.19
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 36357 0 0 0 34193 26 0 0 25 0 1 0 279717779 151470080 36225 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 36980 36225 139 317 0 36659 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 147920

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27510
/proc/meminfo: memFree=1708456/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=156788 CPUtime=402.17
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 38760 0 0 0 40189 28 0 0 25 0 1 0 279717779 160550912 38628 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 39197 38628 139 317 0 38876 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 156788

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27510
/proc/meminfo: memFree=1695144/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=187704 CPUtime=462.15
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 45285 0 0 0 46184 31 0 0 25 0 1 0 279717779 192208896 41934 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 46926 41934 139 317 0 46605 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 187704

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27512
/proc/meminfo: memFree=1685928/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=195972 CPUtime=522.13
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 47599 0 0 0 52180 33 0 0 25 0 1 0 279717779 200675328 44182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 48993 44182 139 317 0 48672 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 195972

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27512
/proc/meminfo: memFree=1675176/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=205700 CPUtime=582.12
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 50283 0 0 0 58176 36 0 0 25 0 1 0 279717779 210636800 46866 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 51425 46866 139 317 0 51104 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 205700

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27512
/proc/meminfo: memFree=1665640/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=214112 CPUtime=642.1
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 52658 0 0 0 64173 37 0 0 25 0 1 0 279717779 219250688 49241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 53528 49241 139 317 0 53207 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 214112


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

[startup+822.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27512
/proc/meminfo: memFree=1648360/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=229228 CPUtime=822.05
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 56945 0 0 0 82162 43 0 0 25 0 1 0 279717779 234729472 53528 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 57307 53528 139 317 0 56986 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 229228

[startup+882.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27512
/proc/meminfo: memFree=1640168/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=237184 CPUtime=882.03
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 59024 0 0 0 88159 44 0 0 25 0 1 0 279717779 242876416 55607 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 59296 55607 139 317 0 58975 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 237184

[startup+942.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27512
/proc/meminfo: memFree=1633768/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=242936 CPUtime=942.01
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 60680 0 0 0 94155 46 0 0 25 0 1 0 279717779 248766464 57263 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 60734 57263 139 317 0 60413 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 242936

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27512
/proc/meminfo: memFree=1625192/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=250512 CPUtime=1002
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 62715 0 0 0 100152 48 0 0 25 0 1 0 279717779 256524288 59298 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 62628 59298 139 317 0 62307 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 250512

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27512
/proc/meminfo: memFree=1618600/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=256628 CPUtime=1061.98
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 64457 0 0 0 106148 50 0 0 25 0 1 0 279717779 262787072 61040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 64157 61040 139 317 0 63836 0
Current children cumulated CPU time (s) 1061.98
Current children cumulated vsize (KiB) 256628

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27512
/proc/meminfo: memFree=1611752/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=262416 CPUtime=1121.96
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 66061 0 0 0 112144 52 0 0 25 0 1 0 279717779 268713984 62644 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 65604 62644 139 317 0 65283 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 262416

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27512
/proc/meminfo: memFree=1605608/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=268092 CPUtime=1181.94
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 67613 0 0 0 118141 53 0 0 25 0 1 0 279717779 274526208 64163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 67023 64163 139 317 0 66702 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 268092

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27512
/proc/meminfo: memFree=1597416/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=275888 CPUtime=1241.92
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 69711 0 0 0 124137 55 0 0 25 0 1 0 279717779 282509312 66195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 68972 66195 139 317 0 68651 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 275888

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27512
/proc/meminfo: memFree=1589800/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=282608 CPUtime=1301.91
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 71613 0 0 0 130133 58 0 0 25 0 1 0 279717779 289390592 68097 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 70652 68097 139 317 0 70331 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 282608

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27512
/proc/meminfo: memFree=1582888/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=288984 CPUtime=1361.89
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 73313 0 0 0 136129 60 0 0 25 0 1 0 279717779 295919616 69797 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563967 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 72246 69797 139 317 0 71925 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 288984

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27512
/proc/meminfo: memFree=1575464/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=295320 CPUtime=1421.88
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 75168 0 0 0 142126 62 0 0 25 0 1 0 279717779 302407680 71652 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 73830 71652 139 317 0 73509 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 295320

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27512
/proc/meminfo: memFree=1569320/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=301416 CPUtime=1481.85
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 76697 0 0 0 148122 63 0 0 25 0 1 0 279717779 308649984 73181 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 75354 73181 139 317 0 75033 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 301416

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27512
/proc/meminfo: memFree=1562216/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=307868 CPUtime=1541.84
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 78469 0 0 0 154118 66 0 0 25 0 1 0 279717779 315256832 74953 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 76967 74953 139 317 0 76646 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 307868

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27512
/proc/meminfo: memFree=1555176/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=314120 CPUtime=1601.82
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 80255 0 0 0 160115 67 0 0 25 0 1 0 279717779 321658880 76706 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 78530 76706 139 317 0 78209 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 314120

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27512
/proc/meminfo: memFree=1549544/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=319268 CPUtime=1661.81
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 81677 0 0 0 166111 70 0 0 25 0 1 0 279717779 326930432 78128 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 79817 78128 139 317 0 79496 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 319268

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 1.00 3/78 27512
/proc/meminfo: memFree=1543400/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=325080 CPUtime=1721.78
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 83201 0 0 0 172107 71 0 0 25 0 1 0 279717779 332881920 79652 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 81270 79652 139 317 0 80949 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 325080

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27512
/proc/meminfo: memFree=1535976/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=365388 CPUtime=1781.77
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 92414 0 0 0 178102 75 0 0 25 0 1 0 279717779 374157312 81455 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 91347 81455 139 317 0 91026 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 365388



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 27512
/proc/meminfo: memFree=1533800/2055924 swapFree=4146564/4192956
[pid=27509] ppid=27507 vsize=367104 CPUtime=1800.07
/proc/27509/stat : 27509 (oree) R 27507 27509 17153 0 -1 4194304 92956 0 0 0 179931 76 0 0 25 0 1 0 279717779 375914496 81997 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27509/statm: 91776 81997 139 317 0 91455 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 367104

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

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

Child status: 0
Real time (s): 1800.68
CPU time (s): 1800.15
CPU user time (s): 1799.33
CPU system time (s): 0.819875
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 367104

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

runsolver used 1.46778 second user time and 4.05238 second system time

The end

Launcher Data (download as text)

Begin job on node6 on Tue May  1 16:26:41 UTC 2007

IDJOB= 455090
IDBENCH= 48240
IDSOLVER= 172
FILE ID= node6/455090-1178036801

PBS_JOBID= 4728428

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_200_10_4.opb
COMMAND LINE= oree /tmp/evaluation/455090-1178036801/instance-455090-1178036801.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node6/convwatcher-455090-1178036801 -o ROOT/results/node6/conversion-455090-1178036801 -C 600 -M 1800 /tmp/evaluation/455090-1178036801/substituteSizeProductKeyword /tmp/evaluation/455090-1178036801/instance-455090-1178036801.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  169f1f6799c5c0fd2a1b0aca08165f42

RANDOM SEED= 5753317

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node6.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:      2055924 kB
MemFree:       1863496 kB
Buffers:         53268 kB
Cached:          47844 kB
SwapCached:      14352 kB
Active:          34868 kB
Inactive:        94580 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1863496 kB
SwapTotal:     4192956 kB
SwapFree:      4146564 kB
Dirty:            1396 kB
Writeback:           0 kB
Mapped:          32764 kB
Slab:            48568 kB
Committed_AS:  9887432 kB
PageTables:       1792 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 node6 on Tue May  1 16:56:44 UTC 2007