0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/239896-1168368220/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.46 nbVariables=400 nbDomainTypes=21 minDomainSize=1 maxDomainSize=20
0.46 => wckTime=0.157 cpuTime=0.12 mem=7M894
0.46
0.46 relations being loaded...
0.47
0.47 constraints being loaded...
0.82 nbConstraints=5092 nbRelationTypes=22 nbSingletonDomainVariables=234 nbExtensionStructures=41
0.82 nbSharedExtensionStructures=5051 nbConflictsStructures=41 nbSharedConflictsStructures=5051
0.82 nbSharedBinaryRepresentations=858 maxDegree=38 maxArity=2
0.82 => wckTime=0.517 cpuTime=0.36 mem=23M497
0.90
0.90 solver IterativeSystematicSolver being built...
1.08 => wckTime=0.774 cpuTime=0.52 mem=18M158
1.48
1.48 preprocessing
1.48 nbConstraintChecks=89920 nbPropagations=2215 nbRevisions=24045 nbUselessRevisions=19728 nbSingletonTests=654
1.48 nbEffectiveSingletonTests=0 nbESACBranches=11 nbRemovedValues=2715 detectedInconsistency=no
1.48 => wckTime=0.393 cpuTime=0.34 mem=18M158
1.52
1.52 search
1.52 run=0 nbConstraintChecks=7212 nbPropagations=2475 nbRevisions=28383 nbUselessRevisions=23660 nbAssignments=50
1.52 nbFailedAssignments=2 nbBacktracks=30 nbVisitedNodes=56 nbRestartNogoods=0 mapSize=4 nbInferences=0
1.52 nbTooLargeKeys=0
1.52 => wckTime=0.434 cpuTime=0.38 mem=19M149
1.55
1.55 search
1.55 run=1 nbConstraintChecks=18779 nbPropagations=5430 nbRevisions=64845 nbUselessRevisions=54618
1.55 nbAssignments=136 nbFailedAssignments=7 nbBacktracks=52 nbVisitedNodes=152 nbRestartNogoods=1 mapSize=12
1.55 nbInferences=0 nbTooLargeKeys=0
1.55 => wckTime=0.464 cpuTime=0.4 mem=19M149
1.59
1.59 search
1.59 run=2 nbConstraintChecks=38350 nbPropagations=9231 nbRevisions=114640 nbUselessRevisions=97598
1.59 nbAssignments=278 nbFailedAssignments=17 nbBacktracks=75 nbVisitedNodes=273 nbRestartNogoods=3 mapSize=23
1.59 nbInferences=0 nbTooLargeKeys=0
1.59 => wckTime=0.5 cpuTime=0.44 mem=19M149
1.65
1.65 search
1.65 run=3 nbConstraintChecks=71318 nbPropagations=14944 nbRevisions=185386 nbUselessRevisions=159533
1.65 nbAssignments=692 nbFailedAssignments=18 nbBacktracks=112 nbVisitedNodes=349 nbRestartNogoods=8 mapSize=24
1.65 nbInferences=0 nbTooLargeKeys=0
1.65 => wckTime=0.567 cpuTime=0.5 mem=19M149
1.68
1.68 search
1.68 run=4 nbConstraintChecks=82157 nbPropagations=21141 nbRevisions=263393 nbUselessRevisions=227982
1.68 nbAssignments=798 nbFailedAssignments=25 nbBacktracks=166 nbVisitedNodes=469 nbRestartNogoods=9 mapSize=36
1.68 nbInferences=0 nbTooLargeKeys=0
1.68 => wckTime=0.595 cpuTime=0.53 mem=19M149
1.72
1.72 search
1.72 run=5 nbConstraintChecks=96026 nbPropagations=27947 nbRevisions=350971 nbUselessRevisions=305055
1.72 nbAssignments=940 nbFailedAssignments=33 nbBacktracks=246 nbVisitedNodes=626 nbRestartNogoods=11 mapSize=47
1.72 nbInferences=0 nbTooLargeKeys=0
1.72 => wckTime=0.637 cpuTime=0.56 mem=19M149
1.77
1.77 search
1.77 run=6 nbConstraintChecks=114546 nbPropagations=35497 nbRevisions=450642 nbUselessRevisions=392855
1.77 nbAssignments=1107 nbFailedAssignments=47 nbBacktracks=359 nbVisitedNodes=819 nbRestartNogoods=15 mapSize=68
1.77 nbInferences=0 nbTooLargeKeys=0
1.77 => wckTime=0.682 cpuTime=0.61 mem=19M149
1.84
1.84 search
1.84 run=7 nbConstraintChecks=155316 nbPropagations=44649 nbRevisions=578838 nbUselessRevisions=506470
1.84 nbAssignments=1408 nbFailedAssignments=62 nbBacktracks=555 nbVisitedNodes=1109 nbRestartNogoods=20 mapSize=102
1.84 nbInferences=0 nbTooLargeKeys=0
1.84 => wckTime=0.754 cpuTime=0.68 mem=19M149
1.93
1.93 search
1.93 run=8 nbConstraintChecks=199735 nbPropagations=55470 nbRevisions=736012 nbUselessRevisions=645714
1.93 nbAssignments=1739 nbFailedAssignments=98 nbBacktracks=812 nbVisitedNodes=1509 nbRestartNogoods=22 mapSize=167
1.93 nbInferences=0 nbTooLargeKeys=0
1.93 => wckTime=0.843 cpuTime=0.77 mem=20M125
2.06
2.06 search
2.06 run=9 nbConstraintChecks=260218 nbPropagations=68614 nbRevisions=932895 nbUselessRevisions=820168
2.06 nbAssignments=2241 nbFailedAssignments=152 nbBacktracks=1233 nbVisitedNodes=2119 nbRestartNogoods=26
2.06 mapSize=268 nbInferences=0 nbTooLargeKeys=0
2.06 => wckTime=0.973 cpuTime=0.89 mem=20M125
2.24
2.24 search
2.24 run=10 nbConstraintChecks=370862 nbPropagations=85461 nbRevisions=1209244 nbUselessRevisions=1066939
2.24 nbAssignments=2943 nbFailedAssignments=192 nbBacktracks=1812 nbVisitedNodes=2917 nbRestartNogoods=28
2.24 mapSize=358 nbInferences=0 nbTooLargeKeys=0
2.24 => wckTime=1.158 cpuTime=1.06 mem=20M125
2.50
2.51 search
2.51 run=11 nbConstraintChecks=549445 nbPropagations=108175 nbRevisions=1608571 nbUselessRevisions=1424371
2.51 nbAssignments=3990 nbFailedAssignments=284 nbBacktracks=2705 nbVisitedNodes=4116 nbRestartNogoods=34
2.51 mapSize=534 nbInferences=0 nbTooLargeKeys=0
2.51 => wckTime=1.42 cpuTime=1.31 mem=21M100
2.86
2.86 search
2.86 run=12 nbConstraintChecks=798500 nbPropagations=139307 nbRevisions=2182874 nbUselessRevisions=1939794
2.86 nbAssignments=5511 nbFailedAssignments=430 nbBacktracks=4020 nbVisitedNodes=5930 nbRestartNogoods=39
2.86 mapSize=814 nbInferences=0 nbTooLargeKeys=0
2.86 => wckTime=1.776 cpuTime=1.66 mem=22M75
3.07
3.07 INFO : Stopping hyperNogood (mapSize=1008, nbTooLargekeys=0, mem=22M75)
3.36
3.36 search
3.36 run=13 nbConstraintChecks=1253172 nbPropagations=184738 nbRevisions=3068622 nbUselessRevisions=2735134
3.36 nbAssignments=7737 nbFailedAssignments=675 nbBacktracks=5973 nbVisitedNodes=8651 nbRestartNogoods=43
3.36 => wckTime=2.277 cpuTime=2.16 mem=22M75
4.15
4.15 search
4.15 run=14 nbConstraintChecks=2041796 nbPropagations=254478 nbRevisions=4501402 nbUselessRevisions=4023062
4.15 nbAssignments=11145 nbFailedAssignments=1129 nbBacktracks=8895 nbVisitedNodes=12977 nbRestartNogoods=48
4.15 => wckTime=3.061 cpuTime=2.94 mem=22M75
5.44
5.44 search
5.44 run=15 nbConstraintChecks=3351147 nbPropagations=366158 nbRevisions=6834902 nbUselessRevisions=6121200
5.44 nbAssignments=16376 nbFailedAssignments=1879 nbBacktracks=13296 nbVisitedNodes=19587 nbRestartNogoods=56
5.44 => wckTime=4.354 cpuTime=4.22 mem=22M75
7.38
7.38 search
7.38 run=16 nbConstraintChecks=5364745 nbPropagations=542025 nbRevisions=10601374 nbUselessRevisions=9520274
7.38 nbAssignments=24182 nbFailedAssignments=3055 nbBacktracks=19867 nbVisitedNodes=29628 nbRestartNogoods=64
7.38 => wckTime=6.291 cpuTime=6.13 mem=22M75
10.52
10.52 search
10.52 run=17 nbConstraintChecks=8656357 nbPropagations=823227 nbRevisions=16652165 nbUselessRevisions=14982979
10.52 nbAssignments=36062 nbFailedAssignments=5039 nbBacktracks=29729 nbVisitedNodes=45305 nbRestartNogoods=69
10.52 => wckTime=9.43 cpuTime=9.24 mem=22M75
14.94
14.94 search
14.94 run=18 nbConstraintChecks=13226540 nbPropagations=1254686 nbRevisions=25959312 nbUselessRevisions=23406023
14.94 nbAssignments=53620 nbFailedAssignments=7734 nbBacktracks=44507 nbVisitedNodes=68056 nbRestartNogoods=81
14.94 => wckTime=13.857 cpuTime=13.63 mem=22M75
21.88
21.88 search
21.88 run=19 nbConstraintChecks=20585260 nbPropagations=1924738 nbRevisions=40531756 nbUselessRevisions=36622918
21.88 nbAssignments=79890 nbFailedAssignments=11796 nbBacktracks=66689 nbVisitedNodes=102313 nbRestartNogoods=94
21.88 => wckTime=20.797 cpuTime=20.5 mem=22M75
22.49
22.49 search
22.49 run=20 nbConstraintChecks=21260950 nbPropagations=2615996 nbRevisions=55600011 nbUselessRevisions=50294507
22.49 nbAssignments=82385 nbFailedAssignments=12175 nbBacktracks=68405 nbVisitedNodes=105507 nbRestartNogoods=101
22.49 => wckTime=21.406 cpuTime=21.1 mem=22M75
22.49
22.49 global
22.49 nbConstraintChecks=21350870 nbPropagations=2618211 nbRevisions=55624056 nbUselessRevisions=50314235
22.49 nbRestartNogoods=101 solvingWckTime=21.408 solvingCpuTime=21.1 expiredTime=no totalExploration=no
22.49 nbFoundSolutions=1 globalCpuTime=21.67
22.49 => wckTime=22.187 cpuTime=21.62 mem=22M75
22.50
22.50 s SATISFIABLE
22.50 v 10 8 2 17 9 18 15 14 12 3 4 19 7 11 0 16 13 1 5 6 12 19 0 1 7 15 2 16 6 14 18 4 17 9 5 3 10 11 13 8 18 12 1 16 14 17 8 4 11 5 6 9 3 7 15 2 0 13 19 10 6 9 15 13 10 2 1 11 5 4 0 16 14 3 19 8 17 12 7 18 13 4 9 0 15 5 7 17 1 19 14 12 16 10 2 11 8 6 18 3 3 2 13 12 1 4 18 19 8 11 10 7 0 6 16 17 15 5 14 9 14 15 3 11 13 8 9 10 2 16 5 6 4 19 7 0 12 18 17 1 19 1 14 10 6 11 16 7 15 13 12 17 5 2 18 9 3 0 8 4 1 3 17 7 16 6 14 9 18 10 19 2 8 15 13 12 5 4 11 0 11 13 5 19 8 16 10 2 9 1 17 0 15 18 14 6 7 3 4 12 0 16 11 3 17 9 13 8 19 18 1 15 2 12 6 14 4 7 10 5 15 14 10 9 5 12 19 3 4 17 7 8 1 0 11 18 2 16 6 13 8 10 19 14 18 7 12 6 3 0 9 11 13 5 4 1 16 17 15 2 5 6 4 18 19 3 17 0 7 2 8 13 12 16 10 15 14 9 1 11 16 0 6 4 11 10 5 12 14 8 3 18 9 1 17 13 19 15 2 7 17 18 12 8 2 0 4 13 16 7 11 5 6 14 1 10 9 19 3 15 7 17 18 2 3 1 6 5 0 9 15 10 19 13 8 4 11 14 12 16 4 5 8 15 0 14 11 1 10 12 13 3 18 17 9 7 6 2 16 19 2 11 7 5 12 13 0 15 17 6 16 1 10 4 3 19 18 8 9 14 9 7 16 6 4 19 3 18 13 15 2 14 11 8 12 5 1 10 0 17
22.50 d NODES 82385
22.50 d CHECKS 21350870
22.50
22.50 totalWckTime=22.268 totalCpuTime=21.68
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-239896-1168368220 -o ROOT/results/node12/solver-239896-1168368220 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/239896-1168368220/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.87 1.97 1.99 4/87 16090
/proc/meminfo: memFree=1582672/2055920 swapFree=4160348/4192956
[pid=16089] ppid=16087 vsize=906644 CPUtime=0.02
/proc/16089/stat : 16089 (java) S 16087 16089 15291 0 -1 0 2068 0 1 0 1 1 0 0 18 0 2 0 185217064 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/16089/statm: 226661 1817 1036 14 0 214244 0
[pid=16089/tid=16091] ppid=16087 vsize=906644 CPUtime=0
/proc/16089/task/16091/stat : 16091 (java) R 16087 16089 15291 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 185217068 928403456 1817 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.103084 s]
/proc/loadavg: 1.87 1.97 1.99 4/87 16090
/proc/meminfo: memFree=1582672/2055920 swapFree=4160348/4192956
[pid=16089] ppid=16087 vsize=914988 CPUtime=0.09
/proc/16089/stat : 16089 (java) R 16087 16089 15291 0 -1 0 3018 0 1 0 7 2 0 0 17 0 8 0 185217064 936947712 2764 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155840356 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16089/statm: 228747 2764 1435 14 0 215242 0
[pid=16089/tid=16091] ppid=16087 vsize=914988 CPUtime=0
/proc/16089/task/16091/stat : 16091 (java) S 16087 16089 15291 0 -1 64 5 0 0 0 0 0 0 0 18 0 8 0 185217068 936947712 2764 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.514157 s]
/proc/loadavg: 1.87 1.97 1.99 4/87 16090
/proc/meminfo: memFree=1582672/2055920 swapFree=4160348/4192956
[pid=16089] ppid=16087 vsize=915328 CPUtime=0.5
/proc/16089/stat : 16089 (java) R 16087 16089 15291 0 -1 0 6453 0 1 0 45 5 0 0 18 0 8 0 185217064 937295872 6192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072923533 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16089/statm: 228832 6192 2138 14 0 215302 0
[pid=16089/tid=16091] ppid=16087 vsize=915328 CPUtime=0
/proc/16089/task/16091/stat : 16091 (java) S 16087 16089 15291 0 -1 64 5 0 0 0 0 0 0 0 18 0 8 0 185217068 937295872 6192 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33531 s]
/proc/loadavg: 1.87 1.97 1.99 3/94 16097
/proc/meminfo: memFree=1546776/2055920 swapFree=4160348/4192956
[pid=16089] ppid=16087 vsize=915676 CPUtime=1.3
/proc/16089/stat : 16089 (java) R 16087 16089 15291 0 -1 0 11695 0 1 0 122 8 0 0 24 0 8 0 185217064 937652224 11433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073984366 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16089/statm: 228919 11433 2523 14 0 215389 0
[pid=16089/tid=16091] ppid=16087 vsize=915676 CPUtime=0.06
/proc/16089/task/16091/stat : 16091 (java) S 16087 16089 15291 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 185217068 937652224 11433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16092] ppid=16087 vsize=915676 CPUtime=0
/proc/16089/task/16092/stat : 16092 (java) S 16087 16089 15291 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 185217068 937652224 11433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16093] ppid=16087 vsize=915676 CPUtime=0
/proc/16089/task/16093/stat : 16093 (java) S 16087 16089 15291 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185217068 937652224 11433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16094] ppid=16087 vsize=915676 CPUtime=0
/proc/16089/task/16094/stat : 16094 (java) S 16087 16089 15291 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 185217072 937652224 11433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16095] ppid=16087 vsize=915676 CPUtime=0.25
/proc/16089/task/16095/stat : 16095 (java) S 16087 16089 15291 0 -1 64 460 0 0 0 24 1 0 0 15 0 8 0 185217072 937652224 11433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16096] ppid=16087 vsize=915676 CPUtime=0
/proc/16089/task/16096/stat : 16096 (java) S 16087 16089 15291 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185217072 937652224 11433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16097] ppid=16087 vsize=915676 CPUtime=0
/proc/16089/task/16097/stat : 16097 (java) S 16087 16089 15291 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185217072 937652224 11433 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) 915676
[startup+2.9726 s]
/proc/loadavg: 1.87 1.97 1.99 3/94 16097
/proc/meminfo: memFree=1546520/2055920 swapFree=4160348/4192956
[pid=16089] ppid=16087 vsize=915676 CPUtime=2.93
/proc/16089/stat : 16089 (java) R 16087 16089 15291 0 -1 0 11724 0 1 0 283 10 0 0 25 0 8 0 185217064 937652224 11460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073973719 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16089/statm: 228919 11460 2524 14 0 215389 0
[pid=16089/tid=16091] ppid=16087 vsize=915676 CPUtime=0.06
/proc/16089/task/16091/stat : 16091 (java) S 16087 16089 15291 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 185217068 937652224 11460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16092] ppid=16087 vsize=915676 CPUtime=0
/proc/16089/task/16092/stat : 16092 (java) S 16087 16089 15291 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 185217068 937652224 11460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16093] ppid=16087 vsize=915676 CPUtime=0
/proc/16089/task/16093/stat : 16093 (java) S 16087 16089 15291 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185217068 937652224 11460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16094] ppid=16087 vsize=915676 CPUtime=0
/proc/16089/task/16094/stat : 16094 (java) S 16087 16089 15291 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 185217072 937652224 11460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16095] ppid=16087 vsize=915676 CPUtime=0.31
/proc/16089/task/16095/stat : 16095 (java) S 16087 16089 15291 0 -1 64 485 0 0 0 29 2 0 0 15 0 8 0 185217072 937652224 11460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16096] ppid=16087 vsize=915676 CPUtime=0
/proc/16089/task/16096/stat : 16096 (java) S 16087 16089 15291 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185217072 937652224 11460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16097] ppid=16087 vsize=915676 CPUtime=0
/proc/16089/task/16097/stat : 16097 (java) S 16087 16089 15291 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185217072 937652224 11460 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915676
[startup+6.17418 s]
/proc/loadavg: 1.88 1.97 1.99 4/94 16097
/proc/meminfo: memFree=1546520/2055920 swapFree=4160348/4192956
[pid=16089] ppid=16087 vsize=915676 CPUtime=6.1
/proc/16089/stat : 16089 (java) R 16087 16089 15291 0 -1 0 11726 0 1 0 600 10 0 0 25 0 8 0 185217064 937652224 11461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073960365 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16089/statm: 228919 11461 2524 14 0 215389 0
[pid=16089/tid=16091] ppid=16087 vsize=915676 CPUtime=0.06
/proc/16089/task/16091/stat : 16091 (java) S 16087 16089 15291 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 185217068 937652224 11461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16092] ppid=16087 vsize=915676 CPUtime=0
/proc/16089/task/16092/stat : 16092 (java) S 16087 16089 15291 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 185217068 937652224 11461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16093] ppid=16087 vsize=915676 CPUtime=0
/proc/16089/task/16093/stat : 16093 (java) S 16087 16089 15291 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185217068 937652224 11461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16094] ppid=16087 vsize=915676 CPUtime=0
/proc/16089/task/16094/stat : 16094 (java) S 16087 16089 15291 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 185217072 937652224 11461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16095] ppid=16087 vsize=915676 CPUtime=0.31
/proc/16089/task/16095/stat : 16095 (java) S 16087 16089 15291 0 -1 64 486 0 0 0 29 2 0 0 16 0 8 0 185217072 937652224 11461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16096] ppid=16087 vsize=915676 CPUtime=0
/proc/16089/task/16096/stat : 16096 (java) S 16087 16089 15291 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185217072 937652224 11461 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16097] ppid=16087 vsize=915676 CPUtime=0
/proc/16089/task/16097/stat : 16097 (java) S 16087 16089 15291 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185217072 937652224 11461 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) 915676
[startup+12.6533 s]
/proc/loadavg: 1.89 1.97 1.99 3/94 16097
/proc/meminfo: memFree=1546520/2055920 swapFree=4160348/4192956
[pid=16089] ppid=16087 vsize=915676 CPUtime=12.52
/proc/16089/stat : 16089 (java) R 16087 16089 15291 0 -1 0 11727 0 1 0 1242 10 0 0 25 0 8 0 185217064 937652224 11462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073960377 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/16089/statm: 228919 11462 2524 14 0 215389 0
[pid=16089/tid=16091] ppid=16087 vsize=915676 CPUtime=0.06
/proc/16089/task/16091/stat : 16091 (java) S 16087 16089 15291 0 -1 64 842 0 0 0 6 0 0 0 17 0 8 0 185217068 937652224 11462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16092] ppid=16087 vsize=915676 CPUtime=0
/proc/16089/task/16092/stat : 16092 (java) S 16087 16089 15291 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 185217068 937652224 11462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16093] ppid=16087 vsize=915676 CPUtime=0
/proc/16089/task/16093/stat : 16093 (java) S 16087 16089 15291 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185217068 937652224 11462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16094] ppid=16087 vsize=915676 CPUtime=0
/proc/16089/task/16094/stat : 16094 (java) S 16087 16089 15291 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 185217072 937652224 11462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16095] ppid=16087 vsize=915676 CPUtime=0.31
/proc/16089/task/16095/stat : 16095 (java) S 16087 16089 15291 0 -1 64 487 0 0 0 29 2 0 0 16 0 8 0 185217072 937652224 11462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16096] ppid=16087 vsize=915676 CPUtime=0
/proc/16089/task/16096/stat : 16096 (java) S 16087 16089 15291 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185217072 937652224 11462 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=16089/tid=16097] ppid=16087 vsize=915676 CPUtime=0
/proc/16089/task/16097/stat : 16097 (java) S 16087 16089 15291 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 185217072 937652224 11462 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) 915676
Child status: 0
Real time (s): 22.5329
CPU time (s): 22.2896
CPU user time (s): 22.1696
CPU system time (s): 0.119981
CPU usage (%): 98.9202
Max. virtual memory (cumulated for all children) (KiB): 915676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.1696
system time used= 0.119981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11738
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= 1792
involuntary context switches= 2480
runsolver used 0.037994 s user time and 0.079987 s system time
The end
Begin job on node12 on Tue Jan 9 18:43:40 UTC 2007
IDJOB= 239896
IDBENCH= 7089
FILE ID= node12/239896-1168368220
PBS_JOBID= 3503793
Free space on /tmp= 66560 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QWH-20/qwh-20-166-9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/239896-1168368220/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-239896-1168368220 -o ROOT/results/node12/solver-239896-1168368220 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/239896-1168368220/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= bd11dc0402ef00434a2d593fc0e9566e
RANDOM SEED= 135283948
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: 1583088 kB
Buffers: 83676 kB
Cached: 285304 kB
SwapCached: 4816 kB
Active: 205124 kB
Inactive: 206956 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1583088 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 4452 kB
Writeback: 0 kB
Mapped: 53908 kB
Slab: 45748 kB
Committed_AS: 5518484 kB
PageTables: 2072 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= 66560 MiB
End job on node12 on Tue Jan 9 18:44:03 UTC 2007