Trace number 365844

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 NameAnswerCPU timeWall clock time
oree 0.1.2 alpha? (TO) 1800.2 1800.75

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
roussel/normalized-pigeon-cardinality-101-100.opb
MD5SUM0b4d976a66cd69333fd390f8a9139e21
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.093985
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables10100
Total number of constraints201
Number of constraints which are clauses101
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint100
Maximum length of a constraint101
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 102
Number of bits of the biggest sum of numbers7
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.04	c ...done
0.00/0.04	c #vars=10100 #constraints=201 hasObjective=no
0.00/0.05	c res. mode=mod
0.00/0.05	c VSIDS like heuristics
0.00/0.05	c complete search running
1.09/1.18	c restart after 401 decisions
1.19/1.26	c nbDecision=500 #constraints=505
3.09/3.12	c restart after 801 decisions
4.08/4.18	c nbDecision=1000 #constraints=908
10.39/10.41	c nbDecision=1500 #constraints=1401
11.78/11.82	c restart after 1601 decisions
18.18/18.23	c nbDecision=2000 #constraints=1805
29.58/29.70	c nbDecision=2500 #constraints=2303
44.28/44.32	c nbDecision=3000 #constraints=2800
51.48/51.59	c restart after 3201 decisions
58.98/59.07	c nbDecision=3500 #constraints=3203
78.87/78.95	c nbDecision=4000 #constraints=3699
102.27/102.39	c nbDecision=4500 #constraints=4196
128.66/128.70	c nbDecision=5000 #constraints=4693
159.55/159.69	c nbDecision=5500 #constraints=5191
191.64/191.71	c nbDecision=6000 #constraints=5689
219.94/220.02	c restart after 6401 decisions
225.63/225.73	c nbDecision=6500 #constraints=6091
265.22/265.37	c nbDecision=7000 #constraints=6590
309.61/309.78	c nbDecision=7500 #constraints=7087
358.90/359.06	c nbDecision=8000 #constraints=7587
410.59/410.73	c nbDecision=8500 #constraints=8086
464.08/464.29	c nbDecision=9000 #constraints=8583
518.86/519.04	c nbDecision=9500 #constraints=9065
571.55/571.73	c nbDecision=10000 #constraints=9560
632.23/632.43	c nbDecision=10500 #constraints=10056
697.94/698.23	c nbDecision=11000 #constraints=10553
767.61/767.99	c nbDecision=11500 #constraints=11048
838.38/838.72	c nbDecision=12000 #constraints=11545
913.47/913.83	c nbDecision=12500 #constraints=12042
957.16/957.53	c restart after 12801 decisions
982.55/982.98	c nbDecision=13000 #constraints=12445
1067.03/1067.41	c nbDecision=13500 #constraints=12940
1151.31/1151.70	c nbDecision=14000 #constraints=13436
1236.39/1236.80	c nbDecision=14500 #constraints=13932
1317.16/1317.65	c nbDecision=15000 #constraints=14425
1408.64/1409.15	c nbDecision=15500 #constraints=14921
1508.72/1509.26	c nbDecision=16000 #constraints=15420
1609.39/1609.95	c nbDecision=16500 #constraints=15919
1717.07/1717.65	c nbDecision=17000 #constraints=16418
1800.06/1800.60	Received signal 15
1800.06/1800.63	
1800.06/1800.63	s UNKNOWN
1800.06/1800.63	
1800.06/1800.63	c user time= 1799.28 s
1800.06/1800.63	c system time= 0.812876 s
1800.06/1800.63	c wall clock time=1800.63

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/node61/watcher-365844-1176997816 -o ROOT/results/node61/solver-365844-1176997816 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365844-1176997816/instance-365844-1176997816.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.91 0.95 0.93 3/64 27688
/proc/meminfo: memFree=1736696/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=1468 CPUtime=0
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 111745288 1503232 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 367 165 130 317 0 46 0

[startup+0.0871401 s]
/proc/loadavg: 0.91 0.95 0.93 3/64 27688
/proc/meminfo: memFree=1736696/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=3244 CPUtime=0.08
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 645 0 0 0 8 0 0 0 18 0 1 0 111745288 3321856 627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135277005 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 811 627 139 317 0 490 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3244

[startup+0.10114 s]
/proc/loadavg: 0.91 0.95 0.93 3/64 27688
/proc/meminfo: memFree=1736696/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=3376 CPUtime=0.09
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 678 0 0 0 9 0 0 0 18 0 1 0 111745288 3457024 660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 844 661 139 317 0 523 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3376

[startup+0.301159 s]
/proc/loadavg: 0.91 0.95 0.93 3/64 27688
/proc/meminfo: memFree=1736696/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=4952 CPUtime=0.29
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 1058 0 0 0 29 0 0 0 19 0 1 0 111745288 5070848 1040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712500 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 1238 1040 139 317 0 917 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4952

[startup+0.701197 s]
/proc/loadavg: 0.91 0.95 0.93 3/64 27688
/proc/meminfo: memFree=1736696/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=7336 CPUtime=0.69
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 1655 0 0 0 69 0 0 0 22 0 1 0 111745288 7512064 1637 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 1834 1637 139 317 0 1513 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7336

[startup+1.50127 s]
/proc/loadavg: 0.91 0.95 0.93 2/65 27689
/proc/meminfo: memFree=1728688/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=11416 CPUtime=1.49
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 2638 0 0 0 148 1 0 0 25 0 1 0 111745288 11689984 2620 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135277245 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 2854 2620 139 317 0 2533 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11416

[startup+3.10143 s]
/proc/loadavg: 0.91 0.95 0.93 2/65 27689
/proc/meminfo: memFree=1724080/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=18656 CPUtime=3.09
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 4383 0 0 0 308 1 0 0 25 0 1 0 111745288 19103744 4365 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 4664 4365 139 317 0 4343 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18656

[startup+6.30173 s]
/proc/loadavg: 0.92 0.95 0.93 2/65 27689
/proc/meminfo: memFree=1713136/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=28880 CPUtime=6.29
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 6834 0 0 0 626 3 0 0 25 0 1 0 111745288 29573120 6816 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 7220 6816 139 317 0 6899 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28880

[startup+12.7013 s]
/proc/loadavg: 0.93 0.95 0.93 2/65 27689
/proc/meminfo: memFree=1694272/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=45392 CPUtime=12.68
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 10741 0 0 0 1264 4 0 0 25 0 1 0 111745288 46481408 10723 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270603 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 11348 10723 139 317 0 11027 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 45392

[startup+25.5016 s]
/proc/loadavg: 0.94 0.96 0.93 2/65 27689
/proc/meminfo: memFree=1671424/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=71100 CPUtime=25.49
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 16581 0 0 0 2542 7 0 0 25 0 1 0 111745288 72806400 16563 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 17775 16563 139 317 0 17454 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 71100

[startup+51.102 s]
/proc/loadavg: 0.96 0.96 0.93 2/65 27689
/proc/meminfo: memFree=1639232/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=103612 CPUtime=51.08
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 24512 0 0 0 5097 11 0 0 25 0 1 0 111745288 106098688 24494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 25903 24494 139 317 0 25582 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 103612

[startup+102.306 s]
/proc/loadavg: 0.98 0.96 0.93 2/65 27689
/proc/meminfo: memFree=1590912/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=156864 CPUtime=102.27
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 36458 0 0 0 10211 16 0 0 25 0 1 0 111745288 160628736 36440 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 39216 36440 139 317 0 38895 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 156864

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 27689
/proc/meminfo: memFree=1546688/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=204224 CPUtime=162.25
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 47561 0 0 0 16204 21 0 0 25 0 1 0 111745288 209125376 47543 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 51056 47543 139 317 0 50735 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 204224

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 27689
/proc/meminfo: memFree=1511296/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=239108 CPUtime=222.23
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 56289 0 0 0 22199 24 0 0 25 0 1 0 111745288 244846592 56271 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 59777 56271 139 317 0 59456 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 239108

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 27689
/proc/meminfo: memFree=1484032/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=269112 CPUtime=282.22
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 63153 0 0 0 28195 27 0 0 25 0 1 0 111745288 275570688 63135 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 67278 63135 139 317 0 66957 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 269112

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 27689
/proc/meminfo: memFree=1451776/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=308948 CPUtime=342.21
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 71161 0 0 0 34190 31 0 0 25 0 1 0 111745288 316362752 71143 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 77237 71143 139 317 0 76916 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 308948

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 27689
/proc/meminfo: memFree=1425984/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=339636 CPUtime=402.19
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 77642 0 0 0 40186 33 0 0 25 0 1 0 111745288 347787264 77624 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 84909 77624 139 317 0 84588 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 339636

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 27689
/proc/meminfo: memFree=1401216/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=366788 CPUtime=462.18
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 83835 0 0 0 46181 37 0 0 25 0 1 0 111745288 375590912 83759 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 91697 83759 139 317 0 91376 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 366788

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 27689
/proc/meminfo: memFree=1382528/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=385196 CPUtime=522.16
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 88528 0 0 0 52177 39 0 0 25 0 1 0 111745288 394440704 88452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 96299 88452 139 317 0 95978 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 385196

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 27689
/proc/meminfo: memFree=1366080/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=401736 CPUtime=582.14
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 92597 0 0 0 58173 41 0 0 25 0 1 0 111745288 411377664 92521 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 100434 92521 139 317 0 100113 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 401736

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 27689
/proc/meminfo: memFree=1350080/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=417124 CPUtime=642.14
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 96548 0 0 0 64170 44 0 0 25 0 1 0 111745288 427134976 96472 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 104281 96472 139 317 0 103960 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 417124


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 27887
/proc/meminfo: memFree=1286592/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=481020 CPUtime=881.97
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 112322 0 0 0 88144 53 0 0 25 0 1 0 111745288 492564480 112246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563659 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 120255 112246 139 317 0 119934 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 481020

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 27887
/proc/meminfo: memFree=1271744/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=496144 CPUtime=941.96
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 116074 0 0 0 94141 55 0 0 25 0 1 0 111745288 508051456 115998 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 124036 115998 139 317 0 123715 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 496144

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 27887
/proc/meminfo: memFree=1258368/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=509640 CPUtime=1001.95
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 119352 0 0 0 100138 57 0 0 25 0 1 0 111745288 521871360 119276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 127410 119276 139 317 0 127089 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 509640

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 27887
/proc/meminfo: memFree=1238016/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=536480 CPUtime=1061.93
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 124500 0 0 0 106134 59 0 0 25 0 1 0 111745288 549355520 124424 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 134120 124424 139 317 0 133799 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 536480

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 27887
/proc/meminfo: memFree=1221888/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=554248 CPUtime=1121.92
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 128481 0 0 0 112130 62 0 0 25 0 1 0 111745288 567549952 128405 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 138562 128405 139 317 0 138241 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 554248

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 27887
/proc/meminfo: memFree=1199488/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=589968 CPUtime=1181.9
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 134874 0 0 0 118126 64 0 0 25 0 1 0 111745288 604127232 134798 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 147492 134798 139 317 0 147171 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 589968

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 27887
/proc/meminfo: memFree=1180160/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=610212 CPUtime=1241.89
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 138877 0 0 0 124123 66 0 0 25 0 1 0 111745288 624857088 138801 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 152553 138801 139 317 0 152232 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 610212

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 27887
/proc/meminfo: memFree=1163072/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=632856 CPUtime=1301.88
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 143116 0 0 0 130120 68 0 0 25 0 1 0 111745288 648044544 143040 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 158214 143040 139 317 0 157893 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 632856

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 27887
/proc/meminfo: memFree=1150272/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=648860 CPUtime=1361.85
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 146322 0 0 0 136116 69 0 0 25 0 1 0 111745288 664432640 146246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 162215 146246 139 317 0 161894 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 648860

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 27887
/proc/meminfo: memFree=1139520/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=659352 CPUtime=1421.85
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 148979 0 0 0 142114 71 0 0 25 0 1 0 111745288 675176448 148903 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 164838 148903 139 317 0 164517 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 659352

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 27887
/proc/meminfo: memFree=1128576/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=670620 CPUtime=1481.83
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 151746 0 0 0 148110 73 0 0 25 0 1 0 111745288 686714880 151670 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 167655 151670 139 317 0 167334 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 670620

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 27887
/proc/meminfo: memFree=1116672/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=682052 CPUtime=1541.82
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 154694 0 0 0 154107 75 0 0 25 0 1 0 111745288 698421248 154618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 170513 154618 139 317 0 170192 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 682052

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 27887
/proc/meminfo: memFree=1103360/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=698704 CPUtime=1601.8
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 158052 0 0 0 160104 76 0 0 25 0 1 0 111745288 715472896 157976 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 174676 157976 139 317 0 174355 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 698704

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 27887
/proc/meminfo: memFree=1091712/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=709832 CPUtime=1661.78
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 160894 0 0 0 166101 77 0 0 25 0 1 0 111745288 726867968 160818 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 177458 160818 139 317 0 177137 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 709832

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 27887
/proc/meminfo: memFree=1080576/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=722856 CPUtime=1721.76
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 163753 0 0 0 172097 79 0 0 25 0 1 0 111745288 740204544 163677 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712495 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 180714 163677 139 317 0 180393 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 722856

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 27887
/proc/meminfo: memFree=1070400/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=733116 CPUtime=1781.75
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 166343 0 0 0 178095 80 0 0 25 0 1 0 111745288 750710784 166153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 183279 166153 139 317 0 182958 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 733116



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.93 2/65 27887
/proc/meminfo: memFree=1066880/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=735960 CPUtime=1800.06
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194304 167195 0 0 0 179925 81 0 0 25 0 1 0 111745288 753623040 167005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 183990 167005 139 317 0 183669 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 735960

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.97 0.93 2/65 27887
/proc/meminfo: memFree=1066880/2055920 swapFree=4184100/4192956
[pid=27688] ppid=27686 vsize=0 CPUtime=1800.15
/proc/27688/stat : 27688 (oree) R 27686 27688 27477 0 -1 4194308 167211 0 0 0 179927 88 0 0 25 0 1 0 111745288 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/27688/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.75
CPU time (s): 1800.2
CPU user time (s): 1799.28
CPU system time (s): 0.922859
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 735960

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

runsolver used 1.42878 second user time and 3.56546 second system time

The end

Launcher Data (download as text)

Begin job on node61 on Thu Apr 19 15:50:17 UTC 2007

IDJOB= 365844
IDBENCH= 2578
IDSOLVER= 172
FILE ID= node61/365844-1176997816

PBS_JOBID= 4630475

Free space on /tmp= 66502 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-101-100.opb
COMMAND LINE= oree /tmp/evaluation/365844-1176997816/instance-365844-1176997816.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node61/watcher-365844-1176997816 -o ROOT/results/node61/solver-365844-1176997816 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/365844-1176997816/instance-365844-1176997816.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  0b4d976a66cd69333fd390f8a9139e21

RANDOM SEED= 800848107

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node61.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.240
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.240
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:       1737104 kB
Buffers:         11492 kB
Cached:         258948 kB
SwapCached:       3056 kB
Active:          64240 kB
Inactive:       216076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1737104 kB
SwapTotal:     4192956 kB
SwapFree:      4184100 kB
Dirty:            1488 kB
Writeback:           0 kB
Mapped:          15452 kB
Slab:            24636 kB
Committed_AS:   858320 kB
PageTables:       1388 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= 66502 MiB

End job on node61 on Thu Apr 19 16:20:19 UTC 2007