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/229160-1168303906/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.42 => wckTime=0.101 cpuTime=0.1 mem=6M951
0.42
0.42 relations being loaded...
0.49
0.49 constraints being loaded...
0.60 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.60 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1439 maxDegree=18
0.60 maxArity=2
0.60 => wckTime=0.285 cpuTime=0.21 mem=11M893
0.64
0.64 solver IterativeSystematicSolver being built...
0.81 => wckTime=0.491 cpuTime=0.34 mem=14M824
0.86
0.86 preprocessing
0.86 nbConstraintChecks=59803 nbPropagations=898 nbRevisions=6640 nbUselessRevisions=5221 nbSingletonTests=54
0.86 nbEffectiveSingletonTests=0 nbESACBranches=8 nbRemovedValues=0 detectedInconsistency=no
0.86 => wckTime=0.052 cpuTime=0.04 mem=14M824
0.88
0.88 search
0.88 run=0 nbConstraintChecks=21365 nbPropagations=1297 nbRevisions=10290 nbUselessRevisions=8111 nbAssignments=24
0.88 nbFailedAssignments=7 nbBacktracks=13 nbVisitedNodes=38 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.88 nbTooLargeKeys=0
0.88 => wckTime=0.072 cpuTime=0.05 mem=14M824
0.90
0.90 search
0.90 run=1 nbConstraintChecks=59869 nbPropagations=3291 nbRevisions=27335 nbUselessRevisions=21358 nbAssignments=61
0.90 nbFailedAssignments=21 nbBacktracks=29 nbVisitedNodes=101 nbRestartNogoods=1 mapSize=24 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.093 cpuTime=0.06 mem=14M824
0.92
0.92 search
0.92 run=2 nbConstraintChecks=111448 nbPropagations=6326 nbRevisions=54742 nbUselessRevisions=42621
0.92 nbAssignments=111 nbFailedAssignments=41 nbBacktracks=54 nbVisitedNodes=189 nbRestartNogoods=5 mapSize=48
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.11 cpuTime=0.08 mem=14M824
0.93
0.93 search
0.93 run=3 nbConstraintChecks=162380 nbPropagations=10324 nbRevisions=91686 nbUselessRevisions=71097
0.93 nbAssignments=167 nbFailedAssignments=60 nbBacktracks=87 nbVisitedNodes=282 nbRestartNogoods=7 mapSize=74
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.123 cpuTime=0.09 mem=14M824
0.96
0.96 search
0.96 run=4 nbConstraintChecks=265604 nbPropagations=16179 nbRevisions=148616 nbUselessRevisions=114746
0.96 nbAssignments=268 nbFailedAssignments=105 nbBacktracks=139 nbVisitedNodes=463 nbRestartNogoods=9 mapSize=120
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.152 cpuTime=0.11 mem=14M824
0.99
0.99 search
0.99 run=5 nbConstraintChecks=380327 nbPropagations=24130 nbRevisions=227066 nbUselessRevisions=174690
0.99 nbAssignments=390 nbFailedAssignments=144 nbBacktracks=216 nbVisitedNodes=661 nbRestartNogoods=11 mapSize=177
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.179 cpuTime=0.14 mem=14M824
1.03
1.03 search
1.03 run=6 nbConstraintChecks=595875 nbPropagations=35996 nbRevisions=348310 nbUselessRevisions=267252
1.04 nbAssignments=598 nbFailedAssignments=233 nbBacktracks=329 nbVisitedNodes=1024 nbRestartNogoods=16 mapSize=272
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.225 cpuTime=0.18 mem=14M824
1.10
1.10 search
1.10 run=7 nbConstraintChecks=897001 nbPropagations=53390 nbRevisions=526679 nbUselessRevisions=403166
1.10 nbAssignments=893 nbFailedAssignments=353 nbBacktracks=499 nbVisitedNodes=1539 nbRestartNogoods=23 mapSize=416
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.288 cpuTime=0.24 mem=14M824
1.19
1.19 search
1.19 run=8 nbConstraintChecks=1326520 nbPropagations=78161 nbRevisions=783894 nbUselessRevisions=599059
1.19 nbAssignments=1308 nbFailedAssignments=507 nbBacktracks=755 nbVisitedNodes=2248 nbRestartNogoods=27
1.19 mapSize=619 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.384 cpuTime=0.33 mem=14M824
1.33
1.33 search
1.33 run=9 nbConstraintChecks=1904052 nbPropagations=113551 nbRevisions=1153079 nbUselessRevisions=880815
1.33 nbAssignments=1908 nbFailedAssignments=719 nbBacktracks=1139 nbVisitedNodes=3256 nbRestartNogoods=33
1.33 mapSize=917 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.517 cpuTime=0.44 mem=14M824
1.37
1.37 INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=14M824)
1.54
1.54 search
1.54 run=10 nbConstraintChecks=3049322 nbPropagations=168842 nbRevisions=1737274 nbUselessRevisions=1326582
1.54 nbAssignments=2933 nbFailedAssignments=1163 nbBacktracks=1715 nbVisitedNodes=5087 nbRestartNogoods=40
1.54 => wckTime=0.727 cpuTime=0.63 mem=14M824
1.79
1.79 search
1.79 run=11 nbConstraintChecks=4494049 nbPropagations=250755 nbRevisions=2599821 nbUselessRevisions=1984846
1.79 nbAssignments=4398 nbFailedAssignments=1758 nbBacktracks=2581 nbVisitedNodes=7623 nbRestartNogoods=50
1.79 => wckTime=0.976 cpuTime=0.88 mem=14M824
2.19
2.19 search
2.19 run=12 nbConstraintChecks=7001906 nbPropagations=375686 nbRevisions=3931672 nbUselessRevisions=3001295
2.19 nbAssignments=6650 nbFailedAssignments=2707 nbBacktracks=3880 nbVisitedNodes=11618 nbRestartNogoods=52
2.19 => wckTime=1.385 cpuTime=1.29 mem=14M824
2.76
2.76 search
2.76 run=13 nbConstraintChecks=10317162 nbPropagations=560471 nbRevisions=5902025 nbUselessRevisions=4507664
2.76 nbAssignments=9900 nbFailedAssignments=4003 nbBacktracks=5828 nbVisitedNodes=17278 nbRestartNogoods=57
2.76 => wckTime=1.95 cpuTime=1.84 mem=14M824
3.61
3.61 search
3.61 run=14 nbConstraintChecks=15288442 nbPropagations=836000 nbRevisions=8847292 nbUselessRevisions=6762776
3.61 nbAssignments=14808 nbFailedAssignments=5987 nbBacktracks=8749 nbVisitedNodes=25845 nbRestartNogoods=63
3.61 => wckTime=2.798 cpuTime=2.68 mem=14M824
4.93
4.93 search
4.93 run=15 nbConstraintChecks=23227337 nbPropagations=1250753 nbRevisions=13297971 nbUselessRevisions=10167256
4.93 nbAssignments=22238 nbFailedAssignments=9031 nbBacktracks=13129 nbVisitedNodes=38884 nbRestartNogoods=70
4.93 => wckTime=4.121 cpuTime=3.99 mem=14M824
6.94
6.94 search
6.94 run=16 nbConstraintChecks=35342219 nbPropagations=1876508 nbRevisions=20016576 nbUselessRevisions=15302502
6.94 nbAssignments=33341 nbFailedAssignments=13560 nbBacktracks=19697 nbVisitedNodes=58341 nbRestartNogoods=76
6.94 => wckTime=6.129 cpuTime=5.98 mem=14M824
9.76
9.76 search
9.76 run=17 nbConstraintChecks=52249512 nbPropagations=2804024 nbRevisions=29951906 nbUselessRevisions=22903157
9.76 nbAssignments=49503 nbFailedAssignments=19866 nbBacktracks=29549 nbVisitedNodes=86343 nbRestartNogoods=93
9.76 => wckTime=8.954 cpuTime=8.78 mem=14M824
14.16
14.16 search
14.16 run=18 nbConstraintChecks=78649483 nbPropagations=4202863 nbRevisions=44964131 nbUselessRevisions=34400904
14.16 nbAssignments=74582 nbFailedAssignments=30153 nbBacktracks=44328 nbVisitedNodes=130483 nbRestartNogoods=110
14.16 => wckTime=13.351 cpuTime=13.13 mem=14M824
20.66
20.66 search
20.66 run=19 nbConstraintChecks=117858759 nbPropagations=6296477 nbRevisions=67521503 nbUselessRevisions=51702897
20.66 nbAssignments=111810 nbFailedAssignments=45206 nbBacktracks=66496 nbVisitedNodes=195579 nbRestartNogoods=118
20.66 => wckTime=19.849 cpuTime=19.57 mem=14M824
27.99
27.99 search
27.99 run=20 nbConstraintChecks=161588210 nbPropagations=9165433 nbRevisions=98506210 nbUselessRevisions=75479851
27.99 nbAssignments=152902 nbFailedAssignments=61846 nbBacktracks=90938 nbVisitedNodes=267461 nbRestartNogoods=129
27.99 => wckTime=27.179 cpuTime=26.84 mem=14M824
27.99
27.99 global
27.99 nbConstraintChecks=161648013 nbPropagations=9166331 nbRevisions=98512850 nbUselessRevisions=75485072
27.99 nbRestartNogoods=129 solvingWckTime=27.18 solvingCpuTime=26.84 expiredTime=no totalExploration=yes
27.99 nbFoundSolutions=0 globalCpuTime=27.24
27.99 => wckTime=27.674 cpuTime=27.19 mem=15M799
27.99
27.99 s UNSATISFIABLE
27.99 d NODES 152902
27.99 d CHECKS 161648013
27.99
27.99 totalWckTime=27.757 totalCpuTime=27.25
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-229160-1168303906 -o ROOT/results/node3/solver-229160-1168303906 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229160-1168303906/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.33 1.22 1.50 2/95 8318
/proc/meminfo: memFree=1545112/2055920 swapFree=4192812/4192956
[pid=8317] ppid=8315 vsize=18540 CPUtime=0
/proc/8317/stat : 8317 (runsolver) R 8315 8317 7704 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 178786341 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 233632754983 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/8317/statm: 4635 279 244 17 0 2626 0
[startup+0.102781 s]
/proc/loadavg: 1.33 1.22 1.50 2/95 8318
/proc/meminfo: memFree=1545112/2055920 swapFree=4192812/4192956
[pid=8317] ppid=8315 vsize=914988 CPUtime=0.08
/proc/8317/stat : 8317 (java) R 8315 8317 7704 0 -1 0 2995 0 1 0 7 1 0 0 17 0 8 0 178786341 936947712 2741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072925084 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8317/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510847 s]
/proc/loadavg: 1.33 1.22 1.50 2/95 8318
/proc/meminfo: memFree=1545112/2055920 swapFree=4192812/4192956
[pid=8317] ppid=8315 vsize=915328 CPUtime=0.49
/proc/8317/stat : 8317 (java) R 8315 8317 7704 0 -1 0 6663 0 1 0 45 4 0 0 18 0 8 0 178786341 937295872 6402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8317/statm: 228832 6402 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33398 s]
/proc/loadavg: 1.33 1.22 1.50 4/102 8325
/proc/meminfo: memFree=1521248/2055920 swapFree=4192812/4192956
[pid=8317] ppid=8315 vsize=915452 CPUtime=1.3
/proc/8317/stat : 8317 (java) R 8315 8317 7704 0 -1 0 8688 0 1 0 124 6 0 0 20 0 8 0 178786341 937422848 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8317/statm: 228863 8426 2524 14 0 215333 0
[pid=8317/tid=8319] ppid=8315 vsize=915452 CPUtime=0.03
/proc/8317/task/8319/stat : 8319 (java) S 8315 8317 7704 0 -1 64 240 0 0 0 3 0 0 0 16 0 8 0 178786345 937422848 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8317/tid=8320] ppid=8315 vsize=915452 CPUtime=0
/proc/8317/task/8320/stat : 8320 (java) S 8315 8317 7704 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178786346 937422848 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8317/tid=8321] ppid=8315 vsize=915452 CPUtime=0
/proc/8317/task/8321/stat : 8321 (java) S 8315 8317 7704 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178786346 937422848 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8317/tid=8322] ppid=8315 vsize=915452 CPUtime=0
/proc/8317/task/8322/stat : 8322 (java) S 8315 8317 7704 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 178786349 937422848 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8317/tid=8323] ppid=8315 vsize=915452 CPUtime=0.21
/proc/8317/task/8323/stat : 8323 (java) R 8315 8317 7704 0 -1 64 382 0 0 0 20 1 0 0 17 0 8 0 178786349 937422848 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153104007 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8317/tid=8324] ppid=8315 vsize=915452 CPUtime=0
/proc/8317/task/8324/stat : 8324 (java) S 8315 8317 7704 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 178786349 937422848 8426 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8317/tid=8325] ppid=8315 vsize=915452 CPUtime=0
/proc/8317/task/8325/stat : 8325 (java) S 8315 8317 7704 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178786349 937422848 8426 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) 915452
[startup+2.98324 s]
/proc/loadavg: 1.33 1.22 1.50 3/102 8325
/proc/meminfo: memFree=1521056/2055920 swapFree=4192812/4192956
[pid=8317] ppid=8315 vsize=915452 CPUtime=2.94
/proc/8317/stat : 8317 (java) R 8315 8317 7704 0 -1 0 8709 0 1 0 288 6 0 0 25 0 8 0 178786341 937422848 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8317/statm: 228863 8446 2524 14 0 215333 0
[pid=8317/tid=8319] ppid=8315 vsize=915452 CPUtime=0.03
/proc/8317/task/8319/stat : 8319 (java) S 8315 8317 7704 0 -1 64 240 0 0 0 3 0 0 0 16 0 8 0 178786345 937422848 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8317/tid=8320] ppid=8315 vsize=915452 CPUtime=0
/proc/8317/task/8320/stat : 8320 (java) S 8315 8317 7704 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178786346 937422848 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8317/tid=8321] ppid=8315 vsize=915452 CPUtime=0
/proc/8317/task/8321/stat : 8321 (java) S 8315 8317 7704 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178786346 937422848 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8317/tid=8322] ppid=8315 vsize=915452 CPUtime=0
/proc/8317/task/8322/stat : 8322 (java) S 8315 8317 7704 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 178786349 937422848 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8317/tid=8323] ppid=8315 vsize=915452 CPUtime=0.22
/proc/8317/task/8323/stat : 8323 (java) S 8315 8317 7704 0 -1 64 389 0 0 0 21 1 0 0 16 0 8 0 178786349 937422848 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8317/tid=8324] ppid=8315 vsize=915452 CPUtime=0
/proc/8317/task/8324/stat : 8324 (java) S 8315 8317 7704 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 178786349 937422848 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8317/tid=8325] ppid=8315 vsize=915452 CPUtime=0
/proc/8317/task/8325/stat : 8325 (java) S 8315 8317 7704 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178786349 937422848 8446 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915452
[startup+6.26777 s]
/proc/loadavg: 1.38 1.24 1.50 3/102 8325
/proc/meminfo: memFree=1520864/2055920 swapFree=4192812/4192956
[pid=8317] ppid=8315 vsize=915452 CPUtime=6.19
/proc/8317/stat : 8317 (java) R 8315 8317 7704 0 -1 0 8717 0 1 0 613 6 0 0 25 0 8 0 178786341 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073805748 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8317/statm: 228863 8453 2524 14 0 215333 0
[pid=8317/tid=8319] ppid=8315 vsize=915452 CPUtime=0.03
/proc/8317/task/8319/stat : 8319 (java) S 8315 8317 7704 0 -1 64 240 0 0 0 3 0 0 0 16 0 8 0 178786345 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8317/tid=8320] ppid=8315 vsize=915452 CPUtime=0
/proc/8317/task/8320/stat : 8320 (java) S 8315 8317 7704 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178786346 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8317/tid=8321] ppid=8315 vsize=915452 CPUtime=0
/proc/8317/task/8321/stat : 8321 (java) S 8315 8317 7704 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178786346 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8317/tid=8322] ppid=8315 vsize=915452 CPUtime=0
/proc/8317/task/8322/stat : 8322 (java) S 8315 8317 7704 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 178786349 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8317/tid=8323] ppid=8315 vsize=915452 CPUtime=0.23
/proc/8317/task/8323/stat : 8323 (java) S 8315 8317 7704 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 178786349 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8317/tid=8324] ppid=8315 vsize=915452 CPUtime=0
/proc/8317/task/8324/stat : 8324 (java) S 8315 8317 7704 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 178786349 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8317/tid=8325] ppid=8315 vsize=915452 CPUtime=0
/proc/8317/task/8325/stat : 8325 (java) S 8315 8317 7704 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178786349 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915452
[startup+12.7548 s]
/proc/loadavg: 1.43 1.25 1.50 3/102 8325
/proc/meminfo: memFree=1520992/2055920 swapFree=4192812/4192956
[pid=8317] ppid=8315 vsize=915452 CPUtime=12.61
/proc/8317/stat : 8317 (java) R 8315 8317 7704 0 -1 0 8722 0 1 0 1255 6 0 0 25 0 8 0 178786341 937422848 8458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073799716 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8317/statm: 228863 8458 2524 14 0 215333 0
[pid=8317/tid=8319] ppid=8315 vsize=915452 CPUtime=0.03
/proc/8317/task/8319/stat : 8319 (java) S 8315 8317 7704 0 -1 64 240 0 0 0 3 0 0 0 16 0 8 0 178786345 937422848 8458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8317/tid=8320] ppid=8315 vsize=915452 CPUtime=0
/proc/8317/task/8320/stat : 8320 (java) S 8315 8317 7704 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178786346 937422848 8458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8317/tid=8321] ppid=8315 vsize=915452 CPUtime=0
/proc/8317/task/8321/stat : 8321 (java) S 8315 8317 7704 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178786346 937422848 8458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8317/tid=8322] ppid=8315 vsize=915452 CPUtime=0
/proc/8317/task/8322/stat : 8322 (java) S 8315 8317 7704 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 178786349 937422848 8458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8317/tid=8323] ppid=8315 vsize=915452 CPUtime=0.23
/proc/8317/task/8323/stat : 8323 (java) S 8315 8317 7704 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 178786349 937422848 8458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8317/tid=8324] ppid=8315 vsize=915452 CPUtime=0
/proc/8317/task/8324/stat : 8324 (java) S 8315 8317 7704 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 178786349 937422848 8458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8317/tid=8325] ppid=8315 vsize=915452 CPUtime=0
/proc/8317/task/8325/stat : 8325 (java) S 8315 8317 7704 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178786349 937422848 8458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915452
[startup+25.5989 s]
/proc/loadavg: 1.56 1.29 1.51 3/102 8325
/proc/meminfo: memFree=1521120/2055920 swapFree=4192812/4192956
[pid=8317] ppid=8315 vsize=915452 CPUtime=25.34
/proc/8317/stat : 8317 (java) R 8315 8317 7704 0 -1 0 8727 0 1 0 2528 6 0 0 25 0 8 0 178786341 937422848 8463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809091 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8317/statm: 228863 8463 2524 14 0 215333 0
[pid=8317/tid=8319] ppid=8315 vsize=915452 CPUtime=0.03
/proc/8317/task/8319/stat : 8319 (java) S 8315 8317 7704 0 -1 64 240 0 0 0 3 0 0 0 16 0 8 0 178786345 937422848 8463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8317/tid=8320] ppid=8315 vsize=915452 CPUtime=0
/proc/8317/task/8320/stat : 8320 (java) S 8315 8317 7704 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178786346 937422848 8463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8317/tid=8321] ppid=8315 vsize=915452 CPUtime=0
/proc/8317/task/8321/stat : 8321 (java) S 8315 8317 7704 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 178786346 937422848 8463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8317/tid=8322] ppid=8315 vsize=915452 CPUtime=0
/proc/8317/task/8322/stat : 8322 (java) S 8315 8317 7704 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 178786349 937422848 8463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8317/tid=8323] ppid=8315 vsize=915452 CPUtime=0.23
/proc/8317/task/8323/stat : 8323 (java) S 8315 8317 7704 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 178786349 937422848 8463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8317/tid=8324] ppid=8315 vsize=915452 CPUtime=0
/proc/8317/task/8324/stat : 8324 (java) S 8315 8317 7704 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 178786349 937422848 8463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8317/tid=8325] ppid=8315 vsize=915452 CPUtime=0
/proc/8317/task/8325/stat : 8325 (java) R 8315 8317 7704 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 178786349 937422848 8463 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 28.0764
CPU time (s): 27.7388
CPU user time (s): 27.6618
CPU system time (s): 0.076988
CPU usage (%): 98.7973
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.6618
system time used= 0.076988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8818
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= 1396
involuntary context switches= 2751
runsolver used 0.042993 s user time and 0.089986 s system time
The end
Begin job on node3 on Tue Jan 9 00:51:47 UTC 2007
IDJOB= 229160
IDBENCH= 6283
FILE ID= node3/229160-1168303906
PBS_JOBID= 3502251
Free space on /tmp= 66557 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-29_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229160-1168303906/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-229160-1168303906 -o ROOT/results/node3/solver-229160-1168303906 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229160-1168303906/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 62dea78fee4aa672a1b59404c260ab7e
RANDOM SEED= 384529784
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.279
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.279
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: 1545592 kB
Buffers: 70836 kB
Cached: 264948 kB
SwapCached: 0 kB
Active: 307372 kB
Inactive: 138324 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1545592 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5408 kB
Writeback: 0 kB
Mapped: 137744 kB
Slab: 49436 kB
Committed_AS: 5783052 kB
PageTables: 2260 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= 66557 MiB
End job on node3 on Tue Jan 9 00:52:15 UTC 2007