0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/199787-1168136461/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=23 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.39 => wckTime=0.094 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.48
0.48 constraints being loaded...
0.59 nbConstraints=253 nbRelationTypes=253 nbExtensionStructures=253 nbSharedExtensionStructures=0
0.59 nbConflictsStructures=253 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=881 maxDegree=22
0.59 maxArity=2
0.59 => wckTime=0.293 cpuTime=0.21 mem=12M803
0.63
0.63 solver IterativeSystematicSolver being built...
0.78 => wckTime=0.486 cpuTime=0.34 mem=14M972
0.83
0.83 preprocessing
0.83 nbConstraintChecks=42543 nbPropagations=576 nbRevisions=5334 nbUselessRevisions=4617 nbSingletonTests=32
0.83 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
0.83 => wckTime=0.042 cpuTime=0.02 mem=14M972
0.85
0.85 search
0.85 run=0 nbConstraintChecks=32560 nbPropagations=987 nbRevisions=11987 nbUselessRevisions=10359 nbAssignments=27
0.85 nbFailedAssignments=12 nbBacktracks=10 nbVisitedNodes=48 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.85 nbTooLargeKeys=0
0.85 => wckTime=0.063 cpuTime=0.05 mem=14M972
0.87
0.87 search
0.87 run=1 nbConstraintChecks=77279 nbPropagations=2564 nbRevisions=33562 nbUselessRevisions=28892 nbAssignments=67
0.87 nbFailedAssignments=31 nbBacktracks=26 nbVisitedNodes=119 nbRestartNogoods=2 mapSize=25 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.082 cpuTime=0.06 mem=14M972
0.88
0.88 search
0.89 run=2 nbConstraintChecks=143364 nbPropagations=4919 nbRevisions=69328 nbUselessRevisions=59566
0.89 nbAssignments=115 nbFailedAssignments=53 nbBacktracks=49 nbVisitedNodes=207 nbRestartNogoods=4 mapSize=48
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.1 cpuTime=0.07 mem=14M972
0.91
0.91 search
0.91 run=3 nbConstraintChecks=235457 nbPropagations=8419 nbRevisions=125468 nbUselessRevisions=107891
0.91 nbAssignments=193 nbFailedAssignments=92 nbBacktracks=83 nbVisitedNodes=349 nbRestartNogoods=6 mapSize=82
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.123 cpuTime=0.09 mem=14M972
0.93
0.93 search
0.93 run=4 nbConstraintChecks=350790 nbPropagations=13414 nbRevisions=208178 nbUselessRevisions=179074
0.93 nbAssignments=299 nbFailedAssignments=143 nbBacktracks=134 nbVisitedNodes=543 nbRestartNogoods=10 mapSize=131
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.146 cpuTime=0.12 mem=14M972
0.97
0.97 search
0.97 run=5 nbConstraintChecks=520320 nbPropagations=20533 nbRevisions=328976 nbUselessRevisions=283264
0.97 nbAssignments=449 nbFailedAssignments=212 nbBacktracks=210 nbVisitedNodes=811 nbRestartNogoods=14 mapSize=206
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.183 cpuTime=0.15 mem=14M972
1.02
1.02 search
1.02 run=6 nbConstraintChecks=818056 nbPropagations=31101 nbRevisions=513852 nbUselessRevisions=442454
1.02 nbAssignments=676 nbFailedAssignments=321 nbBacktracks=323 nbVisitedNodes=1233 nbRestartNogoods=19 mapSize=318
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.236 cpuTime=0.2 mem=14M972
1.09
1.09 search
1.09 run=7 nbConstraintChecks=1209148 nbPropagations=46622 nbRevisions=785253 nbUselessRevisions=676178
1.09 nbAssignments=1025 nbFailedAssignments=483 nbBacktracks=493 nbVisitedNodes=1856 nbRestartNogoods=24
1.09 mapSize=484 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.306 cpuTime=0.27 mem=14M972
1.21
1.21 search
1.21 run=8 nbConstraintChecks=1820651 nbPropagations=69514 nbRevisions=1193460 nbUselessRevisions=1027618
1.21 nbAssignments=1535 nbFailedAssignments=732 nbBacktracks=749 nbVisitedNodes=2801 nbRestartNogoods=32
1.21 mapSize=735 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.424 cpuTime=0.37 mem=14M972
1.33
1.33 INFO : Stopping hyperNogood (mapSize=1031, nbTooLargekeys=0, mem=14M972)
1.36
1.36 search
1.36 run=9 nbConstraintChecks=2780054 nbPropagations=103758 nbRevisions=1815280 nbUselessRevisions=1562996
1.36 nbAssignments=2296 nbFailedAssignments=1104 nbBacktracks=1133 nbVisitedNodes=4224 nbRestartNogoods=37
1.36 => wckTime=0.578 cpuTime=0.52 mem=14M972
1.59
1.59 search
1.59 run=10 nbConstraintChecks=4250562 nbPropagations=155018 nbRevisions=2762635 nbUselessRevisions=2378948
1.59 nbAssignments=3440 nbFailedAssignments=1668 nbBacktracks=1709 nbVisitedNodes=6365 nbRestartNogoods=48
1.59 => wckTime=0.801 cpuTime=0.73 mem=14M972
1.91
1.91 search
1.91 run=11 nbConstraintChecks=6364773 nbPropagations=232229 nbRevisions=4191837 nbUselessRevisions=3609791
1.91 nbAssignments=5205 nbFailedAssignments=2554 nbBacktracks=2573 nbVisitedNodes=9656 nbRestartNogoods=60
1.91 => wckTime=1.121 cpuTime=1.04 mem=14M972
2.37
2.37 search
2.37 run=12 nbConstraintChecks=9599973 nbPropagations=347700 nbRevisions=6351893 nbUselessRevisions=5472077
2.37 nbAssignments=7776 nbFailedAssignments=3822 nbBacktracks=3870 nbVisitedNodes=14475 nbRestartNogoods=67
2.37 => wckTime=1.587 cpuTime=1.51 mem=14M972
3.07
3.07 search
3.07 run=13 nbConstraintChecks=14447393 nbPropagations=520320 nbRevisions=9593063 nbUselessRevisions=8266045
3.07 nbAssignments=11652 nbFailedAssignments=5738 nbBacktracks=5816 nbVisitedNodes=21680 nbRestartNogoods=89
3.07 => wckTime=2.283 cpuTime=2.2 mem=14M972
4.12
4.12 search
4.12 run=14 nbConstraintChecks=21815273 nbPropagations=779530 nbRevisions=14484261 nbUselessRevisions=12483959
4.12 nbAssignments=17471 nbFailedAssignments=8633 nbBacktracks=8735 nbVisitedNodes=32590 nbRestartNogoods=97
4.12 => wckTime=3.331 cpuTime=3.24 mem=14M972
5.67
5.67 search
5.67 run=15 nbConstraintChecks=32697699 nbPropagations=1167664 nbRevisions=21826332 nbUselessRevisions=18817428
5.67 nbAssignments=26148 nbFailedAssignments=12927 nbBacktracks=13113 nbVisitedNodes=48826 nbRestartNogoods=114
5.67 => wckTime=4.887 cpuTime=4.79 mem=14M972
8.02
8.02 search
8.02 run=16 nbConstraintChecks=49111667 nbPropagations=1749726 nbRevisions=32876137 nbUselessRevisions=28352942
8.02 nbAssignments=39224 nbFailedAssignments=19431 nbBacktracks=19681 nbVisitedNodes=73304 nbRestartNogoods=128
8.02 => wckTime=7.232 cpuTime=7.13 mem=14M972
11.64
11.64 search
11.64 run=17 nbConstraintChecks=74698001 nbPropagations=2628601 nbRevisions=49651974 nbUselessRevisions=42832555
11.64 nbAssignments=59012 nbFailedAssignments=29362 nbBacktracks=29533 nbVisitedNodes=110434 nbRestartNogoods=147
11.64 => wckTime=10.85 cpuTime=10.73 mem=14M972
14.70
14.70 search
14.70 run=18 nbConstraintChecks=95934544 nbPropagations=3758205 nbRevisions=71197454 nbUselessRevisions=61425072
14.70 nbAssignments=76067 nbFailedAssignments=37901 nbBacktracks=38026 nbVisitedNodes=142315 nbRestartNogoods=170
14.70 => wckTime=13.916 cpuTime=13.77 mem=14M972
14.70
14.70 global
14.70 nbConstraintChecks=95977087 nbPropagations=3758781 nbRevisions=71202788 nbUselessRevisions=61429689
14.70 nbRestartNogoods=170 solvingWckTime=13.917 solvingCpuTime=13.77 expiredTime=no totalExploration=no
14.70 nbFoundSolutions=1 globalCpuTime=14.15
14.70 => wckTime=14.406 cpuTime=14.11 mem=14M972
14.71
14.71 s SATISFIABLE
14.71 v 15 12 17 17 4 17 15 9 4 16 13 1 0 19 0 22 18 0 3 1 5 3 3
14.71 d NODES 76067
14.71 d CHECKS 95977087
14.71
14.71 totalWckTime=14.483 totalCpuTime=14.15
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-199787-1168136461 -o ROOT/results/node7/solver-199787-1168136461 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199787-1168136461/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.92 1.98 1.99 4/94 6806
/proc/meminfo: memFree=1821720/2055920 swapFree=4192812/4192956
[pid=6805] ppid=6803 vsize=172 CPUtime=0
/proc/6805/stat : 6805 (java) R 6803 6805 4256 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 162041551 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10416932 0 0 4096 0 0 0 0 17 0 0 0
/proc/6805/statm: 43 24 18 14 0 3 0
[startup+0.107632 s]
/proc/loadavg: 1.92 1.98 1.99 4/94 6806
/proc/meminfo: memFree=1821720/2055920 swapFree=4192812/4192956
[pid=6805] ppid=6803 vsize=914988 CPUtime=0.09
/proc/6805/stat : 6805 (java) R 6803 6805 4256 0 -1 0 3064 0 1 0 8 1 0 0 24 0 8 0 162041551 936947712 2810 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6805/statm: 228747 2811 1451 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515675 s]
/proc/loadavg: 1.92 1.98 1.99 4/94 6806
/proc/meminfo: memFree=1821720/2055920 swapFree=4192812/4192956
[pid=6805] ppid=6803 vsize=915328 CPUtime=0.49
/proc/6805/stat : 6805 (java) R 6803 6805 4256 0 -1 0 6934 0 1 0 45 4 0 0 25 0 8 0 162041551 937295872 6673 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6805/statm: 228832 6673 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33676 s]
/proc/loadavg: 1.92 1.98 1.99 3/101 6813
/proc/meminfo: memFree=1797984/2055920 swapFree=4192812/4192956
[pid=6805] ppid=6803 vsize=915452 CPUtime=1.3
/proc/6805/stat : 6805 (java) R 6803 6805 4256 0 -1 0 8687 0 1 0 124 6 0 0 25 0 8 0 162041551 937422848 8425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788256 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6805/statm: 228863 8425 2524 14 0 215333 0
[pid=6805/tid=6807] ppid=6803 vsize=915452 CPUtime=0.02
/proc/6805/task/6807/stat : 6807 (java) S 6803 6805 4256 0 -1 64 269 0 0 0 2 0 0 0 16 0 8 0 162041555 937422848 8425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6805/tid=6808] ppid=6803 vsize=915452 CPUtime=0
/proc/6805/task/6808/stat : 6808 (java) S 6803 6805 4256 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162041556 937422848 8425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6805/tid=6809] ppid=6803 vsize=915452 CPUtime=0
/proc/6805/task/6809/stat : 6809 (java) S 6803 6805 4256 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162041556 937422848 8425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6805/tid=6810] ppid=6803 vsize=915452 CPUtime=0
/proc/6805/task/6810/stat : 6810 (java) S 6803 6805 4256 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162041559 937422848 8425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6805/tid=6811] ppid=6803 vsize=915452 CPUtime=0.21
/proc/6805/task/6811/stat : 6811 (java) S 6803 6805 4256 0 -1 64 383 0 0 0 20 1 0 0 16 0 8 0 162041559 937422848 8425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6805/tid=6812] ppid=6803 vsize=915452 CPUtime=0
/proc/6805/task/6812/stat : 6812 (java) S 6803 6805 4256 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 162041559 937422848 8425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6805/tid=6813] ppid=6803 vsize=915452 CPUtime=0
/proc/6805/task/6813/stat : 6813 (java) S 6803 6805 4256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162041559 937422848 8425 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915452
[startup+2.97393 s]
/proc/loadavg: 1.92 1.98 1.99 3/101 6813
/proc/meminfo: memFree=1797792/2055920 swapFree=4192812/4192956
[pid=6805] ppid=6803 vsize=915452 CPUtime=2.93
/proc/6805/stat : 6805 (java) R 6803 6805 4256 0 -1 0 8703 0 1 0 287 6 0 0 25 0 8 0 162041551 937422848 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073788437 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6805/statm: 228863 8440 2524 14 0 215333 0
[pid=6805/tid=6807] ppid=6803 vsize=915452 CPUtime=0.02
/proc/6805/task/6807/stat : 6807 (java) S 6803 6805 4256 0 -1 64 269 0 0 0 2 0 0 0 16 0 8 0 162041555 937422848 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6805/tid=6808] ppid=6803 vsize=915452 CPUtime=0
/proc/6805/task/6808/stat : 6808 (java) S 6803 6805 4256 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162041556 937422848 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6805/tid=6809] ppid=6803 vsize=915452 CPUtime=0
/proc/6805/task/6809/stat : 6809 (java) S 6803 6805 4256 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162041556 937422848 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6805/tid=6810] ppid=6803 vsize=915452 CPUtime=0
/proc/6805/task/6810/stat : 6810 (java) S 6803 6805 4256 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162041559 937422848 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6805/tid=6811] ppid=6803 vsize=915452 CPUtime=0.22
/proc/6805/task/6811/stat : 6811 (java) S 6803 6805 4256 0 -1 64 389 0 0 0 21 1 0 0 15 0 8 0 162041559 937422848 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6805/tid=6812] ppid=6803 vsize=915452 CPUtime=0
/proc/6805/task/6812/stat : 6812 (java) S 6803 6805 4256 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 162041559 937422848 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6805/tid=6813] ppid=6803 vsize=915452 CPUtime=0
/proc/6805/task/6813/stat : 6813 (java) S 6803 6805 4256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162041559 937422848 8440 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915452
[startup+6.17527 s]
/proc/loadavg: 1.93 1.98 1.99 3/101 6813
/proc/meminfo: memFree=1797728/2055920 swapFree=4192812/4192956
[pid=6805] ppid=6803 vsize=915452 CPUtime=6.12
/proc/6805/stat : 6805 (java) R 6803 6805 4256 0 -1 0 8711 0 1 0 606 6 0 0 25 0 8 0 162041551 937422848 8447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073793963 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6805/statm: 228863 8447 2524 14 0 215333 0
[pid=6805/tid=6807] ppid=6803 vsize=915452 CPUtime=0.02
/proc/6805/task/6807/stat : 6807 (java) S 6803 6805 4256 0 -1 64 269 0 0 0 2 0 0 0 16 0 8 0 162041555 937422848 8447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6805/tid=6808] ppid=6803 vsize=915452 CPUtime=0
/proc/6805/task/6808/stat : 6808 (java) S 6803 6805 4256 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162041556 937422848 8447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6805/tid=6809] ppid=6803 vsize=915452 CPUtime=0
/proc/6805/task/6809/stat : 6809 (java) S 6803 6805 4256 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162041556 937422848 8447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6805/tid=6810] ppid=6803 vsize=915452 CPUtime=0
/proc/6805/task/6810/stat : 6810 (java) S 6803 6805 4256 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162041559 937422848 8447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6805/tid=6811] ppid=6803 vsize=915452 CPUtime=0.22
/proc/6805/task/6811/stat : 6811 (java) S 6803 6805 4256 0 -1 64 389 0 0 0 21 1 0 0 16 0 8 0 162041559 937422848 8447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6805/tid=6812] ppid=6803 vsize=915452 CPUtime=0
/proc/6805/task/6812/stat : 6812 (java) S 6803 6805 4256 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 162041559 937422848 8447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6805/tid=6813] ppid=6803 vsize=915452 CPUtime=0
/proc/6805/task/6813/stat : 6813 (java) S 6803 6805 4256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162041559 937422848 8447 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915452
[startup+12.6419 s]
/proc/loadavg: 1.93 1.98 1.99 3/101 6813
/proc/meminfo: memFree=1797728/2055920 swapFree=4192812/4192956
[pid=6805] ppid=6803 vsize=915452 CPUtime=12.54
/proc/6805/stat : 6805 (java) R 6803 6805 4256 0 -1 0 8718 0 1 0 1248 6 0 0 25 0 8 0 162041551 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073785450 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6805/statm: 228863 8454 2524 14 0 215333 0
[pid=6805/tid=6807] ppid=6803 vsize=915452 CPUtime=0.02
/proc/6805/task/6807/stat : 6807 (java) S 6803 6805 4256 0 -1 64 269 0 0 0 2 0 0 0 16 0 8 0 162041555 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6805/tid=6808] ppid=6803 vsize=915452 CPUtime=0
/proc/6805/task/6808/stat : 6808 (java) S 6803 6805 4256 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162041556 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6805/tid=6809] ppid=6803 vsize=915452 CPUtime=0
/proc/6805/task/6809/stat : 6809 (java) S 6803 6805 4256 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162041556 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6805/tid=6810] ppid=6803 vsize=915452 CPUtime=0
/proc/6805/task/6810/stat : 6810 (java) S 6803 6805 4256 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162041559 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6805/tid=6811] ppid=6803 vsize=915452 CPUtime=0.22
/proc/6805/task/6811/stat : 6811 (java) S 6803 6805 4256 0 -1 64 391 0 0 0 21 1 0 0 16 0 8 0 162041559 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6805/tid=6812] ppid=6803 vsize=915452 CPUtime=0
/proc/6805/task/6812/stat : 6812 (java) S 6803 6805 4256 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 162041559 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6805/tid=6813] ppid=6803 vsize=915452 CPUtime=0
/proc/6805/task/6813/stat : 6813 (java) S 6803 6805 4256 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 162041559 937422848 8454 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 14.7626
CPU time (s): 14.6218
CPU user time (s): 14.5478
CPU system time (s): 0.073988
CPU usage (%): 99.0461
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.5478
system time used= 0.073988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8809
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= 1453
involuntary context switches= 1877
runsolver used 0.030995 s user time and 0.045993 s system time
The end
Begin job on node7 on Sun Jan 7 02:21:01 UTC 2007
IDJOB= 199787
IDBENCH= 3636
FILE ID= node7/199787-1168136461
PBS_JOBID= 3477731
Free space on /tmp= 66548 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-23/rand-23-23-253-131-54021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199787-1168136461/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-199787-1168136461 -o ROOT/results/node7/solver-199787-1168136461 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199787-1168136461/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= db950ae5bc51adb94baca31b2655c141
RANDOM SEED= 256991356
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.220
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.220
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: 1822200 kB
Buffers: 23016 kB
Cached: 78780 kB
SwapCached: 0 kB
Active: 135292 kB
Inactive: 37232 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1822200 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1952 kB
Writeback: 0 kB
Mapped: 97260 kB
Slab: 45772 kB
Committed_AS: 4572940 kB
PageTables: 2464 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= 66548 MiB
End job on node7 on Sun Jan 7 02:21:17 UTC 2007