0.37
0.37 Abscon 109 (November, 2006)
0.37
0.37 configuration
0.37 name=mac.xml
0.49
0.49 instance
0.49 name=/tmp/evaluation/199986-1168071828/unknown.xml
0.52
0.52 domains being loaded...
0.53
0.53 variables being loaded...
0.56 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.56 => wckTime=0.191 cpuTime=0.08 mem=6M951
0.56
0.56 relations being loaded...
1.18
1.18 constraints being loaded...
1.44 nbConstraints=74 nbRelationTypes=74 nbExtensionStructures=74 nbSharedExtensionStructures=0
1.44 nbConflictsStructures=74 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
1.44 => wckTime=1.073 cpuTime=0.86 mem=47M638
1.55
1.55 solver IterativeSystematicSolver being built...
1.71 => wckTime=1.338 cpuTime=0.99 mem=34M646
1.71
1.71 preprocessing
1.71 nbConstraintChecks=0 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.71 detectedInconsistency=no
1.71 => wckTime=0.0040 cpuTime=0.01 mem=34M646
1.82
1.82 search
1.82 run=0 nbConstraintChecks=31657 nbValidityChecks=53502 nbPropagations=318 nbRevisions=3721
1.82 nbUselessRevisions=3039 nbAssignments=25 nbFailedAssignments=11 nbBacktracks=10 nbVisitedNodes=44
1.82 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
1.82 => wckTime=0.11 cpuTime=0.09 mem=34M646
1.92
1.92 search
1.92 run=1 nbConstraintChecks=90749 nbValidityChecks=167484 nbPropagations=1254 nbRevisions=14949
1.92 nbUselessRevisions=12036 nbAssignments=71 nbFailedAssignments=37 nbBacktracks=25 nbVisitedNodes=127
1.92 nbRestartNogoods=2 mapSize=21 nbInferences=0 nbTooLargeKeys=0
1.92 => wckTime=0.21 cpuTime=0.18 mem=34M646
2.11
2.11 search
2.11 run=2 nbConstraintChecks=220045 nbValidityChecks=423154 nbPropagations=3227 nbRevisions=38985
2.11 nbUselessRevisions=31418 nbAssignments=186 nbFailedAssignments=124 nbBacktracks=47 nbVisitedNodes=347
2.11 nbRestartNogoods=8 mapSize=41 nbInferences=0 nbTooLargeKeys=0
2.11 => wckTime=0.403 cpuTime=0.36 mem=34M646
2.30
2.30 search
2.30 run=3 nbConstraintChecks=351077 nbValidityChecks=673915 nbPropagations=6452 nbRevisions=78520
2.30 nbUselessRevisions=63013 nbAssignments=287 nbFailedAssignments=186 nbBacktracks=80 nbVisitedNodes=538
2.30 nbRestartNogoods=13 mapSize=73 nbInferences=0 nbTooLargeKeys=0
2.30 => wckTime=0.595 cpuTime=0.55 mem=34M646
2.51
2.51 search
2.51 run=4 nbConstraintChecks=504692 nbValidityChecks=967976 nbPropagations=11179 nbRevisions=135592
2.51 nbUselessRevisions=108484 nbAssignments=417 nbFailedAssignments=262 nbBacktracks=130 nbVisitedNodes=775
2.51 nbRestartNogoods=21 mapSize=117 nbInferences=0 nbTooLargeKeys=0
2.51 => wckTime=0.799 cpuTime=0.75 mem=34M646
2.89
2.89 search
2.89 run=5 nbConstraintChecks=788524 nbValidityChecks=1540994 nbPropagations=18499 nbRevisions=224163
2.89 nbUselessRevisions=178883 nbAssignments=664 nbFailedAssignments=428 nbBacktracks=205 nbVisitedNodes=1241
2.89 nbRestartNogoods=26 mapSize=184 nbInferences=0 nbTooLargeKeys=0
2.89 => wckTime=1.184 cpuTime=1.13 mem=34M646
3.48
3.48 search
3.48 run=6 nbConstraintChecks=1214791 nbValidityChecks=2400784 nbPropagations=30166 nbRevisions=368836
3.48 nbUselessRevisions=293601 nbAssignments=1030 nbFailedAssignments=677 nbBacktracks=319 nbVisitedNodes=1936
3.48 nbRestartNogoods=32 mapSize=287 nbInferences=0 nbTooLargeKeys=0
3.48 => wckTime=1.769 cpuTime=1.72 mem=34M646
4.60
4.60 search
4.61 run=7 nbConstraintChecks=2074380 nbValidityChecks=4099313 nbPropagations=49147 nbRevisions=604884
4.61 nbUselessRevisions=481325 nbAssignments=1740 nbFailedAssignments=1211 nbBacktracks=493 nbVisitedNodes=3313
4.61 nbRestartNogoods=35 mapSize=453 nbInferences=0 nbTooLargeKeys=0
4.61 => wckTime=2.896 cpuTime=2.82 mem=34M646
6.04
6.04 search
6.04 run=8 nbConstraintChecks=3116941 nbValidityChecks=6126642 nbPropagations=78406 nbRevisions=970400
6.04 nbUselessRevisions=771253 nbAssignments=2571 nbFailedAssignments=1781 nbBacktracks=749 nbVisitedNodes=4918
6.04 nbRestartNogoods=37 mapSize=700 nbInferences=0 nbTooLargeKeys=0
6.04 => wckTime=4.327 cpuTime=4.24 mem=34M646
8.08
8.08 INFO : Stopping hyperNogood (mapSize=1023, nbTooLargekeys=0, mem=34M646)
8.26
8.26 search
8.26 run=9 nbConstraintChecks=4811929 nbValidityChecks=9544345 nbPropagations=122763 nbRevisions=1523611
8.26 nbUselessRevisions=1210267 nbAssignments=3989 nbFailedAssignments=2810 nbBacktracks=1133 nbVisitedNodes=7650
8.26 nbRestartNogoods=50
8.26 => wckTime=6.55 cpuTime=6.46 mem=34M646
11.71
11.71 search
11.71 run=10 nbConstraintChecks=7370626 nbValidityChecks=14416799 nbPropagations=189441 nbRevisions=2375020
11.71 nbUselessRevisions=1884322 nbAssignments=5831 nbFailedAssignments=4070 nbBacktracks=1709 nbVisitedNodes=11182
11.71 nbRestartNogoods=63
11.71 => wckTime=9.997 cpuTime=9.9 mem=34M646
15.84
15.84 search
15.84 run=11 nbConstraintChecks=10533765 nbValidityChecks=20414493 nbPropagations=282226 nbRevisions=3556271
15.85 nbUselessRevisions=2821921 nbAssignments=8268 nbFailedAssignments=5639 nbBacktracks=2574 nbVisitedNodes=15753
15.85 nbRestartNogoods=81
15.85 => wckTime=14.136 cpuTime=14.04 mem=34M646
22.36
22.36 search
22.36 run=12 nbConstraintChecks=15301898 nbValidityChecks=29929150 nbPropagations=423514 nbRevisions=5338274
22.36 nbUselessRevisions=4233119 nbAssignments=12141 nbFailedAssignments=8209 nbBacktracks=3875 nbVisitedNodes=23199
22.36 nbRestartNogoods=86
22.36 => wckTime=20.653 cpuTime=20.55 mem=34M646
33.10
33.10 search
33.10 run=13 nbConstraintChecks=23447568 nbValidityChecks=46125870 nbPropagations=635865 nbRevisions=8024447
33.10 nbUselessRevisions=6362157 nbAssignments=18590 nbFailedAssignments=12706 nbBacktracks=5822 nbVisitedNodes=35537
33.10 nbRestartNogoods=92
33.10 => wckTime=31.393 cpuTime=31.28 mem=34M646
50.51
50.51 search
50.51 run=14 nbConstraintChecks=36348084 nbValidityChecks=71172539 nbPropagations=966796 nbRevisions=12260038
50.51 nbUselessRevisions=9716547 nbAssignments=28059 nbFailedAssignments=19251 nbBacktracks=8741 nbVisitedNodes=53918
50.51 nbRestartNogoods=116
50.51 => wckTime=48.805 cpuTime=48.69 mem=34M646
75.09
75.09 search
75.09 run=15 nbConstraintChecks=55175818 nbValidityChecks=108833154 nbPropagations=1464655 nbRevisions=18564262
75.09 nbUselessRevisions=14712925 nbAssignments=43450 nbFailedAssignments=30258 nbBacktracks=13119
75.09 nbVisitedNodes=83591 nbRestartNogoods=139
75.09 => wckTime=73.385 cpuTime=73.26 mem=34M646
84.42
84.42 search
84.42 run=16 nbConstraintChecks=62034821 nbValidityChecks=122207157 nbPropagations=2027491 nbRevisions=25697488
84.42 nbUselessRevisions=20364071 nbAssignments=48662 nbFailedAssignments=33834 nbBacktracks=14731
84.42 nbVisitedNodes=93650 nbRestartNogoods=158
84.42 => wckTime=82.713 cpuTime=82.59 mem=34M646
84.42
84.42 global
84.42 nbConstraintChecks=62034821 nbValidityChecks=122207157 nbPropagations=2027515 nbRevisions=25697488
84.42 nbUselessRevisions=20364071 nbRestartNogoods=158 solvingWckTime=82.714 solvingCpuTime=82.59 expiredTime=no
84.42 totalExploration=no nbFoundSolutions=1 globalCpuTime=83.63
84.42 => wckTime=84.055 cpuTime=83.58 mem=34M646
84.43
84.43 s SATISFIABLE
84.43 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
84.43 d NODES 48662
84.43 d CHECKS 62034821
84.43
84.43 totalWckTime=84.131 totalCpuTime=83.63
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-199986-1168071828 -o ROOT/results/node24/solver-199986-1168071828 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199986-1168071828/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.01 1.00 1.03 2/78 15112
/proc/meminfo: memFree=1826896/2055920 swapFree=4192812/4192956
[pid=15111] ppid=15109 vsize=1784 CPUtime=0
/proc/15111/stat : 15111 (java) D 15109 15111 14204 0 -1 0 169 0 0 0 0 0 0 0 21 0 1 0 155578083 1826816 140 18446744073709551615 134512640 134570532 4294956560 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099855350 0 0 17 1 0 0
/proc/15111/statm: 446 140 106 14 0 91 0
[startup+0.106205 s]
/proc/loadavg: 1.01 1.00 1.03 2/78 15112
/proc/meminfo: memFree=1826896/2055920 swapFree=4192812/4192956
[pid=15111] ppid=15109 vsize=906644 CPUtime=0.02
/proc/15111/stat : 15111 (java) R 15109 15111 14204 0 -1 0 2088 0 1 0 1 1 0 0 18 0 2 0 155578083 928403456 1837 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4155240616 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/15111/statm: 226661 1839 1051 14 0 214244 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 906644
[startup+0.514244 s]
/proc/loadavg: 1.01 1.00 1.03 2/78 15112
/proc/meminfo: memFree=1826896/2055920 swapFree=4192812/4192956
[pid=15111] ppid=15109 vsize=915328 CPUtime=0.33
/proc/15111/stat : 15111 (java) R 15109 15111 14204 0 -1 0 5600 0 1 0 29 4 0 0 17 0 8 0 155578083 937295872 5339 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4151974723 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15111/statm: 228832 5339 2077 14 0 215302 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 915328
[startup+1.33534 s]
/proc/loadavg: 1.01 1.00 1.03 2/85 15119
/proc/meminfo: memFree=1770392/2055920 swapFree=4192812/4192956
[pid=15111] ppid=15109 vsize=915328 CPUtime=1.15
/proc/15111/stat : 15111 (java) R 15109 15111 14204 0 -1 0 19120 0 1 0 103 12 0 0 17 0 8 0 155578083 937295872 18857 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073630883 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15111/statm: 228832 18857 2160 14 0 215302 0
[pid=15111/tid=15113] ppid=15109 vsize=915328 CPUtime=0.05
/proc/15111/task/15113/stat : 15113 (java) S 15109 15111 14204 0 -1 64 2658 0 0 0 4 1 0 0 17 0 8 0 155578094 937295872 18857 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15114] ppid=15109 vsize=915328 CPUtime=0
/proc/15111/task/15114/stat : 15114 (java) S 15109 15111 14204 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155578094 937295872 18857 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15115] ppid=15109 vsize=915328 CPUtime=0
/proc/15111/task/15115/stat : 15115 (java) S 15109 15111 14204 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155578095 937295872 18857 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15116] ppid=15109 vsize=915328 CPUtime=0
/proc/15111/task/15116/stat : 15116 (java) S 15109 15111 14204 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155578098 937295872 18857 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15117] ppid=15109 vsize=915328 CPUtime=0.09
/proc/15111/task/15117/stat : 15117 (java) S 15109 15111 14204 0 -1 64 320 0 0 0 8 1 0 0 16 0 8 0 155578098 937295872 18857 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15118] ppid=15109 vsize=915328 CPUtime=0
/proc/15111/task/15118/stat : 15118 (java) S 15109 15111 14204 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155578098 937295872 18857 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15119] ppid=15109 vsize=915328 CPUtime=0
/proc/15111/task/15119/stat : 15119 (java) S 15109 15111 14204 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155578098 937295872 18857 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 915328
[startup+2.97351 s]
/proc/loadavg: 1.01 1.00 1.03 2/85 15119
/proc/meminfo: memFree=1744152/2055920 swapFree=4192812/4192956
[pid=15111] ppid=15109 vsize=915416 CPUtime=2.78
/proc/15111/stat : 15111 (java) R 15109 15111 14204 0 -1 0 23393 0 1 0 264 14 0 0 17 0 8 0 155578083 937385984 23127 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073754430 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/15111/statm: 228854 23127 2521 14 0 215324 0
[pid=15111/tid=15113] ppid=15109 vsize=915416 CPUtime=0.15
/proc/15111/task/15113/stat : 15113 (java) S 15109 15111 14204 0 -1 64 6428 0 0 0 13 2 0 0 17 0 8 0 155578094 937385984 23127 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15114] ppid=15109 vsize=915416 CPUtime=0
/proc/15111/task/15114/stat : 15114 (java) S 15109 15111 14204 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155578094 937385984 23127 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15115] ppid=15109 vsize=915416 CPUtime=0
/proc/15111/task/15115/stat : 15115 (java) S 15109 15111 14204 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155578095 937385984 23127 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15116] ppid=15109 vsize=915416 CPUtime=0
/proc/15111/task/15116/stat : 15116 (java) S 15109 15111 14204 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155578098 937385984 23127 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15117] ppid=15109 vsize=915416 CPUtime=0.18
/proc/15111/task/15117/stat : 15117 (java) S 15109 15111 14204 0 -1 64 372 0 0 0 16 2 0 0 15 0 8 0 155578098 937385984 23127 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15118] ppid=15109 vsize=915416 CPUtime=0
/proc/15111/task/15118/stat : 15118 (java) S 15109 15111 14204 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155578098 937385984 23127 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15119] ppid=15109 vsize=915416 CPUtime=0
/proc/15111/task/15119/stat : 15119 (java) S 15109 15111 14204 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155578098 937385984 23127 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 915416
[startup+6.27287 s]
/proc/loadavg: 1.01 1.00 1.03 2/85 15119
/proc/meminfo: memFree=1743960/2055920 swapFree=4192812/4192956
[pid=15111] ppid=15109 vsize=915416 CPUtime=6.08
/proc/15111/stat : 15111 (java) R 15109 15111 14204 0 -1 0 23409 0 1 0 593 15 0 0 17 0 8 0 155578083 937385984 23141 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15111/statm: 228854 23141 2521 14 0 215324 0
[pid=15111/tid=15113] ppid=15109 vsize=915416 CPUtime=0.15
/proc/15111/task/15113/stat : 15113 (java) S 15109 15111 14204 0 -1 64 6428 0 0 0 13 2 0 0 16 0 8 0 155578094 937385984 23141 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15114] ppid=15109 vsize=915416 CPUtime=0
/proc/15111/task/15114/stat : 15114 (java) S 15109 15111 14204 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155578094 937385984 23141 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15115] ppid=15109 vsize=915416 CPUtime=0
/proc/15111/task/15115/stat : 15115 (java) S 15109 15111 14204 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155578095 937385984 23141 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15116] ppid=15109 vsize=915416 CPUtime=0
/proc/15111/task/15116/stat : 15116 (java) S 15109 15111 14204 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155578098 937385984 23141 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15117] ppid=15109 vsize=915416 CPUtime=0.2
/proc/15111/task/15117/stat : 15117 (java) S 15109 15111 14204 0 -1 64 386 0 0 0 18 2 0 0 15 0 8 0 155578098 937385984 23141 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15118] ppid=15109 vsize=915416 CPUtime=0
/proc/15111/task/15118/stat : 15118 (java) S 15109 15111 14204 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155578098 937385984 23141 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15119] ppid=15109 vsize=915416 CPUtime=0
/proc/15111/task/15119/stat : 15119 (java) S 15109 15111 14204 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155578098 937385984 23141 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 915416
[startup+12.7494 s]
/proc/loadavg: 1.01 1.00 1.02 2/85 15119
/proc/meminfo: memFree=1743968/2055920 swapFree=4192812/4192956
[pid=15111] ppid=15109 vsize=915416 CPUtime=12.55
/proc/15111/stat : 15111 (java) R 15109 15111 14204 0 -1 0 23413 0 1 0 1240 15 0 0 19 0 8 0 155578083 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073804176 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15111/statm: 228854 23144 2521 14 0 215324 0
[pid=15111/tid=15113] ppid=15109 vsize=915416 CPUtime=0.15
/proc/15111/task/15113/stat : 15113 (java) S 15109 15111 14204 0 -1 64 6428 0 0 0 13 2 0 0 16 0 8 0 155578094 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15114] ppid=15109 vsize=915416 CPUtime=0
/proc/15111/task/15114/stat : 15114 (java) S 15109 15111 14204 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155578094 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15115] ppid=15109 vsize=915416 CPUtime=0
/proc/15111/task/15115/stat : 15115 (java) S 15109 15111 14204 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155578095 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15116] ppid=15109 vsize=915416 CPUtime=0
/proc/15111/task/15116/stat : 15116 (java) S 15109 15111 14204 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155578098 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15117] ppid=15109 vsize=915416 CPUtime=0.21
/proc/15111/task/15117/stat : 15117 (java) S 15109 15111 14204 0 -1 64 389 0 0 0 19 2 0 0 16 0 8 0 155578098 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15118] ppid=15109 vsize=915416 CPUtime=0
/proc/15111/task/15118/stat : 15118 (java) S 15109 15111 14204 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155578098 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15119] ppid=15109 vsize=915416 CPUtime=0
/proc/15111/task/15119/stat : 15119 (java) S 15109 15111 14204 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155578098 937385984 23144 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 915416
[startup+25.6017 s]
/proc/loadavg: 1.00 1.00 1.02 2/85 15119
/proc/meminfo: memFree=1744160/2055920 swapFree=4192812/4192956
[pid=15111] ppid=15109 vsize=915416 CPUtime=25.4
/proc/15111/stat : 15111 (java) R 15109 15111 14204 0 -1 0 23415 0 1 0 2525 15 0 0 23 0 8 0 155578083 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15111/statm: 228854 23145 2521 14 0 215324 0
[pid=15111/tid=15113] ppid=15109 vsize=915416 CPUtime=0.15
/proc/15111/task/15113/stat : 15113 (java) S 15109 15111 14204 0 -1 64 6428 0 0 0 13 2 0 0 16 0 8 0 155578094 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15114] ppid=15109 vsize=915416 CPUtime=0
/proc/15111/task/15114/stat : 15114 (java) S 15109 15111 14204 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155578094 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15115] ppid=15109 vsize=915416 CPUtime=0
/proc/15111/task/15115/stat : 15115 (java) S 15109 15111 14204 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155578095 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15116] ppid=15109 vsize=915416 CPUtime=0
/proc/15111/task/15116/stat : 15116 (java) S 15109 15111 14204 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155578098 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15117] ppid=15109 vsize=915416 CPUtime=0.21
/proc/15111/task/15117/stat : 15117 (java) S 15109 15111 14204 0 -1 64 390 0 0 0 19 2 0 0 16 0 8 0 155578098 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15118] ppid=15109 vsize=915416 CPUtime=0
/proc/15111/task/15118/stat : 15118 (java) S 15109 15111 14204 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155578098 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15119] ppid=15109 vsize=915416 CPUtime=0
/proc/15111/task/15119/stat : 15119 (java) S 15109 15111 14204 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155578098 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 915416
[startup+51.2895 s]
/proc/loadavg: 1.00 1.00 1.02 2/85 15119
/proc/meminfo: memFree=1744224/2055920 swapFree=4192812/4192956
[pid=15111] ppid=15109 vsize=915416 CPUtime=51.07
/proc/15111/stat : 15111 (java) R 15109 15111 14204 0 -1 0 23415 0 1 0 5092 15 0 0 25 0 8 0 155578083 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073754430 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15111/statm: 228854 23145 2521 14 0 215324 0
[pid=15111/tid=15113] ppid=15109 vsize=915416 CPUtime=0.15
/proc/15111/task/15113/stat : 15113 (java) S 15109 15111 14204 0 -1 64 6428 0 0 0 13 2 0 0 16 0 8 0 155578094 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15114] ppid=15109 vsize=915416 CPUtime=0
/proc/15111/task/15114/stat : 15114 (java) S 15109 15111 14204 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 155578094 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15115] ppid=15109 vsize=915416 CPUtime=0
/proc/15111/task/15115/stat : 15115 (java) S 15109 15111 14204 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155578095 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15116] ppid=15109 vsize=915416 CPUtime=0
/proc/15111/task/15116/stat : 15116 (java) S 15109 15111 14204 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 155578098 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15117] ppid=15109 vsize=915416 CPUtime=0.21
/proc/15111/task/15117/stat : 15117 (java) S 15109 15111 14204 0 -1 64 390 0 0 0 19 2 0 0 16 0 8 0 155578098 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15118] ppid=15109 vsize=915416 CPUtime=0
/proc/15111/task/15118/stat : 15118 (java) S 15109 15111 14204 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155578098 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=15111/tid=15119] ppid=15109 vsize=915416 CPUtime=0
/proc/15111/task/15119/stat : 15119 (java) S 15109 15111 14204 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155578098 937385984 23145 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 915416
Child status: 0
Real time (s): 84.4693
CPU time (s): 84.2302
CPU user time (s): 84.0602
CPU system time (s): 0.169974
CPU usage (%): 99.7169
Max. virtual memory (cumulated for all children) (KiB): 915416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 84.0602
system time used= 0.169974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23419
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= 2581
involuntary context switches= 1949
runsolver used 0.075988 s user time and 0.234964 s system time
The end
Begin job on node24 on Sat Jan 6 08:23:48 UTC 2007
IDJOB= 199986
IDBENCH= 3670
FILE ID= node24/199986-1168071828
PBS_JOBID= 3475641
Free space on /tmp= 66463 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 mac.xml 1 XSax /tmp/evaluation/199986-1168071828/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-199986-1168071828 -o ROOT/results/node24/solver-199986-1168071828 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199986-1168071828/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= bb36e8c2b01c64bab8e460244650b681
RANDOM SEED= 569022702
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: 1827384 kB
Buffers: 18828 kB
Cached: 89496 kB
SwapCached: 0 kB
Active: 106816 kB
Inactive: 54528 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1827384 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4560 kB
Writeback: 0 kB
Mapped: 71992 kB
Slab: 52528 kB
Committed_AS: 2847108 kB
PageTables: 1984 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= 66463 MiB
End job on node24 on Sat Jan 6 08:25:13 UTC 2007