0.40
0.40 Abscon 109 (November, 2006)
0.40
0.40 configuration
0.40 name=mac.xml
0.44
0.44 instance
0.44 name=/tmp/evaluation/239821-1168085161/unknown.xml
0.47
0.47 domains being loaded...
0.47
0.47 variables being loaded...
0.55 nbVariables=400 nbDomainTypes=21 minDomainSize=1 maxDomainSize=20
0.55 => wckTime=0.144 cpuTime=0.12 mem=7M894
0.55
0.55 relations being loaded...
0.56
0.56 constraints being loaded...
0.90 nbConstraints=5092 nbRelationTypes=22 nbSingletonDomainVariables=234 nbExtensionStructures=41
0.90 nbSharedExtensionStructures=5051 nbConflictsStructures=41 nbSharedConflictsStructures=5051
0.90 nbSharedBinaryRepresentations=858 maxDegree=38 maxArity=2
0.90 => wckTime=0.49 cpuTime=0.35 mem=23M497
0.97
0.97 solver IterativeSystematicSolver being built...
1.14 => wckTime=0.735 cpuTime=0.5 mem=18M172
1.19
1.19 preprocessing
1.19 nbConstraintChecks=42214 nbPropagations=400 nbRevisions=3876 nbUselessRevisions=1222 nbRemovedValues=2654
1.19 detectedInconsistency=no
1.19 => wckTime=0.041 cpuTime=0.02 mem=18M172
1.25
1.25 search
1.25 run=0 nbConstraintChecks=9561 nbPropagations=872 nbRevisions=10042 nbUselessRevisions=6684 nbAssignments=104
1.25 nbFailedAssignments=9 nbBacktracks=54 nbVisitedNodes=117 nbRestartNogoods=0 mapSize=9 nbInferences=0
1.25 nbTooLargeKeys=0
1.25 => wckTime=0.103 cpuTime=0.07 mem=18M172
1.27
1.27 search
1.27 run=1 nbConstraintChecks=18601 nbPropagations=2109 nbRevisions=25712 nbUselessRevisions=18290
1.27 nbAssignments=158 nbFailedAssignments=13 nbBacktracks=71 nbVisitedNodes=180 nbRestartNogoods=3 mapSize=15
1.27 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.124 cpuTime=0.09 mem=19M147
1.30
1.30 search
1.30 run=2 nbConstraintChecks=29007 nbPropagations=3780 nbRevisions=48219 nbUselessRevisions=35986
1.30 nbAssignments=230 nbFailedAssignments=17 nbBacktracks=103 nbVisitedNodes=261 nbRestartNogoods=6 mapSize=23
1.30 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.151 cpuTime=0.11 mem=19M147
1.33
1.33 search
1.33 run=3 nbConstraintChecks=45594 nbPropagations=6058 nbRevisions=81531 nbUselessRevisions=63267
1.33 nbAssignments=317 nbFailedAssignments=24 nbBacktracks=137 nbVisitedNodes=361 nbRestartNogoods=7 mapSize=33
1.33 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.18 cpuTime=0.14 mem=19M147
1.37
1.37 search
1.37 run=4 nbConstraintChecks=61294 nbPropagations=8964 nbRevisions=125329 nbUselessRevisions=99872
1.37 nbAssignments=432 nbFailedAssignments=28 nbBacktracks=205 nbVisitedNodes=491 nbRestartNogoods=10 mapSize=47
1.37 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.218 cpuTime=0.17 mem=19M147
1.41
1.41 search
1.41 run=5 nbConstraintChecks=85715 nbPropagations=12782 nbRevisions=185887 nbUselessRevisions=151457
1.41 nbAssignments=570 nbFailedAssignments=38 nbBacktracks=292 nbVisitedNodes=656 nbRestartNogoods=11 mapSize=73
1.41 nbInferences=0 nbTooLargeKeys=0
1.41 => wckTime=0.259 cpuTime=0.21 mem=19M147
1.46
1.46 search
1.46 run=6 nbConstraintChecks=118069 nbPropagations=17757 nbRevisions=268308 nbUselessRevisions=222560
1.46 nbAssignments=748 nbFailedAssignments=56 nbBacktracks=409 nbVisitedNodes=868 nbRestartNogoods=12 mapSize=102
1.46 nbInferences=0 nbTooLargeKeys=0
1.46 => wckTime=0.311 cpuTime=0.26 mem=19M147
1.52
1.52 search
1.52 run=7 nbConstraintChecks=157477 nbPropagations=24108 nbRevisions=376901 nbUselessRevisions=316889
1.52 nbAssignments=969 nbFailedAssignments=75 nbBacktracks=590 nbVisitedNodes=1135 nbRestartNogoods=17 mapSize=147
1.52 nbInferences=0 nbTooLargeKeys=0
1.52 => wckTime=0.37 cpuTime=0.32 mem=19M147
1.61
1.61 search
1.61 run=8 nbConstraintChecks=211511 nbPropagations=32496 nbRevisions=521100 nbUselessRevisions=442720
1.61 nbAssignments=1319 nbFailedAssignments=125 nbBacktracks=866 nbVisitedNodes=1581 nbRestartNogoods=18
1.61 mapSize=238 nbInferences=0 nbTooLargeKeys=0
1.61 => wckTime=0.46 cpuTime=0.41 mem=19M147
1.74
1.74 search
1.74 run=9 nbConstraintChecks=278201 nbPropagations=43368 nbRevisions=711607 nbUselessRevisions=610070
1.74 nbAssignments=1802 nbFailedAssignments=170 nbBacktracks=1258 nbVisitedNodes=2154 nbRestartNogoods=23
1.74 mapSize=325 nbInferences=0 nbTooLargeKeys=0
1.74 => wckTime=0.589 cpuTime=0.52 mem=20M122
1.90
1.90 search
1.90 run=10 nbConstraintChecks=367959 nbPropagations=57508 nbRevisions=963332 nbUselessRevisions=832099
1.90 nbAssignments=2477 nbFailedAssignments=224 nbBacktracks=1840 nbVisitedNodes=2935 nbRestartNogoods=26
1.90 mapSize=428 nbInferences=0 nbTooLargeKeys=0
1.90 => wckTime=0.751 cpuTime=0.67 mem=20M122
2.17
2.17 search
2.17 run=11 nbConstraintChecks=571885 nbPropagations=78418 nbRevisions=1352399 nbUselessRevisions=1176825
2.17 nbAssignments=3548 nbFailedAssignments=365 nbBacktracks=2721 nbVisitedNodes=4276 nbRestartNogoods=29
2.17 mapSize=689 nbInferences=1 nbTooLargeKeys=0
2.17 => wckTime=1.018 cpuTime=0.93 mem=21M98
2.51
2.51 search
2.51 run=12 nbConstraintChecks=814450 nbPropagations=107634 nbRevisions=1913891 nbUselessRevisions=1677047
2.51 nbAssignments=5071 nbFailedAssignments=505 nbBacktracks=4058 nbVisitedNodes=6079 nbRestartNogoods=37
2.51 mapSize=965 nbInferences=1 nbTooLargeKeys=0
2.51 => wckTime=1.364 cpuTime=1.27 mem=21M98
2.57
2.58 INFO : Stopping hyperNogood (mapSize=1007, nbTooLargekeys=0, mem=21M98)
2.99
2.99 search
2.99 run=13 nbConstraintChecks=1248682 nbPropagations=150890 nbRevisions=2780799 nbUselessRevisions=2451933
2.99 nbAssignments=7316 nbFailedAssignments=750 nbBacktracks=6004 nbVisitedNodes=8850 nbRestartNogoods=41
2.99 => wckTime=1.843 cpuTime=1.74 mem=21M98
3.74
3.74 search
3.74 run=14 nbConstraintChecks=1956846 nbPropagations=217199 nbRevisions=4135648 nbUselessRevisions=3663102
3.74 nbAssignments=10781 nbFailedAssignments=1252 nbBacktracks=8941 nbVisitedNodes=13207 nbRestartNogoods=49
3.74 => wckTime=2.592 cpuTime=2.49 mem=21M98
4.80
4.80 search
4.80 run=15 nbConstraintChecks=2921539 nbPropagations=316134 nbRevisions=6176703 nbUselessRevisions=5495382
4.81 nbAssignments=15850 nbFailedAssignments=1895 nbBacktracks=13325 nbVisitedNodes=19584 nbRestartNogoods=52
4.81 => wckTime=3.657 cpuTime=3.54 mem=21M98
6.88
6.88 search
6.88 run=16 nbConstraintChecks=5094285 nbPropagations=484710 nbRevisions=9755385 nbUselessRevisions=8713425
6.88 nbAssignments=23704 nbFailedAssignments=3133 nbBacktracks=19910 nbVisitedNodes=30039 nbRestartNogoods=57
6.88 => wckTime=5.736 cpuTime=5.61 mem=21M98
9.91
9.91 search
9.91 run=17 nbConstraintChecks=8102308 nbPropagations=753283 nbRevisions=15413777 nbUselessRevisions=13797107
9.91 nbAssignments=35571 nbFailedAssignments=5105 nbBacktracks=29764 nbVisitedNodes=45658 nbRestartNogoods=62
9.91 => wckTime=8.761 cpuTime=8.61 mem=22M73
10.36
10.36 search
10.36 run=18 nbConstraintChecks=8535882 nbPropagations=1036155 nbRevisions=21377138 nbUselessRevisions=19157006
10.36 nbAssignments=37693 nbFailedAssignments=5379 nbBacktracks=31212 nbVisitedNodes=48367 nbRestartNogoods=73
10.36 => wckTime=9.214 cpuTime=9.05 mem=22M73
10.36
10.36 global
10.36 nbConstraintChecks=8578096 nbPropagations=1036555 nbRevisions=21381014 nbUselessRevisions=19158228
10.36 nbRestartNogoods=73 solvingWckTime=9.215 solvingCpuTime=9.05 expiredTime=no totalExploration=no
10.36 nbFoundSolutions=1 globalCpuTime=9.59
10.36 => wckTime=9.955 cpuTime=9.55 mem=22M73
10.36
10.36 s SATISFIABLE
10.36 v 13 8 17 18 7 1 10 5 15 11 4 19 14 3 2 9 16 0 6 12 12 15 18 13 16 4 6 0 2 19 8 9 17 14 7 11 10 5 3 1 5 0 13 11 8 9 15 1 7 6 10 16 19 12 14 17 4 18 2 3 18 19 6 0 4 5 12 11 3 14 15 10 7 13 9 2 1 16 8 17 6 11 7 3 10 17 14 16 8 13 2 12 0 19 5 15 9 1 4 18 19 6 3 16 14 10 1 17 13 9 11 5 2 15 0 18 8 12 7 4 3 9 0 1 19 13 16 14 6 2 12 4 15 18 17 5 11 7 10 8 7 2 11 4 1 0 3 18 19 8 9 17 12 5 16 13 15 6 14 10 9 16 10 2 18 7 0 8 5 3 14 6 1 17 19 4 13 15 12 11 10 17 8 5 11 12 9 19 1 15 3 14 13 6 18 7 2 4 0 16 16 10 19 8 12 15 5 13 18 17 7 11 9 2 4 0 3 14 1 6 15 18 9 7 13 6 8 4 12 16 1 2 10 0 11 19 17 3 5 14 8 5 2 15 6 16 13 3 0 4 17 7 18 10 1 12 14 11 19 9 0 3 4 19 5 14 17 2 11 10 13 15 6 8 12 1 18 9 16 7 14 1 15 10 9 2 18 12 17 7 5 13 4 16 3 8 6 19 11 0 11 14 5 12 2 19 4 6 16 0 18 1 3 9 8 10 7 17 15 13 17 12 1 14 0 8 7 15 9 18 19 3 11 4 6 16 5 10 13 2 2 7 12 17 15 3 11 9 4 5 6 8 16 1 10 14 0 13 18 19 1 4 16 9 3 11 2 10 14 12 0 18 5 7 13 6 19 8 17 15 4 13 14 6 17 18 19 7 10 1 16 0 8 11 15 3 12 2 9 5
10.36 d NODES 37693
10.36 d CHECKS 8578096
10.36
10.37 totalWckTime=10.032 totalCpuTime=9.6
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node45/watcher-239821-1168085161 -o ROOT/results/node45/solver-239821-1168085161 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/239821-1168085161/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.67 1.92 1.88 2/80 24746
/proc/meminfo: memFree=780752/2055920 swapFree=4184004/4192956
[pid=24745] ppid=24743 vsize=18540 CPUtime=0
/proc/24745/stat : 24745 (runsolver) R 24743 24745 24678 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156915351 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 258939088167 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/24745/statm: 4635 279 244 17 0 2626 0
[startup+0.103039 s]
/proc/loadavg: 1.67 1.92 1.88 2/80 24746
/proc/meminfo: memFree=780752/2055920 swapFree=4184004/4192956
[pid=24745] ppid=24743 vsize=905992 CPUtime=0.02
/proc/24745/stat : 24745 (java) R 24743 24745 24678 0 -1 0 1917 0 1 0 1 1 0 0 18 0 1 0 156915351 927735808 1666 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582787 0 4 0 7368 0 0 0 17 0 0 0
/proc/24745/statm: 226498 1666 971 14 0 214081 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 905992
[startup+0.511108 s]
/proc/loadavg: 1.67 1.92 1.88 2/80 24746
/proc/meminfo: memFree=780752/2055920 swapFree=4184004/4192956
[pid=24745] ppid=24743 vsize=915328 CPUtime=0.38
/proc/24745/stat : 24745 (java) R 24743 24745 24678 0 -1 0 6123 0 1 0 35 3 0 0 22 0 8 0 156915351 937295872 5862 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153648305 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24745/statm: 228832 5862 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 915328
[startup+1.33926 s]
/proc/loadavg: 1.67 1.92 1.88 4/87 24753
/proc/meminfo: memFree=744984/2055920 swapFree=4184004/4192956
[pid=24745] ppid=24743 vsize=915676 CPUtime=1.19
/proc/24745/stat : 24745 (java) R 24743 24745 24678 0 -1 0 11683 0 1 0 113 6 0 0 25 0 8 0 156915351 937652224 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073954899 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24745/statm: 228919 11421 2513 14 0 215389 0
[pid=24745/tid=24747] ppid=24743 vsize=915676 CPUtime=0.06
/proc/24745/task/24747/stat : 24747 (java) S 24743 24745 24678 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 156915362 937652224 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24745/tid=24748] ppid=24743 vsize=915676 CPUtime=0
/proc/24745/task/24748/stat : 24748 (java) S 24743 24745 24678 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156915363 937652224 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24745/tid=24749] ppid=24743 vsize=915676 CPUtime=0
/proc/24745/task/24749/stat : 24749 (java) S 24743 24745 24678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156915363 937652224 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24745/tid=24750] ppid=24743 vsize=915676 CPUtime=0
/proc/24745/task/24750/stat : 24750 (java) S 24743 24745 24678 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156915366 937652224 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24745/tid=24751] ppid=24743 vsize=915676 CPUtime=0.24
/proc/24745/task/24751/stat : 24751 (java) S 24743 24745 24678 0 -1 64 466 0 0 0 24 0 0 0 15 0 8 0 156915366 937652224 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24745/tid=24752] ppid=24743 vsize=915676 CPUtime=0
/proc/24745/task/24752/stat : 24752 (java) S 24743 24745 24678 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156915366 937652224 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24745/tid=24753] ppid=24743 vsize=915676 CPUtime=0
/proc/24745/task/24753/stat : 24753 (java) S 24743 24745 24678 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156915366 937652224 11421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 915676
[startup+2.98056 s]
/proc/loadavg: 1.67 1.92 1.88 3/87 24753
/proc/meminfo: memFree=744728/2055920 swapFree=4184004/4192956
[pid=24745] ppid=24743 vsize=915676 CPUtime=2.82
/proc/24745/stat : 24745 (java) R 24743 24745 24678 0 -1 0 11702 0 1 0 275 7 0 0 25 0 8 0 156915351 937652224 11439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073977508 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24745/statm: 228919 11439 2513 14 0 215389 0
[pid=24745/tid=24747] ppid=24743 vsize=915676 CPUtime=0.06
/proc/24745/task/24747/stat : 24747 (java) S 24743 24745 24678 0 -1 64 842 0 0 0 6 0 0 0 17 0 8 0 156915362 937652224 11439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24745/tid=24748] ppid=24743 vsize=915676 CPUtime=0
/proc/24745/task/24748/stat : 24748 (java) S 24743 24745 24678 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156915363 937652224 11439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24745/tid=24749] ppid=24743 vsize=915676 CPUtime=0
/proc/24745/task/24749/stat : 24749 (java) S 24743 24745 24678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156915363 937652224 11439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24745/tid=24750] ppid=24743 vsize=915676 CPUtime=0
/proc/24745/task/24750/stat : 24750 (java) S 24743 24745 24678 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156915366 937652224 11439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24745/tid=24751] ppid=24743 vsize=915676 CPUtime=0.28
/proc/24745/task/24751/stat : 24751 (java) S 24743 24745 24678 0 -1 64 485 0 0 0 27 1 0 0 16 0 8 0 156915366 937652224 11439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24745/tid=24752] ppid=24743 vsize=915676 CPUtime=0
/proc/24745/task/24752/stat : 24752 (java) S 24743 24745 24678 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156915366 937652224 11439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24745/tid=24753] ppid=24743 vsize=915676 CPUtime=0
/proc/24745/task/24753/stat : 24753 (java) S 24743 24745 24678 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156915366 937652224 11439 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 915676
[startup+6.27415 s]
/proc/loadavg: 1.69 1.92 1.88 3/87 24753
/proc/meminfo: memFree=744672/2055920 swapFree=4184004/4192956
[pid=24745] ppid=24743 vsize=915676 CPUtime=6.09
/proc/24745/stat : 24745 (java) R 24743 24745 24678 0 -1 0 11704 0 1 0 602 7 0 0 25 0 8 0 156915351 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073941642 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24745/statm: 228919 11440 2513 14 0 215389 0
[pid=24745/tid=24747] ppid=24743 vsize=915676 CPUtime=0.06
/proc/24745/task/24747/stat : 24747 (java) S 24743 24745 24678 0 -1 64 842 0 0 0 6 0 0 0 16 0 8 0 156915362 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=24745/tid=24748] ppid=24743 vsize=915676 CPUtime=0
/proc/24745/task/24748/stat : 24748 (java) S 24743 24745 24678 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156915363 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24745/tid=24749] ppid=24743 vsize=915676 CPUtime=0
/proc/24745/task/24749/stat : 24749 (java) S 24743 24745 24678 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156915363 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24745/tid=24750] ppid=24743 vsize=915676 CPUtime=0
/proc/24745/task/24750/stat : 24750 (java) S 24743 24745 24678 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156915366 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24745/tid=24751] ppid=24743 vsize=915676 CPUtime=0.28
/proc/24745/task/24751/stat : 24751 (java) S 24743 24745 24678 0 -1 64 486 0 0 0 27 1 0 0 17 0 8 0 156915366 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24745/tid=24752] ppid=24743 vsize=915676 CPUtime=0
/proc/24745/task/24752/stat : 24752 (java) S 24743 24745 24678 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156915366 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24745/tid=24753] ppid=24743 vsize=915676 CPUtime=0
/proc/24745/task/24753/stat : 24753 (java) S 24743 24745 24678 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156915366 937652224 11440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915676
Child status: 0
Real time (s): 10.4129
CPU time (s): 10.1665
CPU user time (s): 10.0815
CPU system time (s): 0.084987
CPU usage (%): 97.6332
Max. virtual memory (cumulated for all children) (KiB): 915780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.0815
system time used= 0.084987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11714
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= 1590
involuntary context switches= 2212
runsolver used 0.011998 s user time and 0.043993 s system time
The end
Begin job on node45 on Sat Jan 6 12:06:02 UTC 2007
IDJOB= 239821
IDBENCH= 7085
FILE ID= node45/239821-1168085161
PBS_JOBID= 3476299
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QWH-20/qwh-20-166-8_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/239821-1168085161/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node45/watcher-239821-1168085161 -o ROOT/results/node45/solver-239821-1168085161 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/239821-1168085161/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d9bb6f240f4446ad93f6f9593832279b
RANDOM SEED= 314783546
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.259
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.259
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: 781424 kB
Buffers: 49812 kB
Cached: 528092 kB
SwapCached: 2748 kB
Active: 673592 kB
Inactive: 527540 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 781424 kB
SwapTotal: 4192956 kB
SwapFree: 4184004 kB
Dirty: 2476 kB
Writeback: 0 kB
Mapped: 639268 kB
Slab: 57684 kB
Committed_AS: 3526452 kB
PageTables: 2980 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= 66541 MiB
End job on node45 on Sat Jan 6 12:06:17 UTC 2007