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/231332-1168317866/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=50 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.42 => wckTime=0.098 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
0.54
0.54 constraints being loaded...
0.68 nbConstraints=498 nbRelationTypes=498 nbExtensionStructures=498 nbSharedExtensionStructures=0
0.68 nbConflictsStructures=498 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=5175 maxDegree=32
0.68 maxArity=2
0.68 => wckTime=0.364 cpuTime=0.27 mem=15M729
0.73
0.73 solver IterativeSystematicSolver being built...
0.88 => wckTime=0.561 cpuTime=0.4 mem=15M491
0.94
0.94 preprocessing
0.94 nbConstraintChecks=101781 nbPropagations=1231 nbRevisions=10340 nbUselessRevisions=8661 nbSingletonTests=66
0.94 nbEffectiveSingletonTests=0 nbESACBranches=9 nbRemovedValues=0 detectedInconsistency=no
0.94 => wckTime=0.06 cpuTime=0.04 mem=15M491
0.97
0.97 search
0.97 run=0 nbConstraintChecks=52808 nbPropagations=1783 nbRevisions=18675 nbUselessRevisions=15678 nbAssignments=26
0.97 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=45 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.97 nbTooLargeKeys=0
0.97 => wckTime=0.088 cpuTime=0.06 mem=15M491
0.99
0.99 search
0.99 run=1 nbConstraintChecks=126138 nbPropagations=4245 nbRevisions=47044 nbUselessRevisions=39200
0.99 nbAssignments=60 nbFailedAssignments=24 nbBacktracks=27 nbVisitedNodes=105 nbRestartNogoods=3 mapSize=27
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.109 cpuTime=0.07 mem=15M491
1.01
1.01 search
1.01 run=2 nbConstraintChecks=222213 nbPropagations=7668 nbRevisions=90825 nbUselessRevisions=75311
1.01 nbAssignments=110 nbFailedAssignments=46 nbBacktracks=52 nbVisitedNodes=196 nbRestartNogoods=4 mapSize=50
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.126 cpuTime=0.09 mem=15M491
1.03
1.03 search
1.03 run=3 nbConstraintChecks=333643 nbPropagations=12279 nbRevisions=152721 nbUselessRevisions=126469
1.03 nbAssignments=173 nbFailedAssignments=70 nbBacktracks=86 nbVisitedNodes=302 nbRestartNogoods=5 mapSize=78
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.147 cpuTime=0.11 mem=15M491
1.06
1.06 search
1.06 run=4 nbConstraintChecks=513133 nbPropagations=18561 nbRevisions=240775 nbUselessRevisions=198778
1.06 nbAssignments=260 nbFailedAssignments=104 nbBacktracks=136 nbVisitedNodes=457 nbRestartNogoods=10 mapSize=124
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.179 cpuTime=0.14 mem=15M491
1.11
1.11 search
1.11 run=5 nbConstraintChecks=783455 nbPropagations=27597 nbRevisions=371184 nbUselessRevisions=305839
1.11 nbAssignments=397 nbFailedAssignments=159 nbBacktracks=213 nbVisitedNodes=693 nbRestartNogoods=12 mapSize=194
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.227 cpuTime=0.18 mem=15M491
1.18
1.18 search
1.18 run=6 nbConstraintChecks=1241664 nbPropagations=40881 nbRevisions=571501 nbUselessRevisions=469376
1.18 nbAssignments=612 nbFailedAssignments=253 nbBacktracks=328 nbVisitedNodes=1078 nbRestartNogoods=20 mapSize=295
1.18 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.303 cpuTime=0.26 mem=15M491
1.28
1.28 search
1.28 run=7 nbConstraintChecks=1901295 nbPropagations=60201 nbRevisions=872249 nbUselessRevisions=714588
1.28 nbAssignments=920 nbFailedAssignments=386 nbBacktracks=498 nbVisitedNodes=1636 nbRestartNogoods=28 mapSize=455
1.28 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.403 cpuTime=0.36 mem=15M491
1.42
1.42 search
1.42 run=8 nbConstraintChecks=2770033 nbPropagations=87545 nbRevisions=1300585 nbUselessRevisions=1064080
1.42 nbAssignments=1381 nbFailedAssignments=585 nbBacktracks=755 nbVisitedNodes=2452 nbRestartNogoods=36
1.42 mapSize=685 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.536 cpuTime=0.49 mem=15M491
1.64
1.64 search
1.64 run=9 nbConstraintChecks=4196709 nbPropagations=128497 nbRevisions=1947613 nbUselessRevisions=1592383
1.64 nbAssignments=2092 nbFailedAssignments=898 nbBacktracks=1140 nbVisitedNodes=3730 nbRestartNogoods=43
1.64 mapSize=1038 nbInferences=0 nbTooLargeKeys=0
1.64 => wckTime=0.758 cpuTime=0.69 mem=15M491
1.65
1.65 INFO : Stopping hyperNogood (mapSize=1046, nbTooLargekeys=0, mem=15M491)
1.94
1.94 search
1.94 run=10 nbConstraintChecks=6413972 nbPropagations=189362 nbRevisions=2921917 nbUselessRevisions=2389555
1.94 nbAssignments=3173 nbFailedAssignments=1399 nbBacktracks=1716 nbVisitedNodes=5690 nbRestartNogoods=50
1.94 => wckTime=1.062 cpuTime=0.98 mem=15M491
2.36
2.36 search
2.36 run=11 nbConstraintChecks=9502540 nbPropagations=279400 nbRevisions=4381407 nbUselessRevisions=3587974
2.36 nbAssignments=4771 nbFailedAssignments=2126 nbBacktracks=2580 nbVisitedNodes=8602 nbRestartNogoods=60
2.36 => wckTime=1.474 cpuTime=1.38 mem=15M491
2.99
2.99 search
2.99 run=12 nbConstraintChecks=14424302 nbPropagations=413786 nbRevisions=6567013 nbUselessRevisions=5378251
2.99 nbAssignments=7136 nbFailedAssignments=3188 nbBacktracks=3877 nbVisitedNodes=12888 nbRestartNogoods=74
3.00 => wckTime=2.114 cpuTime=2.02 mem=15M491
4.02
4.02 search
4.02 run=13 nbConstraintChecks=22444150 nbPropagations=619295 nbRevisions=9911048 nbUselessRevisions=8110808
4.02 nbAssignments=10780 nbFailedAssignments=4856 nbBacktracks=5823 nbVisitedNodes=19493 nbRestartNogoods=91
4.02 => wckTime=3.141 cpuTime=3.03 mem=15M491
5.42
5.42 search
5.42 run=14 nbConstraintChecks=33424270 nbPropagations=922359 nbRevisions=14809560 nbUselessRevisions=12106919
5.42 nbAssignments=16001 nbFailedAssignments=7153 nbBacktracks=8742 nbVisitedNodes=28944 nbRestartNogoods=104
5.42 => wckTime=4.538 cpuTime=4.42 mem=15M491
7.60
7.60 search
7.60 run=15 nbConstraintChecks=50217719 nbPropagations=1379419 nbRevisions=22227332 nbUselessRevisions=18167811
7.60 nbAssignments=24175 nbFailedAssignments=10934 nbBacktracks=13120 nbVisitedNodes=43846 nbRestartNogoods=119
7.60 => wckTime=6.719 cpuTime=6.58 mem=15M491
10.63
10.63 search
10.63 run=16 nbConstraintChecks=73174555 nbPropagations=2052546 nbRevisions=33297821 nbUselessRevisions=27255986
10.63 nbAssignments=36416 nbFailedAssignments=16602 nbBacktracks=19689 nbVisitedNodes=66207 nbRestartNogoods=134
10.63 => wckTime=9.75 cpuTime=9.59 mem=15M491
15.76
15.76 search
15.76 run=17 nbConstraintChecks=112632195 nbPropagations=3081390 nbRevisions=50219085 nbUselessRevisions=41122934
15.77 nbAssignments=55032 nbFailedAssignments=25361 nbBacktracks=29541 nbVisitedNodes=100409 nbRestartNogoods=156
15.77 => wckTime=14.884 cpuTime=14.68 mem=15M491
23.27
23.27 search
23.27 run=18 nbConstraintChecks=170646092 nbPropagations=4630292 nbRevisions=75683871 nbUselessRevisions=61980542
23.27 nbAssignments=82302 nbFailedAssignments=37848 nbBacktracks=44319 nbVisitedNodes=150189 nbRestartNogoods=170
23.27 => wckTime=22.385 cpuTime=22.11 mem=15M491
24.26
24.26 search
24.26 run=19 nbConstraintChecks=178224559 nbPropagations=6249746 nbRevisions=102332415 nbUselessRevisions=83813722
24.26 nbAssignments=86134 nbFailedAssignments=39622 nbBacktracks=46327 nbVisitedNodes=157189 nbRestartNogoods=179
24.26 => wckTime=23.377 cpuTime=23.09 mem=15M491
24.26
24.26 global
24.26 nbConstraintChecks=178326340 nbPropagations=6250977 nbRevisions=102342755 nbUselessRevisions=83822383
24.26 nbRestartNogoods=179 solvingWckTime=23.378 solvingCpuTime=23.09 expiredTime=no totalExploration=no
24.26 nbFoundSolutions=1 globalCpuTime=23.54
24.26 => wckTime=23.942 cpuTime=23.49 mem=16M466
24.26
24.26 s SATISFIABLE
24.26 v 4 20 14 3 1 3 19 6 17 9 2 4 11 8 8 5 10 3 7 14 20 1 4 6 8 19 1 10 9 12 15 15 7 6 7 6 16 13 12 16 12 11 14 17 8 14 18 16 2 9
24.26 d NODES 86134
24.26 d CHECKS 178326340
24.26
24.26 totalWckTime=24.018 totalCpuTime=23.55
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node18/watcher-231332-1168317866 -o ROOT/results/node18/solver-231332-1168317866 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/231332-1168317866/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.27 1.59 1.68 5/88 13085
/proc/meminfo: memFree=1449344/2055920 swapFree=4192812/4192956
[pid=13084] ppid=13082 vsize=18540 CPUtime=0
/proc/13084/stat : 13084 (runsolver) D 13082 13084 12875 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 180181677 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 227848809767 0 2147483391 4096 24578 18446744072099781622 0 0 17 0 0 0
/proc/13084/statm: 4635 279 244 17 0 2626 0
[startup+0.103176 s]
/proc/loadavg: 1.27 1.59 1.68 5/88 13085
/proc/meminfo: memFree=1449344/2055920 swapFree=4192812/4192956
[pid=13084] ppid=13082 vsize=911488 CPUtime=0.06
/proc/13084/stat : 13084 (java) R 13082 13084 12875 0 -1 0 2619 0 1 0 5 1 0 0 23 0 8 0 180181677 933363712 2366 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154043705 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13084/statm: 227872 2366 1279 14 0 215051 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 911488
[startup+0.511215 s]
/proc/loadavg: 1.27 1.59 1.68 5/88 13085
/proc/meminfo: memFree=1449344/2055920 swapFree=4192812/4192956
[pid=13084] ppid=13082 vsize=915328 CPUtime=0.47
/proc/13084/stat : 13084 (java) R 13082 13084 12875 0 -1 0 6864 0 1 0 43 4 0 0 25 0 8 0 180181677 937295872 6603 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073569340 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13084/statm: 228832 6603 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.33229 s]
/proc/loadavg: 1.27 1.59 1.68 3/95 13092
/proc/meminfo: memFree=1423240/2055920 swapFree=4192812/4192956
[pid=13084] ppid=13082 vsize=915548 CPUtime=1.28
/proc/13084/stat : 13084 (java) R 13082 13084 12875 0 -1 0 9237 0 1 0 121 7 0 0 25 0 8 0 180181677 937521152 8975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073839060 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13084/statm: 228887 8975 2524 14 0 215357 0
[pid=13084/tid=13086] ppid=13082 vsize=915548 CPUtime=0.03
/proc/13084/task/13086/stat : 13086 (java) S 13082 13084 12875 0 -1 64 385 0 0 0 3 0 0 0 16 0 8 0 180181683 937521152 8975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13084/tid=13087] ppid=13082 vsize=915548 CPUtime=0
/proc/13084/task/13087/stat : 13087 (java) S 13082 13084 12875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180181683 937521152 8975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13084/tid=13088] ppid=13082 vsize=915548 CPUtime=0
/proc/13084/task/13088/stat : 13088 (java) S 13082 13084 12875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180181683 937521152 8975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13084/tid=13089] ppid=13082 vsize=915548 CPUtime=0
/proc/13084/task/13089/stat : 13089 (java) S 13082 13084 12875 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180181686 937521152 8975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13084/tid=13090] ppid=13082 vsize=915548 CPUtime=0.18
/proc/13084/task/13090/stat : 13090 (java) S 13082 13084 12875 0 -1 64 381 0 0 0 17 1 0 0 15 0 8 0 180181686 937521152 8975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13084/tid=13091] ppid=13082 vsize=915548 CPUtime=0
/proc/13084/task/13091/stat : 13091 (java) S 13082 13084 12875 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 180181686 937521152 8975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13084/tid=13092] ppid=13082 vsize=915548 CPUtime=0
/proc/13084/task/13092/stat : 13092 (java) S 13082 13084 12875 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180181686 937521152 8975 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 915548
[startup+2.96945 s]
/proc/loadavg: 1.33 1.59 1.68 3/95 13092
/proc/meminfo: memFree=1423176/2055920 swapFree=4192812/4192956
[pid=13084] ppid=13082 vsize=915548 CPUtime=2.9
/proc/13084/stat : 13084 (java) R 13082 13084 12875 0 -1 0 9255 0 1 0 283 7 0 0 25 0 8 0 180181677 937521152 8992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073821507 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13084/statm: 228887 8992 2524 14 0 215357 0
[pid=13084/tid=13086] ppid=13082 vsize=915548 CPUtime=0.03
/proc/13084/task/13086/stat : 13086 (java) S 13082 13084 12875 0 -1 64 385 0 0 0 3 0 0 0 17 0 8 0 180181683 937521152 8992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13084/tid=13087] ppid=13082 vsize=915548 CPUtime=0
/proc/13084/task/13087/stat : 13087 (java) S 13082 13084 12875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180181683 937521152 8992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13084/tid=13088] ppid=13082 vsize=915548 CPUtime=0
/proc/13084/task/13088/stat : 13088 (java) S 13082 13084 12875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180181683 937521152 8992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13084/tid=13089] ppid=13082 vsize=915548 CPUtime=0
/proc/13084/task/13089/stat : 13089 (java) S 13082 13084 12875 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180181686 937521152 8992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13084/tid=13090] ppid=13082 vsize=915548 CPUtime=0.22
/proc/13084/task/13090/stat : 13090 (java) S 13082 13084 12875 0 -1 64 399 0 0 0 21 1 0 0 16 0 8 0 180181686 937521152 8992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13084/tid=13091] ppid=13082 vsize=915548 CPUtime=0
/proc/13084/task/13091/stat : 13091 (java) S 13082 13084 12875 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 180181686 937521152 8992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13084/tid=13092] ppid=13082 vsize=915548 CPUtime=0
/proc/13084/task/13092/stat : 13092 (java) S 13082 13084 12875 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180181686 937521152 8992 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915548
[startup+6.17176 s]
/proc/loadavg: 1.33 1.59 1.68 3/95 13092
/proc/meminfo: memFree=1423184/2055920 swapFree=4192812/4192956
[pid=13084] ppid=13082 vsize=915548 CPUtime=6.08
/proc/13084/stat : 13084 (java) R 13082 13084 12875 0 -1 0 9258 0 1 0 601 7 0 0 25 0 8 0 180181677 937521152 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073836232 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13084/statm: 228887 8993 2524 14 0 215357 0
[pid=13084/tid=13086] ppid=13082 vsize=915548 CPUtime=0.03
/proc/13084/task/13086/stat : 13086 (java) S 13082 13084 12875 0 -1 64 385 0 0 0 3 0 0 0 16 0 8 0 180181683 937521152 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13084/tid=13087] ppid=13082 vsize=915548 CPUtime=0
/proc/13084/task/13087/stat : 13087 (java) S 13082 13084 12875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180181683 937521152 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13084/tid=13088] ppid=13082 vsize=915548 CPUtime=0
/proc/13084/task/13088/stat : 13088 (java) S 13082 13084 12875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180181683 937521152 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13084/tid=13089] ppid=13082 vsize=915548 CPUtime=0
/proc/13084/task/13089/stat : 13089 (java) S 13082 13084 12875 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180181686 937521152 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13084/tid=13090] ppid=13082 vsize=915548 CPUtime=0.22
/proc/13084/task/13090/stat : 13090 (java) S 13082 13084 12875 0 -1 64 400 0 0 0 21 1 0 0 16 0 8 0 180181686 937521152 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13084/tid=13091] ppid=13082 vsize=915548 CPUtime=0
/proc/13084/task/13091/stat : 13091 (java) S 13082 13084 12875 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 180181686 937521152 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13084/tid=13092] ppid=13082 vsize=915548 CPUtime=0
/proc/13084/task/13092/stat : 13092 (java) S 13082 13084 12875 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180181686 937521152 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 915548
[startup+12.6404 s]
/proc/loadavg: 1.43 1.61 1.68 3/95 13092
/proc/meminfo: memFree=1423184/2055920 swapFree=4192812/4192956
[pid=13084] ppid=13082 vsize=915548 CPUtime=12.49
/proc/13084/stat : 13084 (java) R 13082 13084 12875 0 -1 0 9258 0 1 0 1242 7 0 0 25 0 8 0 180181677 937521152 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073829671 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/13084/statm: 228887 8993 2524 14 0 215357 0
[pid=13084/tid=13086] ppid=13082 vsize=915548 CPUtime=0.03
/proc/13084/task/13086/stat : 13086 (java) S 13082 13084 12875 0 -1 64 385 0 0 0 3 0 0 0 16 0 8 0 180181683 937521152 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13084/tid=13087] ppid=13082 vsize=915548 CPUtime=0
/proc/13084/task/13087/stat : 13087 (java) S 13082 13084 12875 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 180181683 937521152 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13084/tid=13088] ppid=13082 vsize=915548 CPUtime=0
/proc/13084/task/13088/stat : 13088 (java) S 13082 13084 12875 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 180181683 937521152 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13084/tid=13089] ppid=13082 vsize=915548 CPUtime=0
/proc/13084/task/13089/stat : 13089 (java) S 13082 13084 12875 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 180181686 937521152 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13084/tid=13090] ppid=13082 vsize=915548 CPUtime=0.22
/proc/13084/task/13090/stat : 13090 (java) S 13082 13084 12875 0 -1 64 400 0 0 0 21 1 0 0 16 0 8 0 180181686 937521152 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13084/tid=13091] ppid=13082 vsize=915548 CPUtime=0
/proc/13084/task/13091/stat : 13091 (java) S 13082 13084 12875 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 180181686 937521152 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13084/tid=13092] ppid=13082 vsize=915548 CPUtime=0
/proc/13084/task/13092/stat : 13092 (java) S 13082 13084 12875 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 180181686 937521152 8993 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 915548
Child status: 0
Real time (s): 24.317
CPU time (s): 24.0263
CPU user time (s): 23.9454
CPU system time (s): 0.080987
CPU usage (%): 98.8046
Max. virtual memory (cumulated for all children) (KiB): 915548
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.9454
system time used= 0.080987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9266
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= 1707
involuntary context switches= 2528
runsolver used 0.032994 s user time and 0.086986 s system time
The end
Begin job on node18 on Tue Jan 9 04:44:28 UTC 2007
IDJOB= 231332
IDBENCH= 6461
FILE ID= node18/231332-1168317866
PBS_JOBID= 3502602
Free space on /tmp= 66550 MiB
BENCH NAME= HOME/pub/bench/CPAI06/geom/geo50-20-d4-75-19_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/231332-1168317866/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-231332-1168317866 -o ROOT/results/node18/solver-231332-1168317866 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/231332-1168317866/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5f6468f2c6c359284771aa92d8d24fd3
RANDOM SEED= 27778894
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.231
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.231
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: 1450016 kB
Buffers: 98460 kB
Cached: 382776 kB
SwapCached: 0 kB
Active: 344776 kB
Inactive: 200276 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1450016 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2168 kB
Writeback: 0 kB
Mapped: 84444 kB
Slab: 45808 kB
Committed_AS: 5380284 kB
PageTables: 2096 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= 66550 MiB
End job on node18 on Tue Jan 9 04:44:55 UTC 2007