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/228230-1168080864/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.42 => wckTime=0.092 cpuTime=0.08 mem=6M951
0.42
0.42 relations being loaded...
0.50
0.50 constraints being loaded...
0.60 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.60 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8198 maxDegree=30
0.60 maxArity=2
0.60 => wckTime=0.281 cpuTime=0.2 mem=10M860
0.64
0.64 solver IterativeSystematicSolver being built...
0.79 => wckTime=0.468 cpuTime=0.33 mem=13M696
0.80
0.80 preprocessing
0.80 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.80 detectedInconsistency=no
0.80 => wckTime=0.0070 cpuTime=0.0 mem=13M696
0.84
0.84 search
0.84 run=0 nbConstraintChecks=20123 nbPropagations=472 nbRevisions=4909 nbUselessRevisions=4091 nbAssignments=25
0.84 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=39 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.84 nbTooLargeKeys=0
0.84 => wckTime=0.045 cpuTime=0.03 mem=14M671
0.86
0.86 search
0.86 run=1 nbConstraintChecks=43028 nbPropagations=1438 nbRevisions=15815 nbUselessRevisions=13196 nbAssignments=58
0.86 nbFailedAssignments=15 nbBacktracks=25 nbVisitedNodes=87 nbRestartNogoods=4 mapSize=19 nbInferences=0
0.86 nbTooLargeKeys=0
0.86 => wckTime=0.067 cpuTime=0.04 mem=14M671
0.88
0.88 search
0.88 run=2 nbConstraintChecks=77175 nbPropagations=3087 nbRevisions=35460 nbUselessRevisions=29478 nbAssignments=97
0.88 nbFailedAssignments=26 nbBacktracks=47 nbVisitedNodes=151 nbRestartNogoods=6 mapSize=38 nbInferences=0
0.88 nbTooLargeKeys=0
0.88 => wckTime=0.087 cpuTime=0.05 mem=14M671
0.89
0.89 search
0.89 run=3 nbConstraintChecks=121218 nbPropagations=5616 nbRevisions=66661 nbUselessRevisions=55245
0.89 nbAssignments=154 nbFailedAssignments=44 nbBacktracks=80 nbVisitedNodes=245 nbRestartNogoods=9 mapSize=66
0.89 nbInferences=0 nbTooLargeKeys=0
0.89 => wckTime=0.101 cpuTime=0.07 mem=14M671
0.92
0.92 search
0.92 run=4 nbConstraintChecks=202221 nbPropagations=9578 nbRevisions=118652 nbUselessRevisions=98150
0.92 nbAssignments=239 nbFailedAssignments=74 nbBacktracks=130 nbVisitedNodes=393 nbRestartNogoods=13 mapSize=110
0.92 nbInferences=0 nbTooLargeKeys=0
0.92 => wckTime=0.125 cpuTime=0.09 mem=14M671
0.95
0.95 search
0.95 run=5 nbConstraintChecks=297331 nbPropagations=15363 nbRevisions=196507 nbUselessRevisions=162280
0.95 nbAssignments=357 nbFailedAssignments=111 nbBacktracks=207 nbVisitedNodes=592 nbRestartNogoods=15 mapSize=175
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.157 cpuTime=0.12 mem=14M671
0.99
0.99 search
0.99 run=6 nbConstraintChecks=453217 nbPropagations=24023 nbRevisions=315325 nbUselessRevisions=260151
0.99 nbAssignments=550 nbFailedAssignments=183 nbBacktracks=324 nbVisitedNodes=918 nbRestartNogoods=16 mapSize=282
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.201 cpuTime=0.16 mem=14M671
1.06
1.06 search
1.06 run=7 nbConstraintChecks=673763 nbPropagations=36764 nbRevisions=493214 nbUselessRevisions=407090
1.06 nbAssignments=827 nbFailedAssignments=282 nbBacktracks=496 nbVisitedNodes=1381 nbRestartNogoods=18 mapSize=433
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.262 cpuTime=0.22 mem=14M671
1.14
1.14 search
1.14 run=8 nbConstraintChecks=960729 nbPropagations=54962 nbRevisions=749703 nbUselessRevisions=619376
1.14 nbAssignments=1209 nbFailedAssignments=398 nbBacktracks=756 nbVisitedNodes=2007 nbRestartNogoods=22
1.14 mapSize=630 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.35 cpuTime=0.3 mem=14M671
1.27
1.27 search
1.27 run=9 nbConstraintChecks=1422386 nbPropagations=81584 nbRevisions=1128544 nbUselessRevisions=932696
1.27 nbAssignments=1770 nbFailedAssignments=567 nbBacktracks=1143 nbVisitedNodes=2945 nbRestartNogoods=27
1.27 mapSize=940 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.479 cpuTime=0.41 mem=14M671
1.31
1.31 INFO : Stopping hyperNogood (mapSize=1036, nbTooLargekeys=0, mem=14M671)
1.47
1.47 search
1.47 run=10 nbConstraintChecks=2253752 nbPropagations=122774 nbRevisions=1729990 nbUselessRevisions=1430497
1.47 nbAssignments=2695 nbFailedAssignments=907 nbBacktracks=1719 nbVisitedNodes=4538 nbRestartNogoods=31
1.47 => wckTime=0.675 cpuTime=0.6 mem=14M671
1.69
1.69 search
1.69 run=11 nbConstraintChecks=3259406 nbPropagations=182691 nbRevisions=2602169 nbUselessRevisions=2151880
1.69 nbAssignments=3978 nbFailedAssignments=1319 nbBacktracks=2585 nbVisitedNodes=6669 nbRestartNogoods=38
1.69 => wckTime=0.899 cpuTime=0.82 mem=14M671
2.04
2.04 search
2.04 run=12 nbConstraintChecks=4896506 nbPropagations=272092 nbRevisions=3915999 nbUselessRevisions=3241095
2.04 nbAssignments=5928 nbFailedAssignments=1965 nbBacktracks=3883 nbVisitedNodes=9946 nbRestartNogoods=45
2.04 => wckTime=1.25 cpuTime=1.17 mem=14M671
2.55
2.55 search
2.55 run=13 nbConstraintChecks=7306501 nbPropagations=405356 nbRevisions=5884557 nbUselessRevisions=4875301
2.55 nbAssignments=8808 nbFailedAssignments=2895 nbBacktracks=5829 nbVisitedNodes=14809 nbRestartNogoods=50
2.55 => wckTime=1.756 cpuTime=1.67 mem=14M671
3.29
3.29 search
3.29 run=14 nbConstraintChecks=11010132 nbPropagations=605681 nbRevisions=8838721 nbUselessRevisions=7325292
3.29 nbAssignments=13207 nbFailedAssignments=4366 nbBacktracks=8752 nbVisitedNodes=22214 nbRestartNogoods=55
3.29 => wckTime=2.496 cpuTime=2.41 mem=14M671
4.41
4.41 search
4.41 run=15 nbConstraintChecks=16604041 nbPropagations=906733 nbRevisions=13286368 nbUselessRevisions=11012593
4.41 nbAssignments=19784 nbFailedAssignments=6558 nbBacktracks=13130 nbVisitedNodes=33277 nbRestartNogoods=62
4.41 => wckTime=3.618 cpuTime=3.53 mem=14M671
6.12
6.12 search
6.12 run=16 nbConstraintChecks=25124711 nbPropagations=1360469 nbRevisions=20055008 nbUselessRevisions=16634169
6.12 nbAssignments=29862 nbFailedAssignments=10059 nbBacktracks=19699 nbVisitedNodes=50387 nbRestartNogoods=71
6.12 => wckTime=5.323 cpuTime=5.24 mem=14M671
8.69
8.69 search
8.69 run=17 nbConstraintChecks=38184207 nbPropagations=2045488 nbRevisions=30224741 nbUselessRevisions=25061944
8.69 nbAssignments=44690 nbFailedAssignments=15028 nbBacktracks=29551 nbVisitedNodes=75485 nbRestartNogoods=76
8.69 => wckTime=7.897 cpuTime=7.81 mem=14M671
12.56
12.56 search
12.56 run=18 nbConstraintChecks=57850013 nbPropagations=3077985 nbRevisions=45523017 nbUselessRevisions=37725312
12.56 nbAssignments=67012 nbFailedAssignments=22564 nbBacktracks=44331 nbVisitedNodes=113095 nbRestartNogoods=87
12.56 => wckTime=11.767 cpuTime=11.68 mem=14M671
18.36
18.36 search
18.36 run=19 nbConstraintChecks=87464694 nbPropagations=4631877 nbRevisions=68570514 nbUselessRevisions=56798210
18.36 nbAssignments=100593 nbFailedAssignments=33971 nbBacktracks=66500 nbVisitedNodes=169823 nbRestartNogoods=99
18.36 => wckTime=17.565 cpuTime=17.47 mem=14M671
24.06
24.06 search
24.06 run=20 nbConstraintChecks=116552605 nbPropagations=6694156 nbRevisions=99157284 nbUselessRevisions=82098206
24.06 nbAssignments=132635 nbFailedAssignments=45005 nbBacktracks=87509 nbVisitedNodes=224127 nbRestartNogoods=106
24.06 => wckTime=23.263 cpuTime=23.17 mem=14M671
24.06
24.06 global
24.06 nbConstraintChecks=116552605 nbPropagations=6694196 nbRevisions=99157284 nbUselessRevisions=82098206
24.06 nbRestartNogoods=106 solvingWckTime=23.264 solvingCpuTime=23.17 expiredTime=no totalExploration=yes
24.06 nbFoundSolutions=0 globalCpuTime=23.54
24.06 => wckTime=23.735 cpuTime=23.5 mem=14M671
24.06
24.06 s UNSATISFIABLE
24.06 d NODES 132635
24.06 d CHECKS 116552605
24.06
24.06 totalWckTime=23.809 totalCpuTime=23.54
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node58/watcher-228230-1168080864 -o ROOT/results/node58/solver-228230-1168080864 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228230-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.11 0.59 1.20 3/68 29603
/proc/meminfo: memFree=1659448/2055920 swapFree=4192812/4192956
[pid=29602] ppid=29600 vsize=1784 CPUtime=0
/proc/29602/stat : 29602 (java) D 29600 29602 29418 0 -1 0 165 0 0 0 0 0 0 0 19 0 1 0 156486132 1826816 136 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/29602/statm: 446 136 102 14 0 91 0
[startup+0.10757 s]
/proc/loadavg: 0.11 0.59 1.20 3/68 29603
/proc/meminfo: memFree=1659448/2055920 swapFree=4192812/4192956
[pid=29602] ppid=29600 vsize=912512 CPUtime=0.06
/proc/29602/stat : 29602 (java) R 29600 29602 29418 0 -1 0 2576 0 1 0 5 1 0 0 18 0 8 0 156486132 934412288 2323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29602/statm: 228128 2324 1266 14 0 215307 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 912512
[startup+0.515601 s]
/proc/loadavg: 0.11 0.59 1.20 3/68 29603
/proc/meminfo: memFree=1659448/2055920 swapFree=4192812/4192956
[pid=29602] ppid=29600 vsize=916056 CPUtime=0.46
/proc/29602/stat : 29602 (java) R 29600 29602 29418 0 -1 0 6460 0 1 0 42 4 0 0 17 0 8 0 156486132 938041344 6199 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073566638 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29602/statm: 229014 6199 2138 14 0 215484 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 916056
[startup+1.33768 s]
/proc/loadavg: 0.11 0.59 1.20 2/75 29613
/proc/meminfo: memFree=1636032/2055920 swapFree=4192812/4192956
[pid=29602] ppid=29600 vsize=916188 CPUtime=1.26
/proc/29602/stat : 29602 (java) R 29600 29602 29418 0 -1 0 8592 0 1 0 121 5 0 0 16 0 8 0 156486132 938176512 8330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808565 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29602/statm: 229047 8330 2513 14 0 215517 0
[pid=29602/tid=29604] ppid=29600 vsize=916188 CPUtime=0.03
/proc/29602/task/29604/stat : 29604 (java) S 29600 29602 29418 0 -1 64 230 0 0 0 3 0 0 0 16 0 8 0 156486139 938176512 8330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29602/tid=29605] ppid=29600 vsize=916188 CPUtime=0
/proc/29602/task/29605/stat : 29605 (java) S 29600 29602 29418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156486139 938176512 8330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29606] ppid=29600 vsize=916188 CPUtime=0
/proc/29602/task/29606/stat : 29606 (java) S 29600 29602 29418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156486140 938176512 8330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29607] ppid=29600 vsize=916188 CPUtime=0
/proc/29602/task/29607/stat : 29607 (java) S 29600 29602 29418 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156486143 938176512 8330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29608] ppid=29600 vsize=916188 CPUtime=0.19
/proc/29602/task/29608/stat : 29608 (java) S 29600 29602 29418 0 -1 64 389 0 0 0 19 0 0 0 16 0 8 0 156486143 938176512 8330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29609] ppid=29600 vsize=916188 CPUtime=0
/proc/29602/task/29609/stat : 29609 (java) S 29600 29602 29418 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156486143 938176512 8330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29610] ppid=29600 vsize=916188 CPUtime=0
/proc/29602/task/29610/stat : 29610 (java) S 29600 29602 29418 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156486143 938176512 8330 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 916188
[startup+2.98981 s]
/proc/loadavg: 0.18 0.59 1.20 2/75 29643
/proc/meminfo: memFree=1633720/2055920 swapFree=4192812/4192956
[pid=29602] ppid=29600 vsize=916188 CPUtime=2.91
/proc/29602/stat : 29602 (java) R 29600 29602 29418 0 -1 0 8607 0 1 0 286 5 0 0 18 0 8 0 156486132 938176512 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29602/statm: 229047 8344 2513 14 0 215517 0
[pid=29602/tid=29604] ppid=29600 vsize=916188 CPUtime=0.03
/proc/29602/task/29604/stat : 29604 (java) S 29600 29602 29418 0 -1 64 230 0 0 0 3 0 0 0 16 0 8 0 156486139 938176512 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29602/tid=29605] ppid=29600 vsize=916188 CPUtime=0
/proc/29602/task/29605/stat : 29605 (java) S 29600 29602 29418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156486139 938176512 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29606] ppid=29600 vsize=916188 CPUtime=0
/proc/29602/task/29606/stat : 29606 (java) S 29600 29602 29418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156486140 938176512 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29607] ppid=29600 vsize=916188 CPUtime=0
/proc/29602/task/29607/stat : 29607 (java) S 29600 29602 29418 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156486143 938176512 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29608] ppid=29600 vsize=916188 CPUtime=0.2
/proc/29602/task/29608/stat : 29608 (java) S 29600 29602 29418 0 -1 64 394 0 0 0 20 0 0 0 16 0 8 0 156486143 938176512 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29609] ppid=29600 vsize=916188 CPUtime=0
/proc/29602/task/29609/stat : 29609 (java) S 29600 29602 29418 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156486143 938176512 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29610] ppid=29600 vsize=916188 CPUtime=0
/proc/29602/task/29610/stat : 29610 (java) S 29600 29602 29418 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156486143 938176512 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 916188
[startup+6.28009 s]
/proc/loadavg: 0.18 0.59 1.20 2/75 29643
/proc/meminfo: memFree=1633656/2055920 swapFree=4192812/4192956
[pid=29602] ppid=29600 vsize=916188 CPUtime=6.2
/proc/29602/stat : 29602 (java) R 29600 29602 29418 0 -1 0 8616 0 1 0 615 5 0 0 20 0 8 0 156486132 938176512 8352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818883 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29602/statm: 229047 8352 2513 14 0 215517 0
[pid=29602/tid=29604] ppid=29600 vsize=916188 CPUtime=0.03
/proc/29602/task/29604/stat : 29604 (java) S 29600 29602 29418 0 -1 64 230 0 0 0 3 0 0 0 16 0 8 0 156486139 938176512 8352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29602/tid=29605] ppid=29600 vsize=916188 CPUtime=0
/proc/29602/task/29605/stat : 29605 (java) S 29600 29602 29418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156486139 938176512 8352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29606] ppid=29600 vsize=916188 CPUtime=0
/proc/29602/task/29606/stat : 29606 (java) S 29600 29602 29418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156486140 938176512 8352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29607] ppid=29600 vsize=916188 CPUtime=0
/proc/29602/task/29607/stat : 29607 (java) S 29600 29602 29418 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156486143 938176512 8352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29608] ppid=29600 vsize=916188 CPUtime=0.2
/proc/29602/task/29608/stat : 29608 (java) S 29600 29602 29418 0 -1 64 394 0 0 0 20 0 0 0 16 0 8 0 156486143 938176512 8352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29609] ppid=29600 vsize=916188 CPUtime=0
/proc/29602/task/29609/stat : 29609 (java) S 29600 29602 29418 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156486143 938176512 8352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29610] ppid=29600 vsize=916188 CPUtime=0
/proc/29602/task/29610/stat : 29610 (java) S 29600 29602 29418 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156486143 938176512 8352 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 916188
[startup+12.7647 s]
/proc/loadavg: 0.31 0.60 1.20 3/87 29655
/proc/meminfo: memFree=1623328/2055920 swapFree=4192812/4192956
[pid=29602] ppid=29600 vsize=916188 CPUtime=12.69
/proc/29602/stat : 29602 (java) R 29600 29602 29418 0 -1 0 8620 0 1 0 1263 6 0 0 25 0 8 0 156486132 938176512 8356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073797260 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29602/statm: 229047 8356 2513 14 0 215517 0
[pid=29602/tid=29604] ppid=29600 vsize=916188 CPUtime=0.03
/proc/29602/task/29604/stat : 29604 (java) S 29600 29602 29418 0 -1 64 230 0 0 0 3 0 0 0 16 0 8 0 156486139 938176512 8356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29602/tid=29605] ppid=29600 vsize=916188 CPUtime=0
/proc/29602/task/29605/stat : 29605 (java) S 29600 29602 29418 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156486139 938176512 8356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29606] ppid=29600 vsize=916188 CPUtime=0
/proc/29602/task/29606/stat : 29606 (java) S 29600 29602 29418 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156486140 938176512 8356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29607] ppid=29600 vsize=916188 CPUtime=0
/proc/29602/task/29607/stat : 29607 (java) S 29600 29602 29418 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156486143 938176512 8356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29608] ppid=29600 vsize=916188 CPUtime=0.2
/proc/29602/task/29608/stat : 29608 (java) S 29600 29602 29418 0 -1 64 394 0 0 0 20 0 0 0 16 0 8 0 156486143 938176512 8356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29609] ppid=29600 vsize=916188 CPUtime=0
/proc/29602/task/29609/stat : 29609 (java) S 29600 29602 29418 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156486143 938176512 8356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=29602/tid=29610] ppid=29600 vsize=916188 CPUtime=0
/proc/29602/task/29610/stat : 29610 (java) S 29600 29602 29418 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156486143 938176512 8356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 916188
Child status: 0
Real time (s): 24.102
CPU time (s): 23.9914
CPU user time (s): 23.9234
CPU system time (s): 0.067989
CPU usage (%): 99.5411
Max. virtual memory (cumulated for all children) (KiB): 916188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.9234
system time used= 0.067989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8716
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= 1311
involuntary context switches= 264
runsolver used 0.038994 s user time and 0.06099 s system time
The end
Begin job on node58 on Sat Jan 6 10:54:36 UTC 2007
IDJOB= 228230
IDBENCH= 6169
FILE ID= node58/228230-1168080864
PBS_JOBID= 3476181
Free space on /tmp= 66536 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228230-1168080864/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-228230-1168080864 -o ROOT/results/node58/solver-228230-1168080864 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228230-1168080864/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a738363689fdfe0f5fde1e5a7851177b
RANDOM SEED= 534488504
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.223
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.223
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: 1659992 kB
Buffers: 22988 kB
Cached: 287432 kB
SwapCached: 0 kB
Active: 76880 kB
Inactive: 253708 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1659992 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1796 kB
Writeback: 0 kB
Mapped: 30340 kB
Slab: 51212 kB
Committed_AS: 2225820 kB
PageTables: 1572 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= 66534 MiB
End job on node58 on Sat Jan 6 10:55:09 UTC 2007