0.28
0.28 Abscon 109 (November, 2006)
0.28
0.28 configuration
0.28 name=pfc.xml
0.31
0.31 instance
0.31 name=/tmp/evaluation/282476-1169319250/unknown.xml
0.34
0.34 domains being loaded...
0.35
0.35 variables being loaded...
0.37 nbVariables=30 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.37 => wckTime=0.087 cpuTime=0.07 mem=6M903
0.37
0.37 relations being loaded...
0.42
0.42 constraints being loaded...
0.48 nbConstraints=109 nbRelationTypes=109 nbExtensionStructures=109 nbSharedExtensionStructures=0
0.48 nbConflictsStructures=109 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1283 maxDegree=12
0.48 maxArity=2
0.48 => wckTime=0.197 cpuTime=0.14 mem=8M854
0.52
0.52 solver LocalSearchSolver being built...
0.56 => wckTime=0.272 cpuTime=0.18 mem=5M499
0.56
0.56 s SATISFIABLE
0.56 o 63
0.56 c 46
0.56 o 68
0.56 c 41
0.56 o 73
0.56 c 36
0.56 o 78
0.56 c 31
0.56 o 81
0.56 c 28
0.56 o 84
0.57 c 25
0.57 o 86
0.57 c 23
0.57 o 88
0.57 c 21
0.57 o 90
0.57 c 19
0.57 o 91
0.57 c 18
0.57 o 92
0.57 c 17
0.57 o 95
0.57 c 14
0.57 o 96
0.57 c 13
0.57 o 97
0.57 c 12
0.57 o 98
0.57 c 11
0.58 o 99
0.58 c 10
0.58 o 100
0.58 c 9
0.59 o 101
0.59 c 8
0.59 o 102
0.59 c 7
0.59 o 103
0.59 c 6
0.59 o 104
0.59 c 5
0.66 o 105
0.66 c 4
0.66 o 106
0.67 c 3
0.67 o 107
0.67 c 2
1.79
1.79 search
1.79 run=0 nbConstraintChecks=5755707 nbAssignments=10000
1.79 => wckTime=1.236 cpuTime=1.21 mem=5M499
2.94
2.94 search
2.94 run=1 nbConstraintChecks=11108984 nbAssignments=20000
2.94 => wckTime=2.38 cpuTime=2.35 mem=5M499
4.10
4.10 search
4.10 run=2 nbConstraintChecks=16639267 nbAssignments=30000
4.10 => wckTime=3.542 cpuTime=3.52 mem=5M499
5.32
5.32 search
5.32 run=3 nbConstraintChecks=22668684 nbAssignments=40000
5.32 => wckTime=4.761 cpuTime=4.74 mem=5M499
6.49
6.49 search
6.49 run=4 nbConstraintChecks=28269690 nbAssignments=50000
6.49 => wckTime=5.934 cpuTime=5.91 mem=5M499
7.78
7.78 search
7.78 run=5 nbConstraintChecks=34717814 nbAssignments=60000
7.78 => wckTime=7.225 cpuTime=7.17 mem=5M499
8.93
8.93 search
8.93 run=6 nbConstraintChecks=40072400 nbAssignments=70000
8.93 => wckTime=8.37 cpuTime=8.33 mem=5M499
10.18
10.18 search
10.18 run=7 nbConstraintChecks=46382120 nbAssignments=80000
10.18 => wckTime=9.622 cpuTime=9.57 mem=5M499
11.37
11.37 search
11.37 run=8 nbConstraintChecks=52203503 nbAssignments=90000
11.37 => wckTime=10.819 cpuTime=10.77 mem=5M499
12.63
12.63 search
12.63 run=9 nbConstraintChecks=58543648 nbAssignments=100000
12.63 => wckTime=12.078 cpuTime=12.03 mem=5M499
13.81
13.81 search
13.81 run=10 nbConstraintChecks=64224645 nbAssignments=110000
13.81 => wckTime=13.253 cpuTime=13.21 mem=5M499
15.02
15.02 search
15.02 run=11 nbConstraintChecks=70258095 nbAssignments=120000
15.02 => wckTime=14.468 cpuTime=14.41 mem=5M499
16.17
16.17 search
16.17 run=12 nbConstraintChecks=75715670 nbAssignments=130000
16.17 => wckTime=15.617 cpuTime=15.56 mem=5M499
17.36
17.36 search
17.36 run=13 nbConstraintChecks=81526487 nbAssignments=140000
17.36 => wckTime=16.805 cpuTime=16.75 mem=5M499
18.53
18.53 search
18.53 run=14 nbConstraintChecks=87072867 nbAssignments=150000
18.53 => wckTime=17.975 cpuTime=17.92 mem=5M499
19.70
19.70 search
19.70 run=15 nbConstraintChecks=92708883 nbAssignments=160000
19.70 => wckTime=19.144 cpuTime=19.09 mem=5M499
20.90
20.90 search
20.90 run=16 nbConstraintChecks=98681259 nbAssignments=170000
20.90 => wckTime=20.348 cpuTime=20.29 mem=5M499
22.06
22.06 search
22.06 run=17 nbConstraintChecks=104167154 nbAssignments=180000
22.06 => wckTime=21.5 cpuTime=21.44 mem=5M499
23.21
23.21 search
23.21 run=18 nbConstraintChecks=109639346 nbAssignments=190000
23.21 => wckTime=22.654 cpuTime=22.59 mem=5M499
24.41
24.41 search
24.41 run=19 nbConstraintChecks=115432576 nbAssignments=200000
24.41 => wckTime=23.851 cpuTime=23.78 mem=5M499
25.57
25.57 search
25.57 run=20 nbConstraintChecks=120919938 nbAssignments=210000
25.57 => wckTime=25.012 cpuTime=24.94 mem=5M499
26.78
26.78 search
26.78 run=21 nbConstraintChecks=126914329 nbAssignments=220000
26.78 => wckTime=26.228 cpuTime=26.16 mem=5M499
27.95
27.95 search
27.95 run=22 nbConstraintChecks=132423154 nbAssignments=230000
27.95 => wckTime=27.391 cpuTime=27.33 mem=5M499
29.14
29.14 search
29.14 run=23 nbConstraintChecks=138141400 nbAssignments=240000
29.14 => wckTime=28.58 cpuTime=28.51 mem=5M499
30.31
30.31 search
30.31 run=24 nbConstraintChecks=143714573 nbAssignments=250000
30.31 => wckTime=29.752 cpuTime=29.68 mem=5M499
30.73
30.73 search
30.73 run=25 nbConstraintChecks=145699466 nbAssignments=253613
30.73 => wckTime=30.174 cpuTime=30.11 mem=5M499
30.73
30.73 global
30.73 nbConstraintChecks=145699466 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
30.73 solvingWckTime=30.172 solvingCpuTime=30.11 expiredTime=no totalExploration=no nbFoundSolutions=0
30.73 globalCpuTime=30.34
30.73 => wckTime=30.446 cpuTime=30.29 mem=5M499
30.73
30.73 solver IterativeSystematicSolver being built...
30.86 => wckTime=30.577 cpuTime=30.38 mem=16M698
30.87
30.87 preprocessing
30.87 nbConstraintChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
30.87 detectedInconsistency=no
30.87 => wckTime=0.0030 cpuTime=0.0 mem=16M698
30.94
30.94 search
30.94 run=0 nbConstraintChecks=112256 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=82
30.94 nbFailedAssignments=64 nbBacktracks=10 nbVisitedNodes=157 nbRestartNogoods=0
30.94 => wckTime=0.078 cpuTime=0.05 mem=16M698
30.99
30.99 search
30.99 run=1 nbConstraintChecks=206556 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=156
30.99 nbFailedAssignments=115 nbBacktracks=25 nbVisitedNodes=296 nbRestartNogoods=34
30.99 => wckTime=0.124 cpuTime=0.08 mem=16M698
31.04
31.04 search
31.04 run=2 nbConstraintChecks=381507 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=281
31.04 nbFailedAssignments=209 nbBacktracks=47 nbVisitedNodes=537 nbRestartNogoods=51
31.04 => wckTime=0.181 cpuTime=0.13 mem=16M698
31.10
31.10 search
31.10 run=3 nbConstraintChecks=575201 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=416
31.10 nbFailedAssignments=302 nbBacktracks=80 nbVisitedNodes=798 nbRestartNogoods=77
31.10 => wckTime=0.232 cpuTime=0.18 mem=16M698
31.23
31.23 search
31.23 run=4 nbConstraintChecks=1136710 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=759
31.23 nbFailedAssignments=589 nbBacktracks=130 nbVisitedNodes=1477 nbRestartNogoods=87
31.23 => wckTime=0.366 cpuTime=0.31 mem=16M698
31.36
31.36 search
31.36 run=5 nbConstraintChecks=1578142 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1037
31.36 nbFailedAssignments=786 nbBacktracks=205 nbVisitedNodes=2027 nbRestartNogoods=105
31.36 => wckTime=0.493 cpuTime=0.44 mem=16M698
31.57
31.57 search
31.57 run=6 nbConstraintChecks=2366348 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1555
31.57 nbFailedAssignments=1184 nbBacktracks=318 nbVisitedNodes=3053 nbRestartNogoods=118
31.57 => wckTime=0.71 cpuTime=0.64 mem=16M698
31.93
31.93 search
31.93 run=7 nbConstraintChecks=3793733 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2463
31.93 nbFailedAssignments=1917 nbBacktracks=488 nbVisitedNodes=4855 nbRestartNogoods=128
31.93 => wckTime=1.071 cpuTime=1.0 mem=16M698
32.44
32.44 search
32.44 run=8 nbConstraintChecks=5929586 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3814
32.44 nbFailedAssignments=3004 nbBacktracks=744 nbVisitedNodes=7548 nbRestartNogoods=140
32.44 => wckTime=1.575 cpuTime=1.5 mem=16M698
33.27
33.27 search
33.27 run=9 nbConstraintChecks=8967780 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5814
33.27 nbFailedAssignments=4612 nbBacktracks=1128 nbVisitedNodes=11520 nbRestartNogoods=172
33.27 => wckTime=2.412 cpuTime=2.33 mem=16M698
34.20
34.20 search
34.20 run=10 nbConstraintChecks=12593635 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=8049
34.20 nbFailedAssignments=6263 nbBacktracks=1704 nbVisitedNodes=15968 nbRestartNogoods=205
34.20 => wckTime=3.339 cpuTime=3.26 mem=16M698
35.48
35.48 search
35.48 run=11 nbConstraintChecks=17799691 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11487
35.48 nbFailedAssignments=8827 nbBacktracks=2568 nbVisitedNodes=22828 nbRestartNogoods=226
35.48 => wckTime=4.621 cpuTime=4.54 mem=16M698
37.97
37.97 search
37.97 run=12 nbConstraintChecks=26943680 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=17563
37.97 nbFailedAssignments=13598 nbBacktracks=3865 nbVisitedNodes=34918 nbRestartNogoods=244
37.97 => wckTime=7.111 cpuTime=7.03 mem=16M698
40.65
40.65 search
40.65 run=13 nbConstraintChecks=36687924 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=24388
40.65 nbFailedAssignments=18471 nbBacktracks=5812 nbVisitedNodes=48521 nbRestartNogoods=270
40.65 => wckTime=9.791 cpuTime=9.7 mem=16M698
44.73
44.73 search
44.73 run=14 nbConstraintChecks=51308336 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=34408
44.73 nbFailedAssignments=25561 nbBacktracks=8731 nbVisitedNodes=68409 nbRestartNogoods=282
44.73 => wckTime=13.868 cpuTime=13.78 mem=16M698
50.44
50.44 search
50.44 run=15 nbConstraintChecks=71382977 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=47998
50.44 nbFailedAssignments=34769 nbBacktracks=13112 nbVisitedNodes=95367 nbRestartNogoods=308
50.44 => wckTime=19.574 cpuTime=19.48 mem=16M698
53.09
53.09 search
53.09 run=16 nbConstraintChecks=79526278 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=53645
53.09 nbFailedAssignments=38362 nbBacktracks=15167 nbVisitedNodes=106468 nbRestartNogoods=309
53.09 => wckTime=22.228 cpuTime=22.11 mem=16M698
53.09
53.09 global
53.09 nbConstraintChecks=79526278 nbRestartNogoods=309 solvingWckTime=22.229 solvingCpuTime=22.11 expiredTime=no
53.09 totalExploration=yes nbFoundSolutions=0 globalCpuTime=52.55
53.09 => wckTime=52.807 cpuTime=52.5 mem=16M698
53.09
53.09 s OPTIMUM FOUND
53.09 v 1 6 5 8 4 4 4 3 7 6 1 2 5 8 1 10 8 7 1 9 8 7 8 3 7 5 5 10 8 1
53.09
53.09 totalWckTime=52.881 totalCpuTime=52.55
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-282476-1169319250 -o ROOT/results/node11/solver-282476-1169319250 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282476-1169319250/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.95 1.95 1.97 3/87 28430
/proc/meminfo: memFree=1180112/2055920 swapFree=4171812/4192956
[pid=28429] ppid=28427 vsize=1784 CPUtime=0
/proc/28429/stat : 28429 (java) R 28427 28429 28231 0 -1 0 372 0 0 0 0 0 0 0 18 0 1 0 280320148 1826816 161 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/28429/statm: 446 163 128 14 0 91 0
[startup+0.107531 s]
/proc/loadavg: 1.95 1.95 1.97 3/87 28430
/proc/meminfo: memFree=1180112/2055920 swapFree=4171812/4192956
[pid=28429] ppid=28427 vsize=914988 CPUtime=0.09
/proc/28429/stat : 28429 (java) R 28427 28429 28231 0 -1 0 3125 0 1 0 8 1 0 0 24 0 8 0 280320148 936947712 2871 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153785378 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28429/statm: 228747 2872 1472 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515614 s]
/proc/loadavg: 1.95 1.95 1.97 3/87 28430
/proc/meminfo: memFree=1180112/2055920 swapFree=4171812/4192956
[pid=28429] ppid=28427 vsize=915332 CPUtime=0.49
/proc/28429/stat : 28429 (java) R 28427 28429 28231 0 -1 0 6691 0 1 0 46 3 0 0 25 0 8 0 280320148 937299968 6429 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28429/statm: 228833 6429 2166 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33877 s]
/proc/loadavg: 1.95 1.95 1.97 4/94 28437
/proc/meminfo: memFree=1162776/2055920 swapFree=4171812/4192956
[pid=28429] ppid=28427 vsize=915448 CPUtime=1.31
/proc/28429/stat : 28429 (java) R 28427 28429 28231 0 -1 0 7041 0 1 0 105 26 0 0 25 0 8 0 280320148 937418752 6779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28429/statm: 228861 6779 2476 14 0 215331 0
[pid=28429/tid=28431] ppid=28427 vsize=915444 CPUtime=0.02
/proc/28429/task/28431/stat : 28431 (java) S 28427 28429 28231 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280320151 937414656 6779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28432] ppid=28427 vsize=915448 CPUtime=0
/proc/28429/task/28432/stat : 28432 (java) S 28427 28429 28231 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280320152 937418752 6779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28433] ppid=28427 vsize=915444 CPUtime=0
/proc/28429/task/28433/stat : 28433 (java) S 28427 28429 28231 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280320152 937414656 6779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28434] ppid=28427 vsize=915444 CPUtime=0
/proc/28429/task/28434/stat : 28434 (java) S 28427 28429 28231 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280320155 937414656 6779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28435] ppid=28427 vsize=915448 CPUtime=0.1
/proc/28429/task/28435/stat : 28435 (java) S 28427 28429 28231 0 -1 64 326 0 0 0 10 0 0 0 16 0 8 0 280320155 937418752 6779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28436] ppid=28427 vsize=915444 CPUtime=0
/proc/28429/task/28436/stat : 28436 (java) S 28427 28429 28231 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280320155 937414656 6779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28437] ppid=28427 vsize=915444 CPUtime=0
/proc/28429/task/28437/stat : 28437 (java) S 28427 28429 28231 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280320155 937414656 6779 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915448
[startup+2.9921 s]
/proc/loadavg: 1.96 1.95 1.97 3/94 28437
/proc/meminfo: memFree=1162776/2055920 swapFree=4171812/4192956
[pid=28429] ppid=28427 vsize=915444 CPUtime=2.97
/proc/28429/stat : 28429 (java) R 28427 28429 28231 0 -1 0 7044 0 1 0 220 77 0 0 25 0 8 0 280320148 937414656 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28429/statm: 228861 6781 2476 14 0 215331 0
[pid=28429/tid=28431] ppid=28427 vsize=915448 CPUtime=0.02
/proc/28429/task/28431/stat : 28431 (java) S 28427 28429 28231 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280320151 937418752 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28432] ppid=28427 vsize=915444 CPUtime=0
/proc/28429/task/28432/stat : 28432 (java) S 28427 28429 28231 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280320152 937414656 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28433] ppid=28427 vsize=915444 CPUtime=0
/proc/28429/task/28433/stat : 28433 (java) S 28427 28429 28231 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280320152 937414656 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28434] ppid=28427 vsize=915448 CPUtime=0
/proc/28429/task/28434/stat : 28434 (java) S 28427 28429 28231 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280320155 937418752 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28435] ppid=28427 vsize=915444 CPUtime=0.1
/proc/28429/task/28435/stat : 28435 (java) S 28427 28429 28231 0 -1 64 328 0 0 0 10 0 0 0 16 0 8 0 280320155 937414656 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28436] ppid=28427 vsize=915444 CPUtime=0
/proc/28429/task/28436/stat : 28436 (java) S 28427 28429 28231 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280320155 937414656 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28437] ppid=28427 vsize=915448 CPUtime=0
/proc/28429/task/28437/stat : 28437 (java) S 28427 28429 28231 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280320155 937418752 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915444
[startup+6.27876 s]
/proc/loadavg: 1.96 1.95 1.97 3/94 28437
/proc/meminfo: memFree=1162712/2055920 swapFree=4171812/4192956
[pid=28429] ppid=28427 vsize=915448 CPUtime=6.26
/proc/28429/stat : 28429 (java) R 28427 28429 28231 0 -1 0 7044 0 1 0 443 183 0 0 25 0 8 0 280320148 937418752 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28429/statm: 228861 6781 2476 14 0 215331 0
[pid=28429/tid=28431] ppid=28427 vsize=915448 CPUtime=0.02
/proc/28429/task/28431/stat : 28431 (java) S 28427 28429 28231 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280320151 937418752 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28432] ppid=28427 vsize=915444 CPUtime=0
/proc/28429/task/28432/stat : 28432 (java) S 28427 28429 28231 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280320152 937414656 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28433] ppid=28427 vsize=915444 CPUtime=0
/proc/28429/task/28433/stat : 28433 (java) S 28427 28429 28231 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280320152 937414656 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28434] ppid=28427 vsize=915448 CPUtime=0
/proc/28429/task/28434/stat : 28434 (java) S 28427 28429 28231 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280320155 937418752 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28435] ppid=28427 vsize=915444 CPUtime=0.1
/proc/28429/task/28435/stat : 28435 (java) S 28427 28429 28231 0 -1 64 328 0 0 0 10 0 0 0 16 0 8 0 280320155 937414656 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28436] ppid=28427 vsize=915444 CPUtime=0
/proc/28429/task/28436/stat : 28436 (java) S 28427 28429 28231 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280320155 937414656 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28437] ppid=28427 vsize=915448 CPUtime=0
/proc/28429/task/28437/stat : 28437 (java) S 28427 28429 28231 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280320155 937418752 6781 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 915448
[startup+12.773 s]
/proc/loadavg: 1.96 1.95 1.97 3/94 28437
/proc/meminfo: memFree=1162712/2055920 swapFree=4171812/4192956
[pid=28429] ppid=28427 vsize=915448 CPUtime=12.72
/proc/28429/stat : 28429 (java) R 28427 28429 28231 0 -1 0 7045 0 1 0 891 381 0 0 25 0 8 0 280320148 937418752 6782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28429/statm: 228862 6782 2476 14 0 215332 0
[pid=28429/tid=28431] ppid=28427 vsize=915444 CPUtime=0.02
/proc/28429/task/28431/stat : 28431 (java) S 28427 28429 28231 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280320151 937414656 6782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28432] ppid=28427 vsize=915448 CPUtime=0
/proc/28429/task/28432/stat : 28432 (java) S 28427 28429 28231 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280320152 937418752 6782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28433] ppid=28427 vsize=915444 CPUtime=0
/proc/28429/task/28433/stat : 28433 (java) S 28427 28429 28231 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280320152 937414656 6782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28434] ppid=28427 vsize=915444 CPUtime=0
/proc/28429/task/28434/stat : 28434 (java) S 28427 28429 28231 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280320155 937414656 6782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28435] ppid=28427 vsize=915448 CPUtime=0.1
/proc/28429/task/28435/stat : 28435 (java) S 28427 28429 28231 0 -1 64 329 0 0 0 10 0 0 0 16 0 8 0 280320155 937418752 6782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28436] ppid=28427 vsize=915444 CPUtime=0
/proc/28429/task/28436/stat : 28436 (java) S 28427 28429 28231 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280320155 937414656 6782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28437] ppid=28427 vsize=915444 CPUtime=0
/proc/28429/task/28437/stat : 28437 (java) S 28427 28429 28231 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280320155 937414656 6782 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915448
[startup+25.6336 s]
/proc/loadavg: 1.97 1.95 1.97 3/94 28437
/proc/meminfo: memFree=1162776/2055920 swapFree=4171812/4192956
[pid=28429] ppid=28427 vsize=915444 CPUtime=25.57
/proc/28429/stat : 28429 (java) R 28427 28429 28231 0 -1 0 7046 0 1 0 1770 787 0 0 25 0 8 0 280320148 937414656 6783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28429/statm: 228862 6783 2476 14 0 215332 0
[pid=28429/tid=28431] ppid=28427 vsize=915444 CPUtime=0.02
/proc/28429/task/28431/stat : 28431 (java) S 28427 28429 28231 0 -1 64 154 0 0 0 2 0 0 0 16 0 8 0 280320151 937414656 6783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28432] ppid=28427 vsize=915444 CPUtime=0
/proc/28429/task/28432/stat : 28432 (java) S 28427 28429 28231 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280320152 937414656 6783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28433] ppid=28427 vsize=915448 CPUtime=0
/proc/28429/task/28433/stat : 28433 (java) S 28427 28429 28231 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280320152 937418752 6783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28434] ppid=28427 vsize=915444 CPUtime=0
/proc/28429/task/28434/stat : 28434 (java) S 28427 28429 28231 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280320155 937414656 6783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28435] ppid=28427 vsize=915448 CPUtime=0.11
/proc/28429/task/28435/stat : 28435 (java) S 28427 28429 28231 0 -1 64 330 0 0 0 11 0 0 0 16 0 8 0 280320155 937418752 6783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28436] ppid=28427 vsize=915444 CPUtime=0
/proc/28429/task/28436/stat : 28436 (java) S 28427 28429 28231 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280320155 937414656 6783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28437] ppid=28427 vsize=915444 CPUtime=0
/proc/28429/task/28437/stat : 28437 (java) S 28427 28429 28231 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280320155 937414656 6783 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 915444
[startup+51.2737 s]
/proc/loadavg: 1.98 1.95 1.97 3/94 28437
/proc/meminfo: memFree=1154904/2055920 swapFree=4171812/4192956
[pid=28429] ppid=28427 vsize=915444 CPUtime=51.2
/proc/28429/stat : 28429 (java) R 28427 28429 28231 0 -1 0 9108 0 1 0 4174 946 0 0 25 0 8 0 280320148 937414656 8841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336175 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28429/statm: 228861 8841 2527 14 0 215331 0
[pid=28429/tid=28431] ppid=28427 vsize=915444 CPUtime=0.02
/proc/28429/task/28431/stat : 28431 (java) S 28427 28429 28231 0 -1 64 155 0 0 0 2 0 0 0 16 0 8 0 280320151 937414656 8841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28432] ppid=28427 vsize=915444 CPUtime=0
/proc/28429/task/28432/stat : 28432 (java) S 28427 28429 28231 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280320152 937414656 8841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28433] ppid=28427 vsize=915444 CPUtime=0
/proc/28429/task/28433/stat : 28433 (java) S 28427 28429 28231 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280320152 937414656 8841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28434] ppid=28427 vsize=915444 CPUtime=0
/proc/28429/task/28434/stat : 28434 (java) S 28427 28429 28231 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 280320155 937414656 8841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28435] ppid=28427 vsize=915444 CPUtime=0.21
/proc/28429/task/28435/stat : 28435 (java) S 28427 28429 28231 0 -1 64 387 0 0 0 20 1 0 0 16 0 8 0 280320155 937414656 8841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28436] ppid=28427 vsize=915444 CPUtime=0
/proc/28429/task/28436/stat : 28436 (java) S 28427 28429 28231 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 280320155 937414656 8841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28429/tid=28437] ppid=28427 vsize=915444 CPUtime=0
/proc/28429/task/28437/stat : 28437 (java) S 28427 28429 28231 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280320155 937414656 8841 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.2
Current children cumulated vsize (KiB) 915444
Child status: 0
Real time (s): 53.1361
CPU time (s): 53.0129
CPU user time (s): 43.5444
CPU system time (s): 9.46856
CPU usage (%): 99.7682
Max. virtual memory (cumulated for all children) (KiB): 915448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 43.5444
system time used= 9.46856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9206
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2170
involuntary context switches= 4046
runsolver used 0.065989 s user time and 0.182972 s system time
The end
Begin job on node11 on Sat Jan 20 18:54:10 UTC 2007
IDJOB= 282476
IDBENCH= 12829
IDSOLVER= 69
FILE ID= node11/282476-1169319250
PBS_JOBID= 3610070
Free space on /tmp= 66561 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/pi/pi-30-10-25-t48/pi-30-10-197-52-11.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282476-1169319250/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-282476-1169319250 -o ROOT/results/node11/solver-282476-1169319250 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282476-1169319250/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a54950e8c48f2fb1df4a42e98d92ae3b
RANDOM SEED= 485554577
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/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.261
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 : 5931.00
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.261
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: 1180592 kB
Buffers: 65960 kB
Cached: 598500 kB
SwapCached: 3844 kB
Active: 322556 kB
Inactive: 471940 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1180592 kB
SwapTotal: 4192956 kB
SwapFree: 4171812 kB
Dirty: 1804 kB
Writeback: 0 kB
Mapped: 147972 kB
Slab: 65200 kB
Committed_AS: 9108624 kB
PageTables: 2556 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= 66561 MiB
End job on node11 on Sat Jan 20 18:55:04 UTC 2007