Trace number 455120

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.22 1800.76

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_60_5.opb
MD5SUM13c8aeb5c21aab422ad1cf9309500df6
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-40
Best CPU time to get the best result obtained on this benchmark1800.23
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -40
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)75000
Sum of products size (including duplicates)150000
Number of different products37500
Sum of products size75000

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.49/0.60	c ...done
0.49/0.60	c #vars=38500 #constraints=76503 hasObjective=yes
0.89/0.96	c res. mode=mod
0.89/0.96	c VSIDS like heuristics
0.89/0.96	c complete search running
2.39/2.41	c restart after 401 decisions
2.49/2.59	c nbDecision=500 #constraints=76655
3.89/3.94	c restart after 801 decisions
4.19/4.24	c nbDecision=1000 #constraints=76799
7.69/7.77	c nbDecision=1500 #constraints=77179
8.70/8.72	c restart after 1601 decisions
10.49/10.51	c nbDecision=2000 #constraints=77410
14.49/14.55	c nbDecision=2500 #constraints=77803
17.69/17.77	c nbDecision=3000 #constraints=78039
19.59/19.64	c restart after 3201 decisions
21.38/21.48	c nbDecision=3500 #constraints=78259
24.59/24.66	c nbDecision=4000 #constraints=78505
28.78/28.88	c nbDecision=4500 #constraints=78876
33.38/33.41	c nbDecision=5000 #constraints=79240
37.88/37.98	c nbDecision=5500 #constraints=79596
43.38/43.46	c nbDecision=6000 #constraints=79967
46.87/46.96	c restart after 6401 decisions
48.38/48.43	c nbDecision=6500 #constraints=80206
53.08/53.17	c nbDecision=7000 #constraints=80445
57.98/58.02	c nbDecision=7500 #constraints=80786
63.37/63.49	c nbDecision=8000 #constraints=81157
69.18/69.22	c nbDecision=8500 #constraints=81391
74.68/74.71	c nbDecision=9000 #constraints=81810
80.37/80.45	c nbDecision=9500 #constraints=82187
87.76/87.88	c nbDecision=10000 #constraints=82552
92.76/92.87	c nbDecision=10500 #constraints=82849
98.76/98.87	c nbDecision=11000 #constraints=83262
104.87/104.96	c nbDecision=11500 #constraints=83686
112.86/112.90	c nbDecision=12000 #constraints=83910
119.36/119.41	c nbDecision=12500 #constraints=84244
123.26/123.30	c restart after 12801 decisions
127.65/127.74	c nbDecision=13000 #constraints=84490
134.76/134.80	c nbDecision=13500 #constraints=84796
141.96/142.01	c nbDecision=14000 #constraints=85135
148.86/148.95	c nbDecision=14500 #constraints=85534
157.75/157.85	c nbDecision=15000 #constraints=85757
166.95/167.09	c nbDecision=15500 #constraints=85964
174.76/174.88	c nbDecision=16000 #constraints=86316
181.95/182.05	c nbDecision=16500 #constraints=86731
194.34/194.49	c nbDecision=17000 #constraints=86942
201.14/201.25	c nbDecision=17500 #constraints=87191
211.84/211.98	c nbDecision=18000 #constraints=87566
220.14/220.21	c nbDecision=18500 #constraints=87772
227.23/227.38	c nbDecision=19000 #constraints=88180
235.63/235.71	c nbDecision=19500 #constraints=88585
243.93/244.03	c nbDecision=20000 #constraints=88938
254.43/254.53	c nbDecision=20500 #constraints=89210
265.53/265.62	c nbDecision=21000 #constraints=89455
274.53/274.62	c nbDecision=21500 #constraints=89824
284.12/284.22	c nbDecision=22000 #constraints=90169
296.82/296.91	c nbDecision=22500 #constraints=90551
307.32/307.41	c nbDecision=23000 #constraints=90742
320.31/320.48	c nbDecision=23500 #constraints=90932
329.61/329.71	c nbDecision=24000 #constraints=91308
342.71/342.88	c nbDecision=24500 #constraints=91495
353.90/354.07	c nbDecision=25000 #constraints=91796
363.50/363.66	c nbDecision=25500 #constraints=92178
366.10/366.21	c restart after 25601 decisions
377.50/377.60	c nbDecision=26000 #constraints=92384
387.10/387.27	c nbDecision=26500 #constraints=92773
405.70/405.80	c nbDecision=27000 #constraints=92955
416.80/416.91	c nbDecision=27500 #constraints=93163
426.98/427.11	c nbDecision=28000 #constraints=93544
442.49/442.62	c nbDecision=28500 #constraints=93836
452.28/452.42	c nbDecision=29000 #constraints=94140
471.88/472.09	c nbDecision=29500 #constraints=94351
488.47/488.64	c nbDecision=30000 #constraints=94522
498.27/498.41	c nbDecision=30500 #constraints=94784
509.57/509.72	c nbDecision=31000 #constraints=95149
523.07/523.22	c nbDecision=31500 #constraints=95445
535.36/535.57	c nbDecision=32000 #constraints=95786
547.06/547.28	c nbDecision=32500 #constraints=96166
558.05/558.21	c nbDecision=33000 #constraints=96547
569.25/569.44	c nbDecision=33500 #constraints=96936
582.95/583.19	c nbDecision=34000 #constraints=97258
602.75/602.98	c nbDecision=34500 #constraints=97411
620.04/620.28	c nbDecision=35000 #constraints=97712
632.44/632.64	c nbDecision=35500 #constraints=98009
649.84/650.09	c nbDecision=36000 #constraints=98302
668.54/668.77	c nbDecision=36500 #constraints=98591
683.02/683.20	c nbDecision=37000 #constraints=98762
704.12/704.39	c nbDecision=37500 #constraints=99017
716.62/716.89	c nbDecision=38000 #constraints=99289
733.71/733.92	c nbDecision=38500 #constraints=99570
756.20/756.40	c nbDecision=39000 #constraints=99841
773.51/773.78	c nbDecision=39500 #constraints=99976
785.70/785.95	c nbDecision=40000 #constraints=100350
808.30/808.50	c nbDecision=40500 #constraints=100502
822.29/822.56	c nbDecision=41000 #constraints=100854
838.88/839.11	c nbDecision=41500 #constraints=101155
858.89/859.18	c nbDecision=42000 #constraints=101383
877.18/877.49	c nbDecision=42500 #constraints=101643
898.87/899.10	c nbDecision=43000 #constraints=101865
913.47/913.77	c nbDecision=43500 #constraints=102192
939.07/939.39	c nbDecision=44000 #constraints=102332
960.26/960.53	c nbDecision=44500 #constraints=102520
989.45/989.70	c nbDecision=45000 #constraints=102670
1013.24/1013.60	c nbDecision=45500 #constraints=102782
1037.94/1038.26	c nbDecision=46000 #constraints=103000
1056.23/1056.55	c nbDecision=46500 #constraints=103155
1075.23/1075.59	c nbDecision=47000 #constraints=103431
1093.43/1093.74	c nbDecision=47500 #constraints=103735
1116.03/1116.37	c nbDecision=48000 #constraints=103936
1139.32/1139.68	c nbDecision=48500 #constraints=104129
1168.31/1168.69	c nbDecision=49000 #constraints=104326
1192.50/1192.87	c nbDecision=49500 #constraints=104421
1212.40/1212.73	c nbDecision=50000 #constraints=104666
1237.29/1237.64	c nbDecision=50500 #constraints=104882
1256.29/1256.67	c nbDecision=51000 #constraints=105137
1265.69/1266.10	c restart after 51201 decisions
1285.58/1285.92	c nbDecision=51500 #constraints=105232
1303.57/1303.95	c nbDecision=52000 #constraints=105551
1327.47/1327.84	c nbDecision=52500 #constraints=105760
1354.23/1354.65	c nbDecision=53000 #constraints=105914
1376.48/1376.98	c nbDecision=53500 #constraints=106159
1400.05/1400.58	c nbDecision=54000 #constraints=106401
1430.34/1430.82	c nbDecision=54500 #constraints=106482
1460.14/1460.60	c nbDecision=55000 #constraints=106609
1488.43/1488.92	c nbDecision=55500 #constraints=106806
1519.32/1519.89	c nbDecision=56000 #constraints=106871
1540.42/1540.98	c nbDecision=56500 #constraints=107102
1571.21/1571.79	c nbDecision=57000 #constraints=107290
1595.60/1596.15	c nbDecision=57500 #constraints=107456
1622.60/1623.20	c nbDecision=58000 #constraints=107612
1647.99/1648.55	c nbDecision=58500 #constraints=107817
1673.78/1674.36	c nbDecision=59000 #constraints=108025
1711.87/1712.40	c nbDecision=59500 #constraints=108067
1740.16/1740.79	c nbDecision=60000 #constraints=108184
1771.06/1771.61	c nbDecision=60500 #constraints=108292
1800.06/1800.61	Received signal 15
1800.06/1800.61	
1800.06/1800.61	s UNKNOWN
1800.06/1800.61	
1800.06/1800.61	c user time= 1799.14 s
1800.06/1800.61	c system time= 0.938857 s
1800.06/1800.61	c wall clock time=1800.61

Verifier Data (download as text)

ERROR: no interpretation found !

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/455120-1178037514/instance-455120-1178037514.opb
mv /tmp/evaluation/455120-1178037514/instance-455120-1178037514.opb.tmp /tmp/evaluation/455120-1178037514/instance-455120-1178037514.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node68/watcher-455120-1178037514 -o ROOT/results/node68/solver-455120-1178037514 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/455120-1178037514/instance-455120-1178037514.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.92 0.98 0.99 3/64 19300
/proc/meminfo: memFree=1766584/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=1468 CPUtime=0
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 279740992 1503232 166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 367 166 131 317 0 46 0

[startup+0.0661461 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 19300
/proc/meminfo: memFree=1766584/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=2788 CPUtime=0.06
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 500 0 0 0 6 0 0 0 18 0 1 0 279740992 2854912 483 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 697 483 131 317 0 376 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2788

[startup+0.101147 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 19300
/proc/meminfo: memFree=1766584/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=3448 CPUtime=0.09
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 675 0 0 0 9 0 0 0 18 0 1 0 279740992 3530752 658 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 862 658 131 317 0 541 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3448

[startup+0.301165 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 19300
/proc/meminfo: memFree=1766584/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=8860 CPUtime=0.29
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 2008 0 0 0 28 1 0 0 19 0 1 0 279740992 9072640 1991 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 2215 1992 132 317 0 1894 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8860

[startup+0.701201 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 19300
/proc/meminfo: memFree=1766584/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=29856 CPUtime=0.69
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 7322 0 0 0 66 3 0 0 22 0 1 0 279740992 30572544 7207 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 7464 7207 137 317 0 7143 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 29856

[startup+1.50127 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 19301
/proc/meminfo: memFree=1735728/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=36432 CPUtime=1.49
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 8956 0 0 0 145 4 0 0 25 0 1 0 279740992 37306368 8318 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 9108 8318 139 317 0 8787 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 36432

[startup+3.10142 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 19301
/proc/meminfo: memFree=1733424/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=39104 CPUtime=3.09
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 9638 0 0 0 305 4 0 0 25 0 1 0 279740992 40042496 9000 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 9776 9000 139 317 0 9455 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39104

[startup+6.3017 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 19301
/proc/meminfo: memFree=1726064/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=46604 CPUtime=6.29
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 11518 0 0 0 624 5 0 0 25 0 1 0 279740992 47722496 10880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 11651 10880 139 317 0 11330 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46604

[startup+12.7023 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 19301
/proc/meminfo: memFree=1710320/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=61536 CPUtime=12.69
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 15171 0 0 0 1262 7 0 0 25 0 1 0 279740992 63012864 14533 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 15384 14533 139 317 0 15063 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 61536

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 19301
/proc/meminfo: memFree=1687280/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=86004 CPUtime=25.49
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 20510 0 0 0 2539 10 0 0 25 0 1 0 279740992 88068096 19872 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 21501 19872 139 317 0 21180 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 86004

[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 19301
/proc/meminfo: memFree=1652592/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=118060 CPUtime=51.08
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 29413 0 0 0 5093 15 0 0 25 0 1 0 279740992 120893440 28775 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 29515 28775 139 317 0 29194 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 118060

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 19301
/proc/meminfo: memFree=1581360/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=189836 CPUtime=102.27
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 46962 0 0 0 10204 23 0 0 25 0 1 0 279740992 194392064 46324 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 47459 46324 139 317 0 47138 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 189836

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19301
/proc/meminfo: memFree=1518960/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=265228 CPUtime=162.26
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 62469 0 0 0 16196 30 0 0 25 0 1 0 279740992 271593472 61831 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563449 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 66307 61831 139 317 0 65986 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 265228

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19303
/proc/meminfo: memFree=1478960/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=301076 CPUtime=222.23
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 72533 0 0 0 22189 34 0 0 25 0 1 0 279740992 308301824 71895 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134590773 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 75269 71895 139 317 0 74948 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 301076

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19303
/proc/meminfo: memFree=1433712/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=341560 CPUtime=282.22
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 83735 0 0 0 28182 40 0 0 25 0 1 0 279740992 349757440 83097 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 85390 83097 139 317 0 85069 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 341560

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19303
/proc/meminfo: memFree=1406640/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=365308 CPUtime=342.21
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 90492 0 0 0 34176 45 0 0 25 0 1 0 279740992 374075392 89854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 91327 89854 139 317 0 91006 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 365308

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19303
/proc/meminfo: memFree=1368240/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=429492 CPUtime=402.2
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 105071 0 0 0 40170 50 0 0 25 0 1 0 279740992 439799808 99384 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 107373 99384 139 317 0 107052 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 429492

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19303
/proc/meminfo: memFree=1339184/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=476972 CPUtime=462.17
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 116147 0 0 0 46164 53 0 0 25 0 1 0 279740992 488419328 106632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 119243 106632 139 317 0 118922 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 476972

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19303
/proc/meminfo: memFree=1315120/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=498236 CPUtime=522.17
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 122278 0 0 0 52160 57 0 0 25 0 1 0 279740992 510193664 112763 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 124559 112763 139 317 0 124238 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 498236

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19303
/proc/meminfo: memFree=1274800/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=531612 CPUtime=582.15
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 132216 0 0 0 58153 62 0 0 25 0 1 0 279740992 544370688 122701 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 132903 122701 139 317 0 132582 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 531612

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19303
/proc/meminfo: memFree=1253040/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=550008 CPUtime=642.14
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 137642 0 0 0 64150 64 0 0 25 0 1 0 279740992 563208192 128127 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 137502 128127 139 317 0 137181 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 550008


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19303
/proc/meminfo: memFree=1182192/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=610944 CPUtime=882.07
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 155306 0 0 0 88134 73 0 0 25 0 1 0 279740992 625606656 145791 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 152736 145791 139 317 0 152415 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 610944

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19303
/proc/meminfo: memFree=1167792/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=623160 CPUtime=942.06
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 159131 0 0 0 94131 75 0 0 25 0 1 0 279740992 638115840 149616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 155790 149616 139 317 0 155469 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 623160

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19303
/proc/meminfo: memFree=1160688/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=629336 CPUtime=1002.05
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 160682 0 0 0 100130 75 0 0 25 0 1 0 279740992 644440064 151167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 157334 151167 139 317 0 157013 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 629336

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19303
/proc/meminfo: memFree=1151408/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=636876 CPUtime=1062.04
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 162995 0 0 0 106127 77 0 0 25 0 1 0 279740992 652161024 153480 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 159219 153480 139 317 0 158898 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 636876

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19303
/proc/meminfo: memFree=1135472/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=649628 CPUtime=1122.02
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 166976 0 0 0 112123 79 0 0 25 0 1 0 279740992 665219072 157461 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 162407 157461 139 317 0 162086 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 649628

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19303
/proc/meminfo: memFree=1125232/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=658220 CPUtime=1182
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 169514 0 0 0 118120 80 0 0 25 0 1 0 279740992 674017280 159999 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 164555 159999 139 317 0 164234 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 658220

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19303
/proc/meminfo: memFree=1113904/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=667876 CPUtime=1241.99
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 172331 0 0 0 124118 81 0 0 25 0 1 0 279740992 683905024 162816 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 166969 162816 139 317 0 166648 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 667876

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19303
/proc/meminfo: memFree=1103280/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=676864 CPUtime=1301.98
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 174987 0 0 0 130115 83 0 0 25 0 1 0 279740992 693108736 165472 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 169216 165472 139 317 0 168895 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 676864

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/71 19411
/proc/meminfo: memFree=1092200/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=685200 CPUtime=1361.92
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 177359 0 0 0 136106 86 0 0 25 0 1 0 279740992 701644800 167844 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 171300 167844 139 317 0 170979 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 685200

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19501
/proc/meminfo: memFree=1084016/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=694192 CPUtime=1421.85
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 179753 0 0 0 142097 88 0 0 25 0 1 0 279740992 710852608 170238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563461 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 173548 170238 139 317 0 173227 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 694192

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19501
/proc/meminfo: memFree=1076656/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=699984 CPUtime=1481.83
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 181585 0 0 0 148094 89 0 0 25 0 1 0 279740992 716783616 172070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 174996 172070 139 317 0 174675 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 699984

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19501
/proc/meminfo: memFree=1069552/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=705476 CPUtime=1541.82
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 183364 0 0 0 154092 90 0 0 25 0 1 0 279740992 722407424 173849 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 176369 173849 139 317 0 176048 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 705476

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19501
/proc/meminfo: memFree=1062832/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=712308 CPUtime=1601.81
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 185062 0 0 0 160090 91 0 0 25 0 1 0 279740992 729403392 175547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 178077 175547 139 317 0 177756 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 712308

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19501
/proc/meminfo: memFree=1054448/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=719016 CPUtime=1661.79
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 187137 0 0 0 166087 92 0 0 25 0 1 0 279740992 736272384 177622 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 179754 177622 139 317 0 179433 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 719016

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19501
/proc/meminfo: memFree=1049264/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=722632 CPUtime=1721.77
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 188432 0 0 0 172085 92 0 0 25 0 1 0 279740992 739975168 178917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 180658 178917 139 317 0 180337 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 722632

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19501
/proc/meminfo: memFree=1044976/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=726792 CPUtime=1781.76
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 189502 0 0 0 178083 93 0 0 25 0 1 0 279740992 744235008 179987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 181698 179987 139 317 0 181377 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 726792



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 19501
/proc/meminfo: memFree=1044400/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=727328 CPUtime=1800.06
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194304 189640 0 0 0 179913 93 0 0 25 0 1 0 279740992 744783872 180125 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 181832 180125 139 317 0 181511 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 727328

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: 0.99 0.98 0.99 2/65 19501
/proc/meminfo: memFree=1044400/2055920 swapFree=4183864/4192956
[pid=19300] ppid=19298 vsize=0 CPUtime=1800.16
/proc/19300/stat : 19300 (oree) R 19298 19300 18836 0 -1 4194308 189656 0 0 0 179916 100 0 0 25 0 1 0 279740992 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19300/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.76
CPU time (s): 1800.22
CPU user time (s): 1799.16
CPU system time (s): 1.05484
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 727328

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

runsolver used 1.36079 second user time and 3.61645 second system time

The end

Launcher Data (download as text)

Begin job on node68 on Tue May  1 16:38:35 UTC 2007

IDJOB= 455120
IDBENCH= 48242
IDSOLVER= 172
FILE ID= node68/455120-1178037514

PBS_JOBID= 4728409

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

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  13c8aeb5c21aab422ad1cf9309500df6

RANDOM SEED= 139656274

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node68.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.216
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.216
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:       1766992 kB
Buffers:         28320 kB
Cached:         188212 kB
SwapCached:       2904 kB
Active:          77460 kB
Inactive:       148656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1766992 kB
SwapTotal:     4192956 kB
SwapFree:      4183864 kB
Dirty:            2272 kB
Writeback:           0 kB
Mapped:          15436 kB
Slab:            48904 kB
Committed_AS:  3361244 kB
PageTables:       1380 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 node68 on Tue May  1 17:08:37 UTC 2007