Trace number 364736

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.26 1800.73

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
primes-dimacs-cnf/normalized-aim-200-2_0-yes1-3.opb
MD5SUMa7b7899aac4e8bbad83795fe620e3d59
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark200
Best CPU time to get the best result obtained on this benchmark0.012997
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 200
Optimality of the best value was proved YES
Number of variables400
Total number of constraints600
Number of constraints which are clauses599
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint3
Number of terms in the objective function 400
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 400
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.00/0.00	c ...done
0.00/0.00	c #vars=400 #constraints=601 hasObjective=yes
0.00/0.01	c res. mode=mod
0.00/0.01	c VSIDS like heuristics
0.00/0.01	c complete search running
0.02/0.09	c restart after 401 decisions
0.09/0.11	c nbDecision=500 #constraints=799
0.09/0.19	c restart after 801 decisions
0.19/0.24	c nbDecision=1000 #constraints=989
0.49/0.50	c nbDecision=1500 #constraints=1267
0.49/0.57	c restart after 1601 decisions
0.69/0.76	c nbDecision=2000 #constraints=1523
1.29/1.30	c nbDecision=2500 #constraints=1855
1.89/1.91	c nbDecision=3000 #constraints=2177
2.19/2.22	c restart after 3201 decisions
2.49/2.54	c nbDecision=3500 #constraints=2479
3.19/3.29	c nbDecision=4000 #constraints=2799
4.89/4.95	c nbDecision=4500 #constraints=3204
6.69/6.77	c nbDecision=5000 #constraints=3600
8.69/8.72	c nbDecision=5500 #constraints=3958
11.68/11.72	c nbDecision=6000 #constraints=4329
13.09/13.12	c restart after 6401 decisions
13.19/13.27	c nbDecision=6500 #constraints=4560
14.19/14.25	c nbDecision=7000 #constraints=4765
16.39/16.42	c nbDecision=7500 #constraints=5041
19.19/19.27	c nbDecision=8000 #constraints=5359
21.49/21.54	c nbDecision=8500 #constraints=5627
24.99/25.03	c nbDecision=9000 #constraints=5953
32.08/32.13	c nbDecision=9500 #constraints=6360
38.18/38.20	c nbDecision=10000 #constraints=6761
44.57/44.67	c nbDecision=10500 #constraints=7129
50.27/50.33	c nbDecision=11000 #constraints=7425
57.58/57.62	c nbDecision=11500 #constraints=7770
66.87/66.92	c nbDecision=12000 #constraints=8137
74.87/74.95	c nbDecision=12500 #constraints=8504
80.27/80.34	c restart after 12801 decisions
83.17/83.28	c nbDecision=13000 #constraints=8843
89.97/90.01	c nbDecision=13500 #constraints=9109
97.46/97.56	c nbDecision=14000 #constraints=9438
112.26/112.33	c nbDecision=14500 #constraints=9856
127.16/127.21	c nbDecision=15000 #constraints=10257
142.35/142.40	c nbDecision=15500 #constraints=10650
158.85/158.90	c nbDecision=16000 #constraints=11052
177.14/177.28	c nbDecision=16500 #constraints=11472
192.84/193.00	c nbDecision=17000 #constraints=11850
213.24/213.31	c nbDecision=17500 #constraints=12247
230.84/230.98	c nbDecision=18000 #constraints=12608
248.83/248.92	c nbDecision=18500 #constraints=12937
273.02/273.12	c nbDecision=19000 #constraints=13352
289.92/290.04	c nbDecision=19500 #constraints=13718
304.91/305.09	c nbDecision=20000 #constraints=14071
319.81/319.90	c nbDecision=20500 #constraints=14418
338.50/338.65	c nbDecision=21000 #constraints=14816
356.90/357.00	c nbDecision=21500 #constraints=15184
379.39/379.54	c nbDecision=22000 #constraints=15555
406.69/406.80	c nbDecision=22500 #constraints=15956
423.48/423.69	c nbDecision=23000 #constraints=16284
441.98/442.16	c nbDecision=23500 #constraints=16575
460.78/460.98	c nbDecision=24000 #constraints=16902
486.57/486.76	c nbDecision=24500 #constraints=17327
512.95/513.15	c nbDecision=25000 #constraints=17724
542.64/542.88	c nbDecision=25500 #constraints=18154
548.54/548.77	c restart after 25601 decisions
570.65/570.84	c nbDecision=26000 #constraints=18524
599.03/599.30	c nbDecision=26500 #constraints=18935
622.23/622.41	c nbDecision=27000 #constraints=19289
645.72/645.96	c nbDecision=27500 #constraints=19661
674.91/675.16	c nbDecision=28000 #constraints=20050
701.00/701.25	c nbDecision=28500 #constraints=20426
727.10/727.35	c nbDecision=29000 #constraints=20804
768.19/768.47	c nbDecision=29500 #constraints=21236
809.88/810.19	c nbDecision=30000 #constraints=21648
846.47/846.71	c nbDecision=30500 #constraints=22014
879.76/880.02	c nbDecision=31000 #constraints=22419
918.86/919.17	c nbDecision=31500 #constraints=22841
954.45/954.72	c nbDecision=32000 #constraints=23200
993.83/994.18	c nbDecision=32500 #constraints=23573
1037.62/1037.92	c nbDecision=33000 #constraints=23963
1090.41/1090.74	c nbDecision=33500 #constraints=24391
1137.89/1138.29	c nbDecision=34000 #constraints=24787
1176.08/1176.49	c nbDecision=34500 #constraints=25147
1213.78/1214.19	c nbDecision=35000 #constraints=25500
1252.47/1252.87	c nbDecision=35500 #constraints=25853
1290.76/1291.16	c nbDecision=36000 #constraints=26240
1339.84/1340.23	c nbDecision=36500 #constraints=26663
1388.43/1388.86	c nbDecision=37000 #constraints=27071
1438.71/1439.13	c nbDecision=37500 #constraints=27475
1496.80/1497.25	c nbDecision=38000 #constraints=27904
1561.09/1561.55	c nbDecision=38500 #constraints=28325
1621.67/1622.15	c nbDecision=39000 #constraints=28722
1668.16/1668.60	c nbDecision=39500 #constraints=29074
1714.44/1714.90	c nbDecision=40000 #constraints=29412
1757.73/1758.20	c nbDecision=40500 #constraints=29779
1800.03/1800.50	Received signal 15
1800.23/1800.71	
1800.23/1800.71	s UNKNOWN
1800.23/1800.71	
1800.23/1800.71	c user time= 1800.13 s
1800.23/1800.71	c system time= 0.113982 s
1800.23/1800.71	c wall clock time=1800.71

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

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

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


[startup+0 s]
/proc/loadavg: 1.02 1.01 1.00 3/64 9422
/proc/meminfo: memFree=1602304/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=1468 CPUtime=0
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 174839141 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134624374 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 367 165 130 317 0 46 0

[startup+0.0254069 s]
/proc/loadavg: 1.02 1.01 1.00 3/64 9422
/proc/meminfo: memFree=1602304/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=1736 CPUtime=0.02
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 240 0 0 0 2 0 0 0 18 0 1 0 174839141 1777664 222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 434 222 139 317 0 113 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1736

[startup+0.101413 s]
/proc/loadavg: 1.02 1.01 1.00 3/64 9422
/proc/meminfo: memFree=1602304/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=1868 CPUtime=0.09
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 276 0 0 0 9 0 0 0 18 0 1 0 174839141 1912832 258 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 467 258 139 317 0 146 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1868

[startup+0.30143 s]
/proc/loadavg: 1.02 1.01 1.00 3/64 9422
/proc/meminfo: memFree=1602304/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=2132 CPUtime=0.29
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 358 0 0 0 29 0 0 0 19 0 1 0 174839141 2183168 340 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134530399 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 533 340 139 317 0 212 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2132

[startup+0.701463 s]
/proc/loadavg: 1.02 1.01 1.00 3/64 9422
/proc/meminfo: memFree=1602304/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=2656 CPUtime=0.69
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 486 0 0 0 69 0 0 0 23 0 1 0 174839141 2719744 468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 664 468 139 317 0 343 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2656

[startup+1.50153 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 9423
/proc/meminfo: memFree=1600632/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=3444 CPUtime=1.49
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 672 0 0 0 149 0 0 0 25 0 1 0 174839141 3526656 654 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604157 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 861 654 139 317 0 540 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3444

[startup+3.10166 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 9423
/proc/meminfo: memFree=1599544/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=4648 CPUtime=3.09
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 971 0 0 0 309 0 0 0 25 0 1 0 174839141 4759552 953 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711003 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 1162 953 139 317 0 841 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4648

[startup+6.30193 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 9423
/proc/meminfo: memFree=1597752/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=6092 CPUtime=6.29
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 1317 0 0 0 629 0 0 0 25 0 1 0 174839141 6238208 1299 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 1523 1299 139 317 0 1202 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6092

[startup+12.7015 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 9423
/proc/meminfo: memFree=1595896/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=7812 CPUtime=12.68
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 1715 0 0 0 1268 0 0 0 25 0 1 0 174839141 7999488 1697 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 1953 1697 139 317 0 1632 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 7812

[startup+25.5015 s]
/proc/loadavg: 1.01 1.01 1.00 2/65 9423
/proc/meminfo: memFree=1593208/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=10480 CPUtime=25.49
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 2356 0 0 0 2548 1 0 0 25 0 1 0 174839141 10731520 2338 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 2620 2338 139 317 0 2299 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10480

[startup+51.1016 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 9423
/proc/meminfo: memFree=1590712/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=13040 CPUtime=51.07
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 2969 0 0 0 5106 1 0 0 25 0 1 0 174839141 13352960 2951 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 3260 2951 139 317 0 2939 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 13040

[startup+102.306 s]
/proc/loadavg: 1.04 1.02 1.00 2/65 9423
/proc/meminfo: memFree=1587000/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=16868 CPUtime=102.27
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 3929 0 0 0 10225 2 0 0 25 0 1 0 174839141 17272832 3854 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 4217 3854 139 317 0 3896 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 16868

[startup+162.302 s]
/proc/loadavg: 1.06 1.03 1.00 2/65 9423
/proc/meminfo: memFree=1584632/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=19288 CPUtime=162.25
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 4525 0 0 0 16222 3 0 0 25 0 1 0 174839141 19750912 4450 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 4822 4450 139 317 0 4501 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 19288

[startup+222.302 s]
/proc/loadavg: 1.06 1.03 1.00 2/65 9423
/proc/meminfo: memFree=1582584/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=21340 CPUtime=222.24
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 5019 0 0 0 22220 4 0 0 25 0 1 0 174839141 21852160 4944 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 5335 4944 139 317 0 5014 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 21340

[startup+282.302 s]
/proc/loadavg: 1.05 1.04 1.00 2/65 9423
/proc/meminfo: memFree=1580920/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=23344 CPUtime=282.22
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 5448 0 0 0 28218 4 0 0 25 0 1 0 174839141 23904256 5373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 5836 5373 139 317 0 5515 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 23344

[startup+342.302 s]
/proc/loadavg: 1.02 1.03 1.00 2/65 9423
/proc/meminfo: memFree=1578552/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=25880 CPUtime=342.2
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 6019 0 0 0 34216 4 0 0 25 0 1 0 174839141 26501120 5944 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 6470 5944 139 317 0 6149 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 25880

[startup+402.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 9423
/proc/meminfo: memFree=1577080/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=27452 CPUtime=402.19
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 6400 0 0 0 40214 5 0 0 25 0 1 0 174839141 28110848 6325 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 6863 6325 139 317 0 6542 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 27452

[startup+462.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 9423
/proc/meminfo: memFree=1575352/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=29676 CPUtime=462.17
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 6941 0 0 0 46212 5 0 0 25 0 1 0 174839141 30388224 6752 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 7419 6752 139 317 0 7098 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 29676

[startup+522.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 9423
/proc/meminfo: memFree=1573624/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=31428 CPUtime=522.15
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 7373 0 0 0 52210 5 0 0 25 0 1 0 174839141 32182272 7184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 7857 7184 139 317 0 7536 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 31428

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9423
/proc/meminfo: memFree=1572216/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=32772 CPUtime=582.14
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 7729 0 0 0 58208 6 0 0 25 0 1 0 174839141 33558528 7540 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 8193 7540 139 317 0 7872 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 32772

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9423
/proc/meminfo: memFree=1570616/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=34220 CPUtime=642.13
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 8127 0 0 0 64207 6 0 0 25 0 1 0 174839141 35041280 7938 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715809 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 8555 7938 139 317 0 8234 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 34220


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

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9423
/proc/meminfo: memFree=1563960/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=41212 CPUtime=942.05
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 9852 0 0 0 94197 8 0 0 25 0 1 0 174839141 42201088 9597 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 10303 9597 139 317 0 9982 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 41212

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9423
/proc/meminfo: memFree=1562936/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=42388 CPUtime=1002.03
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 10172 0 0 0 100195 8 0 0 25 0 1 0 174839141 43405312 9851 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 10597 9851 139 317 0 10276 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 42388

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9423
/proc/meminfo: memFree=1562104/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=43168 CPUtime=1062.01
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 10366 0 0 0 106193 8 0 0 25 0 1 0 174839141 44204032 10045 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 10792 10045 139 317 0 10471 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 43168

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9423
/proc/meminfo: memFree=1561400/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=44228 CPUtime=1122
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 10641 0 0 0 112192 8 0 0 25 0 1 0 174839141 45289472 10221 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 11057 10221 139 317 0 10736 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 44228

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9423
/proc/meminfo: memFree=1560568/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=45028 CPUtime=1181.98
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 10855 0 0 0 118190 8 0 0 25 0 1 0 174839141 46108672 10435 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 11257 10435 139 317 0 10936 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 45028

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9423
/proc/meminfo: memFree=1559544/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=46332 CPUtime=1241.97
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 11163 0 0 0 124188 9 0 0 25 0 1 0 174839141 47443968 10677 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 11583 10677 139 317 0 11262 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 46332

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9423
/proc/meminfo: memFree=1558584/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=47260 CPUtime=1301.96
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 11407 0 0 0 130187 9 0 0 25 0 1 0 174839141 48394240 10921 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 11815 10921 139 317 0 11494 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 47260

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9423
/proc/meminfo: memFree=1557688/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=48268 CPUtime=1361.94
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 11653 0 0 0 136185 9 0 0 25 0 1 0 174839141 49426432 11134 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 12067 11134 139 317 0 11746 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 48268

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9423
/proc/meminfo: memFree=1556920/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=49048 CPUtime=1421.92
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 11861 0 0 0 142183 9 0 0 25 0 1 0 174839141 50225152 11342 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 12262 11342 139 317 0 11941 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 49048

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9425
/proc/meminfo: memFree=1555960/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=49828 CPUtime=1481.91
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 12096 0 0 0 148181 10 0 0 25 0 1 0 174839141 51023872 11544 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 12457 11544 139 317 0 12136 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 49828

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9425
/proc/meminfo: memFree=1555448/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=50348 CPUtime=1541.89
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 12243 0 0 0 154179 10 0 0 25 0 1 0 174839141 51556352 11691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 12587 11691 139 317 0 12266 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 50348

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9425
/proc/meminfo: memFree=1554872/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=50868 CPUtime=1601.87
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 12385 0 0 0 160177 10 0 0 25 0 1 0 174839141 52088832 11833 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 12717 11833 139 317 0 12396 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 50868

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9425
/proc/meminfo: memFree=1554104/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=51384 CPUtime=1661.86
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 12562 0 0 0 166176 10 0 0 25 0 1 0 174839141 52617216 12010 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 12846 12010 139 317 0 12525 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 51384

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9425
/proc/meminfo: memFree=1553464/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=52068 CPUtime=1721.85
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 12733 0 0 0 172174 11 0 0 25 0 1 0 174839141 53317632 12181 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 13017 12181 139 317 0 12696 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 52068

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9425
/proc/meminfo: memFree=1552504/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=53032 CPUtime=1781.83
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 12989 0 0 0 178172 11 0 0 25 0 1 0 174839141 54304768 12404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 13258 12404 139 317 0 12937 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 53032



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 9425
/proc/meminfo: memFree=1552376/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=53296 CPUtime=1800.03
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 13033 0 0 0 179992 11 0 0 25 0 1 0 174839141 54575104 12448 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 13324 12448 139 317 0 13003 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 53296

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9426
/proc/meminfo: memFree=1552368/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=53296 CPUtime=1800.13
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 13033 0 0 0 180002 11 0 0 25 0 1 0 174839141 54575104 12448 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 13324 12448 139 317 0 13003 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 53296

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 9426
/proc/meminfo: memFree=1552368/2055920 swapFree=4184012/4192956
[pid=9422] ppid=9420 vsize=53296 CPUtime=1800.23
/proc/9422/stat : 9422 (oree) R 9420 9422 8643 0 -1 4194304 13034 0 0 0 180012 11 0 0 25 0 1 0 174839141 54575104 12449 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9422/statm: 13324 12449 139 317 0 13003 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 53296

Child status: 0
Real time (s): 1800.73
CPU time (s): 1800.26
CPU user time (s): 1800.14
CPU system time (s): 0.122981
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 53296

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

runsolver used 1.41078 second user time and 3.53746 second system time

The end

Launcher Data (download as text)

Begin job on node65 on Thu Apr 19 13:14:55 UTC 2007

IDJOB= 364736
IDBENCH= 2147
IDSOLVER= 172
FILE ID= node65/364736-1176988495

PBS_JOBID= 4630420

Free space on /tmp= 66400 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-aim-200-2_0-yes1-3.opb
COMMAND LINE= oree /tmp/evaluation/364736-1176988495/instance-364736-1176988495.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node65/watcher-364736-1176988495 -o ROOT/results/node65/solver-364736-1176988495 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/364736-1176988495/instance-364736-1176988495.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  a7b7899aac4e8bbad83795fe620e3d59

RANDOM SEED= 5205431

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node65.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.245
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.245
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:       1602712 kB
Buffers:         27244 kB
Cached:         371516 kB
SwapCached:       2712 kB
Active:         204368 kB
Inactive:       208624 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1602712 kB
SwapTotal:     4192956 kB
SwapFree:      4184012 kB
Dirty:            1328 kB
Writeback:           0 kB
Mapped:          20252 kB
Slab:            26228 kB
Committed_AS:  2290020 kB
PageTables:       1468 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= 66400 MiB

End job on node65 on Thu Apr 19 13:44:58 UTC 2007