0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=pfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/282557-1169320156/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=14 nbDomainTypes=1 minDomainSize=44 maxDomainSize=44
0.42 => wckTime=0.104 cpuTime=0.09 mem=6M910
0.42
0.42 relations being loaded...
0.52
0.52 constraints being loaded...
0.63 nbConstraints=300 nbRelationTypes=94 nbExtensionStructures=94 nbSharedExtensionStructures=206
0.63 nbConflictsStructures=94 nbSharedConflictsStructures=206 nbSharedBinaryRepresentations=7401 maxDegree=52
0.63 maxArity=2
0.63 => wckTime=0.321 cpuTime=0.23 mem=13M738
0.68
0.68 solver LocalSearchSolver being built...
0.72 => wckTime=0.409 cpuTime=0.27 mem=5M645
0.73
0.73 s SATISFIABLE
0.73 o 189
0.73 c 111
0.73 o 190
0.73 c 110
0.74 o 193
0.74 c 107
0.74 o 194
0.74 c 106
0.74 o 197
0.74 c 103
0.74 o 202
0.74 c 98
0.74 o 208
0.74 c 92
0.75 o 212
0.75 c 88
0.75 o 218
0.75 c 82
0.75 o 219
0.75 c 81
0.75 o 230
0.75 c 70
0.75 o 241
0.75 c 59
0.75 o 246
0.75 c 54
0.75 o 253
0.75 c 47
0.76 o 257
0.76 c 43
0.76 o 261
0.76 c 39
0.76 o 268
0.76 c 32
0.76 o 272
0.76 c 28
0.76 o 273
0.76 c 27
0.76 o 275
0.76 c 25
0.76 o 278
0.76 c 22
0.76 o 280
0.76 c 20
0.82 o 281
0.82 c 19
0.84 o 282
0.84 c 18
15.12
15.12 search
15.12 run=0 nbConstraintChecks=125109157 nbAssignments=10000
15.12 => wckTime=14.4 cpuTime=14.26 mem=5M645
29.59
29.59 search
29.59 run=1 nbConstraintChecks=251865479 nbAssignments=20000
29.59 => wckTime=28.868 cpuTime=28.6 mem=5M645
31.11
31.11 search
31.11 run=2 nbConstraintChecks=265103926 nbAssignments=21104
31.11 => wckTime=30.388 cpuTime=30.12 mem=5M645
31.11
31.11 global
31.11 nbConstraintChecks=265103926 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.11 solvingWckTime=30.386 solvingCpuTime=30.12 expiredTime=no totalExploration=no nbFoundSolutions=0
31.11 globalCpuTime=30.43
31.11 => wckTime=30.798 cpuTime=30.39 mem=5M645
31.11
31.11 solver IterativeSystematicSolver being built...
31.24 => wckTime=30.924 cpuTime=30.48 mem=16M520
31.25
31.25 preprocessing
31.25 nbConstraintChecks=3080 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.25 detectedInconsistency=no
31.25 => wckTime=0.012 cpuTime=0.01 mem=16M520
31.42
31.42 search
31.42 run=0 nbConstraintChecks=806539 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=85
31.43 nbFailedAssignments=73 nbBacktracks=10 nbVisitedNodes=169 nbRestartNogoods=0
31.43 => wckTime=0.187 cpuTime=0.16 mem=16M520
32.12
32.12 search
32.12 run=1 nbConstraintChecks=5376965 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=379
32.12 nbFailedAssignments=350 nbBacktracks=25 nbVisitedNodes=755 nbRestartNogoods=12
32.12 => wckTime=0.883 cpuTime=0.83 mem=16M520
32.43
32.43 search
32.43 run=2 nbConstraintChecks=7362473 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=595
32.43 nbFailedAssignments=542 nbBacktracks=47 nbVisitedNodes=1185 nbRestartNogoods=23
32.43 => wckTime=1.195 cpuTime=1.15 mem=16M520
32.70
32.70 search
32.70 run=3 nbConstraintChecks=9020198 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=731
32.70 nbFailedAssignments=643 nbBacktracks=80 nbVisitedNodes=1455 nbRestartNogoods=38
32.70 => wckTime=1.464 cpuTime=1.41 mem=16M520
34.14
34.14 search
34.14 run=4 nbConstraintChecks=18726684 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1351
34.14 nbFailedAssignments=1209 nbBacktracks=130 nbVisitedNodes=2691 nbRestartNogoods=42
34.14 => wckTime=2.901 cpuTime=2.83 mem=16M520
34.73
34.73 search
34.73 run=5 nbConstraintChecks=22138519 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1593
34.73 nbFailedAssignments=1373 nbBacktracks=205 nbVisitedNodes=3172 nbRestartNogoods=47
34.73 => wckTime=3.489 cpuTime=3.39 mem=16M520
35.49
35.49 search
35.49 run=6 nbConstraintChecks=26996182 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2002
35.49 nbFailedAssignments=1665 nbBacktracks=318 nbVisitedNodes=3986 nbRestartNogoods=64
35.49 => wckTime=4.248 cpuTime=4.14 mem=16M520
36.53
36.53 search
36.54 run=7 nbConstraintChecks=33747871 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2594
36.54 nbFailedAssignments=2083 nbBacktracks=488 nbVisitedNodes=5166 nbRestartNogoods=68
36.54 => wckTime=5.298 cpuTime=5.18 mem=16M520
38.35
38.35 search
38.35 run=8 nbConstraintChecks=45616014 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3593
38.35 nbFailedAssignments=2822 nbBacktracks=744 nbVisitedNodes=7160 nbRestartNogoods=79
38.35 => wckTime=7.116 cpuTime=6.98 mem=16M520
41.13
41.13 search
41.13 run=9 nbConstraintChecks=63875747 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5064
41.13 nbFailedAssignments=3906 nbBacktracks=1128 nbVisitedNodes=10099 nbRestartNogoods=94
41.13 => wckTime=9.894 cpuTime=9.73 mem=16M520
45.79
45.79 search
45.79 run=10 nbConstraintChecks=94397447 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7486
45.79 nbFailedAssignments=5750 nbBacktracks=1704 nbVisitedNodes=14941 nbRestartNogoods=107
45.79 => wckTime=14.551 cpuTime=14.34 mem=16M520
58.01
58.01 search
58.01 run=11 nbConstraintChecks=172624463 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13685
58.01 nbFailedAssignments=11080 nbBacktracks=2568 nbVisitedNodes=27329 nbRestartNogoods=127
58.01 => wckTime=26.776 cpuTime=26.47 mem=16M520
71.88
71.88 search
71.88 run=12 nbConstraintChecks=259847685 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21385
71.88 nbFailedAssignments=17481 nbBacktracks=3865 nbVisitedNodes=42718 nbRestartNogoods=141
71.88 => wckTime=40.639 cpuTime=40.22 mem=16M520
93.57
93.57 search
93.57 run=13 nbConstraintChecks=389204612 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=32359
93.57 nbFailedAssignments=26506 nbBacktracks=5811 nbVisitedNodes=64643 nbRestartNogoods=211
93.57 => wckTime=62.333 cpuTime=61.73 mem=16M520
113.96
113.96 search
113.96 run=14 nbConstraintChecks=513861684 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=45299
113.96 nbFailedAssignments=36524 nbBacktracks=8730 nbVisitedNodes=90496 nbRestartNogoods=237
113.96 => wckTime=82.726 cpuTime=81.96 mem=16M520
128.84
128.84 search
128.84 run=15 nbConstraintChecks=605964886 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=55976
128.84 nbFailedAssignments=44539 nbBacktracks=11393 nbVisitedNodes=111801 nbRestartNogoods=277
128.84 => wckTime=97.599 cpuTime=96.71 mem=16M520
128.84
128.84 global
128.84 nbConstraintChecks=605967966 nbRestartNogoods=277 solvingWckTime=97.6 solvingCpuTime=96.71 expiredTime=no
128.84 totalExploration=yes nbFoundSolutions=0 globalCpuTime=127.23
128.84 => wckTime=128.524 cpuTime=127.19 mem=16M520
128.84
128.84 s OPTIMUM FOUND
128.84 v 0 0 40 41 36 32 32 41 42 36 35 35 7 11
128.84
128.84 totalWckTime=128.603 totalCpuTime=127.23
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node71/watcher-282557-1169320156 -o ROOT/results/node71/solver-282557-1169320156 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282557-1169320156/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.99 1.73 1.39 4/80 3367
/proc/meminfo: memFree=1175432/2055920 swapFree=4192812/4192956
[pid=3366] ppid=3364 vsize=18540 CPUtime=0
/proc/3366/stat : 3366 (runsolver) R 3364 3366 3005 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 79512427 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 231962373415 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/3366/statm: 4635 279 244 17 0 2626 0
[startup+0.107138 s]
/proc/loadavg: 1.99 1.73 1.39 4/80 3367
/proc/meminfo: memFree=1175432/2055920 swapFree=4192812/4192956
[pid=3366] ppid=3364 vsize=914988 CPUtime=0.08
/proc/3366/stat : 3366 (java) R 3364 3366 3005 0 -1 0 2996 0 1 0 7 1 0 0 18 0 8 0 79512427 936947712 2742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152893478 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3366/statm: 228747 2742 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515193 s]
/proc/loadavg: 1.99 1.73 1.39 4/80 3367
/proc/meminfo: memFree=1175432/2055920 swapFree=4192812/4192956
[pid=3366] ppid=3364 vsize=915332 CPUtime=0.49
/proc/3366/stat : 3366 (java) R 3364 3366 3005 0 -1 0 7207 0 1 0 45 4 0 0 18 0 8 0 79512427 937299968 6946 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072916954 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3366/statm: 228833 6946 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.3363 s]
/proc/loadavg: 1.99 1.73 1.39 3/87 3374
/proc/meminfo: memFree=1152336/2055920 swapFree=4192812/4192956
[pid=3366] ppid=3364 vsize=915464 CPUtime=1.29
/proc/3366/stat : 3366 (java) R 3364 3366 3005 0 -1 0 8436 0 1 0 123 6 0 0 25 0 8 0 79512427 937435136 8174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073729432 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3366/statm: 228866 8174 2476 14 0 215336 0
[pid=3366/tid=3368] ppid=3364 vsize=915464 CPUtime=0.03
/proc/3366/task/3368/stat : 3368 (java) S 3364 3366 3005 0 -1 64 191 0 0 0 3 0 0 0 16 0 8 0 79512431 937435136 8174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3369] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3369/stat : 3369 (java) S 3364 3366 3005 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79512432 937435136 8174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3370] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3370/stat : 3370 (java) S 3364 3366 3005 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79512432 937435136 8174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3371] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3371/stat : 3371 (java) S 3364 3366 3005 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 79512435 937435136 8174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3372] ppid=3364 vsize=915464 CPUtime=0.15
/proc/3366/task/3372/stat : 3372 (java) S 3364 3366 3005 0 -1 64 343 0 0 0 14 1 0 0 16 0 8 0 79512435 937435136 8174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3373] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3373/stat : 3373 (java) S 3364 3366 3005 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79512435 937435136 8174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3374] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3374/stat : 3374 (java) S 3364 3366 3005 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 79512435 937435136 8174 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915464
[startup+2.97352 s]
/proc/loadavg: 1.99 1.73 1.39 3/87 3374
/proc/meminfo: memFree=1152336/2055920 swapFree=4192812/4192956
[pid=3366] ppid=3364 vsize=915464 CPUtime=2.91
/proc/3366/stat : 3366 (java) R 3364 3366 3005 0 -1 0 8440 0 1 0 280 11 0 0 25 0 8 0 79512427 937435136 8177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073729982 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3366/statm: 228866 8177 2476 14 0 215336 0
[pid=3366/tid=3368] ppid=3364 vsize=915464 CPUtime=0.03
/proc/3366/task/3368/stat : 3368 (java) S 3364 3366 3005 0 -1 64 191 0 0 0 3 0 0 0 16 0 8 0 79512431 937435136 8177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3369] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3369/stat : 3369 (java) S 3364 3366 3005 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79512432 937435136 8177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3370] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3370/stat : 3370 (java) S 3364 3366 3005 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79512432 937435136 8177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3371] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3371/stat : 3371 (java) S 3364 3366 3005 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 79512435 937435136 8177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3372] ppid=3364 vsize=915464 CPUtime=0.15
/proc/3366/task/3372/stat : 3372 (java) S 3364 3366 3005 0 -1 64 346 0 0 0 14 1 0 0 16 0 8 0 79512435 937435136 8177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3373] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3373/stat : 3373 (java) S 3364 3366 3005 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79512435 937435136 8177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3374] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3374/stat : 3374 (java) S 3364 3366 3005 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 79512435 937435136 8177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 915464
[startup+6.26797 s]
/proc/loadavg: 1.99 1.73 1.39 3/87 3374
/proc/meminfo: memFree=1152208/2055920 swapFree=4192812/4192956
[pid=3366] ppid=3364 vsize=915464 CPUtime=6.18
/proc/3366/stat : 3366 (java) R 3364 3366 3005 0 -1 0 8440 0 1 0 597 21 0 0 25 0 8 0 79512427 937435136 8177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073730018 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3366/statm: 228866 8177 2476 14 0 215336 0
[pid=3366/tid=3368] ppid=3364 vsize=915464 CPUtime=0.03
/proc/3366/task/3368/stat : 3368 (java) S 3364 3366 3005 0 -1 64 191 0 0 0 3 0 0 0 16 0 8 0 79512431 937435136 8177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3369] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3369/stat : 3369 (java) S 3364 3366 3005 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79512432 937435136 8177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3370] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3370/stat : 3370 (java) S 3364 3366 3005 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79512432 937435136 8177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3371] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3371/stat : 3371 (java) S 3364 3366 3005 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 79512435 937435136 8177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3372] ppid=3364 vsize=915464 CPUtime=0.16
/proc/3366/task/3372/stat : 3372 (java) S 3364 3366 3005 0 -1 64 346 0 0 0 15 1 0 0 16 0 8 0 79512435 937435136 8177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3373] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3373/stat : 3373 (java) S 3364 3366 3005 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79512435 937435136 8177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3374] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3374/stat : 3374 (java) S 3364 3366 3005 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 79512435 937435136 8177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915464
[startup+12.7379 s]
/proc/loadavg: 1.99 1.74 1.40 3/87 3374
/proc/meminfo: memFree=1152272/2055920 swapFree=4192812/4192956
[pid=3366] ppid=3364 vsize=915464 CPUtime=12.59
/proc/3366/stat : 3366 (java) R 3364 3366 3005 0 -1 0 8440 0 1 0 1223 36 0 0 25 0 8 0 79512427 937435136 8177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073729984 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3366/statm: 228866 8177 2476 14 0 215336 0
[pid=3366/tid=3368] ppid=3364 vsize=915464 CPUtime=0.03
/proc/3366/task/3368/stat : 3368 (java) S 3364 3366 3005 0 -1 64 191 0 0 0 3 0 0 0 16 0 8 0 79512431 937435136 8177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3369] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3369/stat : 3369 (java) S 3364 3366 3005 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79512432 937435136 8177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3370] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3370/stat : 3370 (java) S 3364 3366 3005 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79512432 937435136 8177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3371] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3371/stat : 3371 (java) S 3364 3366 3005 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 79512435 937435136 8177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3372] ppid=3364 vsize=915464 CPUtime=0.16
/proc/3366/task/3372/stat : 3372 (java) S 3364 3366 3005 0 -1 64 346 0 0 0 15 1 0 0 16 0 8 0 79512435 937435136 8177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3373] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3373/stat : 3373 (java) S 3364 3366 3005 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79512435 937435136 8177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3374] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3374/stat : 3374 (java) S 3364 3366 3005 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 79512435 937435136 8177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915464
[startup+25.6036 s]
/proc/loadavg: 1.99 1.75 1.40 3/87 3374
/proc/meminfo: memFree=1152400/2055920 swapFree=4192812/4192956
[pid=3366] ppid=3364 vsize=915464 CPUtime=25.36
/proc/3366/stat : 3366 (java) R 3364 3366 3005 0 -1 0 8442 0 1 0 2463 73 0 0 25 0 8 0 79512427 937435136 8179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727593 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3366/statm: 228866 8179 2476 14 0 215336 0
[pid=3366/tid=3368] ppid=3364 vsize=915464 CPUtime=0.03
/proc/3366/task/3368/stat : 3368 (java) S 3364 3366 3005 0 -1 64 191 0 0 0 3 0 0 0 16 0 8 0 79512431 937435136 8179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3369] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3369/stat : 3369 (java) S 3364 3366 3005 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79512432 937435136 8179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3370] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3370/stat : 3370 (java) S 3364 3366 3005 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79512432 937435136 8179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3371] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3371/stat : 3371 (java) S 3364 3366 3005 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 79512435 937435136 8179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3372] ppid=3364 vsize=915464 CPUtime=0.16
/proc/3366/task/3372/stat : 3372 (java) S 3364 3366 3005 0 -1 64 348 0 0 0 15 1 0 0 16 0 8 0 79512435 937435136 8179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3373] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3373/stat : 3373 (java) S 3364 3366 3005 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79512435 937435136 8179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3374] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3374/stat : 3374 (java) S 3364 3366 3005 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 79512435 937435136 8179 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915464
[startup+51.2071 s]
/proc/loadavg: 1.99 1.77 1.42 3/87 3374
/proc/meminfo: memFree=1150288/2055920 swapFree=4192812/4192956
[pid=3366] ppid=3364 vsize=915464 CPUtime=50.74
/proc/3366/stat : 3366 (java) R 3364 3366 3005 0 -1 0 9043 0 1 0 4984 90 0 0 25 0 8 0 79512427 937435136 8773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073826959 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3366/statm: 228866 8773 2527 14 0 215336 0
[pid=3366/tid=3368] ppid=3364 vsize=915464 CPUtime=0.03
/proc/3366/task/3368/stat : 3368 (java) S 3364 3366 3005 0 -1 64 192 0 0 0 3 0 0 0 16 0 8 0 79512431 937435136 8773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3369] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3369/stat : 3369 (java) S 3364 3366 3005 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79512432 937435136 8773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3370] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3370/stat : 3370 (java) S 3364 3366 3005 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79512432 937435136 8773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3371] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3371/stat : 3371 (java) S 3364 3366 3005 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 79512435 937435136 8773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3372] ppid=3364 vsize=915464 CPUtime=0.26
/proc/3366/task/3372/stat : 3372 (java) S 3364 3366 3005 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 79512435 937435136 8773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3373] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3373/stat : 3373 (java) S 3364 3366 3005 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79512435 937435136 8773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3374] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3374/stat : 3374 (java) S 3364 3366 3005 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 79512435 937435136 8773 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915464
[startup+102.407 s]
/proc/loadavg: 1.99 1.80 1.45 3/87 3374
/proc/meminfo: memFree=1150288/2055920 swapFree=4192812/4192956
[pid=3366] ppid=3364 vsize=915464 CPUtime=101.52
/proc/3366/stat : 3366 (java) R 3364 3366 3005 0 -1 0 9053 0 1 0 10061 91 0 0 25 0 8 0 79512427 937435136 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073733414 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3366/statm: 228866 8781 2527 14 0 215336 0
[pid=3366/tid=3368] ppid=3364 vsize=915464 CPUtime=0.03
/proc/3366/task/3368/stat : 3368 (java) S 3364 3366 3005 0 -1 64 192 0 0 0 3 0 0 0 16 0 8 0 79512431 937435136 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3369] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3369/stat : 3369 (java) S 3364 3366 3005 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 79512432 937435136 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3370] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3370/stat : 3370 (java) S 3364 3366 3005 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 79512432 937435136 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3371] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3371/stat : 3371 (java) S 3364 3366 3005 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 79512435 937435136 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3372] ppid=3364 vsize=915464 CPUtime=0.26
/proc/3366/task/3372/stat : 3372 (java) S 3364 3366 3005 0 -1 64 404 0 0 0 25 1 0 0 16 0 8 0 79512435 937435136 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3373] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3373/stat : 3373 (java) S 3364 3366 3005 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 79512435 937435136 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3366/tid=3374] ppid=3364 vsize=915464 CPUtime=0
/proc/3366/task/3374/stat : 3374 (java) S 3364 3366 3005 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 79512435 937435136 8781 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.52
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 128.893
CPU time (s): 127.754
CPU user time (s): 126.831
CPU system time (s): 0.922859
CPU usage (%): 99.1157
Max. virtual memory (cumulated for all children) (KiB): 915468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 126.831
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= 9151
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= 3745
involuntary context switches= 6531
runsolver used 0.120981 s user time and 0.420936 s system time
The end
Begin job on node71 on Sat Jan 20 19:09:16 UTC 2007
IDJOB= 282557
IDBENCH= 12864
IDSOLVER= 69
FILE ID= node71/282557-1169320156
PBS_JOBID= 3610421
Free space on /tmp= 66557 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/celar/subs7/scenw-7-sub1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282557-1169320156/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node71/watcher-282557-1169320156 -o ROOT/results/node71/solver-282557-1169320156 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282557-1169320156/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3b31cf10d993949684308d050377e65a
RANDOM SEED= 695624347
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.236
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.236
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: 1175912 kB
Buffers: 56644 kB
Cached: 651304 kB
SwapCached: 0 kB
Active: 238152 kB
Inactive: 565704 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1175912 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1988 kB
Writeback: 0 kB
Mapped: 116156 kB
Slab: 61228 kB
Committed_AS: 1942008 kB
PageTables: 2024 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= 66557 MiB
End job on node71 on Sat Jan 20 19:11:25 UTC 2007