0.37
0.37 Abscon 109 (November, 2006)
0.37
0.37 configuration
0.37 name=mac.xml
0.41
0.41 instance
0.41 name=/tmp/evaluation/202995-1168072791/unknown.xml
0.44
0.44 domains being loaded...
0.44
0.44 variables being loaded...
0.48 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.48 => wckTime=0.102 cpuTime=0.08 mem=6M951
0.48
0.48 relations being loaded...
0.59
0.59 constraints being loaded...
0.70 nbConstraints=338 nbRelationTypes=338 nbExtensionStructures=338 nbSharedExtensionStructures=0
0.70 nbConflictsStructures=338 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=3030 maxDegree=23
0.70 maxArity=2
0.70 => wckTime=0.323 cpuTime=0.24 mem=12M803
0.74
0.74 solver IterativeSystematicSolver being built...
0.89 => wckTime=0.518 cpuTime=0.36 mem=13M920
0.90
0.90 preprocessing
0.90 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.90 detectedInconsistency=no
0.90 => wckTime=0.0050 cpuTime=0.01 mem=13M920
0.95
0.95 search
0.95 run=0 nbConstraintChecks=33799 nbPropagations=507 nbRevisions=5220 nbUselessRevisions=4207 nbAssignments=25
0.95 nbFailedAssignments=7 nbBacktracks=12 nbVisitedNodes=38 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.054 cpuTime=0.03 mem=14M895
0.98
0.98 search
0.98 run=1 nbConstraintChecks=92737 nbPropagations=1771 nbRevisions=19813 nbUselessRevisions=15806 nbAssignments=64
0.98 nbFailedAssignments=22 nbBacktracks=27 nbVisitedNodes=101 nbRestartNogoods=2 mapSize=23 nbInferences=0
0.98 nbTooLargeKeys=0
0.98 => wckTime=0.078 cpuTime=0.05 mem=14M895
1.00
1.00 search
1.00 run=2 nbConstraintChecks=156848 nbPropagations=3863 nbRevisions=45166 nbUselessRevisions=35871
1.00 nbAssignments=109 nbFailedAssignments=39 nbBacktracks=49 nbVisitedNodes=175 nbRestartNogoods=5 mapSize=40
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.101 cpuTime=0.06 mem=14M895
1.02
1.02 search
1.02 run=3 nbConstraintChecks=250776 nbPropagations=7227 nbRevisions=87383 nbUselessRevisions=69402
1.02 nbAssignments=178 nbFailedAssignments=68 nbBacktracks=82 nbVisitedNodes=293 nbRestartNogoods=8 mapSize=68
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.122 cpuTime=0.08 mem=14M895
1.05
1.05 search
1.05 run=4 nbConstraintChecks=404010 nbPropagations=12602 nbRevisions=156421 nbUselessRevisions=124158
1.05 nbAssignments=284 nbFailedAssignments=113 nbBacktracks=133 nbVisitedNodes=477 nbRestartNogoods=11 mapSize=114
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.154 cpuTime=0.11 mem=14M895
1.10
1.10 search
1.10 run=5 nbConstraintChecks=592225 nbPropagations=20602 nbRevisions=261082 nbUselessRevisions=207721
1.10 nbAssignments=429 nbFailedAssignments=173 nbBacktracks=208 nbVisitedNodes=728 nbRestartNogoods=16 mapSize=180
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.196 cpuTime=0.15 mem=14M895
1.16
1.16 search
1.16 run=6 nbConstraintChecks=899736 nbPropagations=32717 nbRevisions=421941 nbUselessRevisions=336139
1.16 nbAssignments=639 nbFailedAssignments=263 nbBacktracks=322 nbVisitedNodes=1097 nbRestartNogoods=20 mapSize=279
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.263 cpuTime=0.21 mem=14M895
1.24
1.24 search
1.24 run=7 nbConstraintChecks=1271549 nbPropagations=50207 nbRevisions=657502 nbUselessRevisions=525224
1.24 nbAssignments=952 nbFailedAssignments=399 nbBacktracks=492 nbVisitedNodes=1638 nbRestartNogoods=26 mapSize=428
1.24 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.338 cpuTime=0.28 mem=14M895
1.36
1.36 search
1.36 run=8 nbConstraintChecks=1933994 nbPropagations=76452 nbRevisions=1015861 nbUselessRevisions=812892
1.36 nbAssignments=1426 nbFailedAssignments=611 nbBacktracks=748 nbVisitedNodes=2470 nbRestartNogoods=32
1.36 mapSize=644 nbInferences=0 nbTooLargeKeys=0
1.36 => wckTime=0.465 cpuTime=0.4 mem=14M895
1.54
1.54 search
1.54 run=9 nbConstraintChecks=2848085 nbPropagations=115128 nbRevisions=1546314 nbUselessRevisions=1238952
1.54 nbAssignments=2090 nbFailedAssignments=884 nbBacktracks=1132 nbVisitedNodes=3625 nbRestartNogoods=40
1.54 mapSize=965 nbInferences=0 nbTooLargeKeys=0
1.54 => wckTime=0.64 cpuTime=0.57 mem=14M895
1.57
1.57 INFO : Stopping hyperNogood (mapSize=1027, nbTooLargekeys=0, mem=14M895)
1.79
1.79 search
1.79 run=10 nbConstraintChecks=4413363 nbPropagations=173929 nbRevisions=2363437 nbUselessRevisions=1895251
1.79 nbAssignments=3152 nbFailedAssignments=1362 nbBacktracks=1708 nbVisitedNodes=5519 nbRestartNogoods=45
1.79 => wckTime=0.895 cpuTime=0.82 mem=14M895
2.12
2.12 search
2.12 run=11 nbConstraintChecks=6418949 nbPropagations=260742 nbRevisions=3576686 nbUselessRevisions=2872244
2.12 nbAssignments=4654 nbFailedAssignments=1992 nbBacktracks=2575 nbVisitedNodes=8141 nbRestartNogoods=54
2.12 => wckTime=1.222 cpuTime=1.14 mem=14M895
2.67
2.67 search
2.67 run=12 nbConstraintChecks=9915080 nbPropagations=393357 nbRevisions=5456200 nbUselessRevisions=4384756
2.67 nbAssignments=7041 nbFailedAssignments=3077 nbBacktracks=3873 nbVisitedNodes=12435 nbRestartNogoods=63
2.67 => wckTime=1.776 cpuTime=1.69 mem=14M895
3.40
3.40 search
3.40 run=13 nbConstraintChecks=14394293 nbPropagations=588010 nbRevisions=8214928 nbUselessRevisions=6609082
3.40 nbAssignments=10428 nbFailedAssignments=4511 nbBacktracks=5819 nbVisitedNodes=18335 nbRestartNogoods=71
3.40 => wckTime=2.502 cpuTime=2.41 mem=14M895
4.62
4.62 search
4.62 run=14 nbConstraintChecks=22296314 nbPropagations=883548 nbRevisions=12413683 nbUselessRevisions=9988602
4.62 nbAssignments=15697 nbFailedAssignments=6856 nbBacktracks=8738 nbVisitedNodes=27698 nbRestartNogoods=84
4.62 => wckTime=3.721 cpuTime=3.63 mem=14M895
6.33
6.33 search
6.33 run=15 nbConstraintChecks=33261418 nbPropagations=1325425 nbRevisions=18703038 nbUselessRevisions=15061928
6.33 nbAssignments=23283 nbFailedAssignments=10057 nbBacktracks=13116 nbVisitedNodes=41038 nbRestartNogoods=94
6.33 => wckTime=5.435 cpuTime=5.33 mem=14M895
9.09
9.09 search
9.09 run=16 nbConstraintChecks=51526074 nbPropagations=1995825 nbRevisions=28278853 nbUselessRevisions=22767466
9.09 nbAssignments=35318 nbFailedAssignments=15518 nbBacktracks=19686 nbVisitedNodes=62446 nbRestartNogoods=108
9.09 => wckTime=8.196 cpuTime=8.08 mem=14M895
12.82
12.82 search
12.82 run=17 nbConstraintChecks=74965129 nbPropagations=2987390 nbRevisions=42468079 nbUselessRevisions=34214913
12.82 nbAssignments=52682 nbFailedAssignments=23025 nbBacktracks=29538 nbVisitedNodes=93031 nbRestartNogoods=118
12.82 => wckTime=11.922 cpuTime=11.79 mem=14M895
19.08
19.08 search
19.08 run=18 nbConstraintChecks=116095443 nbPropagations=4497824 nbRevisions=64200910 nbUselessRevisions=51745319
19.08 nbAssignments=79433 nbFailedAssignments=34991 nbBacktracks=44316 nbVisitedNodes=140803 nbRestartNogoods=125
19.08 => wckTime=18.183 cpuTime=18.02 mem=14M895
28.15
28.16 search
28.16 run=19 nbConstraintChecks=174550175 nbPropagations=6776214 nbRevisions=97020576 nbUselessRevisions=78250978
28.16 nbAssignments=119277 nbFailedAssignments=52663 nbBacktracks=66484 nbVisitedNodes=211751 nbRestartNogoods=138
28.16 => wckTime=27.257 cpuTime=27.05 mem=14M895
41.65
41.65 search
41.65 run=20 nbConstraintChecks=261552924 nbPropagations=10195146 nbRevisions=146265485 nbUselessRevisions=118034300
41.65 nbAssignments=178169 nbFailedAssignments=78296 nbBacktracks=99737 nbVisitedNodes=315960 nbRestartNogoods=146
41.65 => wckTime=40.756 cpuTime=40.49 mem=14M895
62.19
62.19 search
62.19 run=21 nbConstraintChecks=393478179 nbPropagations=15346312 nbRevisions=220749868 nbUselessRevisions=178282679
62.19 nbAssignments=267416 nbFailedAssignments=117660 nbBacktracks=149618 nbVisitedNodes=474625 nbRestartNogoods=164
62.19 => wckTime=61.291 cpuTime=60.92 mem=14M895
64.96
64.96 search
64.96 run=22 nbConstraintChecks=411636816 nbPropagations=20726084 nbRevisions=298555129 nbUselessRevisions=241208860
64.96 nbAssignments=278904 nbFailedAssignments=122555 nbBacktracks=156212 nbVisitedNodes=494895 nbRestartNogoods=172
64.96 => wckTime=64.064 cpuTime=63.68 mem=14M895
64.96
64.96 global
64.96 nbConstraintChecks=411636816 nbPropagations=20726124 nbRevisions=298555129 nbUselessRevisions=241208860
64.96 nbRestartNogoods=172 solvingWckTime=64.066 solvingCpuTime=63.68 expiredTime=no totalExploration=yes
64.96 nbFoundSolutions=0 globalCpuTime=64.09
64.96 => wckTime=64.587 cpuTime=64.04 mem=14M895
64.97
64.97 s UNSATISFIABLE
64.97 d NODES 278904
64.97 d CHECKS 411636816
64.97
64.97 totalWckTime=64.67 totalCpuTime=64.09
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node44/watcher-202995-1168072791 -o ROOT/results/node44/solver-202995-1168072791 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202995-1168072791/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: 2.00 1.87 1.57 4/80 9157
/proc/meminfo: memFree=1458712/2055920 swapFree=4192812/4192956
[pid=9156] ppid=9154 vsize=18540 CPUtime=0
/proc/9156/stat : 9156 (runsolver) R 9154 9156 8845 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155678279 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264840473895 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/9156/statm: 4635 279 244 17 0 2626 0
[startup+0.102951 s]
/proc/loadavg: 2.00 1.87 1.57 4/80 9157
/proc/meminfo: memFree=1458712/2055920 swapFree=4192812/4192956
[pid=9156] ppid=9154 vsize=906644 CPUtime=0.02
/proc/9156/stat : 9156 (java) R 9154 9156 8845 0 -1 0 2111 0 1 0 2 0 0 0 18 0 2 0 155678279 928403456 1860 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153799154 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/9156/statm: 226661 1860 1059 14 0 214244 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 906644
[startup+0.510986 s]
/proc/loadavg: 2.00 1.87 1.57 4/80 9157
/proc/meminfo: memFree=1458712/2055920 swapFree=4192812/4192956
[pid=9156] ppid=9154 vsize=915328 CPUtime=0.43
/proc/9156/stat : 9156 (java) R 9154 9156 8845 0 -1 0 6173 0 1 0 39 4 0 0 18 0 8 0 155678279 937295872 5912 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073456126 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9156/statm: 228832 5912 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328
[startup+1.33207 s]
/proc/loadavg: 2.08 1.89 1.58 3/87 9164
/proc/meminfo: memFree=1435104/2055920 swapFree=4192812/4192956
[pid=9156] ppid=9154 vsize=915456 CPUtime=1.23
/proc/9156/stat : 9156 (java) R 9154 9156 8845 0 -1 0 8615 0 1 0 117 6 0 0 24 0 8 0 155678279 937426944 8353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803873 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9156/statm: 228864 8353 2513 14 0 215334 0
[pid=9156/tid=9158] ppid=9154 vsize=915456 CPUtime=0.03
/proc/9156/task/9158/stat : 9158 (java) S 9154 9156 8845 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155678289 937426944 8353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9159] ppid=9154 vsize=915456 CPUtime=0
/proc/9156/task/9159/stat : 9159 (java) S 9154 9156 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155678289 937426944 8353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9160] ppid=9154 vsize=915456 CPUtime=0
/proc/9156/task/9160/stat : 9160 (java) S 9154 9156 8845 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155678289 937426944 8353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9161] ppid=9154 vsize=915456 CPUtime=0
/proc/9156/task/9161/stat : 9161 (java) S 9154 9156 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155678293 937426944 8353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9162] ppid=9154 vsize=915456 CPUtime=0.2
/proc/9156/task/9162/stat : 9162 (java) S 9154 9156 8845 0 -1 64 376 0 0 0 19 1 0 0 15 0 8 0 155678293 937426944 8353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9163] ppid=9154 vsize=915456 CPUtime=0
/proc/9156/task/9163/stat : 9163 (java) S 9154 9156 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155678293 937426944 8353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9164] ppid=9154 vsize=915456 CPUtime=0
/proc/9156/task/9164/stat : 9164 (java) S 9154 9156 8845 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155678293 937426944 8353 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 915456
[startup+2.97324 s]
/proc/loadavg: 2.08 1.89 1.58 3/87 9164
/proc/meminfo: memFree=1434784/2055920 swapFree=4192812/4192956
[pid=9156] ppid=9154 vsize=915456 CPUtime=2.88
/proc/9156/stat : 9156 (java) R 9154 9156 8845 0 -1 0 8665 0 1 0 281 7 0 0 25 0 8 0 155678279 937426944 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803435 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9156/statm: 228864 8402 2513 14 0 215334 0
[pid=9156/tid=9158] ppid=9154 vsize=915456 CPUtime=0.03
/proc/9156/task/9158/stat : 9158 (java) S 9154 9156 8845 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155678289 937426944 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9159] ppid=9154 vsize=915456 CPUtime=0
/proc/9156/task/9159/stat : 9159 (java) S 9154 9156 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155678289 937426944 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9160] ppid=9154 vsize=915456 CPUtime=0
/proc/9156/task/9160/stat : 9160 (java) S 9154 9156 8845 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155678289 937426944 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9161] ppid=9154 vsize=915456 CPUtime=0
/proc/9156/task/9161/stat : 9161 (java) S 9154 9156 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155678293 937426944 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9162] ppid=9154 vsize=915456 CPUtime=0.23
/proc/9156/task/9162/stat : 9162 (java) S 9154 9156 8845 0 -1 64 390 0 0 0 22 1 0 0 16 0 8 0 155678293 937426944 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9163] ppid=9154 vsize=915456 CPUtime=0
/proc/9156/task/9163/stat : 9163 (java) S 9154 9156 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155678293 937426944 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9164] ppid=9154 vsize=915456 CPUtime=0
/proc/9156/task/9164/stat : 9164 (java) S 9154 9156 8845 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155678293 937426944 8402 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 915456
[startup+6.17956 s]
/proc/loadavg: 2.07 1.89 1.58 3/87 9164
/proc/meminfo: memFree=1434720/2055920 swapFree=4192812/4192956
[pid=9156] ppid=9154 vsize=915456 CPUtime=6.07
/proc/9156/stat : 9156 (java) R 9154 9156 8845 0 -1 0 8671 0 1 0 600 7 0 0 25 0 8 0 155678279 937426944 8408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807592 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9156/statm: 228864 8408 2513 14 0 215334 0
[pid=9156/tid=9158] ppid=9154 vsize=915456 CPUtime=0.03
/proc/9156/task/9158/stat : 9158 (java) S 9154 9156 8845 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155678289 937426944 8408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9159] ppid=9154 vsize=915456 CPUtime=0
/proc/9156/task/9159/stat : 9159 (java) S 9154 9156 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155678289 937426944 8408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9160] ppid=9154 vsize=915456 CPUtime=0
/proc/9156/task/9160/stat : 9160 (java) S 9154 9156 8845 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155678289 937426944 8408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9161] ppid=9154 vsize=915456 CPUtime=0
/proc/9156/task/9161/stat : 9161 (java) S 9154 9156 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155678293 937426944 8408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9162] ppid=9154 vsize=915456 CPUtime=0.23
/proc/9156/task/9162/stat : 9162 (java) S 9154 9156 8845 0 -1 64 391 0 0 0 22 1 0 0 15 0 8 0 155678293 937426944 8408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9163] ppid=9154 vsize=915456 CPUtime=0
/proc/9156/task/9163/stat : 9163 (java) S 9154 9156 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155678293 937426944 8408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9164] ppid=9154 vsize=915456 CPUtime=0
/proc/9156/task/9164/stat : 9164 (java) S 9154 9156 8845 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155678293 937426944 8408 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 915456
[startup+12.6472 s]
/proc/loadavg: 2.07 1.89 1.58 3/87 9164
/proc/meminfo: memFree=1434720/2055920 swapFree=4192812/4192956
[pid=9156] ppid=9154 vsize=915456 CPUtime=12.5
/proc/9156/stat : 9156 (java) R 9154 9156 8845 0 -1 0 8677 0 1 0 1243 7 0 0 25 0 8 0 155678279 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073816179 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9156/statm: 228864 8413 2513 14 0 215334 0
[pid=9156/tid=9158] ppid=9154 vsize=915456 CPUtime=0.03
/proc/9156/task/9158/stat : 9158 (java) S 9154 9156 8845 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155678289 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9159] ppid=9154 vsize=915456 CPUtime=0
/proc/9156/task/9159/stat : 9159 (java) S 9154 9156 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155678289 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9160] ppid=9154 vsize=915456 CPUtime=0
/proc/9156/task/9160/stat : 9160 (java) S 9154 9156 8845 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155678289 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9161] ppid=9154 vsize=915456 CPUtime=0
/proc/9156/task/9161/stat : 9161 (java) S 9154 9156 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155678293 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9162] ppid=9154 vsize=915456 CPUtime=0.23
/proc/9156/task/9162/stat : 9162 (java) S 9154 9156 8845 0 -1 64 391 0 0 0 22 1 0 0 15 0 8 0 155678293 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9163] ppid=9154 vsize=915456 CPUtime=0
/proc/9156/task/9163/stat : 9163 (java) S 9154 9156 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155678293 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9164] ppid=9154 vsize=915456 CPUtime=0
/proc/9156/task/9164/stat : 9164 (java) S 9154 9156 8845 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155678293 937426944 8413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915456
[startup+25.5025 s]
/proc/loadavg: 2.06 1.89 1.59 3/87 9164
/proc/meminfo: memFree=1434656/2055920 swapFree=4192812/4192956
[pid=9156] ppid=9154 vsize=915456 CPUtime=25.3
/proc/9156/stat : 9156 (java) R 9154 9156 8845 0 -1 0 8682 0 1 0 2523 7 0 0 25 0 8 0 155678279 937426944 8418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800880 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9156/statm: 228864 8418 2513 14 0 215334 0
[pid=9156/tid=9158] ppid=9154 vsize=915456 CPUtime=0.03
/proc/9156/task/9158/stat : 9158 (java) S 9154 9156 8845 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155678289 937426944 8418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9159] ppid=9154 vsize=915456 CPUtime=0
/proc/9156/task/9159/stat : 9159 (java) S 9154 9156 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155678289 937426944 8418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9160] ppid=9154 vsize=915456 CPUtime=0
/proc/9156/task/9160/stat : 9160 (java) S 9154 9156 8845 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155678289 937426944 8418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9161] ppid=9154 vsize=915456 CPUtime=0
/proc/9156/task/9161/stat : 9161 (java) S 9154 9156 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155678293 937426944 8418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9162] ppid=9154 vsize=915456 CPUtime=0.23
/proc/9156/task/9162/stat : 9162 (java) S 9154 9156 8845 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 155678293 937426944 8418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9163] ppid=9154 vsize=915456 CPUtime=0
/proc/9156/task/9163/stat : 9163 (java) S 9154 9156 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155678293 937426944 8418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9164] ppid=9154 vsize=915456 CPUtime=0
/proc/9156/task/9164/stat : 9164 (java) S 9154 9156 8845 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155678293 937426944 8418 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 915456
[startup+51.1122 s]
/proc/loadavg: 2.03 1.90 1.60 3/87 9164
/proc/meminfo: memFree=1434656/2055920 swapFree=4192812/4192956
[pid=9156] ppid=9154 vsize=915456 CPUtime=50.78
/proc/9156/stat : 9156 (java) R 9154 9156 8845 0 -1 0 8687 0 1 0 5071 7 0 0 25 0 8 0 155678279 937426944 8423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073795452 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/9156/statm: 228864 8423 2513 14 0 215334 0
[pid=9156/tid=9158] ppid=9154 vsize=915456 CPUtime=0.03
/proc/9156/task/9158/stat : 9158 (java) S 9154 9156 8845 0 -1 64 287 0 0 0 3 0 0 0 16 0 8 0 155678289 937426944 8423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9159] ppid=9154 vsize=915456 CPUtime=0
/proc/9156/task/9159/stat : 9159 (java) S 9154 9156 8845 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155678289 937426944 8423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9160] ppid=9154 vsize=915456 CPUtime=0
/proc/9156/task/9160/stat : 9160 (java) S 9154 9156 8845 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155678289 937426944 8423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9161] ppid=9154 vsize=915456 CPUtime=0
/proc/9156/task/9161/stat : 9161 (java) S 9154 9156 8845 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155678293 937426944 8423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9162] ppid=9154 vsize=915456 CPUtime=0.23
/proc/9156/task/9162/stat : 9162 (java) S 9154 9156 8845 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 155678293 937426944 8423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9163] ppid=9154 vsize=915456 CPUtime=0
/proc/9156/task/9163/stat : 9163 (java) S 9154 9156 8845 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155678293 937426944 8423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=9156/tid=9164] ppid=9154 vsize=915456 CPUtime=0
/proc/9156/task/9164/stat : 9164 (java) S 9154 9156 8845 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155678293 937426944 8423 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 65.0005
CPU time (s): 64.5902
CPU user time (s): 64.5072
CPU system time (s): 0.082987
CPU usage (%): 99.3687
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.5072
system time used= 0.082987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8781
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= 2395
involuntary context switches= 4543
runsolver used 0.071989 s user time and 0.229965 s system time
The end
Begin job on node44 on Sat Jan 6 08:39:52 UTC 2007
IDJOB= 202995
IDBENCH= 3902
FILE ID= node44/202995-1168072791
PBS_JOBID= 3475970
Free space on /tmp= 66532 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19/rand-2-40-19-443-230-27_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202995-1168072791/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-202995-1168072791 -o ROOT/results/node44/solver-202995-1168072791 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/202995-1168072791/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= eb2b54ba92381bdf1e2dac68bed0cb08
RANDOM SEED= 49711420
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.213
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.213
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: 1459192 kB
Buffers: 19400 kB
Cached: 299044 kB
SwapCached: 0 kB
Active: 260704 kB
Inactive: 266908 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1459192 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2040 kB
Writeback: 0 kB
Mapped: 229396 kB
Slab: 54132 kB
Committed_AS: 3709148 kB
PageTables: 2168 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= 66532 MiB
End job on node44 on Sat Jan 6 08:40:57 UTC 2007