0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/221859-1168080127/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.42 => wckTime=0.099 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
0.51
0.51 constraints being loaded...
0.64 nbConstraints=276 nbRelationTypes=276 nbExtensionStructures=276 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=276 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=854 maxDegree=23
0.64 maxArity=2
0.64 => wckTime=0.316 cpuTime=0.23 mem=13M794
0.68
0.68 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.513 cpuTime=0.36 mem=14M41
0.84
0.84 preprocessing
0.84 nbConstraintChecks=0 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.84 detectedInconsistency=no
0.84 => wckTime=0.0040 cpuTime=0.01 mem=14M41
0.89
0.89 search
0.89 run=0 nbConstraintChecks=33241 nbPropagations=431 nbRevisions=6544 nbUselessRevisions=5615 nbAssignments=26
0.89 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=44 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.052 cpuTime=0.04 mem=15M65
0.90
0.90 search
0.90 run=1 nbConstraintChecks=74958 nbPropagations=1379 nbRevisions=21681 nbUselessRevisions=18665 nbAssignments=60
0.90 nbFailedAssignments=24 nbBacktracks=26 nbVisitedNodes=104 nbRestartNogoods=4 mapSize=26 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.07 cpuTime=0.05 mem=15M65
0.93
0.93 search
0.93 run=2 nbConstraintChecks=149927 nbPropagations=3176 nbRevisions=52585 nbUselessRevisions=45326
0.93 nbAssignments=116 nbFailedAssignments=52 nbBacktracks=49 nbVisitedNodes=205 nbRestartNogoods=5 mapSize=49
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.099 cpuTime=0.07 mem=15M65
0.96
0.96 search
0.96 run=3 nbConstraintChecks=254112 nbPropagations=6177 nbRevisions=106496 nbUselessRevisions=91815
0.96 nbAssignments=191 nbFailedAssignments=90 nbBacktracks=82 nbVisitedNodes=347 nbRestartNogoods=12 mapSize=82
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.127 cpuTime=0.1 mem=15M65
0.99
0.99 search
0.99 run=4 nbConstraintChecks=378917 nbPropagations=10682 nbRevisions=188394 nbUselessRevisions=162630
0.99 nbAssignments=289 nbFailedAssignments=131 nbBacktracks=133 nbVisitedNodes=528 nbRestartNogoods=16 mapSize=133
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.155 cpuTime=0.12 mem=15M65
1.04
1.04 search
1.04 run=5 nbConstraintChecks=580763 nbPropagations=17515 nbRevisions=314877 nbUselessRevisions=271770
1.04 nbAssignments=448 nbFailedAssignments=211 nbBacktracks=209 nbVisitedNodes=823 nbRestartNogoods=22 mapSize=207
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.201 cpuTime=0.17 mem=15M65
1.10
1.10 search
1.10 run=6 nbConstraintChecks=877872 nbPropagations=27798 nbRevisions=508029 nbUselessRevisions=438780
1.10 nbAssignments=678 nbFailedAssignments=323 nbBacktracks=322 nbVisitedNodes=1250 nbRestartNogoods=23 mapSize=317
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.265 cpuTime=0.22 mem=15M65
1.20
1.20 search
1.20 run=7 nbConstraintChecks=1340595 nbPropagations=43373 nbRevisions=806297 nbUselessRevisions=697222
1.20 nbAssignments=1027 nbFailedAssignments=496 nbBacktracks=493 nbVisitedNodes=1895 nbRestartNogoods=28
1.20 mapSize=485 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.364 cpuTime=0.32 mem=15M65
1.34
1.34 search
1.34 run=8 nbConstraintChecks=1991918 nbPropagations=66405 nbRevisions=1251033 nbUselessRevisions=1082402
1.34 nbAssignments=1526 nbFailedAssignments=733 nbBacktracks=749 nbVisitedNodes=2819 nbRestartNogoods=36
1.34 mapSize=733 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.51 cpuTime=0.44 mem=15M65
1.49
1.49 INFO : Stopping hyperNogood (mapSize=1030, nbTooLargekeys=0, mem=15M65)
1.53
1.53 search
1.53 run=9 nbConstraintChecks=3018500 nbPropagations=101053 nbRevisions=1926819 nbUselessRevisions=1667707
1.53 nbAssignments=2308 nbFailedAssignments=1127 nbBacktracks=1133 nbVisitedNodes=4283 nbRestartNogoods=45
1.53 => wckTime=0.698 cpuTime=0.62 mem=15M65
1.79
1.79 search
1.79 run=10 nbConstraintChecks=4550047 nbPropagations=152920 nbRevisions=2942201 nbUselessRevisions=2547020
1.79 nbAssignments=3457 nbFailedAssignments=1694 nbBacktracks=1709 nbVisitedNodes=6419 nbRestartNogoods=50
1.79 => wckTime=0.959 cpuTime=0.87 mem=15M65
2.13
2.13 search
2.13 run=11 nbConstraintChecks=6701952 nbPropagations=229500 nbRevisions=4443778 nbUselessRevisions=3847980
2.13 nbAssignments=5117 nbFailedAssignments=2484 nbBacktracks=2573 nbVisitedNodes=9498 nbRestartNogoods=61
2.13 => wckTime=1.294 cpuTime=1.2 mem=15M65
2.64
2.64 search
2.64 run=12 nbConstraintChecks=9974886 nbPropagations=343793 nbRevisions=6685692 nbUselessRevisions=5790801
2.64 nbAssignments=7638 nbFailedAssignments=3703 nbBacktracks=3870 nbVisitedNodes=14177 nbRestartNogoods=75
2.65 => wckTime=1.81 cpuTime=1.71 mem=15M65
3.44
3.44 search
3.44 run=13 nbConstraintChecks=15101804 nbPropagations=516074 nbRevisions=10083515 nbUselessRevisions=8735328
3.44 nbAssignments=11497 nbFailedAssignments=5612 nbBacktracks=5816 nbVisitedNodes=21380 nbRestartNogoods=90
3.44 => wckTime=2.605 cpuTime=2.5 mem=15M65
4.65
4.65 search
4.65 run=14 nbConstraintChecks=23019228 nbPropagations=776475 nbRevisions=15254180 nbUselessRevisions=13218546
4.65 nbAssignments=17346 nbFailedAssignments=8537 nbBacktracks=8736 nbVisitedNodes=32301 nbRestartNogoods=99
4.65 => wckTime=3.817 cpuTime=3.7 mem=15M65
6.48
6.48 search
6.48 run=15 nbConstraintChecks=34987814 nbPropagations=1169843 nbRevisions=23078132 nbUselessRevisions=19999586
6.48 nbAssignments=26092 nbFailedAssignments=12900 nbBacktracks=13115 nbVisitedNodes=48681 nbRestartNogoods=104
6.48 => wckTime=5.645 cpuTime=5.51 mem=15M65
9.19
9.19 search
9.19 run=16 nbConstraintChecks=52744082 nbPropagations=1760762 nbRevisions=34864946 nbUselessRevisions=30218060
9.19 nbAssignments=39096 nbFailedAssignments=19331 nbBacktracks=19683 nbVisitedNodes=73014 nbRestartNogoods=116
9.19 => wckTime=8.352 cpuTime=8.19 mem=15M65
13.31
13.31 search
13.31 run=17 nbConstraintChecks=80202427 nbPropagations=2652521 nbRevisions=52732625 nbUselessRevisions=45709526
13.31 nbAssignments=58809 nbFailedAssignments=29187 nbBacktracks=29536 nbVisitedNodes=109889 nbRestartNogoods=129
13.31 => wckTime=12.474 cpuTime=12.28 mem=15M65
19.39
19.39 search
19.39 run=18 nbConstraintChecks=120402758 nbPropagations=3988399 nbRevisions=79538821 nbUselessRevisions=68956439
19.39 nbAssignments=88127 nbFailedAssignments=43723 nbBacktracks=44314 nbVisitedNodes=164660 nbRestartNogoods=140
19.39 => wckTime=18.557 cpuTime=18.31 mem=15M65
28.57
28.57 search
28.57 run=19 nbConstraintChecks=180635116 nbPropagations=5989878 nbRevisions=119759616 nbUselessRevisions=103846104
28.57 nbAssignments=132114 nbFailedAssignments=65537 nbBacktracks=66482 nbVisitedNodes=246935 nbRestartNogoods=153
28.57 => wckTime=27.733 cpuTime=27.4 mem=15M65
42.32
42.32 search
42.32 run=20 nbConstraintChecks=271310260 nbPropagations=8992504 nbRevisions=180200332 nbUselessRevisions=156282418
42.32 nbAssignments=198333 nbFailedAssignments=98500 nbBacktracks=99734 nbVisitedNodes=370628 nbRestartNogoods=175
42.32 => wckTime=41.484 cpuTime=41.04 mem=15M65
63.24
63.24 search
63.24 run=21 nbConstraintChecks=410104238 nbPropagations=13510530 nbRevisions=271385716 nbUselessRevisions=235412298
63.24 nbAssignments=297998 nbFailedAssignments=148282 nbBacktracks=149613 nbVisitedNodes=557054 nbRestartNogoods=186
63.24 => wckTime=62.406 cpuTime=61.78 mem=15M65
94.95
94.95 search
94.95 run=22 nbConstraintChecks=621032317 nbPropagations=20322650 nbRevisions=409231027 nbUselessRevisions=355055871
94.95 nbAssignments=447653 nbFailedAssignments=223114 nbBacktracks=224432 nbVisitedNodes=837215 nbRestartNogoods=197
94.95 => wckTime=94.119 cpuTime=93.22 mem=15M65
142.40
142.40 search
142.40 run=23 nbConstraintChecks=936319703 nbPropagations=30562861 nbRevisions=616945511 nbUselessRevisions=535387643
142.40 nbAssignments=671821 nbFailedAssignments=335051 nbBacktracks=336659 nbVisitedNodes=1256554 nbRestartNogoods=207
142.40 => wckTime=141.562 cpuTime=140.25 mem=15M65
214.69
214.69 search
214.69 run=24 nbConstraintChecks=1420407983 nbPropagations=45998923 nbRevisions=931305569 nbUselessRevisions=808367456
214.69 nbAssignments=1009170 nbFailedAssignments=504055 nbBacktracks=505001 nbVisitedNodes=1888223
214.69 nbRestartNogoods=221
214.69 => wckTime=213.86 cpuTime=211.93 mem=15M65
234.79
234.79 search
234.79 run=25 nbConstraintChecks=1555666554 nbPropagations=62870189 nbRevisions=1275391068
234.79 nbUselessRevisions=1107188398 nbAssignments=1101906 nbFailedAssignments=550637 nbBacktracks=551156
234.79 nbVisitedNodes=2061814 nbRestartNogoods=229
234.79 => wckTime=233.957 cpuTime=231.86 mem=15M65
234.79
234.79 global
234.79 nbConstraintChecks=1555666554 nbPropagations=62870213 nbRevisions=1275391068 nbUselessRevisions=1107188398
234.79 nbRestartNogoods=229 solvingWckTime=233.958 solvingCpuTime=231.86 expiredTime=no totalExploration=yes
234.79 nbFoundSolutions=0 globalCpuTime=232.27
234.79 => wckTime=234.474 cpuTime=232.22 mem=15M65
234.80
234.80 s UNSATISFIABLE
234.80 d NODES 1101906
234.80 d CHECKS 1555666554
234.80
234.80 totalWckTime=234.557 totalCpuTime=232.27
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-221859-1168080127 -o ROOT/results/node43/solver-221859-1168080127 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221859-1168080127/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.92 1.97 1.86 4/80 9566
/proc/meminfo: memFree=1571480/2055920 swapFree=4192812/4192956
[pid=9565] ppid=9563 vsize=9948 CPUtime=0
/proc/9565/stat : 9565 (java) S 9563 9565 9225 0 -1 0 723 0 0 0 0 0 0 0 18 0 1 0 156411880 10186752 472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/9565/statm: 2487 472 386 14 0 1142 0
[startup+0.103116 s]
/proc/loadavg: 1.92 1.97 1.86 4/80 9566
/proc/meminfo: memFree=1571480/2055920 swapFree=4192812/4192956
[pid=9565] ppid=9563 vsize=914988 CPUtime=0.08
/proc/9565/stat : 9565 (java) D 9563 9565 9225 0 -1 0 2988 0 1 0 7 1 0 0 18 0 8 0 156411880 936947712 2734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9565/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514706 s]
/proc/loadavg: 1.92 1.97 1.86 4/80 9566
/proc/meminfo: memFree=1571480/2055920 swapFree=4192812/4192956
[pid=9565] ppid=9563 vsize=915328 CPUtime=0.49
/proc/9565/stat : 9565 (java) R 9563 9565 9225 0 -1 0 6918 0 1 0 44 5 0 0 18 0 8 0 156411880 937295872 6657 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073564857 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9565/statm: 228832 6657 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34361 s]
/proc/loadavg: 1.92 1.97 1.86 3/87 9573
/proc/meminfo: memFree=1548000/2055920 swapFree=4192812/4192956
[pid=9565] ppid=9563 vsize=915452 CPUtime=1.3
/proc/9565/stat : 9565 (java) R 9563 9565 9225 0 -1 0 8606 0 1 0 124 6 0 0 24 0 8 0 156411880 937422848 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072933105 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9565/statm: 228863 8344 2513 14 0 215333 0
[pid=9565/tid=9567] ppid=9563 vsize=915452 CPUtime=0.03
/proc/9565/task/9567/stat : 9567 (java) S 9563 9565 9225 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156411884 937422848 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9568] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9568/stat : 9568 (java) S 9563 9565 9225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156411885 937422848 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9569] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9569/stat : 9569 (java) S 9563 9565 9225 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156411885 937422848 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9570] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9570/stat : 9570 (java) S 9563 9565 9225 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156411888 937422848 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9571] ppid=9563 vsize=915452 CPUtime=0.21
/proc/9565/task/9571/stat : 9571 (java) S 9563 9565 9225 0 -1 64 378 0 0 0 20 1 0 0 15 0 8 0 156411888 937422848 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9572] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9572/stat : 9572 (java) S 9563 9565 9225 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156411888 937422848 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9573] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9573/stat : 9573 (java) S 9563 9565 9225 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156411888 937422848 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915452
[startup+2.98259 s]
/proc/loadavg: 1.93 1.97 1.86 3/87 9573
/proc/meminfo: memFree=1547680/2055920 swapFree=4192812/4192956
[pid=9565] ppid=9563 vsize=915452 CPUtime=2.93
/proc/9565/stat : 9565 (java) R 9563 9565 9225 0 -1 0 8638 0 1 0 286 7 0 0 25 0 8 0 156411880 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794726 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9565/statm: 228863 8375 2513 14 0 215333 0
[pid=9565/tid=9567] ppid=9563 vsize=915452 CPUtime=0.03
/proc/9565/task/9567/stat : 9567 (java) S 9563 9565 9225 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156411884 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9568] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9568/stat : 9568 (java) S 9563 9565 9225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156411885 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9569] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9569/stat : 9569 (java) S 9563 9565 9225 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156411885 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9570] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9570/stat : 9570 (java) S 9563 9565 9225 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156411888 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9571] ppid=9563 vsize=915452 CPUtime=0.23
/proc/9565/task/9571/stat : 9571 (java) S 9563 9565 9225 0 -1 64 387 0 0 0 22 1 0 0 15 0 8 0 156411888 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9572] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9572/stat : 9572 (java) S 9563 9565 9225 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156411888 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9573] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9573/stat : 9573 (java) S 9563 9565 9225 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156411888 937422848 8375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915452
[startup+6.27714 s]
/proc/loadavg: 1.93 1.97 1.86 3/87 9573
/proc/meminfo: memFree=1547616/2055920 swapFree=4192812/4192956
[pid=9565] ppid=9563 vsize=915452 CPUtime=6.19
/proc/9565/stat : 9565 (java) R 9563 9565 9225 0 -1 0 8645 0 1 0 612 7 0 0 25 0 8 0 156411880 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816453 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9565/statm: 228863 8382 2513 14 0 215333 0
[pid=9565/tid=9567] ppid=9563 vsize=915452 CPUtime=0.03
/proc/9565/task/9567/stat : 9567 (java) S 9563 9565 9225 0 -1 64 304 0 0 0 3 0 0 0 17 0 8 0 156411884 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9568] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9568/stat : 9568 (java) S 9563 9565 9225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156411885 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9569] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9569/stat : 9569 (java) S 9563 9565 9225 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156411885 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9570] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9570/stat : 9570 (java) S 9563 9565 9225 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156411888 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9571] ppid=9563 vsize=915452 CPUtime=0.23
/proc/9565/task/9571/stat : 9571 (java) S 9563 9565 9225 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 156411888 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9572] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9572/stat : 9572 (java) S 9563 9565 9225 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156411888 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9573] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9573/stat : 9573 (java) S 9563 9565 9225 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156411888 937422848 8382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915452
[startup+12.7526 s]
/proc/loadavg: 1.94 1.97 1.86 3/87 9573
/proc/meminfo: memFree=1547616/2055920 swapFree=4192812/4192956
[pid=9565] ppid=9563 vsize=915452 CPUtime=12.6
/proc/9565/stat : 9565 (java) R 9563 9565 9225 0 -1 0 8651 0 1 0 1253 7 0 0 25 0 8 0 156411880 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801145 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9565/statm: 228863 8387 2513 14 0 215333 0
[pid=9565/tid=9567] ppid=9563 vsize=915452 CPUtime=0.03
/proc/9565/task/9567/stat : 9567 (java) S 9563 9565 9225 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156411884 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9568] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9568/stat : 9568 (java) S 9563 9565 9225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156411885 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9569] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9569/stat : 9569 (java) S 9563 9565 9225 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156411885 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9570] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9570/stat : 9570 (java) S 9563 9565 9225 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156411888 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9571] ppid=9563 vsize=915452 CPUtime=0.23
/proc/9565/task/9571/stat : 9571 (java) S 9563 9565 9225 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 156411888 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9572] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9572/stat : 9572 (java) S 9563 9565 9225 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156411888 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9573] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9573/stat : 9573 (java) S 9563 9565 9225 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156411888 937422848 8387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915452
[startup+25.5994 s]
/proc/loadavg: 1.95 1.97 1.86 3/87 9573
/proc/meminfo: memFree=1547616/2055920 swapFree=4192812/4192956
[pid=9565] ppid=9563 vsize=915452 CPUtime=25.34
/proc/9565/stat : 9565 (java) R 9563 9565 9225 0 -1 0 8656 0 1 0 2527 7 0 0 25 0 8 0 156411880 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073787689 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9565/statm: 228863 8392 2513 14 0 215333 0
[pid=9565/tid=9567] ppid=9563 vsize=915452 CPUtime=0.03
/proc/9565/task/9567/stat : 9567 (java) S 9563 9565 9225 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156411884 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9568] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9568/stat : 9568 (java) S 9563 9565 9225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156411885 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9569] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9569/stat : 9569 (java) S 9563 9565 9225 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156411885 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9570] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9570/stat : 9570 (java) S 9563 9565 9225 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156411888 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9571] ppid=9563 vsize=915452 CPUtime=0.23
/proc/9565/task/9571/stat : 9571 (java) S 9563 9565 9225 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 156411888 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9572] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9572/stat : 9572 (java) S 9563 9565 9225 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156411888 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9573] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9573/stat : 9573 (java) S 9563 9565 9225 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156411888 937422848 8392 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915452
[startup+51.2016 s]
/proc/loadavg: 1.96 1.97 1.87 3/87 9573
/proc/meminfo: memFree=1547616/2055920 swapFree=4192812/4192956
[pid=9565] ppid=9563 vsize=915452 CPUtime=50.72
/proc/9565/stat : 9565 (java) R 9563 9565 9225 0 -1 0 8661 0 1 0 5064 8 0 0 25 0 8 0 156411880 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800336 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9565/statm: 228863 8397 2513 14 0 215333 0
[pid=9565/tid=9567] ppid=9563 vsize=915452 CPUtime=0.03
/proc/9565/task/9567/stat : 9567 (java) S 9563 9565 9225 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156411884 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9568] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9568/stat : 9568 (java) S 9563 9565 9225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156411885 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9569] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9569/stat : 9569 (java) S 9563 9565 9225 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156411885 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9570] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9570/stat : 9570 (java) S 9563 9565 9225 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156411888 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9571] ppid=9563 vsize=915452 CPUtime=0.23
/proc/9565/task/9571/stat : 9571 (java) S 9563 9565 9225 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 156411888 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9572] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9572/stat : 9572 (java) S 9563 9565 9225 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156411888 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9573] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9573/stat : 9573 (java) S 9563 9565 9225 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156411888 937422848 8397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915452
[startup+102.403 s]
/proc/loadavg: 2.06 1.99 1.88 3/87 9573
/proc/meminfo: memFree=1547616/2055920 swapFree=4192812/4192956
[pid=9565] ppid=9563 vsize=915452 CPUtime=101.49
/proc/9565/stat : 9565 (java) R 9563 9565 9225 0 -1 0 8665 0 1 0 10141 8 0 0 25 0 8 0 156411880 937422848 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810256 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9565/statm: 228863 8401 2513 14 0 215333 0
[pid=9565/tid=9567] ppid=9563 vsize=915452 CPUtime=0.03
/proc/9565/task/9567/stat : 9567 (java) S 9563 9565 9225 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156411884 937422848 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9568] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9568/stat : 9568 (java) S 9563 9565 9225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156411885 937422848 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9569] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9569/stat : 9569 (java) S 9563 9565 9225 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156411885 937422848 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9570] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9570/stat : 9570 (java) S 9563 9565 9225 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156411888 937422848 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9571] ppid=9563 vsize=915452 CPUtime=0.23
/proc/9565/task/9571/stat : 9571 (java) S 9563 9565 9225 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 156411888 937422848 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9572] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9572/stat : 9572 (java) S 9563 9565 9225 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156411888 937422848 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9573] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9573/stat : 9573 (java) S 9563 9565 9225 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156411888 937422848 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.49
Current children cumulated vsize (KiB) 915452
[startup+162.438 s]
/proc/loadavg: 2.02 1.99 1.88 3/87 9573
/proc/meminfo: memFree=1547680/2055920 swapFree=4192812/4192956
[pid=9565] ppid=9563 vsize=915452 CPUtime=161
/proc/9565/stat : 9565 (java) R 9563 9565 9225 0 -1 0 8668 0 1 0 16092 8 0 0 25 0 8 0 156411880 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9565/statm: 228863 8404 2513 14 0 215333 0
[pid=9565/tid=9567] ppid=9563 vsize=915452 CPUtime=0.03
/proc/9565/task/9567/stat : 9567 (java) S 9563 9565 9225 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156411884 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9568] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9568/stat : 9568 (java) S 9563 9565 9225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156411885 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9569] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9569/stat : 9569 (java) S 9563 9565 9225 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156411885 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9570] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9570/stat : 9570 (java) S 9563 9565 9225 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156411888 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9571] ppid=9563 vsize=915452 CPUtime=0.23
/proc/9565/task/9571/stat : 9571 (java) S 9563 9565 9225 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 156411888 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9572] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9572/stat : 9572 (java) S 9563 9565 9225 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156411888 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9573] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9573/stat : 9573 (java) S 9563 9565 9225 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156411888 937422848 8404 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 161
Current children cumulated vsize (KiB) 915452
[startup+222.482 s]
/proc/loadavg: 2.01 1.99 1.89 3/87 9573
/proc/meminfo: memFree=1547616/2055920 swapFree=4192812/4192956
[pid=9565] ppid=9563 vsize=915452 CPUtime=220.53
/proc/9565/stat : 9565 (java) R 9563 9565 9225 0 -1 0 8670 0 1 0 22045 8 0 0 25 0 8 0 156411880 937422848 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807654 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9565/statm: 228863 8406 2513 14 0 215333 0
[pid=9565/tid=9567] ppid=9563 vsize=915452 CPUtime=0.03
/proc/9565/task/9567/stat : 9567 (java) S 9563 9565 9225 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156411884 937422848 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9568] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9568/stat : 9568 (java) S 9563 9565 9225 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156411885 937422848 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9569] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9569/stat : 9569 (java) S 9563 9565 9225 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156411885 937422848 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9570] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9570/stat : 9570 (java) S 9563 9565 9225 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156411888 937422848 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9571] ppid=9563 vsize=915452 CPUtime=0.23
/proc/9565/task/9571/stat : 9571 (java) S 9563 9565 9225 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 156411888 937422848 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9572] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9572/stat : 9572 (java) S 9563 9565 9225 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156411888 937422848 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9565/tid=9573] ppid=9563 vsize=915452 CPUtime=0
/proc/9565/task/9573/stat : 9573 (java) S 9563 9565 9225 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156411888 937422848 8406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 220.53
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 234.828
CPU time (s): 232.767
CPU user time (s): 232.668
CPU system time (s): 0.098984
CPU usage (%): 99.1222
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 232.668
system time used= 0.098984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8762
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= 5838
involuntary context switches= 13394
runsolver used 0.32695 s user time and 0.678896 s system time
The end
Begin job on node43 on Sat Jan 6 10:42:08 UTC 2007
IDJOB= 221859
IDBENCH= 5470
FILE ID= node43/221859-1168080127
PBS_JOBID= 3476129
Free space on /tmp= 66481 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-24/rand-24-24-276-139-49021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221859-1168080127/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-221859-1168080127 -o ROOT/results/node43/solver-221859-1168080127 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221859-1168080127/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 018906158a3534888a95e4e4a84176ab
RANDOM SEED= 647540531
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.278
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.278
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: 1571960 kB
Buffers: 27740 kB
Cached: 307364 kB
SwapCached: 0 kB
Active: 137364 kB
Inactive: 279224 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1571960 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1884 kB
Writeback: 0 kB
Mapped: 101700 kB
Slab: 52684 kB
Committed_AS: 3777016 kB
PageTables: 1916 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= 66481 MiB
End job on node43 on Sat Jan 6 10:46:02 UTC 2007