Trace number 357134

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.2 1800.82

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32e5.opb
MD5SUMad6c04a791a5d9edc6d6bca9a842a8ee
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark503
Best CPU time to get the best result obtained on this benchmark83.9142
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 503
Optimality of the best value was proved YES
Number of variables1044
Total number of constraints12158
Number of constraints which are clauses12158
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint32
Number of terms in the objective function 1044
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 1044
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1044
Number of bits of the biggest sum of numbers11
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.09/0.13	c ...done
0.09/0.13	c #vars=1044 #constraints=12159 hasObjective=yes
0.29/0.32	c res. mode=mod
0.29/0.32	c VSIDS like heuristics
0.29/0.32	c complete search running
0.49/0.58	c restart after 401 decisions
0.59/0.60	c nbDecision=500 #constraints=12247
0.59/0.69	c restart after 801 decisions
0.69/0.73	c nbDecision=1000 #constraints=12256
0.79/0.87	c nbDecision=1500 #constraints=12266
0.79/0.90	c restart after 1601 decisions
0.89/1.00	c nbDecision=2000 #constraints=12275
1.09/1.14	c nbDecision=2500 #constraints=12285
1.19/1.27	c nbDecision=3000 #constraints=12295
1.29/1.33	c restart after 3201 decisions
1.39/1.41	c nbDecision=3500 #constraints=12311
1.59/1.63	c nbDecision=4000 #constraints=12384
1.89/1.91	c nbDecision=4500 #constraints=12440
2.09/2.13	c nbDecision=5000 #constraints=12466
2.29/2.35	c nbDecision=5500 #constraints=12483
2.69/2.72	c nbDecision=6000 #constraints=12542
2.89/2.90	c restart after 6401 decisions
2.89/2.94	c nbDecision=6500 #constraints=12555
3.19/3.22	c nbDecision=7000 #constraints=12575
3.68/3.74	c nbDecision=7500 #constraints=12676
4.18/4.22	c nbDecision=8000 #constraints=12718
4.39/4.43	c nbDecision=8500 #constraints=12742
4.58/4.64	c nbDecision=9000 #constraints=12753
4.78/4.86	c nbDecision=9500 #constraints=12765
5.28/5.32	c nbDecision=10000 #constraints=12823
5.68/5.76	c nbDecision=10500 #constraints=12870
6.18/6.27	c nbDecision=11000 #constraints=12948
7.18/7.23	c nbDecision=11500 #constraints=13107
7.79/7.85	c nbDecision=12000 #constraints=13212
8.79/8.86	c nbDecision=12500 #constraints=13365
8.99/9.02	c restart after 12801 decisions
9.09/9.16	c nbDecision=13000 #constraints=13378
9.39/9.48	c nbDecision=13500 #constraints=13389
9.99/10.02	c nbDecision=14000 #constraints=13426
10.39/10.44	c nbDecision=14500 #constraints=13472
10.79/10.82	c nbDecision=15000 #constraints=13486
11.09/11.17	c nbDecision=15500 #constraints=13497
11.49/11.58	c nbDecision=16000 #constraints=13510
12.69/12.73	c nbDecision=16500 #constraints=13613
13.58/13.70	c nbDecision=17000 #constraints=13706
14.48/14.53	c nbDecision=17500 #constraints=13768
15.18/15.25	c nbDecision=18000 #constraints=13786
16.58/16.69	c nbDecision=18500 #constraints=13911
17.68/17.75	c nbDecision=19000 #constraints=14015
19.38/19.48	c nbDecision=19500 #constraints=14172
20.08/20.13	c nbDecision=20000 #constraints=14216
20.49/20.56	c nbDecision=20500 #constraints=14232
21.49/21.50	c nbDecision=21000 #constraints=14274
22.59/22.61	c nbDecision=21500 #constraints=14356
24.38/24.40	c nbDecision=22000 #constraints=14516
26.18/26.23	c nbDecision=22500 #constraints=14644
28.18/28.25	c nbDecision=23000 #constraints=14773
30.17/30.26	c nbDecision=23500 #constraints=14919
34.68/34.73	c nbDecision=24000 #constraints=15190
36.58/36.60	c nbDecision=24500 #constraints=15304
40.97/41.04	c nbDecision=25000 #constraints=15533
44.68/44.79	c nbDecision=25500 #constraints=15740
46.08/46.12	c restart after 25601 decisions
47.18/47.21	c nbDecision=26000 #constraints=15825
48.28/48.33	c nbDecision=26500 #constraints=15872
49.38/49.47	c nbDecision=27000 #constraints=15883
50.67/50.74	c nbDecision=27500 #constraints=15896
51.77/51.86	c nbDecision=28000 #constraints=15908
54.27/54.35	c nbDecision=28500 #constraints=15967
58.07/58.14	c nbDecision=29000 #constraints=16064
60.67/60.71	c nbDecision=29500 #constraints=16143
62.17/62.25	c nbDecision=30000 #constraints=16175
64.77/64.86	c nbDecision=30500 #constraints=16265
68.17/68.22	c nbDecision=31000 #constraints=16342
70.16/70.27	c nbDecision=31500 #constraints=16417
74.66/74.72	c nbDecision=32000 #constraints=16524
84.56/84.69	c nbDecision=32500 #constraints=16783
87.05/87.17	c nbDecision=33000 #constraints=16871
92.46/92.52	c nbDecision=33500 #constraints=17031
96.46/96.55	c nbDecision=34000 #constraints=17134
106.45/106.53	c nbDecision=34500 #constraints=17387
113.55/113.68	c nbDecision=35000 #constraints=17573
115.65/115.77	c nbDecision=35500 #constraints=17635
117.95/118.02	c nbDecision=36000 #constraints=17686
120.54/120.65	c nbDecision=36500 #constraints=17762
124.84/124.90	c nbDecision=37000 #constraints=17832
129.65/129.71	c nbDecision=37500 #constraints=17966
134.15/134.29	c nbDecision=38000 #constraints=18122
140.24/140.34	c nbDecision=38500 #constraints=18289
146.53/146.63	c nbDecision=39000 #constraints=18436
155.04/155.14	c nbDecision=39500 #constraints=18619
168.24/168.33	c nbDecision=40000 #constraints=18877
173.73/173.86	c nbDecision=40500 #constraints=18989
183.72/183.85	c nbDecision=41000 #constraints=19201
204.11/204.28	c nbDecision=41500 #constraints=19553
221.62/221.73	c nbDecision=42000 #constraints=19855
231.11/231.21	c nbDecision=42500 #constraints=20012
241.61/241.77	c nbDecision=43000 #constraints=20230
262.40/262.58	c nbDecision=43500 #constraints=20527
282.49/282.61	c nbDecision=44000 #constraints=20841
313.59/313.73	c nbDecision=44500 #constraints=21231
340.17/340.38	c nbDecision=45000 #constraints=21624
353.97/354.14	c nbDecision=45500 #constraints=21765
362.66/362.80	c nbDecision=46000 #constraints=21891
369.27/369.49	c nbDecision=46500 #constraints=22024
381.06/381.27	c nbDecision=47000 #constraints=22211
387.16/387.38	c nbDecision=47500 #constraints=22278
396.06/396.27	c nbDecision=48000 #constraints=22392
404.75/404.98	c nbDecision=48500 #constraints=22472
420.05/420.24	c nbDecision=49000 #constraints=22658
434.64/434.89	c nbDecision=49500 #constraints=22865
453.83/454.04	c nbDecision=50000 #constraints=23117
469.54/469.74	c nbDecision=50500 #constraints=23341
487.92/488.13	c nbDecision=51000 #constraints=23541
496.22/496.41	c restart after 51201 decisions
513.11/513.35	c nbDecision=51500 #constraints=23789
542.70/542.93	c nbDecision=52000 #constraints=24108
574.80/575.02	c nbDecision=52500 #constraints=24455
622.28/622.54	c nbDecision=53000 #constraints=24831
651.97/652.25	c nbDecision=53500 #constraints=25069
658.96/659.23	c nbDecision=54000 #constraints=25137
669.76/670.06	c nbDecision=54500 #constraints=25218
679.36/679.60	c nbDecision=55000 #constraints=25276
696.15/696.46	c nbDecision=55500 #constraints=25414
707.34/707.61	c nbDecision=56000 #constraints=25469
724.05/724.35	c nbDecision=56500 #constraints=25599
744.44/744.78	c nbDecision=57000 #constraints=25735
756.44/756.73	c nbDecision=57500 #constraints=25847
775.62/775.97	c nbDecision=58000 #constraints=26063
802.22/802.58	c nbDecision=58500 #constraints=26340
830.60/830.95	c nbDecision=59000 #constraints=26639
844.00/844.33	c nbDecision=59500 #constraints=26768
864.09/864.47	c nbDecision=60000 #constraints=26979
896.68/897.00	c nbDecision=60500 #constraints=27297
934.77/935.14	c nbDecision=61000 #constraints=27668
969.86/970.29	c nbDecision=61500 #constraints=27981
987.95/988.32	c nbDecision=62000 #constraints=28143
1007.15/1007.54	c nbDecision=62500 #constraints=28262
1027.54/1027.97	c nbDecision=63000 #constraints=28383
1052.53/1052.91	c nbDecision=63500 #constraints=28553
1069.02/1069.45	c nbDecision=64000 #constraints=28632
1080.12/1080.57	c nbDecision=64500 #constraints=28675
1098.01/1098.48	c nbDecision=65000 #constraints=28768
1110.11/1110.53	c nbDecision=65500 #constraints=28874
1134.40/1134.89	c nbDecision=66000 #constraints=29023
1158.20/1158.63	c nbDecision=66500 #constraints=29212
1202.58/1203.04	c nbDecision=67000 #constraints=29470
1243.66/1244.11	c nbDecision=67500 #constraints=29725
1297.55/1298.04	c nbDecision=68000 #constraints=30022
1336.73/1337.25	c nbDecision=68500 #constraints=30306
1372.72/1373.20	c nbDecision=69000 #constraints=30571
1402.90/1403.45	c nbDecision=69500 #constraints=30798
1432.20/1432.78	c nbDecision=70000 #constraints=31057
1490.48/1491.03	c nbDecision=70500 #constraints=31388
1542.26/1542.83	c nbDecision=71000 #constraints=31718
1579.85/1580.45	c nbDecision=71500 #constraints=31861
1621.44/1622.00	c nbDecision=72000 #constraints=32130
1669.62/1670.29	c nbDecision=72500 #constraints=32408
1681.81/1682.40	c nbDecision=73000 #constraints=32466
1695.21/1695.85	c nbDecision=73500 #constraints=32537
1724.40/1725.04	c nbDecision=74000 #constraints=32687
1755.39/1756.00	c nbDecision=74500 #constraints=32854
1777.28/1777.98	c nbDecision=75000 #constraints=32954
1800.08/1800.70	Received signal 15
1800.08/1800.79	
1800.08/1800.79	s UNKNOWN
1800.08/1800.79	
1800.08/1800.79	c user time= 1799.95 s
1800.08/1800.79	c system time= 0.222966 s
1800.08/1800.79	c wall clock time=1800.79

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/node59/watcher-357134-1176987872 -o ROOT/results/node59/solver-357134-1176987872 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357134-1176987872/instance-357134-1176987872.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.72 0.93 0.98 2/64 13814
/proc/meminfo: memFree=1782400/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=1468 CPUtime=0
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 146696788 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 367 165 130 317 0 46 0

[startup+0.0194751 s]
/proc/loadavg: 0.72 0.93 0.98 2/64 13814
/proc/meminfo: memFree=1782400/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=1732 CPUtime=0.01
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 255 0 0 0 1 0 0 0 18 0 1 0 146696788 1773568 237 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 433 238 130 317 0 112 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1732

[startup+0.101491 s]
/proc/loadavg: 0.72 0.93 0.98 2/64 13814
/proc/meminfo: memFree=1782400/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=3588 CPUtime=0.09
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 702 0 0 0 9 0 0 0 18 0 1 0 146696788 3674112 684 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 897 684 130 317 0 576 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3588

[startup+0.301529 s]
/proc/loadavg: 0.72 0.93 0.98 2/64 13814
/proc/meminfo: memFree=1782400/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=5568 CPUtime=0.29
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 1214 0 0 0 29 0 0 0 19 0 1 0 146696788 5701632 1196 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 1392 1196 137 317 0 1071 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5568

[startup+0.701604 s]
/proc/loadavg: 0.72 0.93 0.98 2/64 13814
/proc/meminfo: memFree=1782400/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=6428 CPUtime=0.69
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 1410 0 0 0 69 0 0 0 22 0 1 0 146696788 6582272 1308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 1607 1308 139 317 0 1286 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6428

[startup+1.50176 s]
/proc/loadavg: 0.72 0.93 0.98 2/65 13815
/proc/meminfo: memFree=1777528/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=6428 CPUtime=1.49
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 1410 0 0 0 149 0 0 0 25 0 1 0 146696788 6582272 1308 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 1607 1308 139 317 0 1286 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6428

[startup+3.10106 s]
/proc/loadavg: 0.72 0.93 0.98 2/65 13815
/proc/meminfo: memFree=1777208/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=6944 CPUtime=3.08
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 1570 0 0 0 308 0 0 0 25 0 1 0 146696788 7110656 1468 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716129 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 1736 1468 139 317 0 1415 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 6944

[startup+6.30167 s]
/proc/loadavg: 0.74 0.94 0.98 2/65 13815
/proc/meminfo: memFree=1775992/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=8124 CPUtime=6.28
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 1862 0 0 0 628 0 0 0 25 0 1 0 146696788 8318976 1760 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 2031 1760 139 317 0 1710 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 8124

[startup+12.7019 s]
/proc/loadavg: 0.76 0.94 0.98 2/65 13815
/proc/meminfo: memFree=1773504/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=10468 CPUtime=12.69
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 2458 0 0 0 1268 1 0 0 25 0 1 0 146696788 10719232 2356 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712500 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 2617 2356 139 317 0 2296 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 10468

[startup+25.5013 s]
/proc/loadavg: 0.81 0.94 0.98 2/65 13815
/proc/meminfo: memFree=1769664/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=14448 CPUtime=25.48
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 3398 0 0 0 2546 2 0 0 25 0 1 0 146696788 14794752 3296 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 3612 3296 139 317 0 3291 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 14448

[startup+51.1012 s]
/proc/loadavg: 0.87 0.94 0.98 2/65 13815
/proc/meminfo: memFree=1764800/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=19420 CPUtime=51.07
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 4597 0 0 0 5103 4 0 0 25 0 1 0 146696788 19886080 4495 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 4855 4495 139 317 0 4534 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 19420

[startup+102.306 s]
/proc/loadavg: 0.94 0.95 0.98 2/65 13815
/proc/meminfo: memFree=1759808/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=24784 CPUtime=102.26
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 5834 0 0 0 10221 5 0 0 25 0 1 0 146696788 25378816 5732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 6196 5732 139 317 0 5875 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 24784

[startup+162.301 s]
/proc/loadavg: 0.98 0.95 0.98 2/65 13815
/proc/meminfo: memFree=1753536/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=31464 CPUtime=162.24
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 7413 0 0 0 16217 7 0 0 25 0 1 0 146696788 32219136 7311 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134533544 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 7866 7311 139 317 0 7545 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 31464

[startup+222.302 s]
/proc/loadavg: 0.99 0.96 0.98 2/65 13815
/proc/meminfo: memFree=1748160/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=37212 CPUtime=222.22
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 8710 0 0 0 22214 8 0 0 25 0 1 0 146696788 38105088 8608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718521 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 9303 8608 139 317 0 8982 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 37212

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13815
/proc/meminfo: memFree=1743680/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=42164 CPUtime=282.19
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 9850 0 0 0 28211 8 0 0 25 0 1 0 146696788 43175936 9748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 10541 9748 139 317 0 10220 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 42164

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13815
/proc/meminfo: memFree=1739584/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=45712 CPUtime=342.17
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 10845 0 0 0 34208 9 0 0 25 0 1 0 146696788 46809088 10743 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 11428 10743 139 317 0 11107 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 45712

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13815
/proc/meminfo: memFree=1736320/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=48780 CPUtime=402.15
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 11675 0 0 0 40205 10 0 0 25 0 1 0 146696788 49950720 11573 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 12195 11573 139 317 0 11874 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 48780

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13815
/proc/meminfo: memFree=1732544/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=53440 CPUtime=462.13
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 12617 0 0 0 46203 10 0 0 25 0 1 0 146696788 54722560 12515 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712546 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 13360 12515 139 317 0 13039 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 53440

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13815
/proc/meminfo: memFree=1729792/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=56852 CPUtime=522.11
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 13285 0 0 0 52200 11 0 0 25 0 1 0 146696788 58216448 13183 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718662 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 14213 13183 139 317 0 13892 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 56852

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13815
/proc/meminfo: memFree=1726528/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=60928 CPUtime=582.09
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 14272 0 0 0 58197 12 0 0 25 0 1 0 146696788 62390272 14004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 15232 14004 139 317 0 14911 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 60928

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13815
/proc/meminfo: memFree=1724480/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=62884 CPUtime=642.07
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 14783 0 0 0 64195 12 0 0 25 0 1 0 146696788 64393216 14515 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 15721 14515 139 317 0 15400 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 62884


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13815
/proc/meminfo: memFree=1715328/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=72508 CPUtime=881.99
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 17035 0 0 0 88184 15 0 0 25 0 1 0 146696788 74248192 16767 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 18127 16767 139 317 0 17806 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 72508

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13815
/proc/meminfo: memFree=1712320/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=76188 CPUtime=941.97
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 17803 0 0 0 94182 15 0 0 25 0 1 0 146696788 78016512 17535 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 19047 17535 139 317 0 18726 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 76188

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13815
/proc/meminfo: memFree=1710336/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=78544 CPUtime=1001.94
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 18281 0 0 0 100179 15 0 0 25 0 1 0 146696788 80429056 18013 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 19636 18013 139 317 0 19315 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 78544

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13815
/proc/meminfo: memFree=1708992/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=79856 CPUtime=1061.93
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 18615 0 0 0 106177 16 0 0 25 0 1 0 146696788 81772544 18347 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 19964 18347 139 317 0 19643 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 79856

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13815
/proc/meminfo: memFree=1707712/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=81288 CPUtime=1121.9
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 18921 0 0 0 112174 16 0 0 25 0 1 0 146696788 83238912 18653 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 20322 18653 139 317 0 20001 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 81288

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13815
/proc/meminfo: memFree=1706304/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=82752 CPUtime=1181.89
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 19261 0 0 0 118172 17 0 0 25 0 1 0 146696788 84738048 18993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 20688 18993 139 317 0 20367 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 82752

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13815
/proc/meminfo: memFree=1704832/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=84192 CPUtime=1241.86
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 19642 0 0 0 124169 17 0 0 25 0 1 0 146696788 86212608 19374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 21048 19374 139 317 0 20727 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 84192

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13815
/proc/meminfo: memFree=1703360/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=85676 CPUtime=1301.85
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 19996 0 0 0 130167 18 0 0 25 0 1 0 146696788 87732224 19728 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 21419 19728 139 317 0 21098 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 85676

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13815
/proc/meminfo: memFree=1701504/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=87244 CPUtime=1361.82
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 20456 0 0 0 136164 18 0 0 25 0 1 0 146696788 89337856 20188 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718451 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 21811 20188 139 317 0 21490 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 87244

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13815
/proc/meminfo: memFree=1699392/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=89200 CPUtime=1421.81
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 20972 0 0 0 142162 19 0 0 25 0 1 0 146696788 91340800 20704 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718647 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 22300 20704 139 317 0 21979 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 89200

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13815
/proc/meminfo: memFree=1697600/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=90900 CPUtime=1481.78
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 21463 0 0 0 148159 19 0 0 25 0 1 0 146696788 93081600 21162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 22725 21162 139 317 0 22404 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 90900

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13815
/proc/meminfo: memFree=1695680/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=92604 CPUtime=1541.76
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 21925 0 0 0 154156 20 0 0 25 0 1 0 146696788 94826496 21624 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 23151 21624 139 317 0 22830 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 92604

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13815
/proc/meminfo: memFree=1694720/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=93516 CPUtime=1601.74
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 22175 0 0 0 160154 20 0 0 25 0 1 0 146696788 95760384 21874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712584 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 23379 21874 139 317 0 23058 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 93516

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13815
/proc/meminfo: memFree=1693120/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=94956 CPUtime=1661.72
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 22594 0 0 0 166151 21 0 0 25 0 1 0 146696788 97234944 22260 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711026 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 23739 22260 139 317 0 23418 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 94956

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13815
/proc/meminfo: memFree=1692096/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=95840 CPUtime=1721.7
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 22869 0 0 0 172149 21 0 0 25 0 1 0 146696788 98140160 22502 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 23960 22502 139 317 0 23639 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 95840

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13815
/proc/meminfo: memFree=1690816/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=97268 CPUtime=1781.68
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 23265 0 0 0 178146 22 0 0 25 0 1 0 146696788 99602432 22799 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 24317 22799 139 317 0 23996 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 97268



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13815
/proc/meminfo: memFree=1690496/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=97780 CPUtime=1800.08
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194304 23401 0 0 0 179986 22 0 0 25 0 1 0 146696788 100126720 22902 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 24445 22902 139 317 0 24124 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 97780

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

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

[startup+1800.81 s]
/proc/loadavg: 0.99 0.97 0.98 2/65 13815
/proc/meminfo: memFree=1690496/2055920 swapFree=4184568/4192956
[pid=13814] ppid=13812 vsize=0 CPUtime=1800.17
/proc/13814/stat : 13814 (oree) R 13812 13814 13757 0 -1 4194308 23418 0 0 0 179995 22 0 0 25 0 1 0 146696788 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/13814/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.82
CPU time (s): 1800.2
CPU user time (s): 1799.96
CPU system time (s): 0.238963
CPU usage (%): 99.9656
Max. virtual memory (cumulated for all children) (KiB): 97780

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

runsolver used 1.22181 second user time and 3.71643 second system time

The end

Launcher Data (download as text)

Begin job on node59 on Thu Apr 19 13:04:32 UTC 2007

IDJOB= 357134
IDBENCH= 2093
IDSOLVER= 172
FILE ID= node59/357134-1176987872

PBS_JOBID= 4630429

Free space on /tmp= 66330 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-ii32e5.opb
COMMAND LINE= oree /tmp/evaluation/357134-1176987872/instance-357134-1176987872.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node59/watcher-357134-1176987872 -o ROOT/results/node59/solver-357134-1176987872 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357134-1176987872/instance-357134-1176987872.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  ad6c04a791a5d9edc6d6bca9a842a8ee

RANDOM SEED= 218062574

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node59.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.268
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.268
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:       1782872 kB
Buffers:          7792 kB
Cached:         204624 kB
SwapCached:       2124 kB
Active:          46548 kB
Inactive:       174996 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1782872 kB
SwapTotal:     4192956 kB
SwapFree:      4184568 kB
Dirty:            1976 kB
Writeback:           0 kB
Mapped:          15856 kB
Slab:            37472 kB
Committed_AS:  1679316 kB
PageTables:       1472 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= 66330 MiB

End job on node59 on Thu Apr 19 13:34:35 UTC 2007