0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/228643-1168299933/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.43 => wckTime=0.109 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.53
0.53 constraints being loaded...
0.63 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8222 maxDegree=30
0.63 maxArity=2
0.63 => wckTime=0.311 cpuTime=0.21 mem=10M852
0.68
0.68 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.52 cpuTime=0.35 mem=14M819
0.90
0.90 preprocessing
0.90 nbConstraintChecks=30393 nbPropagations=870 nbRevisions=5191 nbUselessRevisions=4136 nbSingletonTests=51
0.90 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.90 => wckTime=0.051 cpuTime=0.04 mem=14M819
0.92
0.92 search
0.92 run=0 nbConstraintChecks=18885 nbPropagations=1277 nbRevisions=10059 nbUselessRevisions=8072 nbAssignments=27
0.92 nbFailedAssignments=8 nbBacktracks=13 nbVisitedNodes=43 nbRestartNogoods=0 mapSize=12 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.075 cpuTime=0.06 mem=14M819
0.94
0.94 search
0.94 run=1 nbConstraintChecks=44957 nbPropagations=3080 nbRevisions=26598 nbUselessRevisions=21426 nbAssignments=61
0.94 nbFailedAssignments=20 nbBacktracks=29 nbVisitedNodes=97 nbRestartNogoods=1 mapSize=25 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.094 cpuTime=0.07 mem=14M819
0.95
0.96 search
0.96 run=2 nbConstraintChecks=76860 nbPropagations=5547 nbRevisions=51353 nbUselessRevisions=41512
0.96 nbAssignments=103 nbFailedAssignments=31 nbBacktracks=53 nbVisitedNodes=164 nbRestartNogoods=2 mapSize=44
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.109 cpuTime=0.08 mem=14M819
0.97
0.97 search
0.97 run=3 nbConstraintChecks=123483 nbPropagations=8921 nbRevisions=87970 nbUselessRevisions=71514
0.97 nbAssignments=165 nbFailedAssignments=51 nbBacktracks=87 nbVisitedNodes=267 nbRestartNogoods=4 mapSize=74
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.124 cpuTime=0.1 mem=14M819
0.99
0.99 search
0.99 run=4 nbConstraintChecks=200215 nbPropagations=13734 nbRevisions=145765 nbUselessRevisions=119196
0.99 nbAssignments=252 nbFailedAssignments=82 nbBacktracks=137 nbVisitedNodes=414 nbRestartNogoods=9 mapSize=120
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.147 cpuTime=0.12 mem=14M819
1.03
1.03 search
1.03 run=5 nbConstraintChecks=291636 nbPropagations=20323 nbRevisions=227511 nbUselessRevisions=186472
1.03 nbAssignments=369 nbFailedAssignments=117 nbBacktracks=212 nbVisitedNodes=606 nbRestartNogoods=13 mapSize=177
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.18 cpuTime=0.14 mem=14M819
1.07
1.07 search
1.07 run=6 nbConstraintChecks=428607 nbPropagations=29560 nbRevisions=348471 nbUselessRevisions=286482
1.07 nbAssignments=549 nbFailedAssignments=173 nbBacktracks=325 nbVisitedNodes=907 nbRestartNogoods=19 mapSize=273
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.219 cpuTime=0.18 mem=14M819
1.12
1.12 search
1.12 run=7 nbConstraintChecks=645497 nbPropagations=42838 nbRevisions=528722 nbUselessRevisions=435961
1.13 nbAssignments=818 nbFailedAssignments=261 nbBacktracks=497 nbVisitedNodes=1357 nbRestartNogoods=26 mapSize=413
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.278 cpuTime=0.24 mem=14M819
1.23
1.23 search
1.23 run=8 nbConstraintChecks=1001959 nbPropagations=62726 nbRevisions=802315 nbUselessRevisions=662235
1.23 nbAssignments=1246 nbFailedAssignments=413 nbBacktracks=753 nbVisitedNodes=2057 nbRestartNogoods=31
1.23 mapSize=630 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.383 cpuTime=0.33 mem=14M819
1.38
1.38 search
1.38 run=9 nbConstraintChecks=1535254 nbPropagations=92099 nbRevisions=1217215 nbUselessRevisions=1005997
1.38 nbAssignments=1839 nbFailedAssignments=614 nbBacktracks=1137 nbVisitedNodes=3059 nbRestartNogoods=36
1.38 mapSize=949 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.53 cpuTime=0.46 mem=14M819
1.40
1.40 INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=14M819)
1.57
1.57 search
1.57 run=10 nbConstraintChecks=2287971 nbPropagations=135238 nbRevisions=1839306 nbUselessRevisions=1521345
1.57 nbAssignments=2714 nbFailedAssignments=905 nbBacktracks=1716 nbVisitedNodes=4557 nbRestartNogoods=41
1.57 => wckTime=0.723 cpuTime=0.64 mem=14M819
1.80
1.80 search
1.80 run=11 nbConstraintChecks=3328070 nbPropagations=197751 nbRevisions=2745108 nbUselessRevisions=2272322
1.80 nbAssignments=4027 nbFailedAssignments=1342 nbBacktracks=2583 nbVisitedNodes=6743 nbRestartNogoods=45
1.80 => wckTime=0.958 cpuTime=0.87 mem=14M819
2.16
2.16 search
2.16 run=12 nbConstraintChecks=4938319 nbPropagations=289248 nbRevisions=4081412 nbUselessRevisions=3379973
2.16 nbAssignments=5969 nbFailedAssignments=1977 nbBacktracks=3881 nbVisitedNodes=9958 nbRestartNogoods=52
2.16 => wckTime=1.316 cpuTime=1.22 mem=14M819
2.75
2.75 search
2.75 run=13 nbConstraintChecks=7577244 nbPropagations=427338 nbRevisions=6118092 nbUselessRevisions=5067395
2.75 nbAssignments=8979 nbFailedAssignments=3034 nbBacktracks=5828 nbVisitedNodes=15053 nbRestartNogoods=60
2.75 => wckTime=1.9 cpuTime=1.8 mem=14M819
3.55
3.55 search
3.55 run=14 nbConstraintChecks=11235123 nbPropagations=632151 nbRevisions=9126523 nbUselessRevisions=7558317
3.55 nbAssignments=13410 nbFailedAssignments=4525 nbBacktracks=8747 nbVisitedNodes=22496 nbRestartNogoods=71
3.55 => wckTime=2.702 cpuTime=2.6 mem=14M819
4.74
4.74 search
4.74 run=15 nbConstraintChecks=16698303 nbPropagations=935550 nbRevisions=13593067 nbUselessRevisions=11256382
4.74 nbAssignments=19941 nbFailedAssignments=6670 nbBacktracks=13127 nbVisitedNodes=33436 nbRestartNogoods=80
4.74 => wckTime=3.899 cpuTime=3.78 mem=14M819
6.58
6.58 search
6.58 run=16 nbConstraintChecks=25042949 nbPropagations=1389839 nbRevisions=20335838 nbUselessRevisions=16847078
6.58 nbAssignments=29998 nbFailedAssignments=10152 nbBacktracks=19698 nbVisitedNodes=50396 nbRestartNogoods=85
6.58 => wckTime=5.73 cpuTime=5.59 mem=14M819
9.39
9.39 search
9.39 run=17 nbConstraintChecks=37916037 nbPropagations=2075771 nbRevisions=30590430 nbUselessRevisions=25364197
9.39 nbAssignments=45231 nbFailedAssignments=15525 nbBacktracks=29550 nbVisitedNodes=76339 nbRestartNogoods=90
9.39 => wckTime=8.543 cpuTime=8.38 mem=14M819
13.59
13.59 search
13.59 run=18 nbConstraintChecks=57164898 nbPropagations=3105430 nbRevisions=46017175 nbUselessRevisions=38181478
13.59 nbAssignments=67593 nbFailedAssignments=23100 nbBacktracks=44329 nbVisitedNodes=113973 nbRestartNogoods=102
13.59 => wckTime=12.74 cpuTime=12.54 mem=14M819
19.91
19.91 search
19.91 run=19 nbConstraintChecks=85970636 nbPropagations=4647504 nbRevisions=69176492 nbUselessRevisions=57419873
19.91 nbAssignments=101083 nbFailedAssignments=34416 nbBacktracks=66497 nbVisitedNodes=170433 nbRestartNogoods=109
19.91 => wckTime=19.065 cpuTime=18.78 mem=14M819
29.62
29.62 search
29.62 run=20 nbConstraintChecks=130875838 nbPropagations=6977351 nbRevisions=104254556 nbUselessRevisions=86562349
29.62 nbAssignments=151957 nbFailedAssignments=52029 nbBacktracks=99750 nbVisitedNodes=256708 nbRestartNogoods=120
29.62 => wckTime=28.774 cpuTime=28.38 mem=14M819
36.43
36.43 search
36.43 run=21 nbConstraintChecks=162265878 nbPropagations=9855087 nbRevisions=147686505 nbUselessRevisions=122649208
36.43 nbAssignments=187182 nbFailedAssignments=64279 nbBacktracks=122726 nbVisitedNodes=316332 nbRestartNogoods=125
36.43 => wckTime=35.58 cpuTime=35.1 mem=14M819
36.43
36.43 global
36.43 nbConstraintChecks=162296271 nbPropagations=9855957 nbRevisions=147691696 nbUselessRevisions=122653344
36.43 nbRestartNogoods=125 solvingWckTime=35.581 solvingCpuTime=35.11 expiredTime=no totalExploration=yes
36.43 nbFoundSolutions=0 globalCpuTime=35.51
36.43 => wckTime=36.104 cpuTime=35.46 mem=14M819
36.43
36.43 s UNSATISFIABLE
36.43 d NODES 187182
36.43 d CHECKS 162296271
36.43
36.43 totalWckTime=36.187 totalCpuTime=35.51
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-228643-1168299933 -o ROOT/results/node12/solver-228643-1168299933 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228643-1168299933/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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: 2.00 1.67 1.30 4/98 11099
/proc/meminfo: memFree=1390264/2055920 swapFree=4160348/4192956
[pid=11098] ppid=11096 vsize=18540 CPUtime=0
/proc/11098/stat : 11098 (runsolver) R 11096 11098 9988 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 178388335 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 252429528359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/11098/statm: 4635 279 244 17 0 2626 0
[startup+0.103923 s]
/proc/loadavg: 2.00 1.67 1.30 4/98 11099
/proc/meminfo: memFree=1390264/2055920 swapFree=4160348/4192956
[pid=11098] ppid=11096 vsize=913228 CPUtime=0.08
/proc/11098/stat : 11098 (java) R 11096 11098 9988 0 -1 0 2919 0 1 0 7 1 0 0 19 0 8 0 178388335 935145472 2665 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072932118 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11098/statm: 228307 2665 1396 14 0 215208 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913228
[startup+0.517771 s]
/proc/loadavg: 2.00 1.67 1.30 4/98 11099
/proc/meminfo: memFree=1390264/2055920 swapFree=4160348/4192956
[pid=11098] ppid=11096 vsize=915328 CPUtime=0.49
/proc/11098/stat : 11098 (java) R 11096 11098 9988 0 -1 0 6346 0 1 0 44 5 0 0 18 0 8 0 178388335 937295872 6085 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11098/statm: 228832 6085 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34714 s]
/proc/loadavg: 2.00 1.67 1.30 3/105 11106
/proc/meminfo: memFree=1366592/2055920 swapFree=4160348/4192956
[pid=11098] ppid=11096 vsize=915456 CPUtime=1.3
/proc/11098/stat : 11098 (java) R 11096 11098 9988 0 -1 0 8669 0 1 0 122 8 0 0 24 0 8 0 178388335 937426944 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073806315 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11098/statm: 228864 8407 2524 14 0 215334 0
[pid=11098/tid=11100] ppid=11096 vsize=915456 CPUtime=0.03
/proc/11098/task/11100/stat : 11100 (java) S 11096 11098 9988 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 178388339 937426944 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11098/tid=11101] ppid=11096 vsize=915456 CPUtime=0
/proc/11098/task/11101/stat : 11101 (java) S 11096 11098 9988 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178388340 937426944 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11098/tid=11102] ppid=11096 vsize=915456 CPUtime=0
/proc/11098/task/11102/stat : 11102 (java) S 11096 11098 9988 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178388340 937426944 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11098/tid=11103] ppid=11096 vsize=915456 CPUtime=0
/proc/11098/task/11103/stat : 11103 (java) S 11096 11098 9988 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 178388343 937426944 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11098/tid=11104] ppid=11096 vsize=915456 CPUtime=0.23
/proc/11098/task/11104/stat : 11104 (java) S 11096 11098 9988 0 -1 64 385 0 0 0 22 1 0 0 16 0 8 0 178388343 937426944 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11098/tid=11105] ppid=11096 vsize=915456 CPUtime=0
/proc/11098/task/11105/stat : 11105 (java) S 11096 11098 9988 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178388343 937426944 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11098/tid=11106] ppid=11096 vsize=915456 CPUtime=0
/proc/11098/task/11106/stat : 11106 (java) S 11096 11098 9988 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178388343 937426944 8407 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915456
[startup+2.98544 s]
/proc/loadavg: 2.00 1.67 1.30 3/105 11106
/proc/meminfo: memFree=1366400/2055920 swapFree=4160348/4192956
[pid=11098] ppid=11096 vsize=915456 CPUtime=2.92
/proc/11098/stat : 11098 (java) R 11096 11098 9988 0 -1 0 8697 0 1 0 284 8 0 0 25 0 8 0 178388335 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073824956 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11098/statm: 228864 8434 2524 14 0 215334 0
[pid=11098/tid=11100] ppid=11096 vsize=915456 CPUtime=0.03
/proc/11098/task/11100/stat : 11100 (java) S 11096 11098 9988 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 178388339 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11098/tid=11101] ppid=11096 vsize=915456 CPUtime=0
/proc/11098/task/11101/stat : 11101 (java) S 11096 11098 9988 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178388340 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11098/tid=11102] ppid=11096 vsize=915456 CPUtime=0
/proc/11098/task/11102/stat : 11102 (java) S 11096 11098 9988 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178388340 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11098/tid=11103] ppid=11096 vsize=915456 CPUtime=0
/proc/11098/task/11103/stat : 11103 (java) S 11096 11098 9988 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 178388343 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11098/tid=11104] ppid=11096 vsize=915456 CPUtime=0.24
/proc/11098/task/11104/stat : 11104 (java) S 11096 11098 9988 0 -1 64 393 0 0 0 23 1 0 0 16 0 8 0 178388343 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11098/tid=11105] ppid=11096 vsize=915456 CPUtime=0
/proc/11098/task/11105/stat : 11105 (java) S 11096 11098 9988 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178388343 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11098/tid=11106] ppid=11096 vsize=915456 CPUtime=0
/proc/11098/task/11106/stat : 11106 (java) S 11096 11098 9988 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178388343 937426944 8434 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) 915456
[startup+6.18763 s]
/proc/loadavg: 2.00 1.67 1.30 3/105 11106
/proc/meminfo: memFree=1366272/2055920 swapFree=4160348/4192956
[pid=11098] ppid=11096 vsize=915456 CPUtime=6.09
/proc/11098/stat : 11098 (java) R 11096 11098 9988 0 -1 0 8703 0 1 0 601 8 0 0 25 0 8 0 178388335 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797799 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11098/statm: 228864 8439 2524 14 0 215334 0
[pid=11098/tid=11100] ppid=11096 vsize=915456 CPUtime=0.03
/proc/11098/task/11100/stat : 11100 (java) S 11096 11098 9988 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 178388339 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11098/tid=11101] ppid=11096 vsize=915456 CPUtime=0
/proc/11098/task/11101/stat : 11101 (java) S 11096 11098 9988 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178388340 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11098/tid=11102] ppid=11096 vsize=915456 CPUtime=0
/proc/11098/task/11102/stat : 11102 (java) S 11096 11098 9988 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178388340 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11098/tid=11103] ppid=11096 vsize=915456 CPUtime=0
/proc/11098/task/11103/stat : 11103 (java) S 11096 11098 9988 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 178388343 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11098/tid=11104] ppid=11096 vsize=915456 CPUtime=0.24
/proc/11098/task/11104/stat : 11104 (java) S 11096 11098 9988 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 178388343 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11098/tid=11105] ppid=11096 vsize=915456 CPUtime=0
/proc/11098/task/11105/stat : 11105 (java) S 11096 11098 9988 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178388343 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11098/tid=11106] ppid=11096 vsize=915456 CPUtime=0
/proc/11098/task/11106/stat : 11106 (java) S 11096 11098 9988 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178388343 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915456
[startup+12.6782 s]
/proc/loadavg: 2.00 1.68 1.31 3/105 11106
/proc/meminfo: memFree=1366208/2055920 swapFree=4160348/4192956
[pid=11098] ppid=11096 vsize=915456 CPUtime=12.52
/proc/11098/stat : 11098 (java) R 11096 11098 9988 0 -1 0 8708 0 1 0 1243 9 0 0 25 0 8 0 178388335 937426944 8444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795801 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11098/statm: 228864 8444 2524 14 0 215334 0
[pid=11098/tid=11100] ppid=11096 vsize=915456 CPUtime=0.03
/proc/11098/task/11100/stat : 11100 (java) S 11096 11098 9988 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 178388339 937426944 8444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11098/tid=11101] ppid=11096 vsize=915456 CPUtime=0
/proc/11098/task/11101/stat : 11101 (java) S 11096 11098 9988 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178388340 937426944 8444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11098/tid=11102] ppid=11096 vsize=915456 CPUtime=0
/proc/11098/task/11102/stat : 11102 (java) S 11096 11098 9988 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178388340 937426944 8444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11098/tid=11103] ppid=11096 vsize=915456 CPUtime=0
/proc/11098/task/11103/stat : 11103 (java) S 11096 11098 9988 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 178388343 937426944 8444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11098/tid=11104] ppid=11096 vsize=915456 CPUtime=0.24
/proc/11098/task/11104/stat : 11104 (java) S 11096 11098 9988 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 178388343 937426944 8444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11098/tid=11105] ppid=11096 vsize=915456 CPUtime=0
/proc/11098/task/11105/stat : 11105 (java) S 11096 11098 9988 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178388343 937426944 8444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11098/tid=11106] ppid=11096 vsize=915456 CPUtime=0
/proc/11098/task/11106/stat : 11106 (java) S 11096 11098 9988 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178388343 937426944 8444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 915456
[startup+25.5591 s]
/proc/loadavg: 2.00 1.69 1.31 3/105 11106
/proc/meminfo: memFree=1366208/2055920 swapFree=4160348/4192956
[pid=11098] ppid=11096 vsize=915456 CPUtime=25.24
/proc/11098/stat : 11098 (java) R 11096 11098 9988 0 -1 0 8713 0 1 0 2515 9 0 0 25 0 8 0 178388335 937426944 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795776 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/11098/statm: 228864 8449 2524 14 0 215334 0
[pid=11098/tid=11100] ppid=11096 vsize=915456 CPUtime=0.03
/proc/11098/task/11100/stat : 11100 (java) S 11096 11098 9988 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 178388339 937426944 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=11098/tid=11101] ppid=11096 vsize=915456 CPUtime=0
/proc/11098/task/11101/stat : 11101 (java) S 11096 11098 9988 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178388340 937426944 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11098/tid=11102] ppid=11096 vsize=915456 CPUtime=0
/proc/11098/task/11102/stat : 11102 (java) S 11096 11098 9988 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178388340 937426944 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11098/tid=11103] ppid=11096 vsize=915456 CPUtime=0
/proc/11098/task/11103/stat : 11103 (java) S 11096 11098 9988 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 178388343 937426944 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11098/tid=11104] ppid=11096 vsize=915456 CPUtime=0.24
/proc/11098/task/11104/stat : 11104 (java) S 11096 11098 9988 0 -1 64 394 0 0 0 23 1 0 0 16 0 8 0 178388343 937426944 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11098/tid=11105] ppid=11096 vsize=915456 CPUtime=0
/proc/11098/task/11105/stat : 11105 (java) S 11096 11098 9988 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 178388343 937426944 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=11098/tid=11106] ppid=11096 vsize=915456 CPUtime=0
/proc/11098/task/11106/stat : 11106 (java) S 11096 11098 9988 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178388343 937426944 8449 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 36.4835
CPU time (s): 36.0195
CPU user time (s): 35.9155
CPU system time (s): 0.103984
CPU usage (%): 98.7282
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 35.9155
system time used= 0.103984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8808
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= 1907
involuntary context switches= 2717
runsolver used 0.100984 s user time and 0.140978 s system time
The end
Begin job on node12 on Mon Jan 8 23:45:33 UTC 2007
IDJOB= 228643
IDBENCH= 6214
FILE ID= node12/228643-1168299933
PBS_JOBID= 3502176
Free space on /tmp= 66325 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-75_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228643-1168299933/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-228643-1168299933 -o ROOT/results/node12/solver-228643-1168299933 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228643-1168299933/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 81a72e5e4b799490dc91be5227da5837
RANDOM SEED= 50213651
TIME LIMIT= 1800 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.265
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.265
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: 1390744 kB
Buffers: 91116 kB
Cached: 368532 kB
SwapCached: 5132 kB
Active: 429636 kB
Inactive: 179732 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1390744 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 1768 kB
Writeback: 0 kB
Mapped: 168948 kB
Slab: 40492 kB
Committed_AS: 5933504 kB
PageTables: 2352 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= 66325 MiB
End job on node12 on Mon Jan 8 23:46:10 UTC 2007