0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=epfc.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/281197-1169310567/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=25 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.41 => wckTime=0.091 cpuTime=0.07 mem=6M887
0.41
0.41 relations being loaded...
0.48
0.48 constraints being loaded...
0.58 nbConstraints=300 nbRelationTypes=300 nbExtensionStructures=300 nbSharedExtensionStructures=0
0.58 nbConflictsStructures=300 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=5547 maxDegree=24
0.58 maxArity=2
0.58 => wckTime=0.255 cpuTime=0.16 mem=9M846
0.62
0.62 solver LocalSearchSolver being built...
0.66 => wckTime=0.337 cpuTime=0.22 mem=5M672
0.66
0.66 s SATISFIABLE
0.66 o 260
0.66 c 40
0.67 o 266
0.67 c 34
0.67 o 270
0.67 c 30
0.67 o 273
0.67 c 27
0.67 o 275
0.67 c 25
0.67 o 279
0.67 c 21
0.67 o 282
0.67 c 18
0.67 o 283
0.67 c 17
0.67 o 286
0.67 c 14
0.67 o 287
0.67 c 13
0.67 o 288
0.67 c 12
0.67 o 289
0.67 c 11
0.68 o 290
0.68 c 10
0.69 o 291
0.69 c 9
0.69 o 292
0.69 c 8
0.69 o 293
0.69 c 7
0.69 o 294
0.69 c 6
0.71 o 295
0.71 c 5
0.71 o 296
0.71 c 4
0.72 o 297
0.72 c 3
0.80 o 298
0.80 c 2
2.59
2.59 search
2.59 run=0 nbConstraintChecks=11879809 nbAssignments=10000
2.59 => wckTime=1.931 cpuTime=1.89 mem=5M672
4.55
4.55 search
4.55 run=1 nbConstraintChecks=24035470 nbAssignments=20000
4.55 => wckTime=3.893 cpuTime=3.84 mem=5M672
6.49
6.49 search
6.49 run=2 nbConstraintChecks=35924571 nbAssignments=30000
6.49 => wckTime=5.828 cpuTime=5.75 mem=5M672
8.50
8.50 search
8.50 run=3 nbConstraintChecks=48427344 nbAssignments=40000
8.50 => wckTime=7.838 cpuTime=7.74 mem=5M672
10.41
10.41 search
10.41 run=4 nbConstraintChecks=60112297 nbAssignments=50000
10.41 => wckTime=9.753 cpuTime=9.64 mem=5M672
10.65 o 299
10.65 c 1
10.65
10.65 search
10.65 run=5 nbConstraintChecks=61582623 nbAssignments=51169
10.65 => wckTime=9.992 cpuTime=9.87 mem=5M672
10.65
10.65 global
10.65 nbConstraintChecks=61582623 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
10.65 solvingWckTime=9.991 solvingCpuTime=9.88 expiredTime=no totalExploration=no nbFoundSolutions=0
10.65 globalCpuTime=10.16
10.65 => wckTime=10.33 cpuTime=10.1 mem=5M672
10.65
10.65 solver IterativeSystematicSolver being built...
10.78 => wckTime=10.463 cpuTime=10.2 mem=16M613
10.84
10.84 preprocessing
10.84 nbConstraintChecks=29925 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
10.84 detectedInconsistency=no
10.84 => wckTime=0.055 cpuTime=0.03 mem=16M613
10.89
10.89 search
10.89 run=0 nbConstraintChecks=97065 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=37
10.89 nbFailedAssignments=23 nbBacktracks=10 nbVisitedNodes=71 nbRestartNogoods=0
10.89 => wckTime=0.098 cpuTime=0.07 mem=16M613
10.94
10.94 search
10.94 run=1 nbConstraintChecks=226545 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=86
10.94 nbFailedAssignments=53 nbBacktracks=25 nbVisitedNodes=165 nbRestartNogoods=6
10.94 => wckTime=0.15 cpuTime=0.11 mem=16M613
11.00
11.00 search
11.00 run=2 nbConstraintChecks=450284 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=163
11.00 nbFailedAssignments=105 nbBacktracks=47 nbVisitedNodes=315 nbRestartNogoods=17
11.00 => wckTime=0.211 cpuTime=0.18 mem=16M613
11.10
11.10 search
11.10 run=3 nbConstraintChecks=809770 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=287
11.10 nbFailedAssignments=193 nbBacktracks=80 nbVisitedNodes=560 nbRestartNogoods=20
11.10 => wckTime=0.312 cpuTime=0.28 mem=16M613
11.20
11.20 search
11.20 run=4 nbConstraintChecks=1220299 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=435
11.20 nbFailedAssignments=286 nbBacktracks=130 nbVisitedNodes=849 nbRestartNogoods=30
11.20 => wckTime=0.417 cpuTime=0.38 mem=16M613
11.38
11.38 search
11.38 run=5 nbConstraintChecks=1874687 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=664
11.38 nbFailedAssignments=435 nbBacktracks=205 nbVisitedNodes=1300 nbRestartNogoods=39
11.38 => wckTime=0.592 cpuTime=0.55 mem=16M613
11.67
11.67 search
11.67 run=6 nbConstraintChecks=2973878 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1042
11.67 nbFailedAssignments=697 nbBacktracks=318 nbVisitedNodes=2045 nbRestartNogoods=61
11.67 => wckTime=0.883 cpuTime=0.83 mem=16M613
12.09
12.09 search
12.09 run=7 nbConstraintChecks=4605195 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1610
12.09 nbFailedAssignments=1092 nbBacktracks=488 nbVisitedNodes=3165 nbRestartNogoods=76
12.09 => wckTime=1.308 cpuTime=1.24 mem=16M613
12.69
12.69 search
12.69 run=8 nbConstraintChecks=6998436 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2426
12.69 nbFailedAssignments=1648 nbBacktracks=744 nbVisitedNodes=4778 nbRestartNogoods=81
12.69 => wckTime=1.904 cpuTime=1.82 mem=16M613
13.55
13.55 search
13.55 run=9 nbConstraintChecks=10513067 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=3643
13.55 nbFailedAssignments=2477 nbBacktracks=1128 nbVisitedNodes=7191 nbRestartNogoods=96
13.55 => wckTime=2.766 cpuTime=2.68 mem=16M613
14.74
14.74 search
14.74 run=10 nbConstraintChecks=15337457 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=5316
14.74 nbFailedAssignments=3571 nbBacktracks=1704 nbVisitedNodes=10497 nbRestartNogoods=108
14.74 => wckTime=3.951 cpuTime=3.85 mem=16M613
16.53
16.53 search
16.53 run=11 nbConstraintChecks=22476514 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=7761
16.53 nbFailedAssignments=5148 nbBacktracks=2568 nbVisitedNodes=15293 nbRestartNogoods=124
16.53 => wckTime=5.747 cpuTime=5.63 mem=16M613
19.04
19.04 search
19.04 run=12 nbConstraintChecks=32320453 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11243
19.04 nbFailedAssignments=7330 nbBacktracks=3866 nbVisitedNodes=22058 nbRestartNogoods=143
19.04 => wckTime=8.25 cpuTime=8.11 mem=16M613
22.13
22.13 search
22.13 run=13 nbConstraintChecks=44051531 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=15663
22.13 nbFailedAssignments=9801 nbBacktracks=5812 nbVisitedNodes=30214 nbRestartNogoods=151
22.13 => wckTime=11.344 cpuTime=11.18 mem=16M613
26.24
26.24 search
26.24 run=14 nbConstraintChecks=59360816 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=21700
26.24 nbFailedAssignments=12917 nbBacktracks=8731 nbVisitedNodes=40820 nbRestartNogoods=160
26.24 => wckTime=15.458 cpuTime=15.26 mem=16M613
31.83
31.83 search
31.83 run=15 nbConstraintChecks=81003648 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=30455
31.83 nbFailedAssignments=17292 nbBacktracks=13109 nbVisitedNodes=55650 nbRestartNogoods=180
31.83 => wckTime=21.044 cpuTime=20.84 mem=16M613
39.38
39.38 search
39.38 run=16 nbConstraintChecks=109825838 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=42597
39.38 nbFailedAssignments=22931 nbBacktracks=19613 nbVisitedNodes=75405 nbRestartNogoods=192
39.38 => wckTime=28.596 cpuTime=28.38 mem=16M613
39.38
39.38 global
39.38 nbConstraintChecks=109855763 nbRestartNogoods=192 solvingWckTime=28.597 solvingCpuTime=28.38 expiredTime=no
39.38 totalExploration=yes nbFoundSolutions=0 globalCpuTime=38.64
39.38 => wckTime=39.061 cpuTime=38.58 mem=16M613
39.38
39.39 s OPTIMUM FOUND
39.39 v 1 8 0 4 5 0 2 2 1 6 1 2 7 0 3 0 0 5 3 9 6 4 3 1 3
39.39
39.39 totalWckTime=39.136 totalCpuTime=38.65
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node47/watcher-281197-1169310567 -o ROOT/results/node47/solver-281197-1169310567 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281197-1169310567/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: 0.84 0.94 1.03 3/68 32011
/proc/meminfo: memFree=1391032/2055920 swapFree=4184008/4192956
[pid=32010] ppid=32008 vsize=1816 CPUtime=0
/proc/32010/stat : 32010 (java) R 32008 32010 31907 0 -1 0 175 0 0 0 0 0 0 0 18 0 1 0 279456213 1859584 146 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32010/statm: 446 147 112 14 0 91 0
[startup+0.105831 s]
/proc/loadavg: 0.84 0.94 1.03 3/68 32011
/proc/meminfo: memFree=1391032/2055920 swapFree=4184008/4192956
[pid=32010] ppid=32008 vsize=912432 CPUtime=0.07
/proc/32010/stat : 32010 (java) R 32008 32010 31907 0 -1 0 2678 0 1 0 6 1 0 0 19 0 8 0 279456213 934330368 2425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32010/statm: 228108 2435 1327 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912432
[startup+0.513873 s]
/proc/loadavg: 0.84 0.94 1.03 3/68 32011
/proc/meminfo: memFree=1391032/2055920 swapFree=4184008/4192956
[pid=32010] ppid=32008 vsize=915332 CPUtime=0.48
/proc/32010/stat : 32010 (java) R 32008 32010 31907 0 -1 0 6382 0 1 0 44 4 0 0 17 0 8 0 279456213 937299968 6121 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073562230 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32010/statm: 228833 6121 2143 14 0 215303 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915332
[startup+1.33496 s]
/proc/loadavg: 0.84 0.94 1.03 2/75 32048
/proc/meminfo: memFree=1370240/2055920 swapFree=4184008/4192956
[pid=32010] ppid=32008 vsize=915464 CPUtime=1.3
/proc/32010/stat : 32010 (java) R 32008 32010 31907 0 -1 0 7434 0 1 0 112 18 0 0 20 0 8 0 279456213 937435136 7172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32010/statm: 228866 7172 2479 14 0 215336 0
[pid=32010/tid=32020] ppid=32008 vsize=915464 CPUtime=0.02
/proc/32010/task/32020/stat : 32020 (java) S 32008 32010 31907 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 279456217 937435136 7172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32021] ppid=32008 vsize=915464 CPUtime=0
/proc/32010/task/32021/stat : 32021 (java) S 32008 32010 31907 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279456218 937435136 7172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32010/tid=32022] ppid=32008 vsize=915468 CPUtime=0
/proc/32010/task/32022/stat : 32022 (java) S 32008 32010 31907 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279456218 937439232 7172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32010/tid=32036] ppid=32008 vsize=915464 CPUtime=0
/proc/32010/task/32036/stat : 32036 (java) S 32008 32010 31907 0 -1 64 0 0 0 0 0 0 0 0 16 0 8 0 279456222 937435136 7172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32010/tid=32037] ppid=32008 vsize=915464 CPUtime=0.14
/proc/32010/task/32037/stat : 32037 (java) S 32008 32010 31907 0 -1 64 346 0 0 0 14 0 0 0 16 0 8 0 279456222 937435136 7172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32010/tid=32040] ppid=32008 vsize=915464 CPUtime=0
/proc/32010/task/32040/stat : 32040 (java) S 32008 32010 31907 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279456222 937435136 7172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32041] ppid=32008 vsize=915464 CPUtime=0
/proc/32010/task/32041/stat : 32041 (java) S 32008 32010 31907 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279456222 937435136 7172 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464
[startup+2.97513 s]
/proc/loadavg: 0.84 0.94 1.03 3/87 32060
/proc/meminfo: memFree=1350560/2055920 swapFree=4184008/4192956
[pid=32010] ppid=32008 vsize=915464 CPUtime=2.92
/proc/32010/stat : 32010 (java) R 32008 32010 31907 0 -1 0 7438 0 1 0 241 51 0 0 25 0 8 0 279456213 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073733615 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32010/statm: 228866 7175 2479 14 0 215336 0
[pid=32010/tid=32020] ppid=32008 vsize=915464 CPUtime=0.02
/proc/32010/task/32020/stat : 32020 (java) S 32008 32010 31907 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 279456217 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32010/tid=32021] ppid=32008 vsize=915464 CPUtime=0
/proc/32010/task/32021/stat : 32021 (java) S 32008 32010 31907 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279456218 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32010/tid=32022] ppid=32008 vsize=915464 CPUtime=0
/proc/32010/task/32022/stat : 32022 (java) S 32008 32010 31907 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279456218 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32010/tid=32036] ppid=32008 vsize=915464 CPUtime=0
/proc/32010/task/32036/stat : 32036 (java) S 32008 32010 31907 0 -1 64 0 0 0 0 0 0 0 0 16 0 8 0 279456222 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32010/tid=32037] ppid=32008 vsize=915464 CPUtime=0.14
/proc/32010/task/32037/stat : 32037 (java) S 32008 32010 31907 0 -1 64 349 0 0 0 14 0 0 0 16 0 8 0 279456222 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32010/tid=32040] ppid=32008 vsize=915464 CPUtime=0
/proc/32010/task/32040/stat : 32040 (java) S 32008 32010 31907 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279456222 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32041] ppid=32008 vsize=915464 CPUtime=0
/proc/32010/task/32041/stat : 32041 (java) S 32008 32010 31907 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279456222 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915464
[startup+6.18047 s]
/proc/loadavg: 0.93 0.96 1.04 3/87 32060
/proc/meminfo: memFree=1350432/2055920 swapFree=4184008/4192956
[pid=32010] ppid=32008 vsize=915464 CPUtime=6.1
/proc/32010/stat : 32010 (java) R 32008 32010 31907 0 -1 0 7438 0 1 0 491 119 0 0 25 0 8 0 279456213 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073733571 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32010/statm: 228866 7175 2479 14 0 215336 0
[pid=32010/tid=32020] ppid=32008 vsize=915464 CPUtime=0.02
/proc/32010/task/32020/stat : 32020 (java) S 32008 32010 31907 0 -1 64 199 0 0 0 2 0 0 0 16 0 8 0 279456217 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32010/tid=32021] ppid=32008 vsize=915464 CPUtime=0
/proc/32010/task/32021/stat : 32021 (java) S 32008 32010 31907 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279456218 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32010/tid=32022] ppid=32008 vsize=915464 CPUtime=0
/proc/32010/task/32022/stat : 32022 (java) S 32008 32010 31907 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279456218 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32010/tid=32036] ppid=32008 vsize=915464 CPUtime=0
/proc/32010/task/32036/stat : 32036 (java) S 32008 32010 31907 0 -1 64 0 0 0 0 0 0 0 0 16 0 8 0 279456222 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32010/tid=32037] ppid=32008 vsize=915464 CPUtime=0.14
/proc/32010/task/32037/stat : 32037 (java) S 32008 32010 31907 0 -1 64 349 0 0 0 14 0 0 0 16 0 8 0 279456222 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32010/tid=32040] ppid=32008 vsize=915464 CPUtime=0
/proc/32010/task/32040/stat : 32040 (java) S 32008 32010 31907 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279456222 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32041] ppid=32008 vsize=915464 CPUtime=0
/proc/32010/task/32041/stat : 32041 (java) S 32008 32010 31907 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279456222 937435136 7175 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 915464
[startup+12.6542 s]
/proc/loadavg: 1.02 0.97 1.04 3/87 32060
/proc/meminfo: memFree=1338024/2055920 swapFree=4184008/4192956
[pid=32010] ppid=32008 vsize=915464 CPUtime=12.51
/proc/32010/stat : 32010 (java) R 32008 32010 31907 0 -1 0 9058 0 1 0 1040 211 0 0 25 0 8 0 279456213 937435136 8793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073836578 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/32010/statm: 228866 8793 2532 14 0 215336 0
[pid=32010/tid=32020] ppid=32008 vsize=915464 CPUtime=0.02
/proc/32010/task/32020/stat : 32020 (java) S 32008 32010 31907 0 -1 64 200 0 0 0 2 0 0 0 17 0 8 0 279456217 937435136 8793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32010/tid=32021] ppid=32008 vsize=915464 CPUtime=0
/proc/32010/task/32021/stat : 32021 (java) S 32008 32010 31907 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279456218 937435136 8793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32010/tid=32022] ppid=32008 vsize=915464 CPUtime=0
/proc/32010/task/32022/stat : 32022 (java) S 32008 32010 31907 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279456218 937435136 8793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32010/tid=32036] ppid=32008 vsize=915464 CPUtime=0
/proc/32010/task/32036/stat : 32036 (java) S 32008 32010 31907 0 -1 64 0 0 0 0 0 0 0 0 16 0 8 0 279456222 937435136 8793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32010/tid=32037] ppid=32008 vsize=915464 CPUtime=0.23
/proc/32010/task/32037/stat : 32037 (java) S 32008 32010 31907 0 -1 64 402 0 0 0 23 0 0 0 16 0 8 0 279456222 937435136 8793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32010/tid=32040] ppid=32008 vsize=915464 CPUtime=0
/proc/32010/task/32040/stat : 32040 (java) S 32008 32010 31907 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279456222 937435136 8793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32041] ppid=32008 vsize=915464 CPUtime=0
/proc/32010/task/32041/stat : 32041 (java) S 32008 32010 31907 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279456222 937435136 8793 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 915464
[startup+25.5095 s]
/proc/loadavg: 1.23 1.02 1.06 3/87 32060
/proc/meminfo: memFree=1337896/2055920 swapFree=4184008/4192956
[pid=32010] ppid=32008 vsize=915464 CPUtime=25.25
/proc/32010/stat : 32010 (java) R 32008 32010 31907 0 -1 0 9077 0 1 0 2314 211 0 0 25 0 8 0 279456213 937435136 8810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073861290 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32010/statm: 228866 8810 2532 14 0 215336 0
[pid=32010/tid=32020] ppid=32008 vsize=915464 CPUtime=0.02
/proc/32010/task/32020/stat : 32020 (java) S 32008 32010 31907 0 -1 64 200 0 0 0 2 0 0 0 16 0 8 0 279456217 937435136 8810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=32010/tid=32021] ppid=32008 vsize=915464 CPUtime=0
/proc/32010/task/32021/stat : 32021 (java) S 32008 32010 31907 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 279456218 937435136 8810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32010/tid=32022] ppid=32008 vsize=915464 CPUtime=0
/proc/32010/task/32022/stat : 32022 (java) S 32008 32010 31907 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 279456218 937435136 8810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32010/tid=32036] ppid=32008 vsize=915464 CPUtime=0
/proc/32010/task/32036/stat : 32036 (java) S 32008 32010 31907 0 -1 64 0 0 0 0 0 0 0 0 16 0 8 0 279456222 937435136 8810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32010/tid=32037] ppid=32008 vsize=915464 CPUtime=0.24
/proc/32010/task/32037/stat : 32037 (java) S 32008 32010 31907 0 -1 64 406 0 0 0 24 0 0 0 16 0 8 0 279456222 937435136 8810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=32010/tid=32040] ppid=32008 vsize=915464 CPUtime=0
/proc/32010/task/32040/stat : 32040 (java) S 32008 32010 31907 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 279456222 937435136 8810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32010/tid=32041] ppid=32008 vsize=915464 CPUtime=0
/proc/32010/task/32041/stat : 32041 (java) S 32008 32010 31907 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 279456222 937435136 8810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 39.4117
CPU time (s): 39.1361
CPU user time (s): 36.9974
CPU system time (s): 2.13867
CPU usage (%): 99.3005
Max. virtual memory (cumulated for all children) (KiB): 915980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.9974
system time used= 2.13867
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9181
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= 1840
involuntary context switches= 1906
runsolver used 0.057991 s user time and 0.121981 s system time
The end
Begin job on node47 on Sat Jan 20 16:29:28 UTC 2007
IDJOB= 281197
IDBENCH= 12110
IDSOLVER= 68
FILE ID= node47/281197-1169310567
PBS_JOBID= 3610235
Free space on /tmp= 66563 MiB
SOLVER NAME= AbsconMax 109 EPFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/randomMaxCSP/completeLoose/vcsp-25-10-100-18-11_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281197-1169310567/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node47/watcher-281197-1169310567 -o ROOT/results/node47/solver-281197-1169310567 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar epfc.xml 1 XSax /tmp/evaluation/281197-1169310567/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 19293eb4feadddb09a46ac91a80aad7e
RANDOM SEED= 556302301
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.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: 1391576 kB
Buffers: 44828 kB
Cached: 530440 kB
SwapCached: 2936 kB
Active: 144296 kB
Inactive: 445236 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1391576 kB
SwapTotal: 4192956 kB
SwapFree: 4184008 kB
Dirty: 1972 kB
Writeback: 0 kB
Mapped: 20232 kB
Slab: 60580 kB
Committed_AS: 5170276 kB
PageTables: 1664 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 node47 on Sat Jan 20 16:30:09 UTC 2007