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/199985-1168139280/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.40 => wckTime=0.093 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
0.99
0.99 constraints being loaded...
1.24 nbConstraints=74 nbRelationTypes=74 nbExtensionStructures=74 nbSharedExtensionStructures=0
1.24 nbConflictsStructures=74 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
1.24 => wckTime=0.936 cpuTime=0.81 mem=47M638
1.36
1.36 solver IterativeSystematicSolver being built...
1.52 => wckTime=1.213 cpuTime=0.95 mem=34M368
1.62
1.62 preprocessing
1.62 nbConstraintChecks=31996 nbValidityChecks=50975 nbPropagations=188 nbRevisions=1909 nbUselessRevisions=1676
1.62 nbSingletonTests=32 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
1.62 => wckTime=0.097 cpuTime=0.07 mem=34M368
1.68
1.68 search
1.68 run=0 nbConstraintChecks=30522 nbValidityChecks=55932 nbPropagations=482 nbRevisions=5630
1.68 nbUselessRevisions=4715 nbAssignments=25 nbFailedAssignments=11 nbBacktracks=10 nbVisitedNodes=44
1.68 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
1.68 => wckTime=0.16 cpuTime=0.13 mem=35M357
1.77
1.77 search
1.77 run=1 nbConstraintChecks=89168 nbValidityChecks=169290 nbPropagations=1568 nbRevisions=18644
1.77 nbUselessRevisions=15290 nbAssignments=69 nbFailedAssignments=35 nbBacktracks=25 nbVisitedNodes=123
1.77 nbRestartNogoods=2 mapSize=21 nbInferences=0 nbTooLargeKeys=0
1.77 => wckTime=0.253 cpuTime=0.22 mem=35M357
1.96
1.96 search
1.96 run=2 nbConstraintChecks=218247 nbValidityChecks=425156 nbPropagations=3692 nbRevisions=44466
1.96 nbUselessRevisions=36249 nbAssignments=184 nbFailedAssignments=122 nbBacktracks=47 nbVisitedNodes=343
1.96 nbRestartNogoods=8 mapSize=41 nbInferences=0 nbTooLargeKeys=0
1.96 => wckTime=0.443 cpuTime=0.39 mem=35M357
2.14
2.14 search
2.14 run=3 nbConstraintChecks=348552 nbValidityChecks=675364 nbPropagations=7070 nbRevisions=85799
2.14 nbUselessRevisions=69427 nbAssignments=285 nbFailedAssignments=184 nbBacktracks=80 nbVisitedNodes=534
2.14 nbRestartNogoods=13 mapSize=73 nbInferences=0 nbTooLargeKeys=0
2.14 => wckTime=0.623 cpuTime=0.57 mem=35M357
2.38
2.38 search
2.38 run=4 nbConstraintChecks=518272 nbValidityChecks=1008595 nbPropagations=12104 nbRevisions=146460
2.38 nbUselessRevisions=118037 nbAssignments=435 nbFailedAssignments=260 nbBacktracks=130 nbVisitedNodes=771
2.38 nbRestartNogoods=21 mapSize=117 nbInferences=0 nbTooLargeKeys=0
2.38 => wckTime=0.863 cpuTime=0.81 mem=35M357
2.77
2.77 search
2.77 run=5 nbConstraintChecks=801617 nbValidityChecks=1580253 nbPropagations=19725 nbRevisions=238540
2.77 nbUselessRevisions=191511 nbAssignments=681 nbFailedAssignments=425 nbBacktracks=205 nbVisitedNodes=1235
2.77 nbRestartNogoods=26 mapSize=184 nbInferences=0 nbTooLargeKeys=0
2.77 => wckTime=1.248 cpuTime=1.18 mem=35M357
3.38
3.39 search
3.39 run=6 nbConstraintChecks=1234235 nbValidityChecks=2455721 nbPropagations=31775 nbRevisions=387686
3.39 nbUselessRevisions=310156 nbAssignments=1056 nbFailedAssignments=674 nbBacktracks=318 nbVisitedNodes=1931
3.39 nbRestartNogoods=32 mapSize=287 nbInferences=0 nbTooLargeKeys=0
3.39 => wckTime=1.863 cpuTime=1.79 mem=35M357
4.55
4.55 search
4.55 run=7 nbConstraintChecks=2094446 nbValidityChecks=4158338 nbPropagations=51129 nbRevisions=628090
4.55 nbUselessRevisions=501776 nbAssignments=1772 nbFailedAssignments=1203 nbBacktracks=492 nbVisitedNodes=3296
4.55 nbRestartNogoods=45 mapSize=451 nbInferences=0 nbTooLargeKeys=0
4.55 => wckTime=3.032 cpuTime=2.93 mem=35M357
5.98
5.98 search
5.98 run=8 nbConstraintChecks=3121701 nbValidityChecks=6154654 nbPropagations=80651 nbRevisions=996602
5.98 nbUselessRevisions=794498 nbAssignments=2597 nbFailedAssignments=1767 nbBacktracks=749 nbVisitedNodes=4888
5.98 nbRestartNogoods=47 mapSize=696 nbInferences=0 nbTooLargeKeys=0
5.98 => wckTime=4.457 cpuTime=4.34 mem=35M357
8.01
8.01 INFO : Stopping hyperNogood (mapSize=1019, nbTooLargekeys=0, mem=35M357)
8.21
8.21 search
8.21 run=9 nbConstraintChecks=4801895 nbValidityChecks=9554281 nbPropagations=125217 nbRevisions=1552017
8.21 nbUselessRevisions=1235737 nbAssignments=4007 nbFailedAssignments=2788 nbBacktracks=1133 nbVisitedNodes=7604
8.21 nbRestartNogoods=58
8.21 => wckTime=6.687 cpuTime=6.56 mem=35M357
11.69
11.69 search
11.69 run=10 nbConstraintChecks=7383797 nbValidityChecks=14483389 nbPropagations=192215 nbRevisions=2406983
11.69 nbUselessRevisions=1913419 nbAssignments=5886 nbFailedAssignments=4039 nbBacktracks=1709 nbVisitedNodes=11116
11.69 nbRestartNogoods=73
11.69 => wckTime=10.168 cpuTime=10.02 mem=35M357
15.87
15.87 search
15.87 run=11 nbConstraintChecks=10443734 nbValidityChecks=20670883 nbPropagations=292547 nbRevisions=3675421
15.87 nbUselessRevisions=2916904 nbAssignments=8502 nbFailedAssignments=5769 nbBacktracks=2574 nbVisitedNodes=16152
15.87 nbRestartNogoods=88
15.87 => wckTime=14.352 cpuTime=14.17 mem=35M357
23.26
23.26 search
23.26 run=12 nbConstraintChecks=16196798 nbValidityChecks=31922510 nbPropagations=441192 nbRevisions=5560943
23.26 nbUselessRevisions=4411526 nbAssignments=12945 nbFailedAssignments=8902 nbBacktracks=3872 nbVisitedNodes=24643
23.26 nbRestartNogoods=93
23.26 => wckTime=21.736 cpuTime=21.49 mem=35M357
25.75
25.75 search
25.75 run=13 nbConstraintChecks=18050629 nbValidityChecks=35352577 nbPropagations=604671 nbRevisions=7648638
25.75 nbUselessRevisions=6066343 nbAssignments=14082 nbFailedAssignments=9602 nbBacktracks=4285 nbVisitedNodes=26794
25.75 nbRestartNogoods=107
25.75 => wckTime=24.234 cpuTime=23.96 mem=35M357
25.76
25.76 global
25.76 nbConstraintChecks=18082625 nbValidityChecks=35403552 nbPropagations=604859 nbRevisions=7650547
25.76 nbUselessRevisions=6068019 nbRestartNogoods=107 solvingWckTime=24.236 solvingCpuTime=23.96 expiredTime=no
25.76 totalExploration=no nbFoundSolutions=1 globalCpuTime=24.96
25.76 => wckTime=25.452 cpuTime=24.91 mem=35M357
25.76
25.76 s SATISFIABLE
25.76 v 14 12 16 19 8 2 0 8 21 5 5 22 17 19 2 18 4 10 20 3 14 2 16 17
25.76 d NODES 14082
25.76 d CHECKS 18082625
25.76
25.76 totalWckTime=25.529 totalCpuTime=24.97
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node26/watcher-199985-1168139280 -o ROOT/results/node26/solver-199985-1168139280 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199985-1168139280/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.85 0.97 1.10 4/83 5647
/proc/meminfo: memFree=1641880/2055920 swapFree=4192812/4192956
[pid=5646] ppid=5642 vsize=1784 CPUtime=0
/proc/5646/stat : 5646 (java) R 5642 5646 5537 0 -1 0 145 0 0 0 0 0 0 0 20 0 1 0 162322281 1826816 118 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 13032689 0 0 4096 0 0 0 0 17 1 0 0
/proc/5646/statm: 446 124 92 14 0 91 0
[startup+0.103526 s]
/proc/loadavg: 0.85 0.97 1.10 4/83 5647
/proc/meminfo: memFree=1641880/2055920 swapFree=4192812/4192956
[pid=5646] ppid=5642 vsize=914988 CPUtime=0.08
/proc/5646/stat : 5646 (java) R 5642 5646 5537 0 -1 0 2964 0 1 0 7 1 0 0 23 0 8 0 162322281 936947712 2710 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072927045 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5646/statm: 228747 2710 1417 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511562 s]
/proc/loadavg: 0.85 0.97 1.10 4/83 5647
/proc/meminfo: memFree=1641880/2055920 swapFree=4192812/4192956
[pid=5646] ppid=5642 vsize=915328 CPUtime=0.48
/proc/5646/stat : 5646 (java) R 5642 5646 5537 0 -1 0 8026 0 1 0 43 5 0 0 25 0 8 0 162322281 937295872 7765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073556448 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5646/statm: 228832 7765 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33264 s]
/proc/loadavg: 0.85 0.97 1.10 3/101 5678
/proc/meminfo: memFree=1495560/2055920 swapFree=4192812/4192956
[pid=5646] ppid=5642 vsize=915416 CPUtime=1.29
/proc/5646/stat : 5646 (java) R 5642 5646 5537 0 -1 0 19985 0 1 0 119 10 0 0 25 0 8 0 162322281 937385984 19722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5646/statm: 228854 19722 2169 14 0 215324 0
[pid=5646/tid=5663] ppid=5642 vsize=915416 CPUtime=0.13
/proc/5646/task/5663/stat : 5663 (java) R 5642 5646 5537 0 -1 64 3499 0 0 0 12 1 0 0 16 0 8 0 162322286 937385984 19722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155526115 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5646/tid=5666] ppid=5642 vsize=915416 CPUtime=0
/proc/5646/task/5666/stat : 5666 (java) S 5642 5646 5537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162322286 937385984 19722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5646/tid=5667] ppid=5642 vsize=915416 CPUtime=0
/proc/5646/task/5667/stat : 5667 (java) S 5642 5646 5537 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 162322286 937385984 19722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5646/tid=5668] ppid=5642 vsize=915416 CPUtime=0
/proc/5646/task/5668/stat : 5668 (java) S 5642 5646 5537 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 162322289 937385984 19722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5646/tid=5669] ppid=5642 vsize=915416 CPUtime=0.09
/proc/5646/task/5669/stat : 5669 (java) S 5642 5646 5537 0 -1 64 320 0 0 0 9 0 0 0 16 0 8 0 162322289 937385984 19722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5646/tid=5670] ppid=5642 vsize=915416 CPUtime=0
/proc/5646/task/5670/stat : 5670 (java) S 5642 5646 5537 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162322289 937385984 19722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5646/tid=5671] ppid=5642 vsize=915416 CPUtime=0
/proc/5646/task/5671/stat : 5671 (java) S 5642 5646 5537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162322289 937385984 19722 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915416
[startup+2.97079 s]
/proc/loadavg: 0.85 0.97 1.10 4/101 5678
/proc/meminfo: memFree=1470024/2055920 swapFree=4192812/4192956
[pid=5646] ppid=5642 vsize=915416 CPUtime=2.93
/proc/5646/stat : 5646 (java) R 5642 5646 5537 0 -1 0 23408 0 1 0 280 13 0 0 25 0 8 0 162322281 937385984 23144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073753475 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5646/statm: 228854 23144 2531 14 0 215324 0
[pid=5646/tid=5663] ppid=5642 vsize=915416 CPUtime=0.15
/proc/5646/task/5663/stat : 5663 (java) S 5642 5646 5537 0 -1 64 6426 0 0 0 13 2 0 0 17 0 8 0 162322286 937385984 23144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5646/tid=5666] ppid=5642 vsize=915416 CPUtime=0
/proc/5646/task/5666/stat : 5666 (java) S 5642 5646 5537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162322286 937385984 23144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5646/tid=5667] ppid=5642 vsize=915416 CPUtime=0
/proc/5646/task/5667/stat : 5667 (java) S 5642 5646 5537 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162322286 937385984 23144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5646/tid=5668] ppid=5642 vsize=915416 CPUtime=0
/proc/5646/task/5668/stat : 5668 (java) S 5642 5646 5537 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 162322289 937385984 23144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5646/tid=5669] ppid=5642 vsize=915416 CPUtime=0.19
/proc/5646/task/5669/stat : 5669 (java) S 5642 5646 5537 0 -1 64 371 0 0 0 18 1 0 0 15 0 8 0 162322289 937385984 23144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5646/tid=5670] ppid=5642 vsize=915416 CPUtime=0
/proc/5646/task/5670/stat : 5670 (java) S 5642 5646 5537 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162322289 937385984 23144 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5646/tid=5671] ppid=5642 vsize=915416 CPUtime=0
/proc/5646/task/5671/stat : 5671 (java) S 5642 5646 5537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162322289 937385984 23144 18446744073709551615 134512640 134570532 4294956480 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) 915416
[startup+6.1751 s]
/proc/loadavg: 0.94 0.98 1.11 4/101 5678
/proc/meminfo: memFree=1454152/2055920 swapFree=4192812/4192956
[pid=5646] ppid=5642 vsize=915416 CPUtime=6.11
/proc/5646/stat : 5646 (java) R 5642 5646 5537 0 -1 0 23424 0 1 0 598 13 0 0 25 0 8 0 162322281 937385984 23157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5646/statm: 228854 23157 2531 14 0 215324 0
[pid=5646/tid=5663] ppid=5642 vsize=915416 CPUtime=0.15
/proc/5646/task/5663/stat : 5663 (java) S 5642 5646 5537 0 -1 64 6426 0 0 0 13 2 0 0 17 0 8 0 162322286 937385984 23157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5646/tid=5666] ppid=5642 vsize=915416 CPUtime=0
/proc/5646/task/5666/stat : 5666 (java) S 5642 5646 5537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162322286 937385984 23157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5646/tid=5667] ppid=5642 vsize=915416 CPUtime=0
/proc/5646/task/5667/stat : 5667 (java) S 5642 5646 5537 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162322286 937385984 23157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5646/tid=5668] ppid=5642 vsize=915416 CPUtime=0
/proc/5646/task/5668/stat : 5668 (java) S 5642 5646 5537 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 162322289 937385984 23157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5646/tid=5669] ppid=5642 vsize=915416 CPUtime=0.22
/proc/5646/task/5669/stat : 5669 (java) S 5642 5646 5537 0 -1 64 385 0 0 0 21 1 0 0 16 0 8 0 162322289 937385984 23157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5646/tid=5670] ppid=5642 vsize=915416 CPUtime=0
/proc/5646/task/5670/stat : 5670 (java) S 5642 5646 5537 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162322289 937385984 23157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5646/tid=5671] ppid=5642 vsize=915416 CPUtime=0
/proc/5646/task/5671/stat : 5671 (java) S 5642 5646 5537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162322289 937385984 23157 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915416
[startup+12.6497 s]
/proc/loadavg: 1.10 1.02 1.12 4/101 5678
/proc/meminfo: memFree=1255312/2055920 swapFree=4192812/4192956
[pid=5646] ppid=5642 vsize=915416 CPUtime=12.56
/proc/5646/stat : 5646 (java) R 5642 5646 5537 0 -1 0 23428 0 1 0 1242 14 0 0 25 0 8 0 162322281 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761883 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5646/statm: 228854 23160 2531 14 0 215324 0
[pid=5646/tid=5663] ppid=5642 vsize=915416 CPUtime=0.15
/proc/5646/task/5663/stat : 5663 (java) S 5642 5646 5537 0 -1 64 6426 0 0 0 13 2 0 0 16 0 8 0 162322286 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5646/tid=5666] ppid=5642 vsize=915416 CPUtime=0
/proc/5646/task/5666/stat : 5666 (java) S 5642 5646 5537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162322286 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5646/tid=5667] ppid=5642 vsize=915416 CPUtime=0
/proc/5646/task/5667/stat : 5667 (java) S 5642 5646 5537 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162322286 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5646/tid=5668] ppid=5642 vsize=915416 CPUtime=0
/proc/5646/task/5668/stat : 5668 (java) S 5642 5646 5537 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 162322289 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5646/tid=5669] ppid=5642 vsize=915416 CPUtime=0.23
/proc/5646/task/5669/stat : 5669 (java) S 5642 5646 5537 0 -1 64 388 0 0 0 22 1 0 0 16 0 8 0 162322289 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5646/tid=5670] ppid=5642 vsize=915416 CPUtime=0
/proc/5646/task/5670/stat : 5670 (java) S 5642 5646 5537 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162322289 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5646/tid=5671] ppid=5642 vsize=915416 CPUtime=0
/proc/5646/task/5671/stat : 5671 (java) S 5642 5646 5537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162322289 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915416
[startup+25.5239 s]
/proc/loadavg: 1.30 1.06 1.13 3/102 5679
/proc/meminfo: memFree=1257608/2055920 swapFree=4192812/4192956
[pid=5646] ppid=5642 vsize=915416 CPUtime=25.32
/proc/5646/stat : 5646 (java) R 5642 5646 5537 0 -1 0 23428 0 1 0 2518 14 0 0 25 0 8 0 162322281 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/5646/statm: 228854 23160 2531 14 0 215324 0
[pid=5646/tid=5663] ppid=5642 vsize=915416 CPUtime=0.15
/proc/5646/task/5663/stat : 5663 (java) S 5642 5646 5537 0 -1 64 6426 0 0 0 13 2 0 0 16 0 8 0 162322286 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5646/tid=5666] ppid=5642 vsize=915416 CPUtime=0
/proc/5646/task/5666/stat : 5666 (java) S 5642 5646 5537 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 162322286 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5646/tid=5667] ppid=5642 vsize=915416 CPUtime=0
/proc/5646/task/5667/stat : 5667 (java) S 5642 5646 5537 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 162322286 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5646/tid=5668] ppid=5642 vsize=915416 CPUtime=0
/proc/5646/task/5668/stat : 5668 (java) S 5642 5646 5537 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 162322289 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5646/tid=5669] ppid=5642 vsize=915416 CPUtime=0.23
/proc/5646/task/5669/stat : 5669 (java) S 5642 5646 5537 0 -1 64 388 0 0 0 22 1 0 0 16 0 8 0 162322289 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5646/tid=5670] ppid=5642 vsize=915416 CPUtime=0
/proc/5646/task/5670/stat : 5670 (java) S 5642 5646 5537 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 162322289 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5646/tid=5671] ppid=5642 vsize=915416 CPUtime=0
/proc/5646/task/5671/stat : 5671 (java) S 5642 5646 5537 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 162322289 937385984 23160 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 915416
Child status: 0
Real time (s): 25.821
CPU time (s): 25.5821
CPU user time (s): 25.4261
CPU system time (s): 0.155976
CPU usage (%): 99.0748
Max. virtual memory (cumulated for all children) (KiB): 915416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.4261
system time used= 0.155976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23436
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= 1691
involuntary context switches= 2798
runsolver used 0.035994 s user time and 0.087986 s system time
The end
Begin job on node26 on Sun Jan 7 03:08:00 UTC 2007
IDJOB= 199985
IDBENCH= 3670
FILE ID= node26/199985-1168139280
PBS_JOBID= 3478069
Free space on /tmp= 66530 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24-fcd/rand-3-24-24-76-632-fcd-21_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199985-1168139280/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-199985-1168139280 -o ROOT/results/node26/solver-199985-1168139280 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/199985-1168139280/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= bb36e8c2b01c64bab8e460244650b681
RANDOM SEED= 733397665
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.236
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.236
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: 1642432 kB
Buffers: 49588 kB
Cached: 242540 kB
SwapCached: 0 kB
Active: 167132 kB
Inactive: 189240 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1642432 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 10884 kB
Writeback: 0 kB
Mapped: 83208 kB
Slab: 42056 kB
Committed_AS: 3026220 kB
PageTables: 2200 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= 66530 MiB
End job on node26 on Sun Jan 7 03:08:26 UTC 2007