0.29
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/228268-1168080864/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.39 => wckTime=0.095 cpuTime=0.09 mem=6M951
0.39
0.39 relations being loaded...
0.48
0.48 constraints being loaded...
0.58 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.58 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8230 maxDegree=26
0.58 maxArity=2
0.58 => wckTime=0.283 cpuTime=0.2 mem=10M860
0.62
0.62 solver IterativeSystematicSolver being built...
0.76 => wckTime=0.47 cpuTime=0.33 mem=13M695
0.77
0.77 preprocessing
0.77 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.77 detectedInconsistency=no
0.77 => wckTime=0.0070 cpuTime=0.01 mem=13M695
0.82
0.82 search
0.82 run=0 nbConstraintChecks=23318 nbPropagations=490 nbRevisions=5532 nbUselessRevisions=4441 nbAssignments=25
0.82 nbFailedAssignments=8 nbBacktracks=12 nbVisitedNodes=42 nbRestartNogoods=0 mapSize=12 nbInferences=0
0.82 nbTooLargeKeys=0
0.82 => wckTime=0.049 cpuTime=0.04 mem=14M670
0.83
0.83 search
0.83 run=1 nbConstraintChecks=52479 nbPropagations=1513 nbRevisions=17753 nbUselessRevisions=14288 nbAssignments=60
0.83 nbFailedAssignments=20 nbBacktracks=28 nbVisitedNodes=99 nbRestartNogoods=3 mapSize=28 nbInferences=0
0.83 nbTooLargeKeys=0
0.83 => wckTime=0.068 cpuTime=0.06 mem=14M670
0.85
0.85 search
0.85 run=2 nbConstraintChecks=88459 nbPropagations=3199 nbRevisions=39094 nbUselessRevisions=31474
0.85 nbAssignments=101 nbFailedAssignments=34 nbBacktracks=52 nbVisitedNodes=167 nbRestartNogoods=6 mapSize=50
0.85 nbInferences=0 nbTooLargeKeys=0
0.86 => wckTime=0.088 cpuTime=0.07 mem=14M670
0.87
0.87 search
0.87 run=3 nbConstraintChecks=144131 nbPropagations=5927 nbRevisions=74713 nbUselessRevisions=60301
0.87 nbAssignments=163 nbFailedAssignments=57 nbBacktracks=85 nbVisitedNodes=271 nbRestartNogoods=7 mapSize=80
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.105 cpuTime=0.09 mem=14M670
0.89
0.89 search
0.89 run=4 nbConstraintChecks=206721 nbPropagations=9861 nbRevisions=126488 nbUselessRevisions=102315
0.89 nbAssignments=249 nbFailedAssignments=84 nbBacktracks=140 nbVisitedNodes=408 nbRestartNogoods=9 mapSize=122
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.126 cpuTime=0.11 mem=14M670
0.93
0.93 search
0.93 run=5 nbConstraintChecks=330245 nbPropagations=16061 nbRevisions=211586 nbUselessRevisions=171971
0.93 nbAssignments=395 nbFailedAssignments=143 nbBacktracks=220 nbVisitedNodes=660 nbRestartNogoods=10 mapSize=195
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.164 cpuTime=0.14 mem=14M670
0.98
0.98 search
0.98 run=6 nbConstraintChecks=499207 nbPropagations=25243 nbRevisions=338963 nbUselessRevisions=276167
0.98 nbAssignments=577 nbFailedAssignments=201 nbBacktracks=335 nbVisitedNodes=968 nbRestartNogoods=14 mapSize=294
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.21 cpuTime=0.19 mem=14M670
1.04
1.04 search
1.04 run=7 nbConstraintChecks=736715 nbPropagations=38689 nbRevisions=526983 nbUselessRevisions=429818
1.04 nbAssignments=847 nbFailedAssignments=295 nbBacktracks=506 nbVisitedNodes=1427 nbRestartNogoods=21 mapSize=432
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.274 cpuTime=0.25 mem=14M670
1.14
1.14 search
1.14 run=8 nbConstraintChecks=1095266 nbPropagations=58601 nbRevisions=808166 nbUselessRevisions=659561
1.14 nbAssignments=1246 nbFailedAssignments=431 nbBacktracks=763 nbVisitedNodes=2106 nbRestartNogoods=26
1.14 mapSize=647 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.374 cpuTime=0.34 mem=14M670
1.28
1.28 search
1.28 run=9 nbConstraintChecks=1616950 nbPropagations=88017 nbRevisions=1230662 nbUselessRevisions=1006363
1.28 nbAssignments=1876 nbFailedAssignments=670 nbBacktracks=1148 nbVisitedNodes=3185 nbRestartNogoods=31
1.28 mapSize=976 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.515 cpuTime=0.47 mem=14M670
1.31
1.31 INFO : Stopping hyperNogood (mapSize=1023, nbTooLargekeys=0, mem=14M670)
1.48
1.48 search
1.48 run=10 nbConstraintChecks=2490510 nbPropagations=132497 nbRevisions=1878844 nbUselessRevisions=1539355
1.48 nbAssignments=2809 nbFailedAssignments=1022 nbBacktracks=1724 nbVisitedNodes=4806 nbRestartNogoods=37
1.48 => wckTime=0.714 cpuTime=0.65 mem=14M670
1.73
1.73 search
1.73 run=11 nbConstraintChecks=3644438 nbPropagations=197585 nbRevisions=2826304 nbUselessRevisions=2317751
1.73 nbAssignments=4129 nbFailedAssignments=1474 nbBacktracks=2588 nbVisitedNodes=7040 nbRestartNogoods=44
1.73 => wckTime=0.962 cpuTime=0.9 mem=14M670
2.13
2.13 search
2.13 run=12 nbConstraintChecks=5558747 nbPropagations=295823 nbRevisions=4263982 nbUselessRevisions=3498282
2.13 nbAssignments=6188 nbFailedAssignments=2231 nbBacktracks=3885 nbVisitedNodes=10568 nbRestartNogoods=50
2.13 => wckTime=1.366 cpuTime=1.3 mem=14M670
2.67
2.67 search
2.67 run=13 nbConstraintChecks=8186424 nbPropagations=441073 nbRevisions=6388683 nbUselessRevisions=5244145
2.67 nbAssignments=9216 nbFailedAssignments=3305 nbBacktracks=5831 nbVisitedNodes=15712 nbRestartNogoods=56
2.67 => wckTime=1.902 cpuTime=1.84 mem=14M670
3.51
3.51 search
3.51 run=14 nbConstraintChecks=12441739 nbPropagations=659466 nbRevisions=9608180 nbUselessRevisions=7890005
3.51 nbAssignments=13813 nbFailedAssignments=4978 nbBacktracks=8750 nbVisitedNodes=23599 nbRestartNogoods=62
3.51 => wckTime=2.74 cpuTime=2.67 mem=14M670
4.71
4.71 search
4.71 run=15 nbConstraintChecks=18571495 nbPropagations=985567 nbRevisions=14421369 nbUselessRevisions=11848819
4.71 nbAssignments=20662 nbFailedAssignments=7439 nbBacktracks=13128 nbVisitedNodes=35283 nbRestartNogoods=72
4.71 => wckTime=3.945 cpuTime=3.88 mem=14M670
6.52
6.52 search
6.52 run=16 nbConstraintChecks=27838654 nbPropagations=1473354 nbRevisions=21619450 nbUselessRevisions=17768460
6.52 nbAssignments=30840 nbFailedAssignments=11041 nbBacktracks=19696 nbVisitedNodes=52647 nbRestartNogoods=80
6.52 => wckTime=5.755 cpuTime=5.69 mem=14M670
9.21
9.21 search
9.21 run=17 nbConstraintChecks=41638369 nbPropagations=2201775 nbRevisions=32367090 nbUselessRevisions=26606506
9.21 nbAssignments=45995 nbFailedAssignments=16335 nbBacktracks=29551 nbVisitedNodes=78419 nbRestartNogoods=93
9.21 => wckTime=8.446 cpuTime=8.38 mem=14M670
13.37
13.37 search
13.37 run=18 nbConstraintChecks=63184263 nbPropagations=3298713 nbRevisions=48647414 nbUselessRevisions=40008039
13.37 nbAssignments=68895 nbFailedAssignments=24452 nbBacktracks=44329 nbVisitedNodes=117567 nbRestartNogoods=102
13.37 => wckTime=12.602 cpuTime=12.53 mem=14M670
14.68
14.68 search
14.68 run=19 nbConstraintChecks=69964731 nbPropagations=4510173 nbRevisions=66640940 nbUselessRevisions=54818145
14.68 nbAssignments=76011 nbFailedAssignments=27001 nbBacktracks=48897 nbVisitedNodes=129741 nbRestartNogoods=108
14.68 => wckTime=13.91 cpuTime=13.84 mem=14M670
14.68
14.68 global
14.68 nbConstraintChecks=69964731 nbPropagations=4510213 nbRevisions=66640940 nbUselessRevisions=54818145
14.68 nbRestartNogoods=108 solvingWckTime=13.912 solvingCpuTime=13.84 expiredTime=no totalExploration=yes
14.68 nbFoundSolutions=0 globalCpuTime=14.21
14.68 => wckTime=14.384 cpuTime=14.17 mem=14M670
14.68
14.68 s UNSATISFIABLE
14.68 d NODES 76011
14.68 d CHECKS 69964731
14.68
14.68 totalWckTime=14.458 totalCpuTime=14.21
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node59/watcher-228268-1168080864 -o ROOT/results/node59/solver-228268-1168080864 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228268-1168080864/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.63 1.55 1.77 3/68 24933
/proc/meminfo: memFree=1494336/2055920 swapFree=4192812/4192956
[pid=24932] ppid=24930 vsize=1784 CPUtime=0
/proc/24932/stat : 24932 (java) R 24930 24932 24349 0 -1 0 164 0 0 0 0 0 0 0 18 0 1 0 156486095 1826816 135 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 9568583 0 0 4096 0 0 0 0 17 1 0 0
/proc/24932/statm: 446 140 106 14 0 91 0
[startup+0.105138 s]
/proc/loadavg: 0.63 1.55 1.77 3/68 24933
/proc/meminfo: memFree=1494336/2055920 swapFree=4192812/4192956
[pid=24932] ppid=24930 vsize=914988 CPUtime=0.09
/proc/24932/stat : 24932 (java) R 24930 24932 24349 0 -1 0 3069 0 1 0 8 1 0 0 16 0 8 0 156486095 936947712 2815 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155274369 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24932/statm: 228747 2815 1453 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.513183 s]
/proc/loadavg: 0.63 1.55 1.77 3/68 24933
/proc/meminfo: memFree=1494336/2055920 swapFree=4192812/4192956
[pid=24932] ppid=24930 vsize=915328 CPUtime=0.49
/proc/24932/stat : 24932 (java) R 24930 24932 24349 0 -1 0 6643 0 1 0 45 4 0 0 16 0 8 0 156486095 937295872 6382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154155540 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24932/statm: 228832 6382 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33427 s]
/proc/loadavg: 0.63 1.55 1.77 2/75 24940
/proc/meminfo: memFree=1470920/2055920 swapFree=4192812/4192956
[pid=24932] ppid=24930 vsize=915456 CPUtime=1.31
/proc/24932/stat : 24932 (java) R 24930 24932 24349 0 -1 0 8578 0 1 0 125 6 0 0 17 0 8 0 156486095 937426944 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797260 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24932/statm: 228864 8316 2513 14 0 215334 0
[pid=24932/tid=24934] ppid=24930 vsize=915456 CPUtime=0.03
/proc/24932/task/24934/stat : 24934 (java) S 24930 24932 24349 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156486098 937426944 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24932/tid=24935] ppid=24930 vsize=915456 CPUtime=0
/proc/24932/task/24935/stat : 24935 (java) S 24930 24932 24349 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156486099 937426944 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24932/tid=24936] ppid=24930 vsize=915456 CPUtime=0
/proc/24932/task/24936/stat : 24936 (java) S 24930 24932 24349 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156486099 937426944 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24932/tid=24937] ppid=24930 vsize=915456 CPUtime=0
/proc/24932/task/24937/stat : 24937 (java) S 24930 24932 24349 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156486102 937426944 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24932/tid=24938] ppid=24930 vsize=915456 CPUtime=0.2
/proc/24932/task/24938/stat : 24938 (java) S 24930 24932 24349 0 -1 64 385 0 0 0 19 1 0 0 16 0 8 0 156486102 937426944 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24932/tid=24939] ppid=24930 vsize=915456 CPUtime=0
/proc/24932/task/24939/stat : 24939 (java) S 24930 24932 24349 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156486102 937426944 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24932/tid=24940] ppid=24930 vsize=915456 CPUtime=0
/proc/24932/task/24940/stat : 24940 (java) S 24930 24932 24349 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156486102 937426944 8316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915456
[startup+2.97144 s]
/proc/loadavg: 0.63 1.55 1.77 2/75 24940
/proc/meminfo: memFree=1470728/2055920 swapFree=4192812/4192956
[pid=24932] ppid=24930 vsize=915456 CPUtime=2.95
/proc/24932/stat : 24932 (java) R 24930 24932 24349 0 -1 0 8593 0 1 0 289 6 0 0 18 0 8 0 156486095 937426944 8330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816347 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24932/statm: 228864 8330 2513 14 0 215334 0
[pid=24932/tid=24934] ppid=24930 vsize=915456 CPUtime=0.03
/proc/24932/task/24934/stat : 24934 (java) S 24930 24932 24349 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156486098 937426944 8330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24932/tid=24935] ppid=24930 vsize=915456 CPUtime=0
/proc/24932/task/24935/stat : 24935 (java) S 24930 24932 24349 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156486099 937426944 8330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24932/tid=24936] ppid=24930 vsize=915456 CPUtime=0
/proc/24932/task/24936/stat : 24936 (java) S 24930 24932 24349 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156486099 937426944 8330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24932/tid=24937] ppid=24930 vsize=915456 CPUtime=0
/proc/24932/task/24937/stat : 24937 (java) S 24930 24932 24349 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156486102 937426944 8330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24932/tid=24938] ppid=24930 vsize=915456 CPUtime=0.21
/proc/24932/task/24938/stat : 24938 (java) S 24930 24932 24349 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 156486102 937426944 8330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24932/tid=24939] ppid=24930 vsize=915456 CPUtime=0
/proc/24932/task/24939/stat : 24939 (java) S 24930 24932 24349 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156486102 937426944 8330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24932/tid=24940] ppid=24930 vsize=915456 CPUtime=0
/proc/24932/task/24940/stat : 24940 (java) S 24930 24932 24349 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156486102 937426944 8330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915456
[startup+6.27381 s]
/proc/loadavg: 0.66 1.54 1.77 2/75 24940
/proc/meminfo: memFree=1470728/2055920 swapFree=4192812/4192956
[pid=24932] ppid=24930 vsize=915456 CPUtime=6.25
/proc/24932/stat : 24932 (java) R 24930 24932 24349 0 -1 0 8599 0 1 0 619 6 0 0 20 0 8 0 156486095 937426944 8335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797619 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24932/statm: 228864 8335 2513 14 0 215334 0
[pid=24932/tid=24934] ppid=24930 vsize=915456 CPUtime=0.03
/proc/24932/task/24934/stat : 24934 (java) S 24930 24932 24349 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156486098 937426944 8335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24932/tid=24935] ppid=24930 vsize=915456 CPUtime=0
/proc/24932/task/24935/stat : 24935 (java) S 24930 24932 24349 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156486099 937426944 8335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24932/tid=24936] ppid=24930 vsize=915456 CPUtime=0
/proc/24932/task/24936/stat : 24936 (java) S 24930 24932 24349 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156486099 937426944 8335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24932/tid=24937] ppid=24930 vsize=915456 CPUtime=0
/proc/24932/task/24937/stat : 24937 (java) S 24930 24932 24349 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156486102 937426944 8335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24932/tid=24938] ppid=24930 vsize=915456 CPUtime=0.21
/proc/24932/task/24938/stat : 24938 (java) S 24930 24932 24349 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 156486102 937426944 8335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24932/tid=24939] ppid=24930 vsize=915456 CPUtime=0
/proc/24932/task/24939/stat : 24939 (java) S 24930 24932 24349 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156486102 937426944 8335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24932/tid=24940] ppid=24930 vsize=915456 CPUtime=0
/proc/24932/task/24940/stat : 24940 (java) S 24930 24932 24349 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156486102 937426944 8335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915456
[startup+12.7375 s]
/proc/loadavg: 0.69 1.53 1.76 2/75 24941
/proc/meminfo: memFree=1472328/2055920 swapFree=4192812/4192956
[pid=24932] ppid=24930 vsize=915456 CPUtime=12.71
/proc/24932/stat : 24932 (java) R 24930 24932 24349 0 -1 0 8604 0 1 0 1265 6 0 0 25 0 8 0 156486095 937426944 8340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818881 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24932/statm: 228864 8340 2513 14 0 215334 0
[pid=24932/tid=24934] ppid=24930 vsize=915456 CPUtime=0.03
/proc/24932/task/24934/stat : 24934 (java) S 24930 24932 24349 0 -1 64 229 0 0 0 3 0 0 0 16 0 8 0 156486098 937426944 8340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24932/tid=24935] ppid=24930 vsize=915456 CPUtime=0
/proc/24932/task/24935/stat : 24935 (java) S 24930 24932 24349 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156486099 937426944 8340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24932/tid=24936] ppid=24930 vsize=915456 CPUtime=0
/proc/24932/task/24936/stat : 24936 (java) S 24930 24932 24349 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156486099 937426944 8340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24932/tid=24937] ppid=24930 vsize=915456 CPUtime=0
/proc/24932/task/24937/stat : 24937 (java) S 24930 24932 24349 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156486102 937426944 8340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24932/tid=24938] ppid=24930 vsize=915456 CPUtime=0.21
/proc/24932/task/24938/stat : 24938 (java) S 24930 24932 24349 0 -1 64 390 0 0 0 20 1 0 0 16 0 8 0 156486102 937426944 8340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24932/tid=24939] ppid=24930 vsize=915456 CPUtime=0
/proc/24932/task/24939/stat : 24939 (java) S 24930 24932 24349 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156486102 937426944 8340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24932/tid=24940] ppid=24930 vsize=915456 CPUtime=0
/proc/24932/task/24940/stat : 24940 (java) S 24930 24932 24349 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156486102 937426944 8340 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 14.7001
CPU time (s): 14.6708
CPU user time (s): 14.5978
CPU system time (s): 0.072988
CPU usage (%): 99.8007
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.5978
system time used= 0.072988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8699
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= 1081
involuntary context switches= 499
runsolver used 0.018997 s user time and 0.046992 s system time
The end
Begin job on node59 on Sat Jan 6 10:54:36 UTC 2007
IDJOB= 228268
IDBENCH= 6173
FILE ID= node59/228268-1168080864
PBS_JOBID= 3476054
Free space on /tmp= 66548 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228268-1168080864/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-228268-1168080864 -o ROOT/results/node59/solver-228268-1168080864 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228268-1168080864/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 187082ae580d17b7d4cf21ee0cd464be
RANDOM SEED= 121203602
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.239
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.239
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: 1494816 kB
Buffers: 45172 kB
Cached: 420424 kB
SwapCached: 0 kB
Active: 75580 kB
Inactive: 411336 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1494816 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1808 kB
Writeback: 0 kB
Mapped: 31528 kB
Slab: 59876 kB
Committed_AS: 2891460 kB
PageTables: 1696 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= 66550 MiB
End job on node59 on Sat Jan 6 10:55:09 UTC 2007