0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/224150-1168080499/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.42 => wckTime=0.102 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
0.52
0.52 constraints being loaded...
0.62 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=2
0.62 => wckTime=0.31 cpuTime=0.24 mem=13M827
0.66
0.66 solver IterativeSystematicSolver being built...
0.82 => wckTime=0.512 cpuTime=0.37 mem=13M749
0.83
0.83 preprocessing
0.83 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.83 detectedInconsistency=no
0.83 => wckTime=0.0030 cpuTime=0.0 mem=13M749
0.89
0.89 search
0.89 run=0 nbConstraintChecks=47759 nbPropagations=751 nbRevisions=5832 nbUselessRevisions=4141 nbAssignments=33
0.89 nbFailedAssignments=17 nbBacktracks=10 nbVisitedNodes=58 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.059 cpuTime=0.03 mem=14M724
0.90
0.90 search
0.90 run=1 nbConstraintChecks=79596 nbPropagations=2043 nbRevisions=15568 nbUselessRevisions=11103 nbAssignments=65
0.90 nbFailedAssignments=26 nbBacktracks=28 nbVisitedNodes=106 nbRestartNogoods=2 mapSize=22 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.074 cpuTime=0.04 mem=14M724
0.92
0.92 search
0.92 run=2 nbConstraintChecks=146059 nbPropagations=4529 nbRevisions=34277 nbUselessRevisions=24348
0.92 nbAssignments=121 nbFailedAssignments=55 nbBacktracks=51 nbVisitedNodes=205 nbRestartNogoods=3 mapSize=44
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.096 cpuTime=0.05 mem=14M724
0.94
0.94 search
0.94 run=3 nbConstraintChecks=208246 nbPropagations=8116 nbRevisions=61434 nbUselessRevisions=43521
0.94 nbAssignments=181 nbFailedAssignments=75 nbBacktracks=86 nbVisitedNodes=300 nbRestartNogoods=6 mapSize=67
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.113 cpuTime=0.07 mem=14M724
0.97
0.97 search
0.97 run=4 nbConstraintChecks=375315 nbPropagations=14136 nbRevisions=108327 nbUselessRevisions=76460
0.97 nbAssignments=286 nbFailedAssignments=124 nbBacktracks=138 nbVisitedNodes=492 nbRestartNogoods=9 mapSize=111
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.141 cpuTime=0.1 mem=14M724
1.00
1.00 search
1.00 run=5 nbConstraintChecks=539497 nbPropagations=22876 nbRevisions=176443 nbUselessRevisions=124283
1.00 nbAssignments=430 nbFailedAssignments=187 nbBacktracks=214 nbVisitedNodes=737 nbRestartNogoods=13 mapSize=172
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.173 cpuTime=0.12 mem=14M724
1.05
1.05 search
1.05 run=6 nbConstraintChecks=808883 nbPropagations=36167 nbRevisions=279156 nbUselessRevisions=195982
1.05 nbAssignments=648 nbFailedAssignments=288 nbBacktracks=327 nbVisitedNodes=1126 nbRestartNogoods=16 mapSize=270
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.22 cpuTime=0.16 mem=14M724
1.11
1.11 search
1.11 run=7 nbConstraintChecks=1192258 nbPropagations=55418 nbRevisions=428013 nbUselessRevisions=299403
1.11 nbAssignments=943 nbFailedAssignments=404 nbBacktracks=501 nbVisitedNodes=1629 nbRestartNogoods=23 mapSize=397
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.281 cpuTime=0.22 mem=14M724
1.24
1.24 search
1.24 run=8 nbConstraintChecks=1927972 nbPropagations=86546 nbRevisions=670146 nbUselessRevisions=466615
1.24 nbAssignments=1477 nbFailedAssignments=676 nbBacktracks=759 nbVisitedNodes=2608 nbRestartNogoods=29
1.24 mapSize=624 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.412 cpuTime=0.34 mem=14M724
1.38
1.38 search
1.38 run=9 nbConstraintChecks=2731750 nbPropagations=131589 nbRevisions=1018079 nbUselessRevisions=706347
1.38 nbAssignments=2129 nbFailedAssignments=940 nbBacktracks=1143 nbVisitedNodes=3738 nbRestartNogoods=41
1.38 mapSize=923 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.555 cpuTime=0.47 mem=14M724
1.43
1.43 INFO : Stopping hyperNogood (mapSize=1019, nbTooLargekeys=0, mem=14M724)
1.62
1.62 search
1.62 run=10 nbConstraintChecks=4392259 nbPropagations=203204 nbRevisions=1578483 nbUselessRevisions=1092474
1.62 nbAssignments=3393 nbFailedAssignments=1624 nbBacktracks=1719 nbVisitedNodes=6068 nbRestartNogoods=48
1.62 => wckTime=0.796 cpuTime=0.7 mem=14M724
1.86
1.86 search
1.86 run=11 nbConstraintChecks=6146172 nbPropagations=303012 nbRevisions=2353925 nbUselessRevisions=1624876
1.86 nbAssignments=4816 nbFailedAssignments=2179 nbBacktracks=2583 nbVisitedNodes=8501 nbRestartNogoods=58
1.86 => wckTime=1.032 cpuTime=0.93 mem=14M724
2.37
2.37 search
2.37 run=12 nbConstraintChecks=9918539 nbPropagations=462382 nbRevisions=3604722 nbUselessRevisions=2483677
2.37 nbAssignments=7472 nbFailedAssignments=3534 nbBacktracks=3880 nbVisitedNodes=13394 nbRestartNogoods=67
2.37 => wckTime=1.544 cpuTime=1.43 mem=14M724
2.93
2.93 search
2.93 run=13 nbConstraintChecks=14016086 nbPropagations=689428 nbRevisions=5379368 nbUselessRevisions=3702986
2.93 nbAssignments=10755 nbFailedAssignments=4864 nbBacktracks=5828 nbVisitedNodes=19047 nbRestartNogoods=79
2.93 => wckTime=2.098 cpuTime=1.99 mem=14M724
3.81
3.81 search
3.81 run=14 nbConstraintChecks=20189036 nbPropagations=1028183 nbRevisions=7997946 nbUselessRevisions=5504043
3.81 nbAssignments=16056 nbFailedAssignments=7238 nbBacktracks=8750 nbVisitedNodes=28428 nbRestartNogoods=85
3.81 => wckTime=2.98 cpuTime=2.86 mem=14M724
5.21
5.21 search
5.21 run=15 nbConstraintChecks=30682334 nbPropagations=1534953 nbRevisions=11931681 nbUselessRevisions=8208736
5.21 nbAssignments=24106 nbFailedAssignments=10903 nbBacktracks=13128 nbVisitedNodes=42672 nbRestartNogoods=101
5.21 => wckTime=4.382 cpuTime=4.25 mem=14M724
7.33
7.33 search
7.33 run=16 nbConstraintChecks=46344902 nbPropagations=2298275 nbRevisions=17859947 nbUselessRevisions=12286559
7.33 nbAssignments=36082 nbFailedAssignments=16306 nbBacktracks=19697 nbVisitedNodes=63982 nbRestartNogoods=113
7.33 => wckTime=6.5 cpuTime=6.35 mem=14M724
10.73
10.73 search
10.73 run=17 nbConstraintChecks=71599674 nbPropagations=3477230 nbRevisions=27043497 nbUselessRevisions=18611081
10.73 nbAssignments=54823 nbFailedAssignments=25188 nbBacktracks=29549 nbVisitedNodes=97886 nbRestartNogoods=122
10.73 => wckTime=9.902 cpuTime=9.72 mem=14M724
15.33
15.33 search
15.33 run=18 nbConstraintChecks=106956948 nbPropagations=5207670 nbRevisions=40505223 nbUselessRevisions=27867068
15.33 nbAssignments=80705 nbFailedAssignments=36285 nbBacktracks=44332 nbVisitedNodes=143309 nbRestartNogoods=129
15.33 => wckTime=14.502 cpuTime=14.29 mem=14M724
16.83
16.83 search
16.83 run=19 nbConstraintChecks=118134691 nbPropagations=7120317 nbRevisions=55385926 nbUselessRevisions=38098280
16.83 nbAssignments=89072 nbFailedAssignments=40053 nbBacktracks=48891 nbVisitedNodes=158166 nbRestartNogoods=139
16.83 => wckTime=16.001 cpuTime=15.77 mem=14M724
16.83
16.83 global
16.83 nbConstraintChecks=118134691 nbPropagations=7120357 nbRevisions=55385926 nbUselessRevisions=38098280
16.83 nbRestartNogoods=139 solvingWckTime=16.002 solvingCpuTime=15.77 expiredTime=no totalExploration=no
16.83 nbFoundSolutions=1 globalCpuTime=16.2
16.83 => wckTime=16.518 cpuTime=16.14 mem=14M724
16.83
16.83 s SATISFIABLE
16.83 v 6 22 2 9 22 20 6 11 12 1 23 11 20 23 23 8 20 8 24 10 20 8 5 24 0 2 9 14 11 4 11 9 2 15 7 1 6 8 2 19
16.83 d NODES 89072
16.83 d CHECKS 118134691
16.83
16.83 totalWckTime=16.599 totalCpuTime=16.2
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-224150-1168080499 -o ROOT/results/node2/solver-224150-1168080499 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224150-1168080499/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.54 1.86 1.95 4/93 5321
/proc/meminfo: memFree=1040232/2055920 swapFree=4191880/4192956
[pid=5320] ppid=5318 vsize=9948 CPUtime=0
/proc/5320/stat : 5320 (java) S 5318 5320 5197 0 -1 0 723 0 0 0 0 0 0 0 18 0 1 0 156445807 10186752 472 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/5320/statm: 2955 510 421 14 0 1602 0
[startup+0.103306 s]
/proc/loadavg: 1.54 1.86 1.95 4/93 5321
/proc/meminfo: memFree=1040232/2055920 swapFree=4191880/4192956
[pid=5320] ppid=5318 vsize=914988 CPUtime=0.09
/proc/5320/stat : 5320 (java) S 5318 5320 5197 0 -1 0 2995 0 1 0 8 1 0 0 17 0 8 0 156445807 936947712 2741 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5320/statm: 228747 2741 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511383 s]
/proc/loadavg: 1.54 1.86 1.95 4/93 5321
/proc/meminfo: memFree=1040232/2055920 swapFree=4191880/4192956
[pid=5320] ppid=5318 vsize=915328 CPUtime=0.49
/proc/5320/stat : 5320 (java) R 5318 5320 5197 0 -1 0 7095 0 1 0 46 3 0 0 18 0 8 0 156445807 937295872 6834 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5320/statm: 228832 6834 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33253 s]
/proc/loadavg: 1.58 1.87 1.95 3/100 5328
/proc/meminfo: memFree=1016624/2055920 swapFree=4191880/4192956
[pid=5320] ppid=5318 vsize=915452 CPUtime=1.29
/proc/5320/stat : 5320 (java) R 5318 5320 5197 0 -1 0 8641 0 1 0 124 5 0 0 24 0 8 0 156445807 937422848 8379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073341589 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5320/statm: 228863 8379 2513 14 0 215333 0
[pid=5320/tid=5322] ppid=5318 vsize=915452 CPUtime=0.03
/proc/5320/task/5322/stat : 5322 (java) S 5318 5320 5197 0 -1 64 243 0 0 0 3 0 0 0 16 0 8 0 156445811 937422848 8379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5320/tid=5323] ppid=5318 vsize=915452 CPUtime=0
/proc/5320/task/5323/stat : 5323 (java) S 5318 5320 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156445812 937422848 8379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5320/tid=5324] ppid=5318 vsize=915452 CPUtime=0
/proc/5320/task/5324/stat : 5324 (java) S 5318 5320 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156445812 937422848 8379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5320/tid=5325] ppid=5318 vsize=915452 CPUtime=0
/proc/5320/task/5325/stat : 5325 (java) S 5318 5320 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156445815 937422848 8379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5320/tid=5326] ppid=5318 vsize=915452 CPUtime=0.22
/proc/5320/task/5326/stat : 5326 (java) S 5318 5320 5197 0 -1 64 381 0 0 0 21 1 0 0 15 0 8 0 156445815 937422848 8379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5320/tid=5327] ppid=5318 vsize=915452 CPUtime=0
/proc/5320/task/5327/stat : 5327 (java) S 5318 5320 5197 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156445815 937422848 8379 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5320/tid=5328] ppid=5318 vsize=915452 CPUtime=0
/proc/5320/task/5328/stat : 5328 (java) S 5318 5320 5197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156445815 937422848 8379 18446744073709551615 134512640 134570532 4294956464 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) 915452
[startup+2.96983 s]
/proc/loadavg: 1.58 1.87 1.95 3/100 5328
/proc/meminfo: memFree=1016496/2055920 swapFree=4191880/4192956
[pid=5320] ppid=5318 vsize=915452 CPUtime=2.93
/proc/5320/stat : 5320 (java) R 5318 5320 5197 0 -1 0 8648 0 1 0 287 6 0 0 25 0 8 0 156445807 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073800790 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5320/statm: 228863 8384 2513 14 0 215333 0
[pid=5320/tid=5322] ppid=5318 vsize=915452 CPUtime=0.03
/proc/5320/task/5322/stat : 5322 (java) S 5318 5320 5197 0 -1 64 243 0 0 0 3 0 0 0 17 0 8 0 156445811 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5320/tid=5323] ppid=5318 vsize=915452 CPUtime=0
/proc/5320/task/5323/stat : 5323 (java) S 5318 5320 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156445812 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5320/tid=5324] ppid=5318 vsize=915452 CPUtime=0
/proc/5320/task/5324/stat : 5324 (java) S 5318 5320 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156445812 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5320/tid=5325] ppid=5318 vsize=915452 CPUtime=0
/proc/5320/task/5325/stat : 5325 (java) S 5318 5320 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156445815 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5320/tid=5326] ppid=5318 vsize=915452 CPUtime=0.23
/proc/5320/task/5326/stat : 5326 (java) S 5318 5320 5197 0 -1 64 386 0 0 0 22 1 0 0 15 0 8 0 156445815 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5320/tid=5327] ppid=5318 vsize=915452 CPUtime=0
/proc/5320/task/5327/stat : 5327 (java) S 5318 5320 5197 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156445815 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5320/tid=5328] ppid=5318 vsize=915452 CPUtime=0
/proc/5320/task/5328/stat : 5328 (java) S 5318 5320 5197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156445815 937422848 8384 18446744073709551615 134512640 134570532 4294956464 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.26643 s]
/proc/loadavg: 1.58 1.87 1.95 3/100 5328
/proc/meminfo: memFree=1016432/2055920 swapFree=4191880/4192956
[pid=5320] ppid=5318 vsize=915452 CPUtime=6.19
/proc/5320/stat : 5320 (java) R 5318 5320 5197 0 -1 0 8648 0 1 0 613 6 0 0 25 0 8 0 156445807 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073795660 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5320/statm: 228863 8384 2513 14 0 215333 0
[pid=5320/tid=5322] ppid=5318 vsize=915452 CPUtime=0.03
/proc/5320/task/5322/stat : 5322 (java) S 5318 5320 5197 0 -1 64 243 0 0 0 3 0 0 0 16 0 8 0 156445811 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5320/tid=5323] ppid=5318 vsize=915452 CPUtime=0
/proc/5320/task/5323/stat : 5323 (java) S 5318 5320 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156445812 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5320/tid=5324] ppid=5318 vsize=915452 CPUtime=0
/proc/5320/task/5324/stat : 5324 (java) S 5318 5320 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156445812 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5320/tid=5325] ppid=5318 vsize=915452 CPUtime=0
/proc/5320/task/5325/stat : 5325 (java) S 5318 5320 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156445815 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5320/tid=5326] ppid=5318 vsize=915452 CPUtime=0.23
/proc/5320/task/5326/stat : 5326 (java) S 5318 5320 5197 0 -1 64 386 0 0 0 22 1 0 0 15 0 8 0 156445815 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5320/tid=5327] ppid=5318 vsize=915452 CPUtime=0
/proc/5320/task/5327/stat : 5327 (java) S 5318 5320 5197 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156445815 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5320/tid=5328] ppid=5318 vsize=915452 CPUtime=0
/proc/5320/task/5328/stat : 5328 (java) S 5318 5320 5197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156445815 937422848 8384 18446744073709551615 134512640 134570532 4294956464 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.7426 s]
/proc/loadavg: 1.64 1.87 1.95 3/100 5328
/proc/meminfo: memFree=1016432/2055920 swapFree=4191880/4192956
[pid=5320] ppid=5318 vsize=915452 CPUtime=12.61
/proc/5320/stat : 5320 (java) R 5318 5320 5197 0 -1 0 8648 0 1 0 1255 6 0 0 25 0 8 0 156445807 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5320/statm: 228863 8384 2513 14 0 215333 0
[pid=5320/tid=5322] ppid=5318 vsize=915452 CPUtime=0.03
/proc/5320/task/5322/stat : 5322 (java) S 5318 5320 5197 0 -1 64 243 0 0 0 3 0 0 0 16 0 8 0 156445811 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5320/tid=5323] ppid=5318 vsize=915452 CPUtime=0
/proc/5320/task/5323/stat : 5323 (java) S 5318 5320 5197 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156445812 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5320/tid=5324] ppid=5318 vsize=915452 CPUtime=0
/proc/5320/task/5324/stat : 5324 (java) S 5318 5320 5197 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156445812 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5320/tid=5325] ppid=5318 vsize=915452 CPUtime=0
/proc/5320/task/5325/stat : 5325 (java) S 5318 5320 5197 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156445815 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5320/tid=5326] ppid=5318 vsize=915452 CPUtime=0.23
/proc/5320/task/5326/stat : 5326 (java) S 5318 5320 5197 0 -1 64 386 0 0 0 22 1 0 0 15 0 8 0 156445815 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5320/tid=5327] ppid=5318 vsize=915452 CPUtime=0
/proc/5320/task/5327/stat : 5327 (java) S 5318 5320 5197 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156445815 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5320/tid=5328] ppid=5318 vsize=915452 CPUtime=0
/proc/5320/task/5328/stat : 5328 (java) S 5318 5320 5197 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156445815 937422848 8384 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 16.8592
CPU time (s): 16.6795
CPU user time (s): 16.6105
CPU system time (s): 0.068989
CPU usage (%): 98.9341
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.6105
system time used= 0.068989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8736
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= 1386
involuntary context switches= 2599
runsolver used 0.025996 s user time and 0.06099 s system time
The end
Begin job on node2 on Sat Jan 6 10:48:20 UTC 2007
IDJOB= 224150
IDBENCH= 5715
FILE ID= node2/224150-1168080499
PBS_JOBID= 3475864
Free space on /tmp= 66324 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224150-1168080499/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-224150-1168080499 -o ROOT/results/node2/solver-224150-1168080499 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/224150-1168080499/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 9f1458a620ad40587e59324b9047094a
RANDOM SEED= 492382216
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 : 5931.00
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: 1040648 kB
Buffers: 73888 kB
Cached: 712128 kB
SwapCached: 268 kB
Active: 380768 kB
Inactive: 537176 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1040648 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2200 kB
Writeback: 0 kB
Mapped: 160268 kB
Slab: 81692 kB
Committed_AS: 4299588 kB
PageTables: 2576 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= 66324 MiB
End job on node2 on Sat Jan 6 10:48:39 UTC 2007