0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=mac.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/199741-1168071564/unknown.xml
0.41
0.41 domains being loaded...
0.41
0.41 variables being loaded...
0.45 nbVariables=23 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.45 => wckTime=0.097 cpuTime=0.09 mem=6M951
0.45
0.45 relations being loaded...
0.53
0.53 constraints being loaded...
0.65 nbConstraints=253 nbRelationTypes=253 nbExtensionStructures=253 nbSharedExtensionStructures=0
0.65 nbConflictsStructures=253 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=836 maxDegree=22
0.65 maxArity=2
0.65 => wckTime=0.299 cpuTime=0.23 mem=12M803
0.69
0.69 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.496 cpuTime=0.35 mem=13M899
0.85
0.85 preprocessing
0.85 nbConstraintChecks=0 nbPropagations=23 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.85 detectedInconsistency=no
0.85 => wckTime=0.0030 cpuTime=0.0 mem=13M899
0.90
0.90 search
0.90 run=0 nbConstraintChecks=26349 nbPropagations=409 nbRevisions=5687 nbUselessRevisions=4940 nbAssignments=26
0.90 nbFailedAssignments=9 nbBacktracks=12 nbVisitedNodes=45 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.046 cpuTime=0.03 mem=14M924
0.92
0.92 search
0.92 run=1 nbConstraintChecks=73490 nbPropagations=1412 nbRevisions=21290 nbUselessRevisions=18466 nbAssignments=65
0.92 nbFailedAssignments=28 nbBacktracks=27 nbVisitedNodes=114 nbRestartNogoods=2 mapSize=25 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.067 cpuTime=0.05 mem=14M924
0.94
0.94 search
0.94 run=2 nbConstraintChecks=135658 nbPropagations=3166 nbRevisions=49591 nbUselessRevisions=42966
0.94 nbAssignments=114 nbFailedAssignments=49 nbBacktracks=49 nbVisitedNodes=199 nbRestartNogoods=6 mapSize=46
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.092 cpuTime=0.06 mem=14M924
0.97
0.97 search
0.97 run=3 nbConstraintChecks=223572 nbPropagations=6020 nbRevisions=97244 nbUselessRevisions=84050
0.97 nbAssignments=187 nbFailedAssignments=84 nbBacktracks=82 nbVisitedNodes=335 nbRestartNogoods=11 mapSize=79
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.116 cpuTime=0.08 mem=14M924
0.99
0.99 search
0.99 run=4 nbConstraintChecks=351144 nbPropagations=10464 nbRevisions=173687 nbUselessRevisions=150003
0.99 nbAssignments=294 nbFailedAssignments=136 nbBacktracks=132 nbVisitedNodes=534 nbRestartNogoods=16 mapSize=127
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.142 cpuTime=0.11 mem=14M924
1.03
1.03 search
1.03 run=5 nbConstraintChecks=548422 nbPropagations=17364 nbRevisions=295647 nbUselessRevisions=255106
1.03 nbAssignments=462 nbFailedAssignments=224 nbBacktracks=208 nbVisitedNodes=853 nbRestartNogoods=20 mapSize=203
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.184 cpuTime=0.15 mem=14M924
1.10
1.10 search
1.10 run=6 nbConstraintChecks=836427 nbPropagations=27793 nbRevisions=483273 nbUselessRevisions=416637
1.10 nbAssignments=710 nbFailedAssignments=354 nbBacktracks=321 nbVisitedNodes=1317 nbRestartNogoods=24 mapSize=314
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.247 cpuTime=0.2 mem=14M924
1.18
1.18 search
1.18 run=7 nbConstraintChecks=1260694 nbPropagations=43359 nbRevisions=767192 nbUselessRevisions=661269
1.18 nbAssignments=1056 nbFailedAssignments=525 nbBacktracks=492 nbVisitedNodes=1964 nbRestartNogoods=32
1.18 mapSize=481 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.333 cpuTime=0.28 mem=14M924
1.31
1.32 search
1.32 run=8 nbConstraintChecks=1904849 nbPropagations=66543 nbRevisions=1195080 nbUselessRevisions=1029697
1.32 nbAssignments=1589 nbFailedAssignments=797 nbBacktracks=748 nbVisitedNodes=2957 nbRestartNogoods=41
1.32 mapSize=731 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.466 cpuTime=0.4 mem=14M924
1.44
1.44 INFO : Stopping hyperNogood (mapSize=1027, nbTooLargekeys=0, mem=14M924)
1.48
1.48 search
1.48 run=9 nbConstraintChecks=2875909 nbPropagations=101309 nbRevisions=1841371 nbUselessRevisions=1586705
1.48 nbAssignments=2373 nbFailedAssignments=1192 nbBacktracks=1132 nbVisitedNodes=4421 nbRestartNogoods=50
1.48 => wckTime=0.628 cpuTime=0.56 mem=14M924
1.72
1.72 search
1.72 run=10 nbConstraintChecks=4326176 nbPropagations=153634 nbRevisions=2819265 nbUselessRevisions=2430031
1.72 nbAssignments=3558 nbFailedAssignments=1796 nbBacktracks=1709 nbVisitedNodes=6652 nbRestartNogoods=61
1.72 => wckTime=0.868 cpuTime=0.78 mem=14M924
2.05
2.05 search
2.05 run=11 nbConstraintChecks=6494674 nbPropagations=231585 nbRevisions=4283175 nbUselessRevisions=3693088
2.05 nbAssignments=5286 nbFailedAssignments=2654 nbBacktracks=2575 nbVisitedNodes=9864 nbRestartNogoods=67
2.05 => wckTime=1.199 cpuTime=1.12 mem=14M924
2.56
2.56 search
2.56 run=12 nbConstraintChecks=9797838 nbPropagations=348268 nbRevisions=6485875 nbUselessRevisions=5592158
2.56 nbAssignments=7881 nbFailedAssignments=3948 nbBacktracks=3872 nbVisitedNodes=14727 nbRestartNogoods=80
2.56 => wckTime=1.711 cpuTime=1.62 mem=14M924
3.32
3.32 search
3.32 run=13 nbConstraintChecks=14764998 nbPropagations=523365 nbRevisions=9815407 nbUselessRevisions=8466063
3.32 nbAssignments=11776 nbFailedAssignments=5891 nbBacktracks=5818 nbVisitedNodes=22025 nbRestartNogoods=84
3.32 => wckTime=2.474 cpuTime=2.38 mem=14M924
4.44
4.44 search
4.44 run=14 nbConstraintChecks=22061558 nbPropagations=784921 nbRevisions=14786819 nbUselessRevisions=12755940
4.44 nbAssignments=17592 nbFailedAssignments=8786 nbBacktracks=8737 nbVisitedNodes=32919 nbRestartNogoods=104
4.44 => wckTime=3.594 cpuTime=3.5 mem=14M924
6.19
6.19 search
6.19 run=15 nbConstraintChecks=33408854 nbPropagations=1179153 nbRevisions=22309228 nbUselessRevisions=19246937
6.19 nbAssignments=26432 nbFailedAssignments=13243 nbBacktracks=13116 nbVisitedNodes=49536 nbRestartNogoods=109
6.19 => wckTime=5.34 cpuTime=5.22 mem=14M924
8.76
8.76 search
8.76 run=16 nbConstraintChecks=50189412 nbPropagations=1770469 nbRevisions=33617338 nbUselessRevisions=29005459
8.76 nbAssignments=39718 nbFailedAssignments=19958 nbBacktracks=19684 nbVisitedNodes=74421 nbRestartNogoods=120
8.76 => wckTime=7.913 cpuTime=7.77 mem=14M924
12.70
12.70 search
12.70 run=17 nbConstraintChecks=75826038 nbPropagations=2659115 nbRevisions=50657940 nbUselessRevisions=43710371
12.70 nbAssignments=59590 nbFailedAssignments=29972 nbBacktracks=29537 nbVisitedNodes=111650 nbRestartNogoods=139
12.70 => wckTime=11.853 cpuTime=11.66 mem=14M924
18.52
18.52 search
18.52 run=18 nbConstraintChecks=113745398 nbPropagations=3988031 nbRevisions=76174605 nbUselessRevisions=65736060
18.52 nbAssignments=88989 nbFailedAssignments=44587 nbBacktracks=44316 nbVisitedNodes=166658 nbRestartNogoods=154
18.52 => wckTime=17.672 cpuTime=17.43 mem=14M924
27.14
27.14 search
27.14 run=19 nbConstraintChecks=169877378 nbPropagations=5974615 nbRevisions=114354183 nbUselessRevisions=98706555
27.14 nbAssignments=133316 nbFailedAssignments=66741 nbBacktracks=66487 nbVisitedNodes=249656 nbRestartNogoods=165
27.14 => wckTime=26.29 cpuTime=25.97 mem=14M924
40.40
40.40 search
40.40 run=20 nbConstraintChecks=257024452 nbPropagations=8961725 nbRevisions=171902538 nbUselessRevisions=148399474
40.40 nbAssignments=199838 nbFailedAssignments=100005 nbBacktracks=99740 nbVisitedNodes=374308 nbRestartNogoods=181
40.40 => wckTime=39.551 cpuTime=39.11 mem=14M924
60.35
60.35 search
60.35 run=21 nbConstraintChecks=387916828 nbPropagations=13456003 nbRevisions=258690101 nbUselessRevisions=223350932
60.35 nbAssignments=300324 nbFailedAssignments=150608 nbBacktracks=149618 nbVisitedNodes=562904 nbRestartNogoods=196
60.35 => wckTime=59.501 cpuTime=58.87 mem=14M924
90.40
90.40 search
90.40 run=22 nbConstraintChecks=586416024 nbPropagations=20214278 nbRevisions=389674114 nbUselessRevisions=336509956
90.40 nbAssignments=450673 nbFailedAssignments=226135 nbBacktracks=224436 nbVisitedNodes=844744 nbRestartNogoods=204
90.40 => wckTime=89.554 cpuTime=88.66 mem=14M924
109.82
109.82 search
109.82 run=23 nbConstraintChecks=715213835 nbPropagations=28423636 nbRevisions=549220132 nbUselessRevisions=474368061
109.82 nbAssignments=546328 nbFailedAssignments=274418 nbBacktracks=271809 nbVisitedNodes=1024400 nbRestartNogoods=213
109.82 => wckTime=108.968 cpuTime=107.89 mem=14M924
109.82
109.82 global
109.82 nbConstraintChecks=715213835 nbPropagations=28423659 nbRevisions=549220132 nbUselessRevisions=474368061
109.82 nbRestartNogoods=213 solvingWckTime=108.97 solvingCpuTime=107.89 expiredTime=no totalExploration=yes
109.82 nbFoundSolutions=0 globalCpuTime=108.29
109.82 => wckTime=109.469 cpuTime=108.24 mem=14M924
109.82
109.82 s UNSATISFIABLE
109.82 d NODES 546328
109.82 d CHECKS 715213835
109.82
109.82 totalWckTime=109.551 totalCpuTime=108.29
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-199741-1168071564 -o ROOT/results/node10/solver-199741-1168071564 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199741-1168071564/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.92 1.91 1.87 4/93 27200
/proc/meminfo: memFree=1074464/2055920 swapFree=4178332/4192956
[pid=27199] ppid=27197 vsize=18540 CPUtime=0
/proc/27199/stat : 27199 (runsolver) R 27197 27199 25526 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 155551558 18984960 279 18446744073709551615 4194304 4267372 548682068880 18446744073709551615 214919867687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/27199/statm: 4635 279 244 17 0 2626 0
[startup+0.109678 s]
/proc/loadavg: 1.92 1.91 1.87 4/93 27200
/proc/meminfo: memFree=1074464/2055920 swapFree=4178332/4192956
[pid=27199] ppid=27197 vsize=907808 CPUtime=0.05
/proc/27199/stat : 27199 (java) R 27197 27199 25526 0 -1 0 2474 0 1 0 4 1 0 0 17 0 4 0 155551558 929595392 2221 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4072919975 0 4 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/27199/statm: 226952 2221 1221 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.517732 s]
/proc/loadavg: 1.92 1.91 1.87 4/93 27200
/proc/meminfo: memFree=1074464/2055920 swapFree=4178332/4192956
[pid=27199] ppid=27197 vsize=915328 CPUtime=0.45
/proc/27199/stat : 27199 (java) R 27197 27199 25526 0 -1 0 6560 0 1 0 42 3 0 0 18 0 8 0 155551558 937295872 6299 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073592939 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27199/statm: 228832 6299 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 915328
[startup+1.33884 s]
/proc/loadavg: 1.92 1.91 1.87 4/100 27207
/proc/meminfo: memFree=1051048/2055920 swapFree=4178332/4192956
[pid=27199] ppid=27197 vsize=915452 CPUtime=1.26
/proc/27199/stat : 27199 (java) R 27197 27199 25526 0 -1 0 8578 0 1 0 121 5 0 0 20 0 8 0 155551558 937422848 8316 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073794316 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27199/statm: 228863 8316 2513 14 0 215333 0
[pid=27199/tid=27201] ppid=27197 vsize=915452 CPUtime=0.03
/proc/27199/task/27201/stat : 27201 (java) S 27197 27199 25526 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155551565 937422848 8316 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27202] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27202/stat : 27202 (java) S 27197 27199 25526 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155551566 937422848 8316 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27203] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27203/stat : 27203 (java) S 27197 27199 25526 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155551566 937422848 8316 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27204] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27204/stat : 27204 (java) S 27197 27199 25526 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155551569 937422848 8316 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27205] ppid=27197 vsize=915452 CPUtime=0.21
/proc/27199/task/27205/stat : 27205 (java) S 27197 27199 25526 0 -1 64 382 0 0 0 21 0 0 0 19 0 8 0 155551569 937422848 8316 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27206] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27206/stat : 27206 (java) S 27197 27199 25526 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155551569 937422848 8316 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27207] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27207/stat : 27207 (java) S 27197 27199 25526 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155551569 937422848 8316 18446744073709551615 134512640 134570532 4294956400 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) 915452
[startup+2.98106 s]
/proc/loadavg: 1.92 1.91 1.87 3/100 27207
/proc/meminfo: memFree=1050792/2055920 swapFree=4178332/4192956
[pid=27199] ppid=27197 vsize=915452 CPUtime=2.9
/proc/27199/stat : 27199 (java) R 27197 27199 25526 0 -1 0 8602 0 1 0 284 6 0 0 25 0 8 0 155551558 937422848 8339 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073794667 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27199/statm: 228863 8339 2513 14 0 215333 0
[pid=27199/tid=27201] ppid=27197 vsize=915452 CPUtime=0.03
/proc/27199/task/27201/stat : 27201 (java) S 27197 27199 25526 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155551565 937422848 8339 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27202] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27202/stat : 27202 (java) S 27197 27199 25526 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155551566 937422848 8339 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27203] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27203/stat : 27203 (java) S 27197 27199 25526 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155551566 937422848 8339 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27204] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27204/stat : 27204 (java) S 27197 27199 25526 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155551569 937422848 8339 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27205] ppid=27197 vsize=915452 CPUtime=0.23
/proc/27199/task/27205/stat : 27205 (java) S 27197 27199 25526 0 -1 64 387 0 0 0 22 1 0 0 16 0 8 0 155551569 937422848 8339 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27206] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27206/stat : 27206 (java) S 27197 27199 25526 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155551569 937422848 8339 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27207] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27207/stat : 27207 (java) S 27197 27199 25526 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155551569 937422848 8339 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915452
[startup+6.1865 s]
/proc/loadavg: 1.93 1.91 1.87 3/100 27207
/proc/meminfo: memFree=1050792/2055920 swapFree=4178332/4192956
[pid=27199] ppid=27197 vsize=915452 CPUtime=6.07
/proc/27199/stat : 27199 (java) R 27197 27199 25526 0 -1 0 8608 0 1 0 601 6 0 0 25 0 8 0 155551558 937422848 8345 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073798641 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27199/statm: 228863 8345 2513 14 0 215333 0
[pid=27199/tid=27201] ppid=27197 vsize=915452 CPUtime=0.03
/proc/27199/task/27201/stat : 27201 (java) S 27197 27199 25526 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155551565 937422848 8345 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27202] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27202/stat : 27202 (java) S 27197 27199 25526 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155551566 937422848 8345 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27203] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27203/stat : 27203 (java) S 27197 27199 25526 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155551566 937422848 8345 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27204] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27204/stat : 27204 (java) S 27197 27199 25526 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155551569 937422848 8345 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27205] ppid=27197 vsize=915452 CPUtime=0.23
/proc/27199/task/27205/stat : 27205 (java) S 27197 27199 25526 0 -1 64 388 0 0 0 22 1 0 0 16 0 8 0 155551569 937422848 8345 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27206] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27206/stat : 27206 (java) S 27197 27199 25526 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155551569 937422848 8345 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27207] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27207/stat : 27207 (java) S 27197 27199 25526 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155551569 937422848 8345 18446744073709551615 134512640 134570532 4294956400 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) 915452
[startup+12.6564 s]
/proc/loadavg: 1.93 1.91 1.87 3/100 27209
/proc/meminfo: memFree=1050664/2055920 swapFree=4178332/4192956
[pid=27199] ppid=27197 vsize=915452 CPUtime=12.48
/proc/27199/stat : 27199 (java) R 27197 27199 25526 0 -1 0 8614 0 1 0 1242 6 0 0 25 0 8 0 155551558 937422848 8350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073807623 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27199/statm: 228863 8350 2513 14 0 215333 0
[pid=27199/tid=27201] ppid=27197 vsize=915452 CPUtime=0.03
/proc/27199/task/27201/stat : 27201 (java) S 27197 27199 25526 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155551565 937422848 8350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27202] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27202/stat : 27202 (java) S 27197 27199 25526 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155551566 937422848 8350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27203] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27203/stat : 27203 (java) S 27197 27199 25526 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155551566 937422848 8350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27204] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27204/stat : 27204 (java) S 27197 27199 25526 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155551569 937422848 8350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27205] ppid=27197 vsize=915452 CPUtime=0.23
/proc/27199/task/27205/stat : 27205 (java) S 27197 27199 25526 0 -1 64 388 0 0 0 22 1 0 0 16 0 8 0 155551569 937422848 8350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27206] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27206/stat : 27206 (java) S 27197 27199 25526 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155551569 937422848 8350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27207] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27207/stat : 27207 (java) S 27197 27199 25526 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155551569 937422848 8350 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 915452
[startup+25.5091 s]
/proc/loadavg: 1.95 1.91 1.87 3/100 27209
/proc/meminfo: memFree=1050728/2055920 swapFree=4178332/4192956
[pid=27199] ppid=27197 vsize=915452 CPUtime=25.21
/proc/27199/stat : 27199 (java) R 27197 27199 25526 0 -1 0 8619 0 1 0 2515 6 0 0 25 0 8 0 155551558 937422848 8355 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4072918543 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27199/statm: 228863 8355 2513 14 0 215333 0
[pid=27199/tid=27201] ppid=27197 vsize=915452 CPUtime=0.03
/proc/27199/task/27201/stat : 27201 (java) S 27197 27199 25526 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155551565 937422848 8355 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27202] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27202/stat : 27202 (java) S 27197 27199 25526 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155551566 937422848 8355 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27203] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27203/stat : 27203 (java) S 27197 27199 25526 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155551566 937422848 8355 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27204] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27204/stat : 27204 (java) S 27197 27199 25526 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155551569 937422848 8355 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27205] ppid=27197 vsize=915452 CPUtime=0.23
/proc/27199/task/27205/stat : 27205 (java) S 27197 27199 25526 0 -1 64 388 0 0 0 22 1 0 0 16 0 8 0 155551569 937422848 8355 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27206] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27206/stat : 27206 (java) S 27197 27199 25526 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155551569 937422848 8355 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27207] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27207/stat : 27207 (java) S 27197 27199 25526 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155551569 937422848 8355 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 915452
[startup+51.1186 s]
/proc/loadavg: 1.96 1.92 1.88 3/100 27209
/proc/meminfo: memFree=1050856/2055920 swapFree=4178332/4192956
[pid=27199] ppid=27197 vsize=915452 CPUtime=50.59
/proc/27199/stat : 27199 (java) R 27197 27199 25526 0 -1 0 8624 0 1 0 5052 7 0 0 25 0 8 0 155551558 937422848 8360 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27199/statm: 228863 8360 2513 14 0 215333 0
[pid=27199/tid=27201] ppid=27197 vsize=915452 CPUtime=0.03
/proc/27199/task/27201/stat : 27201 (java) S 27197 27199 25526 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155551565 937422848 8360 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27202] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27202/stat : 27202 (java) S 27197 27199 25526 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155551566 937422848 8360 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27203] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27203/stat : 27203 (java) S 27197 27199 25526 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155551566 937422848 8360 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27204] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27204/stat : 27204 (java) S 27197 27199 25526 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155551569 937422848 8360 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27205] ppid=27197 vsize=915452 CPUtime=0.23
/proc/27199/task/27205/stat : 27205 (java) S 27197 27199 25526 0 -1 64 388 0 0 0 22 1 0 0 17 0 8 0 155551569 937422848 8360 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27206] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27206/stat : 27206 (java) S 27197 27199 25526 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155551569 937422848 8360 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27207] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27207/stat : 27207 (java) S 27197 27199 25526 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155551569 937422848 8360 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.59
Current children cumulated vsize (KiB) 915452
[startup+102.327 s]
/proc/loadavg: 1.98 1.93 1.88 3/100 27209
/proc/meminfo: memFree=1050920/2055920 swapFree=4178332/4192956
[pid=27199] ppid=27197 vsize=915452 CPUtime=101.33
/proc/27199/stat : 27199 (java) R 27197 27199 25526 0 -1 0 8629 0 1 0 10126 7 0 0 25 0 8 0 155551558 937422848 8365 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073828193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/27199/statm: 228863 8365 2513 14 0 215333 0
[pid=27199/tid=27201] ppid=27197 vsize=915452 CPUtime=0.03
/proc/27199/task/27201/stat : 27201 (java) S 27197 27199 25526 0 -1 64 269 0 0 0 3 0 0 0 16 0 8 0 155551565 937422848 8365 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27202] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27202/stat : 27202 (java) S 27197 27199 25526 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155551566 937422848 8365 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27203] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27203/stat : 27203 (java) S 27197 27199 25526 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155551566 937422848 8365 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27204] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27204/stat : 27204 (java) S 27197 27199 25526 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155551569 937422848 8365 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27205] ppid=27197 vsize=915452 CPUtime=0.23
/proc/27199/task/27205/stat : 27205 (java) S 27197 27199 25526 0 -1 64 388 0 0 0 22 1 0 0 17 0 8 0 155551569 937422848 8365 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27206] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27206/stat : 27206 (java) S 27197 27199 25526 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155551569 937422848 8365 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=27199/tid=27207] ppid=27197 vsize=915452 CPUtime=0
/proc/27199/task/27207/stat : 27207 (java) S 27197 27199 25526 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155551569 937422848 8365 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.33
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 109.855
CPU time (s): 108.77
CPU user time (s): 108.686
CPU system time (s): 0.083987
CPU usage (%): 99.0131
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 108.686
system time used= 0.083987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8720
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= 3031
involuntary context switches= 8414
runsolver used 0.12898 s user time and 0.369943 s system time
The end
Begin job on node10 on Sat Jan 6 08:19:24 UTC 2007
IDJOB= 199741
IDBENCH= 3634
FILE ID= node10/199741-1168071564
PBS_JOBID= 3475674
Free space on /tmp= 66355 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-23/rand-23-23-253-131-51021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199741-1168071564/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-199741-1168071564 -o ROOT/results/node10/solver-199741-1168071564 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199741-1168071564/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= dfd37b796ddfc1cae49c6231c5a6ea71
RANDOM SEED= 433626345
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.232
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.232
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: 1074880 kB
Buffers: 45352 kB
Cached: 206276 kB
SwapCached: 2420 kB
Active: 691612 kB
Inactive: 200424 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1074880 kB
SwapTotal: 4192956 kB
SwapFree: 4178332 kB
Dirty: 1980 kB
Writeback: 0 kB
Mapped: 659952 kB
Slab: 72464 kB
Committed_AS: 4329820 kB
PageTables: 3440 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= 66355 MiB
End job on node10 on Sat Jan 6 08:21:14 UTC 2007