0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/228624-1168299725/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.42 => wckTime=0.109 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
0.51
0.51 constraints being loaded...
0.61 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.61 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8191 maxDegree=27
0.61 maxArity=2
0.61 => wckTime=0.297 cpuTime=0.21 mem=10M860
0.65
0.65 solver IterativeSystematicSolver being built...
0.80 => wckTime=0.491 cpuTime=0.34 mem=14M820
0.85
0.85 preprocessing
0.85 nbConstraintChecks=32010 nbPropagations=855 nbRevisions=5402 nbUselessRevisions=4166 nbSingletonTests=47
0.85 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.85 => wckTime=0.047 cpuTime=0.02 mem=14M820
0.87
0.87 search
0.87 run=0 nbConstraintChecks=15210 nbPropagations=1180 nbRevisions=9062 nbUselessRevisions=7081 nbAssignments=19
0.87 nbFailedAssignments=5 nbBacktracks=10 nbVisitedNodes=30 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.065 cpuTime=0.04 mem=14M820
0.89
0.89 search
0.89 run=1 nbConstraintChecks=44505 nbPropagations=2924 nbRevisions=25179 nbUselessRevisions=19841 nbAssignments=48
0.89 nbFailedAssignments=12 nbBacktracks=27 nbVisitedNodes=76 nbRestartNogoods=1 mapSize=20 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.084 cpuTime=0.05 mem=14M820
0.91
0.91 search
0.91 run=2 nbConstraintChecks=88425 nbPropagations=5453 nbRevisions=52012 nbUselessRevisions=41322 nbAssignments=96
0.91 nbFailedAssignments=29 nbBacktracks=54 nbVisitedNodes=156 nbRestartNogoods=4 mapSize=43 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.1 cpuTime=0.06 mem=14M820
0.92
0.92 search
0.92 run=3 nbConstraintChecks=137337 nbPropagations=8896 nbRevisions=91514 nbUselessRevisions=73348
0.92 nbAssignments=153 nbFailedAssignments=46 nbBacktracks=91 nbVisitedNodes=247 nbRestartNogoods=6 mapSize=72
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.115 cpuTime=0.07 mem=14M820
0.94
0.94 search
0.94 run=4 nbConstraintChecks=204245 nbPropagations=13538 nbRevisions=148036 nbUselessRevisions=119499
0.94 nbAssignments=232 nbFailedAssignments=69 nbBacktracks=141 nbVisitedNodes=379 nbRestartNogoods=7 mapSize=110
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.134 cpuTime=0.09 mem=14M820
0.98
0.98 search
0.98 run=5 nbConstraintChecks=326057 nbPropagations=20316 nbRevisions=235940 nbUselessRevisions=191647
0.98 nbAssignments=366 nbFailedAssignments=120 nbBacktracks=216 nbVisitedNodes=608 nbRestartNogoods=13 mapSize=180
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.17 cpuTime=0.12 mem=14M820
1.01
1.01 search
1.01 run=6 nbConstraintChecks=471132 nbPropagations=29820 nbRevisions=362868 nbUselessRevisions=296257
1.01 nbAssignments=546 nbFailedAssignments=179 nbBacktracks=331 nbVisitedNodes=901 nbRestartNogoods=16 mapSize=268
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.208 cpuTime=0.16 mem=14M820
1.08
1.08 search
1.08 run=7 nbConstraintChecks=738826 nbPropagations=43844 nbRevisions=556959 nbUselessRevisions=455888
1.08 nbAssignments=821 nbFailedAssignments=277 nbBacktracks=501 nbVisitedNodes=1369 nbRestartNogoods=19 mapSize=411
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.274 cpuTime=0.23 mem=14M820
1.18
1.18 search
1.18 run=8 nbConstraintChecks=1138821 nbPropagations=64736 nbRevisions=852744 nbUselessRevisions=699368
1.18 nbAssignments=1219 nbFailedAssignments=414 nbBacktracks=757 nbVisitedNodes=2047 nbRestartNogoods=28
1.18 mapSize=634 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.377 cpuTime=0.32 mem=14M820
1.32
1.32 search
1.32 run=9 nbConstraintChecks=1661737 nbPropagations=94971 nbRevisions=1289471 nbUselessRevisions=1060513
1.32 nbAssignments=1821 nbFailedAssignments=624 nbBacktracks=1143 nbVisitedNodes=3059 nbRestartNogoods=34
1.32 mapSize=957 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.516 cpuTime=0.45 mem=14M820
1.35
1.35 INFO : Stopping hyperNogood (mapSize=1009, nbTooLargekeys=0, mem=14M820)
1.51
1.51 search
1.51 run=10 nbConstraintChecks=2508539 nbPropagations=139818 nbRevisions=1950010 nbUselessRevisions=1607171
1.51 nbAssignments=2744 nbFailedAssignments=962 nbBacktracks=1722 nbVisitedNodes=4655 nbRestartNogoods=36
1.51 => wckTime=0.709 cpuTime=0.63 mem=14M820
1.79
1.79 search
1.79 run=11 nbConstraintChecks=3852675 nbPropagations=207798 nbRevisions=2950630 nbUselessRevisions=2432756
1.79 nbAssignments=4122 nbFailedAssignments=1468 nbBacktracks=2586 nbVisitedNodes=7028 nbRestartNogoods=41
1.79 => wckTime=0.989 cpuTime=0.91 mem=14M820
2.20
2.20 search
2.20 run=12 nbConstraintChecks=5840717 nbPropagations=309330 nbRevisions=4460696 nbUselessRevisions=3679363
2.20 nbAssignments=6183 nbFailedAssignments=2198 nbBacktracks=3887 nbVisitedNodes=10530 nbRestartNogoods=48
2.21 => wckTime=1.399 cpuTime=1.31 mem=14M820
2.75
2.75 search
2.75 run=13 nbConstraintChecks=8573368 nbPropagations=458672 nbRevisions=6701368 nbUselessRevisions=5533748
2.75 nbAssignments=9224 nbFailedAssignments=3288 nbBacktracks=5834 nbVisitedNodes=15710 nbRestartNogoods=52
2.75 => wckTime=1.945 cpuTime=1.85 mem=14M820
3.53
3.53 search
3.53 run=14 nbConstraintChecks=12563393 nbPropagations=677051 nbRevisions=9972286 nbUselessRevisions=8238098
3.53 nbAssignments=13676 nbFailedAssignments=4815 nbBacktracks=8755 nbVisitedNodes=23184 nbRestartNogoods=58
3.53 => wckTime=2.723 cpuTime=2.63 mem=14M820
4.73
4.73 search
4.73 run=15 nbConstraintChecks=18756866 nbPropagations=1002218 nbRevisions=14847029 nbUselessRevisions=12268084
4.73 nbAssignments=20424 nbFailedAssignments=7181 nbBacktracks=13133 nbVisitedNodes=34634 nbRestartNogoods=64
4.73 => wckTime=3.928 cpuTime=3.83 mem=14M820
6.61
6.61 search
6.61 run=16 nbConstraintChecks=28462733 nbPropagations=1494030 nbRevisions=22230474 nbUselessRevisions=18372186
6.61 nbAssignments=30759 nbFailedAssignments=10942 nbBacktracks=19701 nbVisitedNodes=52336 nbRestartNogoods=71
6.61 => wckTime=5.808 cpuTime=5.72 mem=14M820
9.44
9.44 search
9.44 run=17 nbConstraintChecks=43144395 nbPropagations=2236698 nbRevisions=33355872 nbUselessRevisions=27561918
9.44 nbAssignments=46093 nbFailedAssignments=16405 nbBacktracks=29555 nbVisitedNodes=78479 nbRestartNogoods=78
9.44 => wckTime=8.631 cpuTime=8.54 mem=14M820
13.64
13.64 search
13.64 run=18 nbConstraintChecks=65207226 nbPropagations=3353313 nbRevisions=50179125 nbUselessRevisions=41473705
13.64 nbAssignments=69202 nbFailedAssignments=24728 nbBacktracks=44336 nbVisitedNodes=117923 nbRestartNogoods=86
13.64 => wckTime=12.837 cpuTime=12.75 mem=14M820
15.46
15.46 search
15.46 run=19 nbConstraintChecks=74824148 nbPropagations=4630765 nbRevisions=69460032 nbUselessRevisions=57419909
15.46 nbAssignments=78955 nbFailedAssignments=28322 nbBacktracks=50489 nbVisitedNodes=134655 nbRestartNogoods=96
15.46 => wckTime=14.659 cpuTime=14.57 mem=14M820
15.47
15.47 global
15.47 nbConstraintChecks=74856158 nbPropagations=4631620 nbRevisions=69465434 nbUselessRevisions=57424075
15.47 nbRestartNogoods=96 solvingWckTime=14.66 solvingCpuTime=14.57 expiredTime=no totalExploration=yes
15.47 nbFoundSolutions=0 globalCpuTime=14.97
15.47 => wckTime=15.154 cpuTime=14.91 mem=14M820
15.47
15.47 s UNSATISFIABLE
15.47 d NODES 78955
15.47 d CHECKS 74856158
15.47
15.47 totalWckTime=15.229 totalCpuTime=14.97
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node15/watcher-228624-1168299725 -o ROOT/results/node15/solver-228624-1168299725 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228624-1168299725/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: 1.06 1.13 1.24 4/78 8718
/proc/meminfo: memFree=1605200/2055920 swapFree=4174172/4192956
[pid=8717] ppid=8715 vsize=168 CPUtime=0
/proc/8717/stat : 8717 (java) R 8715 8717 6620 0 -1 0 39 0 0 0 0 0 0 0 20 0 1 0 178367346 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7512363 0 0 4096 0 0 0 0 17 1 0 0
/proc/8717/statm: 42 23 18 14 0 2 0
[startup+0.10599 s]
/proc/loadavg: 1.06 1.13 1.24 4/78 8718
/proc/meminfo: memFree=1605200/2055920 swapFree=4174172/4192956
[pid=8717] ppid=8715 vsize=914988 CPUtime=0.08
/proc/8717/stat : 8717 (java) R 8715 8717 6620 0 -1 0 3019 0 1 0 7 1 0 0 21 0 8 0 178367346 936947712 2765 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153799154 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8717/statm: 228747 2765 1435 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514064 s]
/proc/loadavg: 1.06 1.13 1.24 4/78 8718
/proc/meminfo: memFree=1605200/2055920 swapFree=4174172/4192956
[pid=8717] ppid=8715 vsize=915328 CPUtime=0.47
/proc/8717/stat : 8717 (java) R 8715 8717 6620 0 -1 0 6409 0 5 0 43 4 0 0 16 0 8 0 178367346 937295872 6152 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153563278 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8717/statm: 228832 6152 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.3362 s]
/proc/loadavg: 1.06 1.13 1.24 2/85 8725
/proc/meminfo: memFree=1579928/2055920 swapFree=4174172/4192956
[pid=8717] ppid=8715 vsize=915456 CPUtime=1.28
/proc/8717/stat : 8717 (java) R 8715 8717 6620 0 -1 0 8674 0 5 0 122 6 0 0 16 0 8 0 178367346 937426944 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795801 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8717/statm: 228864 8416 2524 14 0 215334 0
[pid=8717/tid=8719] ppid=8715 vsize=915456 CPUtime=0.03
/proc/8717/task/8719/stat : 8719 (java) S 8715 8717 6620 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 178367350 937426944 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8720] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8720/stat : 8720 (java) S 8715 8717 6620 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 178367350 937426944 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8721] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8721/stat : 8721 (java) S 8715 8717 6620 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178367350 937426944 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8722] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8722/stat : 8722 (java) S 8715 8717 6620 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 178367354 937426944 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8723] ppid=8715 vsize=915456 CPUtime=0.2
/proc/8717/task/8723/stat : 8723 (java) S 8715 8717 6620 0 -1 64 387 0 0 0 19 1 0 0 15 0 8 0 178367354 937426944 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8724] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8724/stat : 8724 (java) S 8715 8717 6620 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 178367354 937426944 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8725] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8725/stat : 8725 (java) S 8715 8717 6620 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178367354 937426944 8416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915456
[startup+2.98848 s]
/proc/loadavg: 1.06 1.13 1.24 3/85 8725
/proc/meminfo: memFree=1579672/2055920 swapFree=4174172/4192956
[pid=8717] ppid=8715 vsize=915456 CPUtime=2.92
/proc/8717/stat : 8717 (java) R 8715 8717 6620 0 -1 0 8693 0 5 0 286 6 0 0 18 0 8 0 178367346 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073825738 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8717/statm: 228864 8434 2524 14 0 215334 0
[pid=8717/tid=8719] ppid=8715 vsize=915456 CPUtime=0.03
/proc/8717/task/8719/stat : 8719 (java) S 8715 8717 6620 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 178367350 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8720] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8720/stat : 8720 (java) S 8715 8717 6620 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 178367350 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8721] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8721/stat : 8721 (java) S 8715 8717 6620 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178367350 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8722] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8722/stat : 8722 (java) S 8715 8717 6620 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 178367354 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8723] ppid=8715 vsize=915456 CPUtime=0.21
/proc/8717/task/8723/stat : 8723 (java) S 8715 8717 6620 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 178367354 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8724] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8724/stat : 8724 (java) S 8715 8717 6620 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 178367354 937426944 8434 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8725] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8725/stat : 8725 (java) S 8715 8717 6620 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178367354 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.26704 s]
/proc/loadavg: 1.05 1.13 1.23 2/85 8725
/proc/meminfo: memFree=1579544/2055920 swapFree=4174172/4192956
[pid=8717] ppid=8715 vsize=915456 CPUtime=6.2
/proc/8717/stat : 8717 (java) R 8715 8717 6620 0 -1 0 8699 0 5 0 614 6 0 0 20 0 8 0 178367346 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795696 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8717/statm: 228864 8439 2524 14 0 215334 0
[pid=8717/tid=8719] ppid=8715 vsize=915456 CPUtime=0.03
/proc/8717/task/8719/stat : 8719 (java) S 8715 8717 6620 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 178367350 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8720] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8720/stat : 8720 (java) S 8715 8717 6620 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 178367350 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8721] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8721/stat : 8721 (java) S 8715 8717 6620 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178367350 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8722] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8722/stat : 8722 (java) S 8715 8717 6620 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 178367354 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8723] ppid=8715 vsize=915456 CPUtime=0.21
/proc/8717/task/8723/stat : 8723 (java) S 8715 8717 6620 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 178367354 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8724] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8724/stat : 8724 (java) S 8715 8717 6620 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 178367354 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8725] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8725/stat : 8725 (java) S 8715 8717 6620 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178367354 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.2
Current children cumulated vsize (KiB) 915456
[startup+12.7512 s]
/proc/loadavg: 1.05 1.12 1.23 2/85 8725
/proc/meminfo: memFree=1579544/2055920 swapFree=4174172/4192956
[pid=8717] ppid=8715 vsize=915456 CPUtime=12.68
/proc/8717/stat : 8717 (java) R 8715 8717 6620 0 -1 0 8703 0 5 0 1262 6 0 0 25 0 8 0 178367346 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073920570 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/8717/statm: 228864 8443 2524 14 0 215334 0
[pid=8717/tid=8719] ppid=8715 vsize=915456 CPUtime=0.03
/proc/8717/task/8719/stat : 8719 (java) S 8715 8717 6620 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 178367350 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8717/tid=8720] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8720/stat : 8720 (java) S 8715 8717 6620 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 178367350 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8721] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8721/stat : 8721 (java) S 8715 8717 6620 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178367350 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8722] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8722/stat : 8722 (java) S 8715 8717 6620 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 178367354 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8723] ppid=8715 vsize=915456 CPUtime=0.21
/proc/8717/task/8723/stat : 8723 (java) S 8715 8717 6620 0 -1 64 393 0 0 0 20 1 0 0 16 0 8 0 178367354 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8724] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8724/stat : 8724 (java) S 8715 8717 6620 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 178367354 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=8717/tid=8725] ppid=8715 vsize=915456 CPUtime=0
/proc/8717/task/8725/stat : 8725 (java) S 8715 8717 6620 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178367354 937426944 8443 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 15.4909
CPU time (s): 15.4197
CPU user time (s): 15.3487
CPU system time (s): 0.070989
CPU usage (%): 99.5401
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.3487
system time used= 0.070989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8798
page faults= 5
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1164
involuntary context switches= 584
runsolver used 0.020996 s user time and 0.045993 s system time
The end
Begin job on node15 on Mon Jan 8 23:42:05 UTC 2007
IDJOB= 228624
IDBENCH= 6213
FILE ID= node15/228624-1168299725
PBS_JOBID= 3502169
Free space on /tmp= 66334 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-19_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228624-1168299725/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node15/watcher-228624-1168299725 -o ROOT/results/node15/solver-228624-1168299725 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228624-1168299725/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 7b1ac7753e34047d49fc9d8bbfd33308
RANDOM SEED= 552708039
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.276
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.276
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: 1605680 kB
Buffers: 43600 kB
Cached: 324532 kB
SwapCached: 5800 kB
Active: 247728 kB
Inactive: 150772 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1605680 kB
SwapTotal: 4192956 kB
SwapFree: 4174172 kB
Dirty: 1832 kB
Writeback: 0 kB
Mapped: 40308 kB
Slab: 37052 kB
Committed_AS: 5386032 kB
PageTables: 2000 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= 66334 MiB
End job on node15 on Mon Jan 8 23:42:21 UTC 2007