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/221700-1168080075/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.41 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.41 => wckTime=0.097 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
0.50
0.50 constraints being loaded...
0.62 nbConstraints=276 nbRelationTypes=276 nbExtensionStructures=276 nbSharedExtensionStructures=0
0.62 nbConflictsStructures=276 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=866 maxDegree=23
0.62 maxArity=2
0.62 => wckTime=0.313 cpuTime=0.24 mem=13M794
0.66
0.66 solver IterativeSystematicSolver being built...
0.82 => wckTime=0.507 cpuTime=0.37 mem=14M40
0.82
0.82 preprocessing
0.82 nbConstraintChecks=0 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.82 detectedInconsistency=no
0.82 => wckTime=0.0040 cpuTime=0.0 mem=14M40
0.87
0.87 search
0.87 run=0 nbConstraintChecks=27998 nbPropagations=394 nbRevisions=5947 nbUselessRevisions=5078 nbAssignments=27
0.87 nbFailedAssignments=11 nbBacktracks=11 nbVisitedNodes=45 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.05 cpuTime=0.03 mem=15M65
0.89
0.89 search
0.89 run=1 nbConstraintChecks=67297 nbPropagations=1281 nbRevisions=20065 nbUselessRevisions=17177 nbAssignments=62
0.89 nbFailedAssignments=25 nbBacktracks=27 nbVisitedNodes=105 nbRestartNogoods=2 mapSize=24 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.068 cpuTime=0.05 mem=15M65
0.91
0.91 search
0.91 run=2 nbConstraintChecks=132635 nbPropagations=2959 nbRevisions=48408 nbUselessRevisions=41639
0.91 nbAssignments=111 nbFailedAssignments=45 nbBacktracks=49 nbVisitedNodes=190 nbRestartNogoods=4 mapSize=45
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.095 cpuTime=0.06 mem=15M65
0.94
0.94 search
0.94 run=3 nbConstraintChecks=242436 nbPropagations=5845 nbRevisions=100369 nbUselessRevisions=86554
0.94 nbAssignments=188 nbFailedAssignments=84 nbBacktracks=83 nbVisitedNodes=332 nbRestartNogoods=7 mapSize=79
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.124 cpuTime=0.09 mem=15M65
0.97
0.97 search
0.97 run=4 nbConstraintChecks=373021 nbPropagations=10314 nbRevisions=182171 nbUselessRevisions=157387
0.97 nbAssignments=298 nbFailedAssignments=138 nbBacktracks=133 nbVisitedNodes=533 nbRestartNogoods=11 mapSize=128
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.153 cpuTime=0.12 mem=15M65
1.02
1.02 search
1.02 run=5 nbConstraintChecks=574061 nbPropagations=17094 nbRevisions=307925 nbUselessRevisions=266261
1.02 nbAssignments=455 nbFailedAssignments=214 nbBacktracks=209 nbVisitedNodes=823 nbRestartNogoods=17 mapSize=203
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.198 cpuTime=0.16 mem=15M65
1.08
1.08 search
1.08 run=6 nbConstraintChecks=887331 nbPropagations=27426 nbRevisions=504317 nbUselessRevisions=436543
1.08 nbAssignments=685 nbFailedAssignments=325 nbBacktracks=323 nbVisitedNodes=1251 nbRestartNogoods=21 mapSize=316
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.264 cpuTime=0.22 mem=15M65
1.18
1.18 search
1.18 run=7 nbConstraintChecks=1346781 nbPropagations=42902 nbRevisions=803652 nbUselessRevisions=696013
1.18 nbAssignments=1028 nbFailedAssignments=493 nbBacktracks=494 nbVisitedNodes=1896 nbRestartNogoods=32
1.18 mapSize=483 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.357 cpuTime=0.31 mem=15M65
1.32
1.32 search
1.32 run=8 nbConstraintChecks=2070799 nbPropagations=66416 nbRevisions=1264483 nbUselessRevisions=1095460
1.32 nbAssignments=1548 nbFailedAssignments=751 nbBacktracks=751 nbVisitedNodes=2873 nbRestartNogoods=37
1.32 mapSize=739 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.497 cpuTime=0.43 mem=15M65
1.45
1.45 INFO : Stopping hyperNogood (mapSize=1027, nbTooLargekeys=0, mem=15M65)
1.48
1.48 search
1.48 run=9 nbConstraintChecks=3104698 nbPropagations=101269 nbRevisions=1947213 nbUselessRevisions=1686089
1.48 nbAssignments=2287 nbFailedAssignments=1100 nbBacktracks=1135 nbVisitedNodes=4241 nbRestartNogoods=45
1.48 => wckTime=0.664 cpuTime=0.59 mem=15M65
1.73
1.73 search
1.73 run=10 nbConstraintChecks=4666828 nbPropagations=153679 nbRevisions=2976942 nbUselessRevisions=2577310
1.73 nbAssignments=3445 nbFailedAssignments=1675 nbBacktracks=1711 nbVisitedNodes=6411 nbRestartNogoods=50
1.73 => wckTime=0.911 cpuTime=0.83 mem=15M65
2.05
2.05 search
2.05 run=11 nbConstraintChecks=6902634 nbPropagations=231429 nbRevisions=4511759 nbUselessRevisions=3907467
2.05 nbAssignments=5143 nbFailedAssignments=2503 nbBacktracks=2576 nbVisitedNodes=9564 nbRestartNogoods=61
2.05 => wckTime=1.229 cpuTime=1.15 mem=15M65
2.54
2.54 search
2.54 run=12 nbConstraintChecks=10478628 nbPropagations=348824 nbRevisions=6842725 nbUselessRevisions=5928326
2.54 nbAssignments=7752 nbFailedAssignments=3811 nbBacktracks=3873 nbVisitedNodes=14438 nbRestartNogoods=73
2.54 => wckTime=1.726 cpuTime=1.64 mem=15M65
3.25
3.25 search
3.25 run=13 nbConstraintChecks=15477693 nbPropagations=523119 nbRevisions=10294856 nbUselessRevisions=8921378
3.25 nbAssignments=11562 nbFailedAssignments=5669 nbBacktracks=5820 nbVisitedNodes=21519 nbRestartNogoods=84
3.25 => wckTime=2.432 cpuTime=2.35 mem=15M65
4.32
4.32 search
4.32 run=14 nbConstraintChecks=23125973 nbPropagations=783959 nbRevisions=15479114 nbUselessRevisions=13418021
4.32 nbAssignments=17303 nbFailedAssignments=8484 nbBacktracks=8739 nbVisitedNodes=32255 nbRestartNogoods=94
4.32 => wckTime=3.505 cpuTime=3.42 mem=15M65
5.91
5.91 search
5.91 run=15 nbConstraintChecks=34370216 nbPropagations=1173008 nbRevisions=23202127 nbUselessRevisions=20116287
5.91 nbAssignments=25910 nbFailedAssignments=12707 nbBacktracks=13117 nbVisitedNodes=48298 nbRestartNogoods=106
5.91 => wckTime=5.089 cpuTime=5.01 mem=15M65
8.42
8.42 search
8.42 run=16 nbConstraintChecks=51598798 nbPropagations=1755498 nbRevisions=34780105 nbUselessRevisions=30159101
8.42 nbAssignments=38790 nbFailedAssignments=19015 nbBacktracks=19685 nbVisitedNodes=72291 nbRestartNogoods=120
8.42 => wckTime=7.604 cpuTime=7.5 mem=15M65
12.43
12.44 search
12.44 run=17 nbConstraintChecks=77850541 nbPropagations=2632921 nbRevisions=52272760 nbUselessRevisions=45335479
12.44 nbAssignments=58184 nbFailedAssignments=28551 nbBacktracks=29537 nbVisitedNodes=108586 nbRestartNogoods=133
12.44 => wckTime=11.617 cpuTime=11.48 mem=15M65
18.48
18.48 search
18.48 run=18 nbConstraintChecks=117784571 nbPropagations=3955236 nbRevisions=78730635 nbUselessRevisions=68295430
18.48 nbAssignments=87529 nbFailedAssignments=43115 nbBacktracks=44315 nbVisitedNodes=163525 nbRestartNogoods=144
18.48 => wckTime=17.665 cpuTime=17.47 mem=15M65
27.46
27.46 search
27.46 run=19 nbConstraintChecks=176738762 nbPropagations=5936926 nbRevisions=118418067 nbUselessRevisions=102735931
27.46 nbAssignments=131394 nbFailedAssignments=64807 nbBacktracks=66484 nbVisitedNodes=245366 nbRestartNogoods=160
27.46 => wckTime=26.641 cpuTime=26.37 mem=15M65
41.30
41.30 search
41.30 run=20 nbConstraintChecks=268759269 nbPropagations=8930026 nbRevisions=178574114 nbUselessRevisions=154945178
41.30 nbAssignments=197713 nbFailedAssignments=97870 nbBacktracks=99736 nbVisitedNodes=369661 nbRestartNogoods=178
41.30 => wckTime=40.481 cpuTime=40.07 mem=15M65
61.77
61.77 search
61.77 run=21 nbConstraintChecks=404411214 nbPropagations=13420524 nbRevisions=268999744 nbUselessRevisions=233444986
61.77 nbAssignments=296116 nbFailedAssignments=146390 nbBacktracks=149614 nbVisitedNodes=553583 nbRestartNogoods=193
61.77 => wckTime=60.95 cpuTime=60.36 mem=15M65
92.82
92.82 search
92.82 run=22 nbConstraintChecks=610826683 nbPropagations=20173418 nbRevisions=405185225 nbUselessRevisions=351670933
92.82 nbAssignments=444630 nbFailedAssignments=220081 nbBacktracks=224433 nbVisitedNodes=831343 nbRestartNogoods=216
92.82 => wckTime=92.002 cpuTime=91.13 mem=15M65
139.74
139.74 search
139.74 run=23 nbConstraintChecks=924572883 nbPropagations=30341124 nbRevisions=610867066 nbUselessRevisions=530266597
139.74 nbAssignments=667963 nbFailedAssignments=331183 nbBacktracks=336661 nbVisitedNodes=1249095 nbRestartNogoods=226
139.74 => wckTime=138.921 cpuTime=137.62 mem=15M65
139.87
139.87 search
139.87 run=24 nbConstraintChecks=925440958 nbPropagations=40518274 nbRevisions=816736787 nbUselessRevisions=709024883
139.87 nbAssignments=668604 nbFailedAssignments=331481 nbBacktracks=336980 nbVisitedNodes=1250272 nbRestartNogoods=243
139.87 => wckTime=139.051 cpuTime=137.75 mem=15M65
139.87
139.87 global
139.87 nbConstraintChecks=925440958 nbPropagations=40518298 nbRevisions=816736787 nbUselessRevisions=709024883
139.87 nbRestartNogoods=243 solvingWckTime=139.052 solvingCpuTime=137.75 expiredTime=no totalExploration=no
139.87 nbFoundSolutions=1 globalCpuTime=138.17
139.87 => wckTime=139.562 cpuTime=138.12 mem=15M65
139.87
139.87 s SATISFIABLE
139.87 v 1 21 10 19 0 10 1 3 9 1 8 0 8 11 22 2 1 18 7 15 18 8 1 15
139.87 d NODES 668604
139.88 d CHECKS 925440958
139.88
139.88 totalWckTime=139.644 totalCpuTime=138.17
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node62/watcher-221700-1168080075 -o ROOT/results/node62/solver-221700-1168080075 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221700-1168080075/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.88 1.83 4/80 2720
/proc/meminfo: memFree=1014432/2055920 swapFree=4192812/4192956
[pid=2719] ppid=2717 vsize=18540 CPUtime=0
/proc/2719/stat : 2719 (runsolver) R 2717 2719 2261 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156405253 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 236437695783 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/2719/statm: 4635 279 244 17 0 2626 0
[startup+0.107896 s]
/proc/loadavg: 1.54 1.88 1.83 4/80 2720
/proc/meminfo: memFree=1014432/2055920 swapFree=4192812/4192956
[pid=2719] ppid=2717 vsize=914988 CPUtime=0.09
/proc/2719/stat : 2719 (java) R 2717 2719 2261 0 -1 0 3047 0 1 0 8 1 0 0 20 0 8 0 156405253 936947712 2793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155477100 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2719/statm: 228747 2793 1445 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.519989 s]
/proc/loadavg: 1.54 1.88 1.83 4/80 2720
/proc/meminfo: memFree=1014432/2055920 swapFree=4192812/4192956
[pid=2719] ppid=2717 vsize=915328 CPUtime=0.5
/proc/2719/stat : 2719 (java) R 2717 2719 2261 0 -1 0 7001 0 1 0 46 4 0 0 22 0 8 0 156405253 937295872 6740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2719/statm: 228832 6740 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.34213 s]
/proc/loadavg: 1.54 1.88 1.83 2/87 2727
/proc/meminfo: memFree=990888/2055920 swapFree=4192812/4192956
[pid=2719] ppid=2717 vsize=915452 CPUtime=1.31
/proc/2719/stat : 2719 (java) R 2717 2719 2261 0 -1 0 8616 0 1 0 126 5 0 0 16 0 8 0 156405253 937422848 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801171 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2719/statm: 228863 8354 2513 14 0 215333 0
[pid=2719/tid=2721] ppid=2717 vsize=915452 CPUtime=0.03
/proc/2719/task/2721/stat : 2721 (java) S 2717 2719 2261 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156405257 937422848 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2722] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2722/stat : 2722 (java) S 2717 2719 2261 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156405257 937422848 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2723] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2723/stat : 2723 (java) S 2717 2719 2261 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156405257 937422848 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2724] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2724/stat : 2724 (java) S 2717 2719 2261 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156405261 937422848 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2725] ppid=2717 vsize=915452 CPUtime=0.21
/proc/2719/task/2725/stat : 2725 (java) S 2717 2719 2261 0 -1 64 383 0 0 0 20 1 0 0 16 0 8 0 156405261 937422848 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2726] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2726/stat : 2726 (java) S 2717 2719 2261 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156405261 937422848 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2727] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2727/stat : 2727 (java) S 2717 2719 2261 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156405261 937422848 8354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915452
[startup+2.97946 s]
/proc/loadavg: 1.54 1.88 1.83 3/77 2735
/proc/meminfo: memFree=1104568/2055920 swapFree=4192812/4192956
[pid=2719] ppid=2717 vsize=915452 CPUtime=2.95
/proc/2719/stat : 2719 (java) R 2717 2719 2261 0 -1 0 8639 0 1 0 290 5 0 0 19 0 8 0 156405253 937422848 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2719/statm: 228863 8376 2513 14 0 215333 0
[pid=2719/tid=2721] ppid=2717 vsize=915452 CPUtime=0.03
/proc/2719/task/2721/stat : 2721 (java) S 2717 2719 2261 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156405257 937422848 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2722] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2722/stat : 2722 (java) S 2717 2719 2261 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156405257 937422848 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2723] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2723/stat : 2723 (java) S 2717 2719 2261 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156405257 937422848 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2724] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2724/stat : 2724 (java) S 2717 2719 2261 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156405261 937422848 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2725] ppid=2717 vsize=915452 CPUtime=0.22
/proc/2719/task/2725/stat : 2725 (java) S 2717 2719 2261 0 -1 64 389 0 0 0 21 1 0 0 16 0 8 0 156405261 937422848 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2719/tid=2726] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2726/stat : 2726 (java) S 2717 2719 2261 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156405261 937422848 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2727] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2727/stat : 2727 (java) S 2717 2719 2261 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156405261 937422848 8376 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915452
[startup+6.27711 s]
/proc/loadavg: 1.50 1.86 1.82 2/75 2738
/proc/meminfo: memFree=1109192/2055920 swapFree=4192812/4192956
[pid=2719] ppid=2717 vsize=915452 CPUtime=6.25
/proc/2719/stat : 2719 (java) R 2717 2719 2261 0 -1 0 8648 0 1 0 619 6 0 0 25 0 8 0 156405253 937422848 8384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/2719/statm: 228863 8384 2513 14 0 215333 0
[pid=2719/tid=2721] ppid=2717 vsize=915452 CPUtime=0.03
/proc/2719/task/2721/stat : 2721 (java) S 2717 2719 2261 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156405257 937422848 8384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2722] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2722/stat : 2722 (java) S 2717 2719 2261 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156405257 937422848 8384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2723] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2723/stat : 2723 (java) S 2717 2719 2261 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156405257 937422848 8384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2724] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2724/stat : 2724 (java) S 2717 2719 2261 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156405261 937422848 8384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2725] ppid=2717 vsize=915452 CPUtime=0.22
/proc/2719/task/2725/stat : 2725 (java) S 2717 2719 2261 0 -1 64 389 0 0 0 21 1 0 0 16 0 8 0 156405261 937422848 8384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=2719/tid=2726] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2726/stat : 2726 (java) S 2717 2719 2261 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156405261 937422848 8384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2727] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2727/stat : 2727 (java) S 2717 2719 2261 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156405261 937422848 8384 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 915452
[startup+12.7524 s]
/proc/loadavg: 1.62 1.88 1.83 3/87 2783
/proc/meminfo: memFree=1082600/2055920 swapFree=4192812/4192956
[pid=2719] ppid=2717 vsize=915452 CPUtime=12.68
/proc/2719/stat : 2719 (java) R 2717 2719 2261 0 -1 0 8655 0 1 0 1261 7 0 0 25 0 8 0 156405253 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801058 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2719/statm: 228863 8390 2513 14 0 215333 0
[pid=2719/tid=2721] ppid=2717 vsize=915452 CPUtime=0.03
/proc/2719/task/2721/stat : 2721 (java) S 2717 2719 2261 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156405257 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2722] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2722/stat : 2722 (java) S 2717 2719 2261 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156405257 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2723] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2723/stat : 2723 (java) S 2717 2719 2261 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156405257 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2724] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2724/stat : 2724 (java) S 2717 2719 2261 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156405261 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2725] ppid=2717 vsize=915452 CPUtime=0.23
/proc/2719/task/2725/stat : 2725 (java) S 2717 2719 2261 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 156405261 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2726] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2726/stat : 2726 (java) S 2717 2719 2261 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156405261 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2727] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2727/stat : 2727 (java) S 2717 2719 2261 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156405261 937422848 8390 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915452
[startup+25.6089 s]
/proc/loadavg: 1.70 1.89 1.83 3/87 2783
/proc/meminfo: memFree=1082600/2055920 swapFree=4192812/4192956
[pid=2719] ppid=2717 vsize=915452 CPUtime=25.42
/proc/2719/stat : 2719 (java) R 2717 2719 2261 0 -1 0 8658 0 1 0 2535 7 0 0 25 0 8 0 156405253 937422848 8393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073801009 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2719/statm: 228863 8393 2513 14 0 215333 0
[pid=2719/tid=2721] ppid=2717 vsize=915452 CPUtime=0.03
/proc/2719/task/2721/stat : 2721 (java) S 2717 2719 2261 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156405257 937422848 8393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2722] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2722/stat : 2722 (java) S 2717 2719 2261 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156405257 937422848 8393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2723] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2723/stat : 2723 (java) S 2717 2719 2261 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156405257 937422848 8393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2724] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2724/stat : 2724 (java) S 2717 2719 2261 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156405261 937422848 8393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2725] ppid=2717 vsize=915452 CPUtime=0.23
/proc/2719/task/2725/stat : 2725 (java) S 2717 2719 2261 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 156405261 937422848 8393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2726] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2726/stat : 2726 (java) S 2717 2719 2261 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156405261 937422848 8393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2727] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2727/stat : 2727 (java) S 2717 2719 2261 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156405261 937422848 8393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 915452
[startup+51.214 s]
/proc/loadavg: 1.80 1.89 1.83 3/87 2783
/proc/meminfo: memFree=1082600/2055920 swapFree=4192812/4192956
[pid=2719] ppid=2717 vsize=915452 CPUtime=50.78
/proc/2719/stat : 2719 (java) R 2717 2719 2261 0 -1 0 8663 0 1 0 5071 7 0 0 25 0 8 0 156405253 937422848 8398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825573 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2719/statm: 228863 8398 2513 14 0 215333 0
[pid=2719/tid=2721] ppid=2717 vsize=915452 CPUtime=0.03
/proc/2719/task/2721/stat : 2721 (java) S 2717 2719 2261 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156405257 937422848 8398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2722] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2722/stat : 2722 (java) S 2717 2719 2261 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156405257 937422848 8398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2723] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2723/stat : 2723 (java) S 2717 2719 2261 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156405257 937422848 8398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2724] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2724/stat : 2724 (java) S 2717 2719 2261 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156405261 937422848 8398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2725] ppid=2717 vsize=915452 CPUtime=0.23
/proc/2719/task/2725/stat : 2725 (java) S 2717 2719 2261 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 156405261 937422848 8398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2726] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2726/stat : 2726 (java) S 2717 2719 2261 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156405261 937422848 8398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2727] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2727/stat : 2727 (java) S 2717 2719 2261 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156405261 937422848 8398 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 915452
[startup+102.414 s]
/proc/loadavg: 1.91 1.91 1.84 3/87 2783
/proc/meminfo: memFree=1082664/2055920 swapFree=4192812/4192956
[pid=2719] ppid=2717 vsize=915452 CPUtime=101.51
/proc/2719/stat : 2719 (java) R 2717 2719 2261 0 -1 0 8668 0 1 0 10144 7 0 0 25 0 8 0 156405253 937422848 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073813728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/2719/statm: 228863 8403 2513 14 0 215333 0
[pid=2719/tid=2721] ppid=2717 vsize=915452 CPUtime=0.03
/proc/2719/task/2721/stat : 2721 (java) S 2717 2719 2261 0 -1 64 304 0 0 0 3 0 0 0 16 0 8 0 156405257 937422848 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2722] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2722/stat : 2722 (java) S 2717 2719 2261 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156405257 937422848 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2723] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2723/stat : 2723 (java) S 2717 2719 2261 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156405257 937422848 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2724] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2724/stat : 2724 (java) S 2717 2719 2261 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156405261 937422848 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2725] ppid=2717 vsize=915452 CPUtime=0.23
/proc/2719/task/2725/stat : 2725 (java) S 2717 2719 2261 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 156405261 937422848 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2726] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2726/stat : 2726 (java) S 2717 2719 2261 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156405261 937422848 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=2719/tid=2727] ppid=2717 vsize=915452 CPUtime=0
/proc/2719/task/2727/stat : 2727 (java) S 2717 2719 2261 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156405261 937422848 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 139.908
CPU time (s): 138.649
CPU user time (s): 138.563
CPU system time (s): 0.085986
CPU usage (%): 99.1003
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 138.563
system time used= 0.085986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8762
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= 3886
involuntary context switches= 6704
runsolver used 0.162975 s user time and 0.464929 s system time
The end
Begin job on node62 on Sat Jan 6 10:41:15 UTC 2007
IDJOB= 221700
IDBENCH= 5464
FILE ID= node62/221700-1168080075
PBS_JOBID= 3476083
Free space on /tmp= 66548 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-24/rand-24-24-276-139-50021_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221700-1168080075/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-221700-1168080075 -o ROOT/results/node62/solver-221700-1168080075 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/221700-1168080075/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 094103c37843dc2a4de224366d3c3050
RANDOM SEED= 446034758
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 : 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.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: 1014912 kB
Buffers: 59256 kB
Cached: 766944 kB
SwapCached: 0 kB
Active: 240452 kB
Inactive: 721888 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1014912 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4968 kB
Writeback: 0 kB
Mapped: 156372 kB
Slab: 63764 kB
Committed_AS: 3653672 kB
PageTables: 2128 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= 66549 MiB
End job on node62 on Sat Jan 6 10:43:35 UTC 2007