0.40
0.40 Abscon 109 (November, 2006)
0.40
0.40 configuration
0.40 name=esac.xml
0.44
0.44 instance
0.44 name=/tmp/evaluation/239763-1168367398/unknown.xml
0.47
0.47 domains being loaded...
0.47
0.47 variables being loaded...
0.56 nbVariables=400 nbDomainTypes=21 minDomainSize=1 maxDomainSize=20
0.56 => wckTime=0.151 cpuTime=0.12 mem=7M894
0.56
0.56 relations being loaded...
0.56
0.56 constraints being loaded...
0.92 nbConstraints=5092 nbRelationTypes=22 nbSingletonDomainVariables=234 nbExtensionStructures=41
0.92 nbSharedExtensionStructures=5051 nbConflictsStructures=41 nbSharedConflictsStructures=5051
0.92 nbSharedBinaryRepresentations=858 maxDegree=38 maxArity=2
0.92 => wckTime=0.509 cpuTime=0.37 mem=23M513
0.99
1.00 solver IterativeSystematicSolver being built...
1.17 => wckTime=0.766 cpuTime=0.51 mem=18M158
1.34
1.34 preprocessing
1.34 nbConstraintChecks=93479 nbPropagations=2374 nbRevisions=24149 nbUselessRevisions=19738 nbSingletonTests=675
1.34 nbEffectiveSingletonTests=0 nbESACBranches=10 nbRemovedValues=2686 detectedInconsistency=no
1.34 => wckTime=0.161 cpuTime=0.14 mem=18M158
1.38
1.38 search
1.38 run=0 nbConstraintChecks=5909 nbPropagations=2631 nbRevisions=27734 nbUselessRevisions=22896 nbAssignments=47
1.38 nbFailedAssignments=3 nbBacktracks=14 nbVisitedNodes=53 nbRestartNogoods=0 mapSize=4 nbInferences=0
1.38 nbTooLargeKeys=0
1.38 => wckTime=0.2 cpuTime=0.17 mem=19M149
1.41
1.41 search
1.41 run=1 nbConstraintChecks=18522 nbPropagations=5760 nbRevisions=64260 nbUselessRevisions=53677
1.41 nbAssignments=132 nbFailedAssignments=11 nbBacktracks=29 nbVisitedNodes=153 nbRestartNogoods=1 mapSize=17
1.41 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.23 cpuTime=0.19 mem=19M149
1.44
1.44 search
1.44 run=2 nbConstraintChecks=32084 nbPropagations=9591 nbRevisions=109409 nbUselessRevisions=92145
1.44 nbAssignments=263 nbFailedAssignments=17 nbBacktracks=58 nbVisitedNodes=249 nbRestartNogoods=3 mapSize=29
1.44 nbInferences=0 nbTooLargeKeys=0
1.44 => wckTime=0.261 cpuTime=0.22 mem=19M149
1.46
1.46 search
1.46 run=3 nbConstraintChecks=43685 nbPropagations=13883 nbRevisions=162421 nbUselessRevisions=137664
1.46 nbAssignments=356 nbFailedAssignments=22 nbBacktracks=108 nbVisitedNodes=351 nbRestartNogoods=4 mapSize=37
1.47 nbInferences=0 nbTooLargeKeys=0
1.47 => wckTime=0.288 cpuTime=0.26 mem=19M149
1.50
1.50 search
1.50 run=4 nbConstraintChecks=58372 nbPropagations=18796 nbRevisions=225314 nbUselessRevisions=192031
1.50 nbAssignments=471 nbFailedAssignments=31 nbBacktracks=170 nbVisitedNodes=486 nbRestartNogoods=5 mapSize=53
1.50 nbInferences=0 nbTooLargeKeys=0
1.50 => wckTime=0.32 cpuTime=0.29 mem=19M149
1.55
1.55 search
1.55 run=5 nbConstraintChecks=80549 nbPropagations=24834 nbRevisions=302607 nbUselessRevisions=259210
1.55 nbAssignments=671 nbFailedAssignments=42 nbBacktracks=245 nbVisitedNodes=642 nbRestartNogoods=9 mapSize=69
1.55 nbInferences=0 nbTooLargeKeys=0
1.55 => wckTime=0.369 cpuTime=0.33 mem=19M149
1.60
1.60 search
1.60 run=6 nbConstraintChecks=108320 nbPropagations=31859 nbRevisions=398830 nbUselessRevisions=343419
1.60 nbAssignments=854 nbFailedAssignments=54 nbBacktracks=360 nbVisitedNodes=847 nbRestartNogoods=13 mapSize=89
1.60 nbInferences=0 nbTooLargeKeys=0
1.60 => wckTime=0.425 cpuTime=0.39 mem=19M149
1.68
1.68 search
1.68 run=7 nbConstraintChecks=149875 nbPropagations=40521 nbRevisions=523003 nbUselessRevisions=452449
1.68 nbAssignments=1145 nbFailedAssignments=93 nbBacktracks=539 nbVisitedNodes=1217 nbRestartNogoods=15 mapSize=161
1.68 nbInferences=0 nbTooLargeKeys=0
1.68 => wckTime=0.499 cpuTime=0.46 mem=19M149
1.77
1.77 search
1.77 run=8 nbConstraintChecks=207427 nbPropagations=51194 nbRevisions=687447 nbUselessRevisions=597822
1.77 nbAssignments=1497 nbFailedAssignments=123 nbBacktracks=798 nbVisitedNodes=1600 nbRestartNogoods=19
1.77 mapSize=220 nbInferences=0 nbTooLargeKeys=0
1.77 => wckTime=0.589 cpuTime=0.55 mem=20M125
1.90
1.90 search
1.90 run=9 nbConstraintChecks=281195 nbPropagations=64212 nbRevisions=902468 nbUselessRevisions=788760
1.90 nbAssignments=1962 nbFailedAssignments=159 nbBacktracks=1207 nbVisitedNodes=2130 nbRestartNogoods=20
1.90 mapSize=284 nbInferences=0 nbTooLargeKeys=0
1.90 => wckTime=0.721 cpuTime=0.67 mem=20M125
2.08
2.08 search
2.08 run=10 nbConstraintChecks=402003 nbPropagations=81158 nbRevisions=1201178 nbUselessRevisions=1055062
2.08 nbAssignments=2640 nbFailedAssignments=216 nbBacktracks=1783 nbVisitedNodes=2929 nbRestartNogoods=21
2.08 mapSize=397 nbInferences=0 nbTooLargeKeys=0
2.08 => wckTime=0.902 cpuTime=0.84 mem=20M125
2.31
2.31 search
2.31 run=11 nbConstraintChecks=548277 nbPropagations=103681 nbRevisions=1600896 nbUselessRevisions=1411681
2.31 nbAssignments=3694 nbFailedAssignments=299 nbBacktracks=2651 nbVisitedNodes=4122 nbRestartNogoods=29
2.31 mapSize=586 nbInferences=1 nbTooLargeKeys=0
2.31 => wckTime=1.136 cpuTime=1.07 mem=21M100
2.69
2.69 search
2.69 run=12 nbConstraintChecks=824951 nbPropagations=135093 nbRevisions=2191513 nbUselessRevisions=1940288
2.69 nbAssignments=5186 nbFailedAssignments=444 nbBacktracks=3949 nbVisitedNodes=5901 nbRestartNogoods=33
2.69 mapSize=867 nbInferences=1 nbTooLargeKeys=0
2.69 => wckTime=1.513 cpuTime=1.45 mem=22M75
2.90
2.90 INFO : Stopping hyperNogood (mapSize=1010, nbTooLargekeys=0, mem=22M75)
3.19
3.19 search
3.19 run=13 nbConstraintChecks=1249854 nbPropagations=180136 nbRevisions=3078020 nbUselessRevisions=2735750
3.19 nbAssignments=7385 nbFailedAssignments=659 nbBacktracks=5899 nbVisitedNodes=8553 nbRestartNogoods=39
3.19 => wckTime=2.016 cpuTime=1.95 mem=22M75
3.89
3.89 search
3.89 run=14 nbConstraintChecks=1852578 nbPropagations=245277 nbRevisions=4372199 nbUselessRevisions=3896081
3.89 nbAssignments=10736 nbFailedAssignments=1031 nbBacktracks=8846 nbVisitedNodes=12656 nbRestartNogoods=43
3.89 => wckTime=2.709 cpuTime=2.63 mem=22M75
5.08
5.08 search
5.08 run=15 nbConstraintChecks=3006592 nbPropagations=349515 nbRevisions=6446948 nbUselessRevisions=5753046
5.08 nbAssignments=15965 nbFailedAssignments=1849 nbBacktracks=13231 nbVisitedNodes=19600 nbRestartNogoods=48
5.08 => wckTime=3.9 cpuTime=3.82 mem=22M75
7.23
7.23 search
7.23 run=16 nbConstraintChecks=5405052 nbPropagations=528177 nbRevisions=10240207 nbUselessRevisions=9168722
7.23 nbAssignments=23993 nbFailedAssignments=3249 nbBacktracks=19824 nbVisitedNodes=30490 nbRestartNogoods=53
7.23 => wckTime=6.053 cpuTime=5.97 mem=22M75
10.25
10.25 search
10.25 run=17 nbConstraintChecks=8678415 nbPropagations=808516 nbRevisions=16375733 nbUselessRevisions=14706314
10.25 nbAssignments=35677 nbFailedAssignments=5021 nbBacktracks=29685 nbVisitedNodes=46042 nbRestartNogoods=60
10.25 => wckTime=9.073 cpuTime=8.99 mem=22M75
15.22
15.22 search
15.22 run=18 nbConstraintChecks=14266304 nbPropagations=1263226 nbRevisions=26492217 nbUselessRevisions=23850462
15.22 nbAssignments=53635 nbFailedAssignments=8172 nbBacktracks=44471 nbVisitedNodes=70741 nbRestartNogoods=67
15.22 => wckTime=14.048 cpuTime=13.97 mem=22M75
22.19
22.19 search
22.19 run=19 nbConstraintChecks=22017593 nbPropagations=1966454 nbRevisions=42163226 nbUselessRevisions=38025974
22.19 nbAssignments=80586 nbFailedAssignments=12916 nbBacktracks=66639 nbVisitedNodes=107865 nbRestartNogoods=71
22.19 => wckTime=21.012 cpuTime=20.92 mem=22M75
31.16
31.16 search
31.16 run=20 nbConstraintChecks=32297390 nbPropagations=2996419 nbRevisions=65309088 nbUselessRevisions=59023234
31.16 nbAssignments=116155 nbFailedAssignments=18951 nbBacktracks=95738 nbVisitedNodes=155571 nbRestartNogoods=83
31.16 => wckTime=29.984 cpuTime=29.83 mem=22M75
31.16
31.16 global
31.16 nbConstraintChecks=32390869 nbPropagations=2998793 nbRevisions=65333237 nbUselessRevisions=59042972
31.16 nbRestartNogoods=83 solvingWckTime=29.985 solvingCpuTime=29.83 expiredTime=no totalExploration=no
31.16 nbFoundSolutions=1 globalCpuTime=30.38
31.16 => wckTime=30.755 cpuTime=30.34 mem=22M75
31.16
31.16 s SATISFIABLE
31.16 v 2 8 13 0 5 4 16 17 11 12 6 1 19 14 15 3 7 9 10 18 1 5 19 15 11 18 10 16 8 17 2 7 14 3 9 6 0 13 4 12 12 2 0 5 10 9 1 14 19 16 13 6 11 7 8 18 17 4 15 3 18 15 4 13 9 17 11 0 7 6 14 12 8 1 2 19 5 3 16 10 13 11 15 18 7 6 9 19 14 5 1 10 16 4 17 12 8 2 3 0 16 17 12 11 13 15 7 3 18 9 19 8 0 6 1 4 10 5 14 2 6 10 17 19 3 16 15 1 0 2 7 5 9 8 14 11 13 18 12 4 10 0 2 3 16 13 19 6 17 14 11 4 12 5 18 1 9 8 7 15 4 19 10 17 8 7 13 11 16 15 5 0 6 2 12 9 3 14 18 1 8 3 9 16 1 0 12 18 10 19 4 14 5 17 11 13 2 15 6 7 11 1 7 10 2 8 0 9 5 3 18 15 4 13 6 16 19 12 17 14 14 13 8 9 12 2 5 4 3 7 0 16 15 11 19 10 18 6 1 17 15 4 16 14 18 12 8 5 9 0 3 17 2 19 10 7 1 11 13 6 3 7 14 1 6 5 17 13 15 4 9 2 10 18 16 8 12 0 11 19 0 14 18 6 19 10 2 7 4 13 12 11 3 15 5 17 16 1 9 8 5 9 11 2 4 3 18 15 12 1 10 19 7 0 13 14 6 17 8 16 19 6 1 8 0 11 4 12 2 18 16 9 17 10 3 15 14 7 5 13 17 12 6 7 14 19 3 10 1 11 8 13 18 9 4 0 15 16 2 5 7 16 3 4 15 14 6 2 13 8 17 18 1 12 0 5 11 10 19 9 9 18 5 12 17 1 14 8 6 10 15 3 13 16 7 2 4 19 0 11
31.16 d NODES 116155
31.16 d CHECKS 32390869
31.16
31.16 totalWckTime=30.835 totalCpuTime=30.38
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-239763-1168367398 -o ROOT/results/node24/solver-239763-1168367398 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/239763-1168367398/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: 0.23 0.82 1.36 3/87 9904
/proc/meminfo: memFree=1738792/2055920 swapFree=4192800/4192956
[pid=9903] ppid=9901 vsize=18540 CPUtime=0
/proc/9903/stat : 9903 (runsolver) R 9901 9903 9110 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 185135282 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 237788261671 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/9903/statm: 4635 279 244 17 0 2626 0
[startup+0.10776 s]
/proc/loadavg: 0.23 0.82 1.36 3/87 9904
/proc/meminfo: memFree=1738792/2055920 swapFree=4192800/4192956
[pid=9903] ppid=9901 vsize=47892 CPUtime=0
/proc/9903/stat : 9903 (java) D 9901 9903 9110 0 -1 0 1219 0 1 0 0 0 0 0 17 0 1 0 185135282 49041408 968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099855350 0 0 17 1 0 0
/proc/9903/statm: 11973 968 766 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47892
[startup+0.515804 s]
/proc/loadavg: 0.23 0.82 1.36 3/87 9904
/proc/meminfo: memFree=1738792/2055920 swapFree=4192800/4192956
[pid=9903] ppid=9901 vsize=915328 CPUtime=0.39
/proc/9903/stat : 9903 (java) S 9901 9903 9110 0 -1 0 6129 0 1 0 36 3 0 0 18 0 8 0 185135282 937295872 5868 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9903/statm: 228832 5868 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 915328
[startup+1.33689 s]
/proc/loadavg: 0.23 0.82 1.36 3/94 9911
/proc/meminfo: memFree=1703152/2055920 swapFree=4192800/4192956
[pid=9903] ppid=9901 vsize=915676 CPUtime=1.22
/proc/9903/stat : 9903 (java) R 9901 9903 9110 0 -1 0 11706 0 1 0 115 7 0 0 18 0 8 0 185135282 937652224 11444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073972964 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9903/statm: 228919 11444 2523 14 0 215389 0
[pid=9903/tid=9905] ppid=9901 vsize=915676 CPUtime=0.06
/proc/9903/task/9905/stat : 9905 (java) S 9901 9903 9110 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 185135296 937652224 11444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9906] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9906/stat : 9906 (java) S 9901 9903 9110 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 185135296 937652224 11444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9907] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9907/stat : 9907 (java) S 9901 9903 9110 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185135296 937652224 11444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9908] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9908/stat : 9908 (java) S 9901 9903 9110 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185135300 937652224 11444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9909] ppid=9901 vsize=915676 CPUtime=0.26
/proc/9903/task/9909/stat : 9909 (java) R 9901 9903 9110 0 -1 64 461 0 0 0 25 1 0 0 20 0 8 0 185135300 937652224 11444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9910] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9910/stat : 9910 (java) S 9901 9903 9110 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185135300 937652224 11444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9911] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9911/stat : 9911 (java) S 9901 9903 9110 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185135300 937652224 11444 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915676
[startup+2.97907 s]
/proc/loadavg: 0.23 0.82 1.36 3/94 9911
/proc/meminfo: memFree=1702832/2055920 swapFree=4192800/4192956
[pid=9903] ppid=9901 vsize=915676 CPUtime=2.86
/proc/9903/stat : 9903 (java) R 9901 9903 9110 0 -1 0 11733 0 1 0 278 8 0 0 25 0 8 0 185135282 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073972964 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9903/statm: 228919 11470 2524 14 0 215389 0
[pid=9903/tid=9905] ppid=9901 vsize=915676 CPUtime=0.06
/proc/9903/task/9905/stat : 9905 (java) S 9901 9903 9110 0 -1 64 842 0 0 0 6 0 0 0 17 0 8 0 185135296 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9906] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9906/stat : 9906 (java) S 9901 9903 9110 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 185135296 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9907] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9907/stat : 9907 (java) S 9901 9903 9110 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185135296 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9908] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9908/stat : 9908 (java) S 9901 9903 9110 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185135300 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9909] ppid=9901 vsize=915676 CPUtime=0.3
/proc/9903/task/9909/stat : 9909 (java) S 9901 9903 9110 0 -1 64 486 0 0 0 29 1 0 0 16 0 8 0 185135300 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9910] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9910/stat : 9910 (java) S 9901 9903 9110 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185135300 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9911] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9911/stat : 9911 (java) S 9901 9903 9110 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185135300 937652224 11470 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915676
[startup+6.18541 s]
/proc/loadavg: 0.37 0.84 1.37 3/94 9911
/proc/meminfo: memFree=1702832/2055920 swapFree=4192800/4192956
[pid=9903] ppid=9901 vsize=915676 CPUtime=6.06
/proc/9903/stat : 9903 (java) R 9901 9903 9110 0 -1 0 11736 0 1 0 598 8 0 0 25 0 8 0 185135282 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073972954 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9903/statm: 228919 11471 2524 14 0 215389 0
[pid=9903/tid=9905] ppid=9901 vsize=915676 CPUtime=0.06
/proc/9903/task/9905/stat : 9905 (java) S 9901 9903 9110 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 185135296 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9906] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9906/stat : 9906 (java) S 9901 9903 9110 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 185135296 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9907] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9907/stat : 9907 (java) S 9901 9903 9110 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185135296 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9908] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9908/stat : 9908 (java) S 9901 9903 9110 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185135300 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9909] ppid=9901 vsize=915676 CPUtime=0.31
/proc/9903/task/9909/stat : 9909 (java) S 9901 9903 9110 0 -1 64 488 0 0 0 30 1 0 0 17 0 8 0 185135300 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9910] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9910/stat : 9910 (java) S 9901 9903 9110 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185135300 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9911] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9911/stat : 9911 (java) S 9901 9903 9110 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185135300 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 915676
[startup+12.6581 s]
/proc/loadavg: 0.50 0.86 1.37 3/94 9911
/proc/meminfo: memFree=1702832/2055920 swapFree=4192800/4192956
[pid=9903] ppid=9901 vsize=915676 CPUtime=12.53
/proc/9903/stat : 9903 (java) R 9901 9903 9110 0 -1 0 11736 0 1 0 1245 8 0 0 25 0 8 0 185135282 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9903/statm: 228919 11471 2524 14 0 215389 0
[pid=9903/tid=9905] ppid=9901 vsize=915676 CPUtime=0.06
/proc/9903/task/9905/stat : 9905 (java) S 9901 9903 9110 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 185135296 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9906] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9906/stat : 9906 (java) S 9901 9903 9110 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 185135296 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9907] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9907/stat : 9907 (java) S 9901 9903 9110 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185135296 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9908] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9908/stat : 9908 (java) S 9901 9903 9110 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185135300 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9909] ppid=9901 vsize=915676 CPUtime=0.31
/proc/9903/task/9909/stat : 9909 (java) S 9901 9903 9110 0 -1 64 488 0 0 0 30 1 0 0 17 0 8 0 185135300 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9910] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9910/stat : 9910 (java) S 9901 9903 9110 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185135300 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9911] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9911/stat : 9911 (java) S 9901 9903 9110 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185135300 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 915676
[startup+25.5205 s]
/proc/loadavg: 0.83 0.92 1.38 3/102 9976
/proc/meminfo: memFree=1671920/2055920 swapFree=4192800/4192956
[pid=9903] ppid=9901 vsize=915676 CPUtime=25.36
/proc/9903/stat : 9903 (java) R 9901 9903 9110 0 -1 0 11736 0 1 0 2527 9 0 0 25 0 8 0 185135282 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073942037 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/9903/statm: 228919 11471 2524 14 0 215389 0
[pid=9903/tid=9905] ppid=9901 vsize=915676 CPUtime=0.06
/proc/9903/task/9905/stat : 9905 (java) S 9901 9903 9110 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 185135296 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9906] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9906/stat : 9906 (java) S 9901 9903 9110 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 185135296 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9907] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9907/stat : 9907 (java) S 9901 9903 9110 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 185135296 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9908] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9908/stat : 9908 (java) S 9901 9903 9110 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 185135300 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9909] ppid=9901 vsize=915676 CPUtime=0.31
/proc/9903/task/9909/stat : 9909 (java) S 9901 9903 9110 0 -1 64 488 0 0 0 30 1 0 0 17 0 8 0 185135300 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9910] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9910/stat : 9910 (java) S 9901 9903 9110 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 185135300 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9903/tid=9911] ppid=9901 vsize=915676 CPUtime=0
/proc/9903/task/9911/stat : 9911 (java) S 9901 9903 9110 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 185135300 937652224 11471 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915676
Child status: 0
Real time (s): 31.2053
CPU time (s): 30.9863
CPU user time (s): 30.8823
CPU system time (s): 0.103984
CPU usage (%): 99.298
Max. virtual memory (cumulated for all children) (KiB): 915676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 30.8823
system time used= 0.103984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11745
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= 1633
involuntary context switches= 2356
runsolver used 0.040993 s user time and 0.097985 s system time
The end
Begin job on node24 on Tue Jan 9 18:29:59 UTC 2007
IDJOB= 239763
IDBENCH= 7082
FILE ID= node24/239763-1168367398
PBS_JOBID= 3504110
Free space on /tmp= 66464 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QWH-20/qwh-20-166-5_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/239763-1168367398/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-239763-1168367398 -o ROOT/results/node24/solver-239763-1168367398 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/239763-1168367398/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 87f77288681d1fcda6fa63450e0546b6
RANDOM SEED= 756657373
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.234
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.234
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: 1739208 kB
Buffers: 46432 kB
Cached: 152672 kB
SwapCached: 0 kB
Active: 186552 kB
Inactive: 76188 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1739208 kB
SwapTotal: 4192956 kB
SwapFree: 4192800 kB
Dirty: 15220 kB
Writeback: 0 kB
Mapped: 81348 kB
Slab: 38488 kB
Committed_AS: 4080720 kB
PageTables: 2352 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= 66474 MiB
End job on node24 on Tue Jan 9 18:30:32 UTC 2007