0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/238250-1168083403/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.46 nbVariables=500 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5
0.46 => wckTime=0.158 cpuTime=0.12 mem=8M25
0.46
0.46 predicates being loaded...
1.22
1.22 constraints being loaded...
2.52 nbConstraints=12458 nbConvertedConstraints=12458 nbConvertConstraintsChecks=25 nbExtensionStructures=1
2.52 nbSharedExtensionStructures=12457 nbConflictsStructures=1 nbSharedConflictsStructures=12457
2.52 nbSharedBinaryRepresentations=5 maxDegree=68 maxArity=2
2.52 => wckTime=2.21 cpuTime=2.0 mem=38M731
2.63
2.63 solver IterativeSystematicSolver being built...
2.81 => wckTime=2.508 cpuTime=2.15 mem=21M825
2.85
2.85 preprocessing
2.85 nbConstraintChecks=0 nbPropagations=500 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.85 detectedInconsistency=no
2.85 => wckTime=0.034 cpuTime=0.02 mem=21M825
2.95
2.95 search
2.95 run=0 nbConstraintChecks=14940 nbPropagations=1658 nbRevisions=4156 nbUselessRevisions=1087 nbAssignments=27
2.95 nbFailedAssignments=4 nbBacktracks=14 nbVisitedNodes=37 nbRestartNogoods=0 mapSize=8 nbInferences=0
2.95 nbTooLargeKeys=0
2.95 => wckTime=0.135 cpuTime=0.1 mem=21M825
3.00
3.00 search
3.00 run=1 nbConstraintChecks=37402 nbPropagations=4623 nbRevisions=14869 nbUselessRevisions=4213 nbAssignments=57
3.00 nbFailedAssignments=9 nbBacktracks=29 nbVisitedNodes=81 nbRestartNogoods=1 mapSize=20 nbInferences=0
3.00 nbTooLargeKeys=0
3.00 => wckTime=0.182 cpuTime=0.14 mem=21M825
3.07
3.07 search
3.07 run=2 nbConstraintChecks=82847 nbPropagations=9506 nbRevisions=38093 nbUselessRevisions=10500
3.07 nbAssignments=101 nbFailedAssignments=23 nbBacktracks=53 nbVisitedNodes=150 nbRestartNogoods=3 mapSize=43
3.07 nbInferences=0 nbTooLargeKeys=0
3.07 => wckTime=0.251 cpuTime=0.21 mem=21M825
3.15
3.15 search
3.15 run=3 nbConstraintChecks=140127 nbPropagations=16735 nbRevisions=77678 nbUselessRevisions=21545
3.15 nbAssignments=159 nbFailedAssignments=38 nbBacktracks=90 nbVisitedNodes=236 nbRestartNogoods=5 mapSize=69
3.15 nbInferences=0 nbTooLargeKeys=0
3.15 => wckTime=0.336 cpuTime=0.29 mem=21M825
3.26
3.26 search
3.26 run=4 nbConstraintChecks=211317 nbPropagations=27026 nbRevisions=137122 nbUselessRevisions=37921
3.26 nbAssignments=236 nbFailedAssignments=57 nbBacktracks=143 nbVisitedNodes=351 nbRestartNogoods=7 mapSize=105
3.26 nbInferences=0 nbTooLargeKeys=0
3.26 => wckTime=0.444 cpuTime=0.4 mem=21M825
3.43
3.43 search
3.43 run=5 nbConstraintChecks=332499 nbPropagations=41932 nbRevisions=230315 nbUselessRevisions=63490
3.43 nbAssignments=344 nbFailedAssignments=82 nbBacktracks=222 nbVisitedNodes=518 nbRestartNogoods=9 mapSize=161
3.43 nbInferences=0 nbTooLargeKeys=0
3.43 => wckTime=0.61 cpuTime=0.56 mem=22M813
3.65
3.65 search
3.65 run=6 nbConstraintChecks=491340 nbPropagations=63233 nbRevisions=367749 nbUselessRevisions=100867
3.65 nbAssignments=507 nbFailedAssignments=123 nbBacktracks=342 nbVisitedNodes=762 nbRestartNogoods=12 mapSize=240
3.65 nbInferences=0 nbTooLargeKeys=0
3.65 => wckTime=0.838 cpuTime=0.79 mem=22M813
3.96
3.96 search
3.96 run=7 nbConstraintChecks=701818 nbPropagations=93200 nbRevisions=563923 nbUselessRevisions=153390
3.96 nbAssignments=741 nbFailedAssignments=178 nbBacktracks=514 nbVisitedNodes=1112 nbRestartNogoods=14 mapSize=351
3.96 nbInferences=0 nbTooLargeKeys=0
3.96 => wckTime=1.142 cpuTime=1.09 mem=22M813
4.43
4.43 search
4.43 run=8 nbConstraintChecks=1045826 nbPropagations=136476 nbRevisions=857435 nbUselessRevisions=233135
4.43 nbAssignments=1102 nbFailedAssignments=276 nbBacktracks=772 nbVisitedNodes=1658 nbRestartNogoods=18
4.43 mapSize=534 nbInferences=0 nbTooLargeKeys=0
4.43 => wckTime=1.612 cpuTime=1.56 mem=22M813
5.11
5.11 search
5.11 run=9 nbConstraintChecks=1500294 nbPropagations=198708 nbRevisions=1276660 nbUselessRevisions=344932
5.11 nbAssignments=1618 nbFailedAssignments=404 nbBacktracks=1157 nbVisitedNodes=2430 nbRestartNogoods=20
5.11 mapSize=785 nbInferences=0 nbTooLargeKeys=0
5.11 => wckTime=2.293 cpuTime=2.22 mem=23M801
5.76
5.76 INFO : Stopping hyperNogood (mapSize=1024, nbTooLargekeys=0, mem=23M801)
6.17
6.17 search
6.17 run=10 nbConstraintChecks=2275676 nbPropagations=290755 nbRevisions=1912281 nbUselessRevisions=514642
6.17 nbAssignments=2407 nbFailedAssignments=611 nbBacktracks=1736 nbVisitedNodes=3626 nbRestartNogoods=23
6.17 => wckTime=3.351 cpuTime=3.27 mem=23M801
7.62
7.62 search
7.62 run=11 nbConstraintChecks=3255633 nbPropagations=425829 nbRevisions=2820254 nbUselessRevisions=756449
7.62 nbAssignments=3559 nbFailedAssignments=888 nbBacktracks=2603 nbVisitedNodes=5338 nbRestartNogoods=25
7.62 => wckTime=4.801 cpuTime=4.71 mem=23M801
9.84
9.84 search
9.84 run=12 nbConstraintChecks=4816598 nbPropagations=626428 nbRevisions=4163506 nbUselessRevisions=1114466
9.84 nbAssignments=5257 nbFailedAssignments=1279 nbBacktracks=3900 nbVisitedNodes=7878 nbRestartNogoods=33
9.84 => wckTime=7.022 cpuTime=6.93 mem=23M801
13.40
13.40 search
13.40 run=13 nbConstraintChecks=7321625 nbPropagations=931692 nbRevisions=6181894 nbUselessRevisions=1632921
13.40 nbAssignments=7860 nbFailedAssignments=1928 nbBacktracks=5846 nbVisitedNodes=11759 nbRestartNogoods=39
13.40 => wckTime=10.587 cpuTime=10.47 mem=23M801
14.46
14.46 search
14.46 run=14 nbConstraintChecks=8059386 nbPropagations=1268140 nbRevisions=8394853 nbUselessRevisions=2193499
14.46 nbAssignments=8629 nbFailedAssignments=2132 nbBacktracks=6412 nbVisitedNodes=12924 nbRestartNogoods=40
14.46 => wckTime=11.643 cpuTime=11.53 mem=23M801
14.46
14.46 global
14.46 nbConstraintChecks=8059386 nbPropagations=1268640 nbRevisions=8394853 nbUselessRevisions=2193499
14.46 nbRestartNogoods=40 solvingWckTime=11.644 solvingCpuTime=11.53 expiredTime=no totalExploration=yes
14.46 nbFoundSolutions=0 globalCpuTime=13.72
14.46 => wckTime=14.154 cpuTime=13.68 mem=23M801
14.46
14.46 s UNSATISFIABLE
14.46 d NODES 8629
14.46 d CHECKS 8059386
14.46
14.46 totalWckTime=14.232 totalCpuTime=13.72
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node22/watcher-238250-1168083403 -o ROOT/results/node22/solver-238250-1168083403 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238250-1168083403/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.39 1.83 1.87 4/93 10134
/proc/meminfo: memFree=1419448/2055920 swapFree=4157532/4192956
[pid=10133] ppid=10131 vsize=172 CPUtime=0
/proc/10133/stat : 10133 (java) R 10131 10133 9015 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 156735420 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4678436 0 0 4096 0 0 0 0 17 0 0 0
/proc/10133/statm: 43 24 18 14 0 3 0
[startup+0.108019 s]
/proc/loadavg: 1.39 1.83 1.87 4/93 10134
/proc/meminfo: memFree=1419448/2055920 swapFree=4157532/4192956
[pid=10133] ppid=10131 vsize=914988 CPUtime=0.08
/proc/10133/stat : 10133 (java) R 10131 10133 9015 0 -1 0 2998 0 1 0 7 1 0 0 23 0 8 0 156735420 936947712 2744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10133/statm: 228747 2746 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.518561 s]
/proc/loadavg: 1.39 1.83 1.87 4/93 10134
/proc/meminfo: memFree=1419448/2055920 swapFree=4157532/4192956
[pid=10133] ppid=10131 vsize=915328 CPUtime=0.49
/proc/10133/stat : 10133 (java) R 10131 10133 9015 0 -1 0 6604 0 1 0 45 4 0 0 25 0 8 0 156735420 937295872 6343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072913785 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10133/statm: 228832 6343 2140 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34021 s]
/proc/loadavg: 1.39 1.83 1.87 3/100 10141
/proc/meminfo: memFree=1378048/2055920 swapFree=4157532/4192956
[pid=10133] ppid=10131 vsize=915624 CPUtime=1.31
/proc/10133/stat : 10133 (java) R 10131 10133 9015 0 -1 0 15271 0 1 0 124 7 0 0 25 0 8 0 156735420 937598976 15009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10133/statm: 228906 15009 2148 14 0 215376 0
[pid=10133/tid=10135] ppid=10131 vsize=915624 CPUtime=0
/proc/10133/task/10135/stat : 10135 (java) S 10131 10133 9015 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 156735424 937598976 15009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10133/tid=10136] ppid=10131 vsize=915624 CPUtime=0
/proc/10133/task/10136/stat : 10136 (java) S 10131 10133 9015 0 -1 64 10 0 0 0 0 0 0 0 20 0 8 0 156735424 937598976 15009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10133/tid=10137] ppid=10131 vsize=915624 CPUtime=0
/proc/10133/task/10137/stat : 10137 (java) S 10131 10133 9015 0 -1 64 4 0 0 0 0 0 0 0 21 0 8 0 156735424 937598976 15009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10133/tid=10138] ppid=10131 vsize=915624 CPUtime=0
/proc/10133/task/10138/stat : 10138 (java) S 10131 10133 9015 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156735428 937598976 15009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10133/tid=10139] ppid=10131 vsize=915624 CPUtime=0.15
/proc/10133/task/10139/stat : 10139 (java) S 10131 10133 9015 0 -1 64 408 0 0 0 15 0 0 0 16 0 8 0 156735428 937598976 15009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10133/tid=10140] ppid=10131 vsize=915624 CPUtime=0
/proc/10133/task/10140/stat : 10140 (java) S 10131 10133 9015 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156735428 937598976 15009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10133/tid=10141] ppid=10131 vsize=915624 CPUtime=0
/proc/10133/task/10141/stat : 10141 (java) S 10131 10133 9015 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156735428 937598976 15009 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915624
[startup+2.98946 s]
/proc/loadavg: 1.39 1.83 1.87 3/100 10141
/proc/meminfo: memFree=1358400/2055920 swapFree=4157532/4192956
[pid=10133] ppid=10131 vsize=915740 CPUtime=2.96
/proc/10133/stat : 10133 (java) R 10131 10133 9015 0 -1 0 19735 0 1 0 242 54 0 0 25 0 8 0 156735420 937717760 19462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073997068 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10133/statm: 228935 19462 2535 14 0 215405 0
[pid=10133/tid=10135] ppid=10131 vsize=915740 CPUtime=0.14
/proc/10133/task/10135/stat : 10135 (java) S 10131 10133 9015 0 -1 64 2644 0 0 0 14 0 0 0 17 0 8 0 156735424 937717760 19462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10133/tid=10136] ppid=10131 vsize=915740 CPUtime=0
/proc/10133/task/10136/stat : 10136 (java) S 10131 10133 9015 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156735424 937717760 19462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10133/tid=10137] ppid=10131 vsize=915740 CPUtime=0
/proc/10133/task/10137/stat : 10137 (java) S 10131 10133 9015 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156735424 937717760 19462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10133/tid=10138] ppid=10131 vsize=915740 CPUtime=0
/proc/10133/task/10138/stat : 10138 (java) S 10131 10133 9015 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156735428 937717760 19462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10133/tid=10139] ppid=10131 vsize=915740 CPUtime=0.29
/proc/10133/task/10139/stat : 10139 (java) S 10131 10133 9015 0 -1 64 478 0 0 0 28 1 0 0 15 0 8 0 156735428 937717760 19462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10133/tid=10140] ppid=10131 vsize=915740 CPUtime=0
/proc/10133/task/10140/stat : 10140 (java) S 10131 10133 9015 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156735428 937717760 19462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10133/tid=10141] ppid=10131 vsize=915740 CPUtime=0
/proc/10133/task/10141/stat : 10141 (java) S 10131 10133 9015 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156735428 937717760 19462 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915740
[startup+6.27701 s]
/proc/loadavg: 1.52 1.85 1.87 3/100 10141
/proc/meminfo: memFree=1351232/2055920 swapFree=4157532/4192956
[pid=10133] ppid=10131 vsize=915740 CPUtime=6.24
/proc/10133/stat : 10133 (java) R 10131 10133 9015 0 -1 0 19758 0 1 0 570 54 0 0 25 0 8 0 156735420 937717760 19482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074005441 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10133/statm: 228935 19482 2536 14 0 215405 0
[pid=10133/tid=10135] ppid=10131 vsize=915740 CPUtime=0.14
/proc/10133/task/10135/stat : 10135 (java) S 10131 10133 9015 0 -1 64 2644 0 0 0 14 0 0 0 17 0 8 0 156735424 937717760 19482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10133/tid=10136] ppid=10131 vsize=915740 CPUtime=0
/proc/10133/task/10136/stat : 10136 (java) S 10131 10133 9015 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156735424 937717760 19482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10133/tid=10137] ppid=10131 vsize=915740 CPUtime=0
/proc/10133/task/10137/stat : 10137 (java) S 10131 10133 9015 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156735424 937717760 19482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10133/tid=10138] ppid=10131 vsize=915740 CPUtime=0
/proc/10133/task/10138/stat : 10138 (java) S 10131 10133 9015 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156735428 937717760 19482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10133/tid=10139] ppid=10131 vsize=915740 CPUtime=0.33
/proc/10133/task/10139/stat : 10139 (java) S 10131 10133 9015 0 -1 64 499 0 0 0 32 1 0 0 15 0 8 0 156735428 937717760 19482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10133/tid=10140] ppid=10131 vsize=915740 CPUtime=0
/proc/10133/task/10140/stat : 10140 (java) S 10131 10133 9015 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156735428 937717760 19482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10133/tid=10141] ppid=10131 vsize=915740 CPUtime=0
/proc/10133/task/10141/stat : 10141 (java) S 10131 10133 9015 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156735428 937717760 19482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915740
[startup+12.7654 s]
/proc/loadavg: 1.56 1.85 1.88 3/100 10141
/proc/meminfo: memFree=1351232/2055920 swapFree=4157532/4192956
[pid=10133] ppid=10131 vsize=915740 CPUtime=12.7
/proc/10133/stat : 10133 (java) R 10131 10133 9015 0 -1 0 19762 0 1 0 1216 54 0 0 25 0 8 0 156735420 937717760 19483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073997416 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10133/statm: 228935 19483 2536 14 0 215405 0
[pid=10133/tid=10135] ppid=10131 vsize=915740 CPUtime=0.14
/proc/10133/task/10135/stat : 10135 (java) S 10131 10133 9015 0 -1 64 2644 0 0 0 14 0 0 0 16 0 8 0 156735424 937717760 19483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10133/tid=10136] ppid=10131 vsize=915740 CPUtime=0
/proc/10133/task/10136/stat : 10136 (java) S 10131 10133 9015 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156735424 937717760 19483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10133/tid=10137] ppid=10131 vsize=915740 CPUtime=0
/proc/10133/task/10137/stat : 10137 (java) S 10131 10133 9015 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156735424 937717760 19483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10133/tid=10138] ppid=10131 vsize=915740 CPUtime=0
/proc/10133/task/10138/stat : 10138 (java) S 10131 10133 9015 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156735428 937717760 19483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10133/tid=10139] ppid=10131 vsize=915740 CPUtime=0.33
/proc/10133/task/10139/stat : 10139 (java) S 10131 10133 9015 0 -1 64 502 0 0 0 32 1 0 0 16 0 8 0 156735428 937717760 19483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10133/tid=10140] ppid=10131 vsize=915740 CPUtime=0
/proc/10133/task/10140/stat : 10140 (java) S 10131 10133 9015 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 156735428 937717760 19483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10133/tid=10141] ppid=10131 vsize=915740 CPUtime=0
/proc/10133/task/10141/stat : 10141 (java) S 10131 10133 9015 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156735428 937717760 19483 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915740
Child status: 0
Real time (s): 14.5077
CPU time (s): 14.4278
CPU user time (s): 13.8679
CPU system time (s): 0.559914
CPU usage (%): 99.4496
Max. virtual memory (cumulated for all children) (KiB): 915956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.8679
system time used= 0.559914
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19770
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= 1800
involuntary context switches= 2030
runsolver used 0.024996 s user time and 0.048992 s system time
The end
Begin job on node22 on Sat Jan 6 11:36:46 UTC 2007
IDJOB= 238250
IDBENCH= 6992
FILE ID= node22/238250-1168083403
PBS_JOBID= 3476095
Free space on /tmp= 66544 MiB
BENCH NAME= HOME/pub/bench/CPAI06/zhou/color.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238250-1168083403/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node22/watcher-238250-1168083403 -o ROOT/results/node22/solver-238250-1168083403 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238250-1168083403/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b6dccf82748f133a8ccf43d524c7521f
RANDOM SEED= 78856169
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.279
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.279
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1419864 kB
Buffers: 41280 kB
Cached: 344572 kB
SwapCached: 13648 kB
Active: 239284 kB
Inactive: 329356 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1419864 kB
SwapTotal: 4192956 kB
SwapFree: 4157532 kB
Dirty: 5084 kB
Writeback: 0 kB
Mapped: 208068 kB
Slab: 51844 kB
Committed_AS: 3456824 kB
PageTables: 2588 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= 66544 MiB
End job on node22 on Sat Jan 6 11:37:05 UTC 2007