0.29
0.29 Abscon 109 (November, 2006)
0.29
0.29 configuration
0.29 name=mac.xml
0.32
0.32 instance
0.32 name=/tmp/evaluation/199666-1168071503/unknown.xml
0.35
0.35 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=23 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.39 => wckTime=0.092 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.47
0.47 constraints being loaded...
0.58 nbConstraints=253 nbRelationTypes=253 nbExtensionStructures=253 nbSharedExtensionStructures=0
0.58 nbConflictsStructures=253 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=843 maxDegree=22
0.58 maxArity=2
0.58 => wckTime=0.282 cpuTime=0.21 mem=12M803
0.62
0.62 solver IterativeSystematicSolver being built...
0.76 => wckTime=0.466 cpuTime=0.33 mem=13M899
0.77
0.77 preprocessing
0.77 nbConstraintChecks=0 nbPropagations=23 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.77 detectedInconsistency=no
0.77 => wckTime=0.0030 cpuTime=0.01 mem=13M899
0.81
0.81 search
0.81 run=0 nbConstraintChecks=30881 nbPropagations=442 nbRevisions=6539 nbUselessRevisions=5613 nbAssignments=26
0.81 nbFailedAssignments=10 nbBacktracks=11 nbVisitedNodes=46 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.81 nbTooLargeKeys=0
0.81 => wckTime=0.048 cpuTime=0.03 mem=14M924
0.83
0.83 search
0.83 run=1 nbConstraintChecks=74370 nbPropagations=1449 nbRevisions=22580 nbUselessRevisions=19376 nbAssignments=61
0.83 nbFailedAssignments=25 nbBacktracks=27 nbVisitedNodes=110 nbRestartNogoods=3 mapSize=26 nbInferences=0
0.83 nbTooLargeKeys=0
0.83 => wckTime=0.065 cpuTime=0.04 mem=14M924
0.85
0.85 search
0.85 run=2 nbConstraintChecks=131957 nbPropagations=3163 nbRevisions=51025 nbUselessRevisions=43731
0.85 nbAssignments=112 nbFailedAssignments=50 nbBacktracks=50 nbVisitedNodes=202 nbRestartNogoods=7 mapSize=48
0.85 nbInferences=0 nbTooLargeKeys=0
0.85 => wckTime=0.088 cpuTime=0.06 mem=14M924
0.87
0.87 search
0.87 run=3 nbConstraintChecks=206923 nbPropagations=5817 nbRevisions=95568 nbUselessRevisions=81931
0.87 nbAssignments=176 nbFailedAssignments=77 nbBacktracks=83 nbVisitedNodes=316 nbRestartNogoods=8 mapSize=80
0.87 nbInferences=0 nbTooLargeKeys=0
0.87 => wckTime=0.108 cpuTime=0.07 mem=14M924
0.90
0.90 search
0.90 run=4 nbConstraintChecks=350872 nbPropagations=10175 nbRevisions=171414 nbUselessRevisions=147049
0.90 nbAssignments=285 nbFailedAssignments=131 nbBacktracks=133 nbVisitedNodes=523 nbRestartNogoods=11 mapSize=130
0.90 nbInferences=0 nbTooLargeKeys=0
0.90 => wckTime=0.135 cpuTime=0.1 mem=14M924
0.94
0.94 search
0.94 run=5 nbConstraintChecks=553660 nbPropagations=16957 nbRevisions=292255 nbUselessRevisions=250891
0.94 nbAssignments=440 nbFailedAssignments=206 nbBacktracks=208 nbVisitedNodes=813 nbRestartNogoods=16 mapSize=204
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.176 cpuTime=0.14 mem=14M924
0.99
0.99 search
0.99 run=6 nbConstraintChecks=836334 nbPropagations=27178 nbRevisions=477186 nbUselessRevisions=409864
0.99 nbAssignments=680 nbFailedAssignments=328 nbBacktracks=322 nbVisitedNodes=1263 nbRestartNogoods=22 mapSize=318
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.23 cpuTime=0.19 mem=14M924
1.07
1.07 search
1.07 run=7 nbConstraintChecks=1259927 nbPropagations=42432 nbRevisions=756931 nbUselessRevisions=650758
1.07 nbAssignments=1019 nbFailedAssignments=493 nbBacktracks=492 nbVisitedNodes=1893 nbRestartNogoods=28
1.07 mapSize=486 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.305 cpuTime=0.26 mem=14M924
1.19
1.19 search
1.19 run=8 nbConstraintChecks=1904080 nbPropagations=65272 nbRevisions=1180184 nbUselessRevisions=1015180
1.19 nbAssignments=1526 nbFailedAssignments=741 nbBacktracks=748 nbVisitedNodes=2846 nbRestartNogoods=32
1.19 mapSize=739 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.429 cpuTime=0.37 mem=14M924
1.31
1.31 INFO : Stopping hyperNogood (mapSize=1030, nbTooLargekeys=0, mem=14M924)
1.34
1.34 search
1.34 run=9 nbConstraintChecks=2832223 nbPropagations=99274 nbRevisions=1813648 nbUselessRevisions=1560872
1.34 nbAssignments=2289 nbFailedAssignments=1114 nbBacktracks=1134 nbVisitedNodes=4272 nbRestartNogoods=36
1.34 => wckTime=0.58 cpuTime=0.51 mem=14M924
1.58
1.58 search
1.58 run=10 nbConstraintChecks=4319655 nbPropagations=150781 nbRevisions=2779930 nbUselessRevisions=2393290
1.58 nbAssignments=3462 nbFailedAssignments=1706 nbBacktracks=1710 nbVisitedNodes=6478 nbRestartNogoods=41
1.58 => wckTime=0.814 cpuTime=0.74 mem=14M924
1.90
1.90 search
1.90 run=11 nbConstraintChecks=6544257 nbPropagations=228158 nbRevisions=4243586 nbUselessRevisions=3655180
1.90 nbAssignments=5205 nbFailedAssignments=2580 nbBacktracks=2574 nbVisitedNodes=9724 nbRestartNogoods=54
1.90 => wckTime=1.142 cpuTime=1.06 mem=14M924
2.40
2.40 search
2.40 run=12 nbConstraintChecks=9993964 nbPropagations=345285 nbRevisions=6471346 nbUselessRevisions=5575481
2.40 nbAssignments=7862 nbFailedAssignments=3935 nbBacktracks=3871 nbVisitedNodes=14712 nbRestartNogoods=68
2.40 => wckTime=1.641 cpuTime=1.56 mem=14M924
3.12
3.12 search
3.12 run=13 nbConstraintChecks=14946933 nbPropagations=520292 nbRevisions=9807023 nbUselessRevisions=8451646
3.12 nbAssignments=11759 nbFailedAssignments=5881 nbBacktracks=5818 nbVisitedNodes=22009 nbRestartNogoods=75
3.12 => wckTime=2.362 cpuTime=2.28 mem=14M924
4.19
4.19 search
4.19 run=14 nbConstraintChecks=22242454 nbPropagations=781111 nbRevisions=14770605 nbUselessRevisions=12731244
4.19 nbAssignments=17579 nbFailedAssignments=8777 nbBacktracks=8737 nbVisitedNodes=32858 nbRestartNogoods=88
4.19 => wckTime=3.427 cpuTime=3.34 mem=14M924
5.86
5.86 search
5.86 run=15 nbConstraintChecks=33848365 nbPropagations=1175788 nbRevisions=22329706 nbUselessRevisions=19250596
5.86 nbAssignments=26486 nbFailedAssignments=13302 nbBacktracks=13115 nbVisitedNodes=49609 nbRestartNogoods=100
5.86 => wckTime=5.101 cpuTime=5.02 mem=14M924
8.29
8.29 search
8.29 run=16 nbConstraintChecks=50667858 nbPropagations=1765810 nbRevisions=33652542 nbUselessRevisions=29020521
8.29 nbAssignments=39576 nbFailedAssignments=19820 nbBacktracks=19684 nbVisitedNodes=74161 nbRestartNogoods=109
8.29 => wckTime=7.53 cpuTime=7.44 mem=14M924
11.86
11.86 search
11.86 run=17 nbConstraintChecks=75096965 nbPropagations=2644386 nbRevisions=50466266 nbUselessRevisions=43529110
11.86 nbAssignments=59008 nbFailedAssignments=29396 nbBacktracks=29536 nbVisitedNodes=110443 nbRestartNogoods=117
11.86 => wckTime=11.098 cpuTime=11.01 mem=14M924
17.48
17.48 search
17.48 run=18 nbConstraintChecks=113724863 nbPropagations=3967774 nbRevisions=75890065 nbUselessRevisions=65472116
17.48 nbAssignments=88670 nbFailedAssignments=44274 nbBacktracks=44316 nbVisitedNodes=166063 nbRestartNogoods=135
17.48 => wckTime=16.716 cpuTime=16.62 mem=14M924
25.77
25.77 search
25.77 run=19 nbConstraintChecks=170751727 nbPropagations=5954784 nbRevisions=114071606 nbUselessRevisions=98429041
25.78 nbAssignments=133151 nbFailedAssignments=66585 nbBacktracks=66484 nbVisitedNodes=249514 nbRestartNogoods=148
25.78 => wckTime=25.013 cpuTime=24.91 mem=14M924
38.45
38.45 search
38.45 run=20 nbConstraintChecks=258695482 nbPropagations=8948534 nbRevisions=171795854 nbUselessRevisions=148260879
38.45 nbAssignments=200149 nbFailedAssignments=100327 nbBacktracks=99737 nbVisitedNodes=375244 nbRestartNogoods=161
38.45 => wckTime=37.688 cpuTime=37.58 mem=14M924
57.66
57.66 search
57.66 run=21 nbConstraintChecks=392557543 nbPropagations=13459926 nbRevisions=259113019 nbUselessRevisions=223653662
57.66 nbAssignments=300954 nbFailedAssignments=151249 nbBacktracks=149615 nbVisitedNodes=564214 nbRestartNogoods=169
57.66 => wckTime=56.901 cpuTime=56.76 mem=14M924
87.20
87.20 search
87.20 run=22 nbConstraintChecks=600275323 nbPropagations=20286430 nbRevisions=392027888 nbUselessRevisions=338436044
87.20 nbAssignments=453289 nbFailedAssignments=228760 nbBacktracks=224435 nbVisitedNodes=850241 nbRestartNogoods=189
87.20 => wckTime=86.441 cpuTime=86.26 mem=14M924
99.49
99.49 search
99.49 run=23 nbConstraintChecks=687208692 nbPropagations=28070951 nbRevisions=543966970 nbUselessRevisions=469662267
99.49 nbAssignments=515969 nbFailedAssignments=260819 nbBacktracks=255057 nbVisitedNodes=968097 nbRestartNogoods=192
99.49 => wckTime=98.733 cpuTime=98.55 mem=14M924
99.50
99.50 global
99.50 nbConstraintChecks=687208692 nbPropagations=28070974 nbRevisions=543966970 nbUselessRevisions=469662267
99.50 nbRestartNogoods=192 solvingWckTime=98.734 solvingCpuTime=98.55 expiredTime=no totalExploration=yes
99.50 nbFoundSolutions=0 globalCpuTime=98.93
99.50 => wckTime=99.203 cpuTime=98.88 mem=14M924
99.50
99.50 s UNSATISFIABLE
99.50 d NODES 515969
99.50 d CHECKS 687208692
99.50
99.50 totalWckTime=99.28 totalCpuTime=98.93
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node3/watcher-199666-1168071503 -o ROOT/results/node3/solver-199666-1168071503 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199666-1168071503/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.03 1.96 1.93 4/93 28728
/proc/meminfo: memFree=1218912/2055920 swapFree=4192812/4192956
[pid=28727] ppid=28725 vsize=172 CPUtime=0
/proc/28727/stat : 28727 (java) R 28725 28727 26928 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 155545924 176128 24 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 10924331 0 0 4096 0 0 0 0 17 0 0 0
/proc/28727/statm: 43 24 18 14 0 3 0
[startup+0.108441 s]
/proc/loadavg: 2.03 1.96 1.93 4/93 28728
/proc/meminfo: memFree=1218912/2055920 swapFree=4192812/4192956
[pid=28727] ppid=28725 vsize=914988 CPUtime=0.09
/proc/28727/stat : 28727 (java) R 28725 28727 26928 0 -1 0 3079 0 1 0 7 2 0 0 24 0 8 0 155545924 936947712 2825 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4072931410 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28727/statm: 228747 2825 1455 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.516502 s]
/proc/loadavg: 2.03 1.96 1.93 4/93 28728
/proc/meminfo: memFree=1218912/2055920 swapFree=4192812/4192956
[pid=28727] ppid=28725 vsize=915328 CPUtime=0.5
/proc/28727/stat : 28727 (java) R 28725 28727 26928 0 -1 0 7042 0 1 0 46 4 0 0 25 0 8 0 155545924 937295872 6781 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28727/statm: 228832 6781 2142 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.33764 s]
/proc/loadavg: 2.03 1.96 1.93 3/100 28735
/proc/meminfo: memFree=1195496/2055920 swapFree=4192812/4192956
[pid=28727] ppid=28725 vsize=915452 CPUtime=1.32
/proc/28727/stat : 28727 (java) R 28725 28727 26928 0 -1 0 8586 0 1 0 126 6 0 0 25 0 8 0 155545924 937422848 8324 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073845259 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28727/statm: 228863 8324 2513 14 0 215333 0
[pid=28727/tid=28729] ppid=28725 vsize=915452 CPUtime=0.02
/proc/28727/task/28729/stat : 28729 (java) S 28725 28727 26928 0 -1 64 269 0 0 0 2 0 0 0 16 0 8 0 155545927 937422848 8324 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28730] ppid=28725 vsize=915452 CPUtime=0
/proc/28727/task/28730/stat : 28730 (java) S 28725 28727 26928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155545928 937422848 8324 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28731] ppid=28725 vsize=915452 CPUtime=0
/proc/28727/task/28731/stat : 28731 (java) S 28725 28727 26928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155545928 937422848 8324 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28732] ppid=28725 vsize=915452 CPUtime=0
/proc/28727/task/28732/stat : 28732 (java) S 28725 28727 26928 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155545931 937422848 8324 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28733] ppid=28725 vsize=915452 CPUtime=0.21
/proc/28727/task/28733/stat : 28733 (java) S 28725 28727 26928 0 -1 64 382 0 0 0 20 1 0 0 16 0 8 0 155545931 937422848 8324 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28734] ppid=28725 vsize=915452 CPUtime=0
/proc/28727/task/28734/stat : 28734 (java) S 28725 28727 26928 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155545931 937422848 8324 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28735] ppid=28725 vsize=915452 CPUtime=0
/proc/28727/task/28735/stat : 28735 (java) S 28725 28727 26928 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155545931 937422848 8324 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 915452
[startup+2.9749 s]
/proc/loadavg: 2.02 1.96 1.93 3/100 28735
/proc/meminfo: memFree=1195368/2055920 swapFree=4192812/4192956
[pid=28727] ppid=28725 vsize=915452 CPUtime=2.95
/proc/28727/stat : 28727 (java) R 28725 28727 26928 0 -1 0 8602 0 1 0 289 6 0 0 25 0 8 0 155545924 937422848 8339 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073807400 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28727/statm: 228863 8339 2513 14 0 215333 0
[pid=28727/tid=28729] ppid=28725 vsize=915452 CPUtime=0.02
/proc/28727/task/28729/stat : 28729 (java) S 28725 28727 26928 0 -1 64 269 0 0 0 2 0 0 0 16 0 8 0 155545927 937422848 8339 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28730] ppid=28725 vsize=915452 CPUtime=0
/proc/28727/task/28730/stat : 28730 (java) S 28725 28727 26928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155545928 937422848 8339 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28731] ppid=28725 vsize=915452 CPUtime=0
/proc/28727/task/28731/stat : 28731 (java) S 28725 28727 26928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155545928 937422848 8339 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28732] ppid=28725 vsize=915452 CPUtime=0
/proc/28727/task/28732/stat : 28732 (java) S 28725 28727 26928 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155545931 937422848 8339 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28733] ppid=28725 vsize=915452 CPUtime=0.22
/proc/28727/task/28733/stat : 28733 (java) S 28725 28727 26928 0 -1 64 388 0 0 0 21 1 0 0 15 0 8 0 155545931 937422848 8339 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28734] ppid=28725 vsize=915452 CPUtime=0
/proc/28727/task/28734/stat : 28734 (java) S 28725 28727 26928 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155545931 937422848 8339 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28735] ppid=28725 vsize=915452 CPUtime=0
/proc/28727/task/28735/stat : 28735 (java) S 28725 28727 26928 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155545931 937422848 8339 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915452
[startup+6.27344 s]
/proc/loadavg: 2.02 1.96 1.93 3/100 28735
/proc/meminfo: memFree=1195176/2055920 swapFree=4192812/4192956
[pid=28727] ppid=28725 vsize=915452 CPUtime=6.25
/proc/28727/stat : 28727 (java) R 28725 28727 26928 0 -1 0 8611 0 1 0 619 6 0 0 25 0 8 0 155545924 937422848 8347 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28727/statm: 228863 8347 2513 14 0 215333 0
[pid=28727/tid=28729] ppid=28725 vsize=915452 CPUtime=0.02
/proc/28727/task/28729/stat : 28729 (java) S 28725 28727 26928 0 -1 64 269 0 0 0 2 0 0 0 17 0 8 0 155545927 937422848 8347 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28730] ppid=28725 vsize=915452 CPUtime=0
/proc/28727/task/28730/stat : 28730 (java) S 28725 28727 26928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155545928 937422848 8347 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28731] ppid=28725 vsize=915452 CPUtime=0
/proc/28727/task/28731/stat : 28731 (java) S 28725 28727 26928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155545928 937422848 8347 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28732] ppid=28725 vsize=915452 CPUtime=0
/proc/28727/task/28732/stat : 28732 (java) S 28725 28727 26928 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155545931 937422848 8347 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28733] ppid=28725 vsize=915452 CPUtime=0.22
/proc/28727/task/28733/stat : 28733 (java) S 28725 28727 26928 0 -1 64 389 0 0 0 21 1 0 0 16 0 8 0 155545931 937422848 8347 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28734] ppid=28725 vsize=915452 CPUtime=0
/proc/28727/task/28734/stat : 28734 (java) S 28725 28727 26928 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155545931 937422848 8347 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28735] ppid=28725 vsize=915452 CPUtime=0
/proc/28727/task/28735/stat : 28735 (java) S 28725 28727 26928 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155545931 937422848 8347 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915452
[startup+12.7495 s]
/proc/loadavg: 2.02 1.96 1.93 3/100 28735
/proc/meminfo: memFree=1184424/2055920 swapFree=4192812/4192956
[pid=28727] ppid=28725 vsize=915452 CPUtime=12.72
/proc/28727/stat : 28727 (java) R 28725 28727 26928 0 -1 0 8616 0 1 0 1266 6 0 0 25 0 8 0 155545924 937422848 8352 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073794316 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28727/statm: 228863 8352 2513 14 0 215333 0
[pid=28727/tid=28729] ppid=28725 vsize=915452 CPUtime=0.02
/proc/28727/task/28729/stat : 28729 (java) S 28725 28727 26928 0 -1 64 269 0 0 0 2 0 0 0 16 0 8 0 155545927 937422848 8352 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28730] ppid=28725 vsize=915452 CPUtime=0
/proc/28727/task/28730/stat : 28730 (java) S 28725 28727 26928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155545928 937422848 8352 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28731] ppid=28725 vsize=915452 CPUtime=0
/proc/28727/task/28731/stat : 28731 (java) S 28725 28727 26928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155545928 937422848 8352 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28732] ppid=28725 vsize=915452 CPUtime=0
/proc/28727/task/28732/stat : 28732 (java) S 28725 28727 26928 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155545931 937422848 8352 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28733] ppid=28725 vsize=915452 CPUtime=0.22
/proc/28727/task/28733/stat : 28733 (java) S 28725 28727 26928 0 -1 64 389 0 0 0 21 1 0 0 16 0 8 0 155545931 937422848 8352 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28734] ppid=28725 vsize=915452 CPUtime=0
/proc/28727/task/28734/stat : 28734 (java) S 28725 28727 26928 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155545931 937422848 8352 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28735] ppid=28725 vsize=915452 CPUtime=0
/proc/28727/task/28735/stat : 28735 (java) S 28725 28727 26928 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155545931 937422848 8352 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915452
[startup+25.6116 s]
/proc/loadavg: 2.02 1.96 1.93 3/100 28735
/proc/meminfo: memFree=1184424/2055920 swapFree=4192812/4192956
[pid=28727] ppid=28725 vsize=915452 CPUtime=25.57
/proc/28727/stat : 28727 (java) R 28725 28727 26928 0 -1 0 8619 0 1 0 2551 6 0 0 25 0 8 0 155545924 937422848 8355 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073815927 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28727/statm: 228863 8355 2513 14 0 215333 0
[pid=28727/tid=28729] ppid=28725 vsize=915452 CPUtime=0.02
/proc/28727/task/28729/stat : 28729 (java) S 28725 28727 26928 0 -1 64 269 0 0 0 2 0 0 0 16 0 8 0 155545927 937422848 8355 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28730] ppid=28725 vsize=915452 CPUtime=0
/proc/28727/task/28730/stat : 28730 (java) S 28725 28727 26928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155545928 937422848 8355 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28731] ppid=28725 vsize=915452 CPUtime=0
/proc/28727/task/28731/stat : 28731 (java) S 28725 28727 26928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155545928 937422848 8355 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28732] ppid=28725 vsize=915452 CPUtime=0
/proc/28727/task/28732/stat : 28732 (java) S 28725 28727 26928 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155545931 937422848 8355 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28733] ppid=28725 vsize=915452 CPUtime=0.22
/proc/28727/task/28733/stat : 28733 (java) S 28725 28727 26928 0 -1 64 389 0 0 0 21 1 0 0 16 0 8 0 155545931 937422848 8355 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28734] ppid=28725 vsize=915452 CPUtime=0
/proc/28727/task/28734/stat : 28734 (java) S 28725 28727 26928 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155545931 937422848 8355 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28735] ppid=28725 vsize=915452 CPUtime=0
/proc/28727/task/28735/stat : 28735 (java) S 28725 28727 26928 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155545931 937422848 8355 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.57
Current children cumulated vsize (KiB) 915452
[startup+51.2227 s]
/proc/loadavg: 2.01 1.96 1.93 3/100 28735
/proc/meminfo: memFree=1184424/2055920 swapFree=4192812/4192956
[pid=28727] ppid=28725 vsize=915452 CPUtime=51.16
/proc/28727/stat : 28727 (java) R 28725 28727 26928 0 -1 0 8623 0 1 0 5109 7 0 0 25 0 8 0 155545924 937422848 8359 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4073786420 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28727/statm: 228863 8359 2513 14 0 215333 0
[pid=28727/tid=28729] ppid=28725 vsize=915452 CPUtime=0.02
/proc/28727/task/28729/stat : 28729 (java) S 28725 28727 26928 0 -1 64 269 0 0 0 2 0 0 0 16 0 8 0 155545927 937422848 8359 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28730] ppid=28725 vsize=915452 CPUtime=0
/proc/28727/task/28730/stat : 28730 (java) S 28725 28727 26928 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155545928 937422848 8359 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28731] ppid=28725 vsize=915452 CPUtime=0
/proc/28727/task/28731/stat : 28731 (java) S 28725 28727 26928 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155545928 937422848 8359 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28732] ppid=28725 vsize=915452 CPUtime=0
/proc/28727/task/28732/stat : 28732 (java) S 28725 28727 26928 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155545931 937422848 8359 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28733] ppid=28725 vsize=915452 CPUtime=0.22
/proc/28727/task/28733/stat : 28733 (java) S 28725 28727 26928 0 -1 64 389 0 0 0 21 1 0 0 16 0 8 0 155545931 937422848 8359 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28734] ppid=28725 vsize=915452 CPUtime=0
/proc/28727/task/28734/stat : 28734 (java) S 28725 28727 26928 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155545931 937422848 8359 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28727/tid=28735] ppid=28725 vsize=915452 CPUtime=0
/proc/28727/task/28735/stat : 28735 (java) S 28725 28727 26928 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155545931 937422848 8359 18446744073709551615 134512640 134570532 4294956384 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.16
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 99.5358
CPU time (s): 99.4009
CPU user time (s): 99.3219
CPU system time (s): 0.078987
CPU usage (%): 99.8645
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 99.3219
system time used= 0.078987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8719
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= 3155
involuntary context switches= 7769
runsolver used 0.13098 s user time and 0.313952 s system time
The end
Begin job on node3 on Sat Jan 6 08:18:23 UTC 2007
IDJOB= 199666
IDBENCH= 3631
FILE ID= node3/199666-1168071503
PBS_JOBID= 3475411
Free space on /tmp= 66543 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-23/rand-23-23-253-131-52021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199666-1168071503/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node3/watcher-199666-1168071503 -o ROOT/results/node3/solver-199666-1168071503 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/199666-1168071503/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 06cd5bfeea3b4b1120b6f4454fdde282
RANDOM SEED= 269945660
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.279
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.279
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: 1219328 kB
Buffers: 65136 kB
Cached: 466148 kB
SwapCached: 0 kB
Active: 262288 kB
Inactive: 479328 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1219328 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1872 kB
Writeback: 0 kB
Mapped: 239364 kB
Slab: 79668 kB
Committed_AS: 4516160 kB
PageTables: 2396 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= 66543 MiB
End job on node3 on Sat Jan 6 08:20:03 UTC 2007