0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/226599-1168275985/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=40 nbDomainTypes=1 minDomainSize=40 maxDomainSize=40
0.40 => wckTime=0.1 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.52
0.52 constraints being loaded...
0.60 nbConstraints=135 nbRelationTypes=135 nbExtensionStructures=135 nbSharedExtensionStructures=0
0.60 nbConflictsStructures=135 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=12 maxArity=2
0.60 => wckTime=0.302 cpuTime=0.24 mem=15M744
0.64
0.64 solver IterativeSystematicSolver being built...
0.80 => wckTime=0.502 cpuTime=0.36 mem=14M928
0.85
0.85 preprocessing
0.85 nbConstraintChecks=77791 nbPropagations=802 nbRevisions=3542 nbUselessRevisions=2436 nbSingletonTests=49
0.85 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.85 => wckTime=0.045 cpuTime=0.03 mem=14M928
0.88
0.88 search
0.88 run=0 nbConstraintChecks=59446 nbPropagations=1705 nbRevisions=8834 nbUselessRevisions=5715 nbAssignments=39
0.88 nbFailedAssignments=22 nbBacktracks=11 nbVisitedNodes=72 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.88 nbTooLargeKeys=0
0.88 => wckTime=0.073 cpuTime=0.05 mem=14M928
0.90
0.90 search
0.90 run=1 nbConstraintChecks=129008 nbPropagations=4362 nbRevisions=23593 nbUselessRevisions=14973
0.90 nbAssignments=76 nbFailedAssignments=37 nbBacktracks=29 nbVisitedNodes=135 nbRestartNogoods=2 mapSize=25
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.089 cpuTime=0.06 mem=14M928
0.92
0.92 search
0.92 run=2 nbConstraintChecks=222523 nbPropagations=8352 nbRevisions=46273 nbUselessRevisions=29228
0.92 nbAssignments=138 nbFailedAssignments=74 nbBacktracks=51 nbVisitedNodes=247 nbRestartNogoods=3 mapSize=42
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.11 cpuTime=0.08 mem=14M928
0.94
0.94 search
0.94 run=3 nbConstraintChecks=350879 nbPropagations=14174 nbRevisions=80185 nbUselessRevisions=50399
0.94 nbAssignments=209 nbFailedAssignments=108 nbBacktracks=84 nbVisitedNodes=369 nbRestartNogoods=4 mapSize=71
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.129 cpuTime=0.11 mem=14M928
0.98
0.98 search
0.98 run=4 nbConstraintChecks=629903 nbPropagations=23856 nbRevisions=138609 nbUselessRevisions=86713
0.98 nbAssignments=373 nbFailedAssignments=216 nbBacktracks=134 nbVisitedNodes=679 nbRestartNogoods=7 mapSize=117
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.17 cpuTime=0.14 mem=14M928
1.02
1.02 search
1.02 run=5 nbConstraintChecks=978225 nbPropagations=37844 nbRevisions=223715 nbUselessRevisions=139409
1.02 nbAssignments=544 nbFailedAssignments=297 nbBacktracks=210 nbVisitedNodes=971 nbRestartNogoods=13 mapSize=185
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.212 cpuTime=0.18 mem=14M928
1.08
1.08 search
1.08 run=6 nbConstraintChecks=1456887 nbPropagations=58037 nbRevisions=348246 nbUselessRevisions=216222
1.08 nbAssignments=788 nbFailedAssignments=424 nbBacktracks=323 nbVisitedNodes=1406 nbRestartNogoods=17 mapSize=281
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.273 cpuTime=0.24 mem=14M928
1.17
1.17 search
1.17 run=7 nbConstraintChecks=2114455 nbPropagations=88492 nbRevisions=534865 nbUselessRevisions=331967
1.17 nbAssignments=1193 nbFailedAssignments=656 nbBacktracks=493 nbVisitedNodes=2163 nbRestartNogoods=24
1.17 mapSize=443 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.363 cpuTime=0.32 mem=14M928
1.30
1.30 search
1.30 run=8 nbConstraintChecks=3059413 nbPropagations=132093 nbRevisions=802488 nbUselessRevisions=497900
1.30 nbAssignments=1700 nbFailedAssignments=900 nbBacktracks=749 nbVisitedNodes=3077 nbRestartNogoods=29
1.30 mapSize=663 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.492 cpuTime=0.44 mem=14M928
1.48
1.48 search
1.48 run=9 nbConstraintChecks=4541012 nbPropagations=197428 nbRevisions=1203246 nbUselessRevisions=745805
1.48 nbAssignments=2547 nbFailedAssignments=1351 nbBacktracks=1133 nbVisitedNodes=4628 nbRestartNogoods=38
1.48 mapSize=1008 nbInferences=0 nbTooLargeKeys=0
1.48 => wckTime=0.667 cpuTime=0.61 mem=14M928
1.49
1.49 INFO : Stopping hyperNogood (mapSize=1022, nbTooLargekeys=0, mem=14M928)
1.68
1.68 search
1.68 run=10 nbConstraintChecks=6393706 nbPropagations=288037 nbRevisions=1761786 nbUselessRevisions=1091846
1.69 nbAssignments=3581 nbFailedAssignments=1806 nbBacktracks=1710 nbVisitedNodes=6461 nbRestartNogoods=49
1.69 => wckTime=0.877 cpuTime=0.81 mem=14M928
2.04
2.04 search
2.04 run=11 nbConstraintChecks=9578562 nbPropagations=426585 nbRevisions=2614708 nbUselessRevisions=1620638
2.04 nbAssignments=5456 nbFailedAssignments=2812 nbBacktracks=2575 nbVisitedNodes=9914 nbRestartNogoods=55
2.04 => wckTime=1.234 cpuTime=1.16 mem=14M928
2.54
2.54 search
2.54 run=12 nbConstraintChecks=14306312 nbPropagations=629167 nbRevisions=3866033 nbUselessRevisions=2393666
2.54 nbAssignments=7991 nbFailedAssignments=4045 nbBacktracks=3872 nbVisitedNodes=14483 nbRestartNogoods=64
2.54 => wckTime=1.736 cpuTime=1.66 mem=14M928
3.33
3.33 search
3.33 run=13 nbConstraintChecks=21520117 nbPropagations=938678 nbRevisions=5778207 nbUselessRevisions=3577841
3.33 nbAssignments=12126 nbFailedAssignments=6230 nbBacktracks=5818 nbVisitedNodes=22108 nbRestartNogoods=77
3.33 => wckTime=2.522 cpuTime=2.44 mem=15M904
4.57
4.57 search
4.57 run=14 nbConstraintChecks=33587195 nbPropagations=1408674 nbRevisions=8693953 nbUselessRevisions=5381516
4.57 nbAssignments=18218 nbFailedAssignments=9400 nbBacktracks=8737 nbVisitedNodes=33299 nbRestartNogoods=90
4.57 => wckTime=3.762 cpuTime=3.67 mem=15M904
6.42
6.42 search
6.42 run=15 nbConstraintChecks=51312227 nbPropagations=2123523 nbRevisions=13119068 nbUselessRevisions=8116494
6.42 nbAssignments=27691 nbFailedAssignments=14489 nbBacktracks=13116 nbVisitedNodes=50799 nbRestartNogoods=98
6.42 => wckTime=5.613 cpuTime=5.51 mem=15M904
9.10
9.10 search
9.10 run=16 nbConstraintChecks=76996835 nbPropagations=3193316 nbRevisions=19768102 nbUselessRevisions=12229697
9.10 nbAssignments=41647 nbFailedAssignments=21872 nbBacktracks=19687 nbVisitedNodes=76417 nbRestartNogoods=108
9.10 => wckTime=8.294 cpuTime=8.18 mem=15M904
13.17
13.17 search
13.17 run=17 nbConstraintChecks=116404516 nbPropagations=4791382 nbRevisions=29718516 nbUselessRevisions=18384696
13.17 nbAssignments=62116 nbFailedAssignments=32485 nbBacktracks=29539 nbVisitedNodes=113900 nbRestartNogoods=114
13.17 => wckTime=12.358 cpuTime=12.22 mem=15M904
18.61
18.61 search
18.61 run=18 nbConstraintChecks=169543819 nbPropagations=7074455 nbRevisions=43964956 nbUselessRevisions=27187042
18.61 nbAssignments=88755 nbFailedAssignments=46083 nbBacktracks=42581 nbVisitedNodes=162285 nbRestartNogoods=123
18.61 => wckTime=17.801 cpuTime=17.64 mem=15M904
18.61
18.61 global
18.61 nbConstraintChecks=169621610 nbPropagations=7075257 nbRevisions=43968498 nbUselessRevisions=27189478
18.61 nbRestartNogoods=123 solvingWckTime=17.803 solvingCpuTime=17.65 expiredTime=no totalExploration=yes
18.61 nbFoundSolutions=0 globalCpuTime=18.05
18.61 => wckTime=18.309 cpuTime=18.01 mem=15M904
18.61
18.61 s UNSATISFIABLE
18.61 d NODES 88755
18.61 d CHECKS 169621610
18.61
18.61 totalWckTime=18.387 totalCpuTime=18.05
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-226599-1168275985 -o ROOT/results/node14/solver-226599-1168275985 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226599-1168275985/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.05 2.10 2.18 4/98 32345
/proc/meminfo: memFree=1539328/2055920 swapFree=4182236/4192956
[pid=32344] ppid=32342 vsize=172 CPUtime=0
/proc/32344/stat : 32344 (java) R 32342 32344 32188 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 175993474 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 6927140 0 0 4096 0 0 0 0 17 0 0 0
/proc/32344/statm: 43 24 18 14 0 3 0
[startup+0.108449 s]
/proc/loadavg: 2.05 2.10 2.18 4/98 32345
/proc/meminfo: memFree=1539328/2055920 swapFree=4182236/4192956
[pid=32344] ppid=32342 vsize=914988 CPUtime=0.09
/proc/32344/stat : 32344 (java) R 32342 32344 32188 0 -1 0 3060 0 1 0 8 1 0 0 24 0 8 0 175993474 936947712 2806 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32344/statm: 228747 2807 1450 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.520486 s]
/proc/loadavg: 2.05 2.10 2.18 4/98 32345
/proc/meminfo: memFree=1539328/2055920 swapFree=4182236/4192956
[pid=32344] ppid=32342 vsize=915328 CPUtime=0.5
/proc/32344/stat : 32344 (java) R 32342 32344 32188 0 -1 0 7711 0 1 0 46 4 0 0 25 0 8 0 175993474 937295872 7450 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073562995 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32344/statm: 228832 7451 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.34657 s]
/proc/loadavg: 2.05 2.10 2.18 3/105 32352
/proc/meminfo: memFree=1513928/2055920 swapFree=4182236/4192956
[pid=32344] ppid=32342 vsize=915464 CPUtime=1.32
/proc/32344/stat : 32344 (java) R 32342 32344 32188 0 -1 0 9110 0 1 0 126 6 0 0 25 0 8 0 175993474 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073754030 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32344/statm: 228866 8848 2524 14 0 215336 0
[pid=32344/tid=32346] ppid=32342 vsize=915464 CPUtime=0.03
/proc/32344/task/32346/stat : 32346 (java) S 32342 32344 32188 0 -1 64 253 0 0 0 3 0 0 0 16 0 8 0 175993478 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32344/tid=32347] ppid=32342 vsize=915464 CPUtime=0
/proc/32344/task/32347/stat : 32347 (java) S 32342 32344 32188 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175993478 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32344/tid=32348] ppid=32342 vsize=915464 CPUtime=0
/proc/32344/task/32348/stat : 32348 (java) S 32342 32344 32188 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175993478 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32344/tid=32349] ppid=32342 vsize=915464 CPUtime=0
/proc/32344/task/32349/stat : 32349 (java) S 32342 32344 32188 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 175993481 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32344/tid=32350] ppid=32342 vsize=915464 CPUtime=0.2
/proc/32344/task/32350/stat : 32350 (java) S 32342 32344 32188 0 -1 64 373 0 0 0 19 1 0 0 16 0 8 0 175993481 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32344/tid=32351] ppid=32342 vsize=915464 CPUtime=0
/proc/32344/task/32351/stat : 32351 (java) S 32342 32344 32188 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 175993481 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32344/tid=32352] ppid=32342 vsize=915464 CPUtime=0
/proc/32344/task/32352/stat : 32352 (java) S 32342 32344 32188 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175993481 937435136 8848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915464
[startup+2.98372 s]
/proc/loadavg: 2.05 2.10 2.18 3/105 32352
/proc/meminfo: memFree=1513800/2055920 swapFree=4182236/4192956
[pid=32344] ppid=32342 vsize=915464 CPUtime=2.94
/proc/32344/stat : 32344 (java) R 32342 32344 32188 0 -1 0 9118 0 1 0 288 6 0 0 25 0 8 0 175993474 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073733971 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32344/statm: 228866 8855 2524 14 0 215336 0
[pid=32344/tid=32346] ppid=32342 vsize=915464 CPUtime=0.03
/proc/32344/task/32346/stat : 32346 (java) S 32342 32344 32188 0 -1 64 253 0 0 0 3 0 0 0 17 0 8 0 175993478 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32344/tid=32347] ppid=32342 vsize=915464 CPUtime=0
/proc/32344/task/32347/stat : 32347 (java) S 32342 32344 32188 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175993478 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32344/tid=32348] ppid=32342 vsize=915464 CPUtime=0
/proc/32344/task/32348/stat : 32348 (java) S 32342 32344 32188 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175993478 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32344/tid=32349] ppid=32342 vsize=915464 CPUtime=0
/proc/32344/task/32349/stat : 32349 (java) S 32342 32344 32188 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 175993481 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32344/tid=32350] ppid=32342 vsize=915464 CPUtime=0.22
/proc/32344/task/32350/stat : 32350 (java) S 32342 32344 32188 0 -1 64 379 0 0 0 21 1 0 0 15 0 8 0 175993481 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32344/tid=32351] ppid=32342 vsize=915464 CPUtime=0
/proc/32344/task/32351/stat : 32351 (java) S 32342 32344 32188 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 175993481 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32344/tid=32352] ppid=32342 vsize=915464 CPUtime=0
/proc/32344/task/32352/stat : 32352 (java) S 32342 32344 32188 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175993481 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464
[startup+6.27103 s]
/proc/loadavg: 2.04 2.10 2.18 3/105 32352
/proc/meminfo: memFree=1513736/2055920 swapFree=4182236/4192956
[pid=32344] ppid=32342 vsize=915464 CPUtime=6.21
/proc/32344/stat : 32344 (java) R 32342 32344 32188 0 -1 0 9119 0 1 0 615 6 0 0 25 0 8 0 175993474 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073747825 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32344/statm: 228866 8855 2524 14 0 215336 0
[pid=32344/tid=32346] ppid=32342 vsize=915464 CPUtime=0.03
/proc/32344/task/32346/stat : 32346 (java) S 32342 32344 32188 0 -1 64 253 0 0 0 3 0 0 0 16 0 8 0 175993478 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32344/tid=32347] ppid=32342 vsize=915464 CPUtime=0
/proc/32344/task/32347/stat : 32347 (java) S 32342 32344 32188 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175993478 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32344/tid=32348] ppid=32342 vsize=915464 CPUtime=0
/proc/32344/task/32348/stat : 32348 (java) S 32342 32344 32188 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175993478 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32344/tid=32349] ppid=32342 vsize=915464 CPUtime=0
/proc/32344/task/32349/stat : 32349 (java) S 32342 32344 32188 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 175993481 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32344/tid=32350] ppid=32342 vsize=915464 CPUtime=0.22
/proc/32344/task/32350/stat : 32350 (java) S 32342 32344 32188 0 -1 64 379 0 0 0 21 1 0 0 15 0 8 0 175993481 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32344/tid=32351] ppid=32342 vsize=915464 CPUtime=0
/proc/32344/task/32351/stat : 32351 (java) S 32342 32344 32188 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 175993481 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32344/tid=32352] ppid=32342 vsize=915464 CPUtime=0
/proc/32344/task/32352/stat : 32352 (java) S 32342 32344 32188 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175993481 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915464
[startup+12.7596 s]
/proc/loadavg: 2.04 2.10 2.18 3/105 32352
/proc/meminfo: memFree=1513744/2055920 swapFree=4182236/4192956
[pid=32344] ppid=32342 vsize=915464 CPUtime=12.67
/proc/32344/stat : 32344 (java) R 32342 32344 32188 0 -1 0 9119 0 1 0 1261 6 0 0 25 0 8 0 175993474 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073749616 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/32344/statm: 228866 8855 2524 14 0 215336 0
[pid=32344/tid=32346] ppid=32342 vsize=915464 CPUtime=0.03
/proc/32344/task/32346/stat : 32346 (java) S 32342 32344 32188 0 -1 64 253 0 0 0 3 0 0 0 16 0 8 0 175993478 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=32344/tid=32347] ppid=32342 vsize=915464 CPUtime=0
/proc/32344/task/32347/stat : 32347 (java) S 32342 32344 32188 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 175993478 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32344/tid=32348] ppid=32342 vsize=915464 CPUtime=0
/proc/32344/task/32348/stat : 32348 (java) S 32342 32344 32188 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 175993478 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32344/tid=32349] ppid=32342 vsize=915464 CPUtime=0
/proc/32344/task/32349/stat : 32349 (java) S 32342 32344 32188 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 175993481 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32344/tid=32350] ppid=32342 vsize=915464 CPUtime=0.22
/proc/32344/task/32350/stat : 32350 (java) S 32342 32344 32188 0 -1 64 379 0 0 0 21 1 0 0 15 0 8 0 175993481 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32344/tid=32351] ppid=32342 vsize=915464 CPUtime=0
/proc/32344/task/32351/stat : 32351 (java) S 32342 32344 32188 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 175993481 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=32344/tid=32352] ppid=32342 vsize=915464 CPUtime=0
/proc/32344/task/32352/stat : 32352 (java) S 32342 32344 32188 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 175993481 937435136 8855 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 18.6598
CPU time (s): 18.5202
CPU user time (s): 18.4442
CPU system time (s): 0.075988
CPU usage (%): 99.2517
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.4442
system time used= 0.075988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9126
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= 1474
involuntary context switches= 2518
runsolver used 0.026995 s user time and 0.072988 s system time
The end
Begin job on node14 on Mon Jan 8 17:06:25 UTC 2007
IDJOB= 226599
IDBENCH= 5992
FILE ID= node14/226599-1168275985
PBS_JOBID= 3483074
Free space on /tmp= 66342 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.65/rand-2-40-40-135-650-79_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226599-1168275985/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-226599-1168275985 -o ROOT/results/node14/solver-226599-1168275985 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/226599-1168275985/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= cbb059c9def2827086903f2eb9f0d052
RANDOM SEED= 967210680
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.227
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.227
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: 1539808 kB
Buffers: 65700 kB
Cached: 160368 kB
SwapCached: 4180 kB
Active: 344432 kB
Inactive: 119612 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1539808 kB
SwapTotal: 4192956 kB
SwapFree: 4182236 kB
Dirty: 2104 kB
Writeback: 0 kB
Mapped: 256840 kB
Slab: 36452 kB
Committed_AS: 6563704 kB
PageTables: 2580 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= 66342 MiB
End job on node14 on Mon Jan 8 17:06:44 UTC 2007