0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/248298-1168085969/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=100 nbDomainTypes=1 minDomainSize=112 maxDomainSize=112
0.41 => wckTime=0.108 cpuTime=0.08 mem=7M927
0.41
0.41 predicates being loaded...
0.46
0.46 constraints being loaded...
0.55 nbConstraints=60 nbSingletonDomainVariables=5 nbDisconnectedVariables=5 nbUnbuiltConflictsStructures=60
0.55 nbSharedBinaryRepresentations=0 nbEvaluationManagers=60 nbSharedEvaluationManagers=0 maxDegree=8 maxArity=6
0.55 => wckTime=0.247 cpuTime=0.19 mem=9M878
0.59
0.59 solver IterativeSystematicSolver being built...
0.75 => wckTime=0.45 cpuTime=0.32 mem=16M638
4.17
4.17 preprocessing
4.17 nbConstraintChecks=8628196 nbValidityChecks=857 nbPropagations=108 nbRevisions=34 nbUselessRevisions=4
4.17 nbRemovedValues=1402 detectedInconsistency=no
4.17 => wckTime=3.41 cpuTime=3.38 mem=16M638
6.13
6.13 search
6.13 run=0 nbConstraintChecks=3078879 nbValidityChecks=19012 nbPropagations=1269 nbRevisions=1015
6.13 nbUselessRevisions=37 nbAssignments=213 nbFailedAssignments=200 nbBacktracks=13 nbVisitedNodes=414
6.13 nbRestartNogoods=0 mapSize=6 nbInferences=0 nbTooLargeKeys=0
6.13 => wckTime=5.377 cpuTime=5.33 mem=16M638
6.32
6.32 search
6.32 run=1 nbConstraintChecks=3413309 nbValidityChecks=21458 nbPropagations=2643 nbRevisions=2137
6.32 nbUselessRevisions=101 nbAssignments=242 nbFailedAssignments=208 nbBacktracks=29 nbVisitedNodes=451
6.32 nbRestartNogoods=0 mapSize=14 nbInferences=0 nbTooLargeKeys=0
6.32 => wckTime=5.56 cpuTime=5.51 mem=16M638
6.57
6.57 search
6.58 run=2 nbConstraintChecks=3914436 nbValidityChecks=25016 nbPropagations=4167 nbRevisions=3413
6.58 nbUselessRevisions=205 nbAssignments=283 nbFailedAssignments=220 nbBacktracks=53 nbVisitedNodes=504
6.58 nbRestartNogoods=4 mapSize=26 nbInferences=0 nbTooLargeKeys=0
6.58 => wckTime=5.82 cpuTime=5.77 mem=16M638
6.83
6.83 search
6.83 run=3 nbConstraintChecks=4401868 nbValidityChecks=28310 nbPropagations=5848 nbRevisions=4842
6.83 nbUselessRevisions=349 nbAssignments=332 nbFailedAssignments=232 nbBacktracks=87 nbVisitedNodes=565
6.83 nbRestartNogoods=10 mapSize=38 nbInferences=0 nbTooLargeKeys=0
6.83 => wckTime=6.077 cpuTime=6.02 mem=16M638
7.24
7.24 search
7.24 run=4 nbConstraintChecks=5136348 nbValidityChecks=33351 nbPropagations=7767 nbRevisions=6505
7.24 nbUselessRevisions=559 nbAssignments=409 nbFailedAssignments=251 nbBacktracks=142 nbVisitedNodes=661
7.24 nbRestartNogoods=16 mapSize=58 nbInferences=0 nbTooLargeKeys=0
7.24 => wckTime=6.483 cpuTime=6.42 mem=16M638
7.67
7.67 search
7.67 run=5 nbConstraintChecks=5929015 nbValidityChecks=40527 nbPropagations=9970 nbRevisions=8483
7.67 nbUselessRevisions=893 nbAssignments=511 nbFailedAssignments=271 nbBacktracks=223 nbVisitedNodes=783
7.67 nbRestartNogoods=24 mapSize=79 nbInferences=0 nbTooLargeKeys=0
7.67 => wckTime=6.918 cpuTime=6.85 mem=16M638
8.29
8.29 search
8.29 run=6 nbConstraintChecks=6970607 nbValidityChecks=49822 nbPropagations=12587 nbRevisions=10919
8.29 nbUselessRevisions=1407 nbAssignments=661 nbFailedAssignments=301 nbBacktracks=342 nbVisitedNodes=963
8.29 nbRestartNogoods=34 mapSize=109 nbInferences=0 nbTooLargeKeys=0
8.29 => wckTime=7.537 cpuTime=7.46 mem=16M638
9.76
9.76 search
9.76 run=7 nbConstraintChecks=9380923 nbValidityChecks=76633 nbPropagations=16007 nbRevisions=14145
9.76 nbUselessRevisions=2110 nbAssignments=921 nbFailedAssignments=387 nbBacktracks=513 nbVisitedNodes=1309
9.76 nbRestartNogoods=49 mapSize=167 nbInferences=0 nbTooLargeKeys=0
9.76 => wckTime=9.007 cpuTime=8.92 mem=16M638
12.69
12.69 search
12.69 run=8 nbConstraintChecks=13881897 nbValidityChecks=99769 nbPropagations=20622 nbRevisions=18708
12.69 nbUselessRevisions=3175 nbAssignments=1330 nbFailedAssignments=524 nbBacktracks=769 nbVisitedNodes=1855
12.69 nbRestartNogoods=76 mapSize=284 nbInferences=0 nbTooLargeKeys=0
12.69 => wckTime=11.934 cpuTime=11.83 mem=16M638
13.47
13.47 search
13.47 run=9 nbConstraintChecks=15082132 nbValidityChecks=103368 nbPropagations=25635 nbRevisions=23670
13.47 nbUselessRevisions=4366 nbAssignments=1488 nbFailedAssignments=550 nbBacktracks=801 nbVisitedNodes=2039
13.47 nbRestartNogoods=109 mapSize=308 nbInferences=0 nbTooLargeKeys=0
13.47 => wckTime=12.716 cpuTime=12.61 mem=17M613
13.47
13.47 global
13.47 nbConstraintChecks=23710328 nbValidityChecks=104225 nbPropagations=25743 nbRevisions=23704
13.47 nbUselessRevisions=4370 nbRestartNogoods=109 solvingWckTime=12.717 solvingCpuTime=12.62 expiredTime=no
13.47 totalExploration=no nbFoundSolutions=1 globalCpuTime=12.99
13.47 => wckTime=13.169 cpuTime=12.94 mem=17M613
13.47
13.47 s SATISFIABLE
13.47 v 43 59 107 101 89 101 59 41 29 3 5 19 73 71 89 39 2 17 83 59 37 2 107 29 2 73 5 43 19 101 113 41 41 67 113 107 43 59 3 83 29 7 79 113 47 19 23 2 13 2 89 59 3 73 103 7 5 73 59 3 53 53 2 107 103 13 59 29 43 61 97 53 41 53 67 107 47 47 2 73 19 67 17 23 23 97 7 105 47 71 41 2 103 67 71 83 59 17 97 113
13.47 d NODES 1488
13.47 d CHECKS 23710328
13.47
13.47 totalWckTime=13.246 totalCpuTime=12.99
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node62/watcher-248298-1168085969 -o ROOT/results/node62/solver-248298-1168085969 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/248298-1168085969/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.03 0.50 1.12 4/73 6867
/proc/meminfo: memFree=1111880/2055920 swapFree=4192812/4192956
[pid=6866] ppid=6861 vsize=47416 CPUtime=0
/proc/6866/stat : 6866 (java) R 6861 6866 6730 0 -1 0 995 0 1 0 0 0 0 0 17 0 1 0 156995782 48553984 744 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4151972536 0 4 0 7368 0 0 0 17 1 0 0
/proc/6866/statm: 11854 748 605 14 0 1707 0
[startup+0.102505 s]
/proc/loadavg: 0.03 0.50 1.12 4/73 6867
/proc/meminfo: memFree=1111880/2055920 swapFree=4192812/4192956
[pid=6866] ppid=6861 vsize=914988 CPUtime=0.08
/proc/6866/stat : 6866 (java) R 6861 6866 6730 0 -1 0 2963 0 1 0 6 2 0 0 20 0 8 0 156995782 936947712 2709 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155769996 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6866/statm: 228747 2709 1417 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510584 s]
/proc/loadavg: 0.03 0.50 1.12 4/73 6867
/proc/meminfo: memFree=1111880/2055920 swapFree=4192812/4192956
[pid=6866] ppid=6861 vsize=915464 CPUtime=0.48
/proc/6866/stat : 6866 (java) R 6861 6866 6730 0 -1 0 6836 0 1 0 44 4 0 0 22 0 8 0 156995782 937435136 6575 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942738 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6866/statm: 228866 6575 2165 14 0 215336 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915464
[startup+1.33375 s]
/proc/loadavg: 0.03 0.50 1.12 3/87 6881
/proc/meminfo: memFree=1063448/2055920 swapFree=4192812/4192956
[pid=6866] ppid=6861 vsize=915464 CPUtime=1.29
/proc/6866/stat : 6866 (java) R 6861 6866 6730 0 -1 0 8923 0 1 0 123 6 0 0 25 0 8 0 156995782 937435136 8661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073753721 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6866/statm: 228866 8661 2528 14 0 215336 0
[pid=6866/tid=6869] ppid=6861 vsize=915464 CPUtime=0.02
/proc/6866/task/6869/stat : 6869 (java) S 6861 6866 6730 0 -1 64 214 0 0 0 2 0 0 0 17 0 8 0 156995785 937435136 8661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6866/tid=6872] ppid=6861 vsize=915464 CPUtime=0
/proc/6866/task/6872/stat : 6872 (java) S 6861 6866 6730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156995786 937435136 8661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6866/tid=6873] ppid=6861 vsize=915464 CPUtime=0
/proc/6866/task/6873/stat : 6873 (java) S 6861 6866 6730 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156995786 937435136 8661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6866/tid=6878] ppid=6861 vsize=915464 CPUtime=0
/proc/6866/task/6878/stat : 6878 (java) S 6861 6866 6730 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156995789 937435136 8661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6866/tid=6879] ppid=6861 vsize=915464 CPUtime=0.13
/proc/6866/task/6879/stat : 6879 (java) S 6861 6866 6730 0 -1 64 348 0 0 0 13 0 0 0 15 0 8 0 156995789 937435136 8661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6866/tid=6880] ppid=6861 vsize=915464 CPUtime=0
/proc/6866/task/6880/stat : 6880 (java) S 6861 6866 6730 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156995789 937435136 8661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6866/tid=6881] ppid=6861 vsize=915464 CPUtime=0
/proc/6866/task/6881/stat : 6881 (java) S 6861 6866 6730 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156995789 937435136 8661 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915464
[startup+2.97807 s]
/proc/loadavg: 0.03 0.50 1.12 3/87 6881
/proc/meminfo: memFree=1063448/2055920 swapFree=4192812/4192956
[pid=6866] ppid=6861 vsize=915464 CPUtime=2.94
/proc/6866/stat : 6866 (java) R 6861 6866 6730 0 -1 0 8929 0 1 0 287 7 0 0 25 0 8 0 156995782 937435136 8665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758688 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6866/statm: 228866 8665 2528 14 0 215336 0
[pid=6866/tid=6869] ppid=6861 vsize=915464 CPUtime=0.02
/proc/6866/task/6869/stat : 6869 (java) S 6861 6866 6730 0 -1 64 214 0 0 0 2 0 0 0 17 0 8 0 156995785 937435136 8665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6866/tid=6872] ppid=6861 vsize=915464 CPUtime=0
/proc/6866/task/6872/stat : 6872 (java) S 6861 6866 6730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156995786 937435136 8665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6866/tid=6873] ppid=6861 vsize=915464 CPUtime=0
/proc/6866/task/6873/stat : 6873 (java) S 6861 6866 6730 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156995786 937435136 8665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6866/tid=6878] ppid=6861 vsize=915464 CPUtime=0
/proc/6866/task/6878/stat : 6878 (java) S 6861 6866 6730 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156995789 937435136 8665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6866/tid=6879] ppid=6861 vsize=915464 CPUtime=0.14
/proc/6866/task/6879/stat : 6879 (java) S 6861 6866 6730 0 -1 64 354 0 0 0 14 0 0 0 15 0 8 0 156995789 937435136 8665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6866/tid=6880] ppid=6861 vsize=915464 CPUtime=0
/proc/6866/task/6880/stat : 6880 (java) S 6861 6866 6730 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156995789 937435136 8665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6866/tid=6881] ppid=6861 vsize=915464 CPUtime=0
/proc/6866/task/6881/stat : 6881 (java) S 6861 6866 6730 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156995789 937435136 8665 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915464
[startup+6.26472 s]
/proc/loadavg: 0.10 0.50 1.12 2/75 6881
/proc/meminfo: memFree=1087160/2055920 swapFree=4192812/4192956
[pid=6866] ppid=6861 vsize=915464 CPUtime=6.22
/proc/6866/stat : 6866 (java) R 6861 6866 6730 0 -1 0 9059 0 1 0 615 7 0 0 17 0 8 0 156995782 937435136 8791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073757428 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/6866/statm: 228866 8791 2533 14 0 215336 0
[pid=6866/tid=6869] ppid=6861 vsize=915464 CPUtime=0.02
/proc/6866/task/6869/stat : 6869 (java) S 6861 6866 6730 0 -1 64 215 0 0 0 2 0 0 0 15 0 8 0 156995785 937435136 8791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6866/tid=6872] ppid=6861 vsize=915464 CPUtime=0
/proc/6866/task/6872/stat : 6872 (java) S 6861 6866 6730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156995786 937435136 8791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6866/tid=6873] ppid=6861 vsize=915464 CPUtime=0
/proc/6866/task/6873/stat : 6873 (java) S 6861 6866 6730 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156995786 937435136 8791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6866/tid=6878] ppid=6861 vsize=915464 CPUtime=0
/proc/6866/task/6878/stat : 6878 (java) S 6861 6866 6730 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156995789 937435136 8791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6866/tid=6879] ppid=6861 vsize=915464 CPUtime=0.16
/proc/6866/task/6879/stat : 6879 (java) S 6861 6866 6730 0 -1 64 367 0 0 0 16 0 0 0 16 0 8 0 156995789 937435136 8791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6866/tid=6880] ppid=6861 vsize=915464 CPUtime=0
/proc/6866/task/6880/stat : 6880 (java) S 6861 6866 6730 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156995789 937435136 8791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6866/tid=6881] ppid=6861 vsize=915464 CPUtime=0
/proc/6866/task/6881/stat : 6881 (java) S 6861 6866 6730 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156995789 937435136 8791 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915464
[startup+12.739 s]
/proc/loadavg: 0.18 0.51 1.12 2/75 6889
/proc/meminfo: memFree=1086656/2055920 swapFree=4192812/4192956
[pid=6866] ppid=6861 vsize=915464 CPUtime=12.66
/proc/6866/stat : 6866 (java) R 6861 6866 6730 0 -1 0 9176 0 1 0 1259 7 0 0 25 0 8 0 156995782 937435136 8904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073752288 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/6866/statm: 228866 8904 2533 14 0 215336 0
[pid=6866/tid=6869] ppid=6861 vsize=915464 CPUtime=0.02
/proc/6866/task/6869/stat : 6869 (java) S 6861 6866 6730 0 -1 64 215 0 0 0 2 0 0 0 16 0 8 0 156995785 937435136 8904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=6866/tid=6872] ppid=6861 vsize=915464 CPUtime=0
/proc/6866/task/6872/stat : 6872 (java) S 6861 6866 6730 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156995786 937435136 8904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6866/tid=6873] ppid=6861 vsize=915464 CPUtime=0
/proc/6866/task/6873/stat : 6873 (java) S 6861 6866 6730 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156995786 937435136 8904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=6866/tid=6878] ppid=6861 vsize=915464 CPUtime=0
/proc/6866/task/6878/stat : 6878 (java) S 6861 6866 6730 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156995789 937435136 8904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6866/tid=6879] ppid=6861 vsize=915464 CPUtime=0.19
/proc/6866/task/6879/stat : 6879 (java) S 6861 6866 6730 0 -1 64 379 0 0 0 18 1 0 0 16 0 8 0 156995789 937435136 8904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6866/tid=6880] ppid=6861 vsize=915464 CPUtime=0
/proc/6866/task/6880/stat : 6880 (java) S 6861 6866 6730 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156995789 937435136 8904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=6866/tid=6881] ppid=6861 vsize=915464 CPUtime=0
/proc/6866/task/6881/stat : 6881 (java) S 6861 6866 6730 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156995789 937435136 8904 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 13.5039
CPU time (s): 13.421
CPU user time (s): 13.34
CPU system time (s): 0.080987
CPU usage (%): 99.3859
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.34
system time used= 0.080987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9304
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= 1268
involuntary context switches= 1261
runsolver used 0.013997 s user time and 0.040993 s system time
The end
Begin job on node62 on Sat Jan 6 12:19:36 UTC 2007
IDJOB= 248298
IDBENCH= 11696
FILE ID= node62/248298-1168085969
PBS_JOBID= 3476584
Free space on /tmp= 66549 MiB
BENCH NAME= HOME/pub/bench/CPAI06/primes/primes-30/primes-30-60-3-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/248298-1168085969/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-248298-1168085969 -o ROOT/results/node62/solver-248298-1168085969 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/248298-1168085969/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 427b19cfdc78797cbc2dbf40ed5da3e5
RANDOM SEED= 37553180
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: 1113160 kB
Buffers: 60688 kB
Cached: 783940 kB
SwapCached: 0 kB
Active: 136200 kB
Inactive: 728428 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1113160 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3636 kB
Writeback: 0 kB
Mapped: 30184 kB
Slab: 63888 kB
Committed_AS: 2962340 kB
PageTables: 1684 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= 66549 MiB
End job on node62 on Sat Jan 6 12:19:58 UTC 2007