0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/208407-1168074695/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19
0.42 => wckTime=0.101 cpuTime=0.1 mem=6M951
0.42
0.42 relations being loaded...
0.53
0.53 constraints being loaded...
0.64 nbConstraints=340 nbRelationTypes=340 nbExtensionStructures=340 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=340 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2966 maxDegree=22
0.64 maxArity=2
0.64 => wckTime=0.323 cpuTime=0.25 mem=12M811
0.68
0.68 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.52 cpuTime=0.37 mem=13M926
0.85
0.85 preprocessing
0.85 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.85 detectedInconsistency=no
0.85 => wckTime=0.0060 cpuTime=0.0 mem=13M926
0.90
0.90 search
0.90 run=0 nbConstraintChecks=36760 nbPropagations=587 nbRevisions=6276 nbUselessRevisions=5106 nbAssignments=31
0.90 nbFailedAssignments=11 nbBacktracks=13 nbVisitedNodes=51 nbRestartNogoods=0 mapSize=12 nbInferences=0
0.90 nbTooLargeKeys=0
0.90 => wckTime=0.062 cpuTime=0.03 mem=14M901
0.93
0.93 search
0.93 run=1 nbConstraintChecks=93777 nbPropagations=1908 nbRevisions=22007 nbUselessRevisions=17438 nbAssignments=70
0.93 nbFailedAssignments=28 nbBacktracks=30 nbVisitedNodes=117 nbRestartNogoods=3 mapSize=27 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.086 cpuTime=0.05 mem=14M901
0.95
0.95 search
0.95 run=2 nbConstraintChecks=159474 nbPropagations=4169 nbRevisions=49952 nbUselessRevisions=39537
0.95 nbAssignments=114 nbFailedAssignments=42 nbBacktracks=53 nbVisitedNodes=193 nbRestartNogoods=5 mapSize=49
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.11 cpuTime=0.06 mem=14M901
0.97
0.97 search
0.97 run=3 nbConstraintChecks=231221 nbPropagations=7504 nbRevisions=91229 nbUselessRevisions=72354
0.97 nbAssignments=178 nbFailedAssignments=62 nbBacktracks=91 nbVisitedNodes=295 nbRestartNogoods=10 mapSize=78
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.127 cpuTime=0.08 mem=14M901
1.00
1.00 search
1.00 run=4 nbConstraintChecks=370828 nbPropagations=12749 nbRevisions=158877 nbUselessRevisions=126418
1.00 nbAssignments=282 nbFailedAssignments=109 nbBacktracks=142 nbVisitedNodes=480 nbRestartNogoods=12 mapSize=122
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.158 cpuTime=0.11 mem=14M901
1.04
1.04 search
1.04 run=5 nbConstraintChecks=526913 nbPropagations=20200 nbRevisions=255472 nbUselessRevisions=203763
1.04 nbAssignments=421 nbFailedAssignments=165 nbBacktracks=217 nbVisitedNodes=708 nbRestartNogoods=15 mapSize=179
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.195 cpuTime=0.14 mem=14M901
1.08
1.08 search
1.08 run=6 nbConstraintChecks=754093 nbPropagations=30966 nbRevisions=396334 nbUselessRevisions=317177
1.08 nbAssignments=614 nbFailedAssignments=238 nbBacktracks=331 nbVisitedNodes=1042 nbRestartNogoods=18 mapSize=278
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.244 cpuTime=0.19 mem=14M901
1.16
1.16 search
1.16 run=7 nbConstraintChecks=1114299 nbPropagations=46816 nbRevisions=604219 nbUselessRevisions=484064
1.16 nbAssignments=904 nbFailedAssignments=350 nbBacktracks=503 nbVisitedNodes=1523 nbRestartNogoods=21 mapSize=416
1.16 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.321 cpuTime=0.26 mem=14M901
1.28
1.28 search
1.28 run=8 nbConstraintChecks=1757073 nbPropagations=71361 nbRevisions=935459 nbUselessRevisions=750554
1.29 nbAssignments=1357 nbFailedAssignments=541 nbBacktracks=759 nbVisitedNodes=2337 nbRestartNogoods=26
1.29 mapSize=647 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.444 cpuTime=0.38 mem=14M901
1.44
1.44 search
1.44 run=9 nbConstraintChecks=2515496 nbPropagations=107430 nbRevisions=1421982 nbUselessRevisions=1143047
1.44 nbAssignments=2005 nbFailedAssignments=798 nbBacktracks=1143 nbVisitedNodes=3465 nbRestartNogoods=30
1.44 mapSize=966 nbInferences=0 nbTooLargeKeys=0
1.44 => wckTime=0.603 cpuTime=0.52 mem=14M901
1.47
1.47 INFO : Stopping hyperNogood (mapSize=1009, nbTooLargekeys=0, mem=14M901)
1.67
1.67 search
1.67 run=10 nbConstraintChecks=3874647 nbPropagations=161602 nbRevisions=2163221 nbUselessRevisions=1740708
1.67 nbAssignments=3009 nbFailedAssignments=1221 nbBacktracks=1719 nbVisitedNodes=5212 nbRestartNogoods=38
1.67 => wckTime=0.834 cpuTime=0.74 mem=14M901
2.00
2.00 search
2.00 run=11 nbConstraintChecks=5894572 nbPropagations=243330 nbRevisions=3280696 nbUselessRevisions=2640303
2.00 nbAssignments=4512 nbFailedAssignments=1853 nbBacktracks=2583 nbVisitedNodes=7848 nbRestartNogoods=42
2.00 => wckTime=1.162 cpuTime=1.07 mem=14M901
2.53
2.53 search
2.53 run=12 nbConstraintChecks=9161010 nbPropagations=369732 nbRevisions=5024259 nbUselessRevisions=4045506
2.53 nbAssignments=6861 nbFailedAssignments=2895 nbBacktracks=3883 nbVisitedNodes=12044 nbRestartNogoods=50
2.53 => wckTime=1.686 cpuTime=1.59 mem=14M901
3.20
3.20 search
3.20 run=13 nbConstraintChecks=13270331 nbPropagations=554314 nbRevisions=7571097 nbUselessRevisions=6099652
3.20 nbAssignments=10106 nbFailedAssignments=4184 nbBacktracks=5830 nbVisitedNodes=17640 nbRestartNogoods=58
3.20 => wckTime=2.356 cpuTime=2.25 mem=14M901
4.23
4.23 search
4.23 run=14 nbConstraintChecks=19774577 nbPropagations=827224 nbRevisions=11342748 nbUselessRevisions=9138334
4.23 nbAssignments=15023 nbFailedAssignments=6173 nbBacktracks=8751 nbVisitedNodes=26156 nbRestartNogoods=69
4.23 => wckTime=3.387 cpuTime=3.28 mem=14M901
5.83
5.83 search
5.83 run=15 nbConstraintChecks=29723015 nbPropagations=1237118 nbRevisions=17031557 nbUselessRevisions=13722293
5.83 nbAssignments=22519 nbFailedAssignments=9283 nbBacktracks=13129 nbVisitedNodes=39384 nbRestartNogoods=80
5.83 => wckTime=4.985 cpuTime=4.85 mem=14M901
8.35
8.35 search
8.35 run=16 nbConstraintChecks=45834577 nbPropagations=1863458 nbRevisions=25791304 nbUselessRevisions=20787720
8.35 nbAssignments=34065 nbFailedAssignments=14254 nbBacktracks=19697 nbVisitedNodes=59859 nbRestartNogoods=86
8.35 => wckTime=7.512 cpuTime=7.36 mem=14M901
11.94
11.94 search
11.94 run=17 nbConstraintChecks=68151152 nbPropagations=2802807 nbRevisions=38964762 nbUselessRevisions=31428266
11.94 nbAssignments=51079 nbFailedAssignments=21407 nbBacktracks=29549 nbVisitedNodes=89767 nbRestartNogoods=99
11.94 => wckTime=11.101 cpuTime=10.92 mem=14M901
17.04
17.04 search
17.04 run=18 nbConstraintChecks=100155318 nbPropagations=4182486 nbRevisions=58358395 nbUselessRevisions=47098787
17.04 nbAssignments=75708 nbFailedAssignments=31249 nbBacktracks=44328 nbVisitedNodes=132493 nbRestartNogoods=113
17.04 => wckTime=16.201 cpuTime=15.96 mem=14M901
25.03
25.03 search
25.03 run=19 nbConstraintChecks=149932915 nbPropagations=6252527 nbRevisions=87447359 nbUselessRevisions=70628795
25.03 nbAssignments=112865 nbFailedAssignments=46233 nbBacktracks=66497 nbVisitedNodes=197471 nbRestartNogoods=125
25.03 => wckTime=24.191 cpuTime=23.88 mem=14M901
36.85
36.85 search
36.85 run=20 nbConstraintChecks=224249712 nbPropagations=9351702 nbRevisions=130870512 nbUselessRevisions=105742693
36.85 nbAssignments=168847 nbFailedAssignments=68954 nbBacktracks=99750 nbVisitedNodes=295473 nbRestartNogoods=131
36.85 => wckTime=36.005 cpuTime=35.59 mem=14M901
54.26
54.26 search
54.26 run=21 nbConstraintChecks=333012224 nbPropagations=13968426 nbRevisions=195432010 nbUselessRevisions=157953598
54.26 nbAssignments=252403 nbFailedAssignments=102627 nbBacktracks=149628 nbVisitedNodes=440956 nbRestartNogoods=145
54.26 => wckTime=53.42 cpuTime=52.87 mem=14M901
81.06
81.06 search
81.06 run=22 nbConstraintChecks=503360416 nbPropagations=20911918 nbRevisions=292778460 nbUselessRevisions=236699419
81.06 nbAssignments=378506 nbFailedAssignments=153903 nbBacktracks=224449 nbVisitedNodes=661532 nbRestartNogoods=154
81.06 => wckTime=80.216 cpuTime=79.54 mem=14M901
121.62
121.62 search
121.62 run=23 nbConstraintChecks=762413525 nbPropagations=31364548 nbRevisions=439654684 nbUselessRevisions=355541323
121.62 nbAssignments=568452 nbFailedAssignments=231615 nbBacktracks=336676 nbVisitedNodes=994201 nbRestartNogoods=164
121.62 => wckTime=120.781 cpuTime=119.91 mem=14M901
150.84
150.84 search
150.84 run=24 nbConstraintChecks=947595102 nbPropagations=44364347 nbRevisions=622420892 nbUselessRevisions=503463569
150.84 nbAssignments=706391 nbFailedAssignments=288533 nbBacktracks=417657 nbVisitedNodes=1236638 nbRestartNogoods=179
150.84 => wckTime=149.998 cpuTime=148.99 mem=14M901
150.84
150.84 global
150.84 nbConstraintChecks=947595102 nbPropagations=44364387 nbRevisions=622420892 nbUselessRevisions=503463569
150.84 nbRestartNogoods=179 solvingWckTime=149.999 solvingCpuTime=148.99 expiredTime=no totalExploration=no
150.84 nbFoundSolutions=1 globalCpuTime=149.4
150.84 => wckTime=150.522 cpuTime=149.36 mem=14M901
150.84
150.84 s SATISFIABLE
150.84 v 8 6 4 0 18 6 11 16 14 13 12 6 8 15 4 0 11 17 5 11 4 17 9 16 3 16 2 8 2 6 2 4 14 11 2 2 16 5 12 5
150.84 d NODES 706391
150.84 d CHECKS 947595102
150.84
150.84 totalWckTime=150.605 totalCpuTime=149.4
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node23/watcher-208407-1168074695 -o ROOT/results/node23/solver-208407-1168074695 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208407-1168074695/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.00 1.52 1.20 4/93 21222
/proc/meminfo: memFree=1529712/2055920 swapFree=4192812/4192956
[pid=21221] ppid=21219 vsize=47976 CPUtime=0
/proc/21221/stat : 21221 (java) D 21219 21221 20910 0 -1 0 1223 0 1 0 0 0 0 0 17 0 1 0 155863863 49127424 972 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/21221/statm: 11994 972 769 14 0 1707 0
[startup+0.10374 s]
/proc/loadavg: 2.00 1.52 1.20 4/93 21222
/proc/meminfo: memFree=1529712/2055920 swapFree=4192812/4192956
[pid=21221] ppid=21219 vsize=914988 CPUtime=0.08
/proc/21221/stat : 21221 (java) R 21219 21221 20910 0 -1 0 2968 0 1 0 7 1 0 0 17 0 8 0 155863863 936947712 2714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153788138 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21221/statm: 228747 2714 1419 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511818 s]
/proc/loadavg: 2.00 1.52 1.20 4/93 21222
/proc/meminfo: memFree=1529712/2055920 swapFree=4192812/4192956
[pid=21221] ppid=21219 vsize=915328 CPUtime=0.49
/proc/21221/stat : 21221 (java) R 21219 21221 20910 0 -1 0 6752 0 1 0 45 4 0 0 18 0 8 0 155863863 937295872 6491 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21221/statm: 228832 6491 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33397 s]
/proc/loadavg: 2.00 1.53 1.20 3/100 21229
/proc/meminfo: memFree=1506104/2055920 swapFree=4192812/4192956
[pid=21221] ppid=21219 vsize=915456 CPUtime=1.3
/proc/21221/stat : 21221 (java) R 21219 21221 20910 0 -1 0 8629 0 1 0 124 6 0 0 24 0 8 0 155863863 937426944 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807422 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21221/statm: 228864 8367 2513 14 0 215334 0
[pid=21221/tid=21223] ppid=21219 vsize=915456 CPUtime=0.03
/proc/21221/task/21223/stat : 21223 (java) S 21219 21221 20910 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 155863867 937426944 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21224] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21224/stat : 21224 (java) S 21219 21221 20910 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155863868 937426944 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21225] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21225/stat : 21225 (java) S 21219 21221 20910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155863868 937426944 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21226] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21226/stat : 21226 (java) S 21219 21221 20910 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155863871 937426944 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21227] ppid=21219 vsize=915456 CPUtime=0.22
/proc/21221/task/21227/stat : 21227 (java) S 21219 21221 20910 0 -1 64 379 0 0 0 21 1 0 0 16 0 8 0 155863871 937426944 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21228] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21228/stat : 21228 (java) S 21219 21221 20910 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155863871 937426944 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21229] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21229/stat : 21229 (java) S 21219 21221 20910 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155863872 937426944 8367 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915456
[startup+2.98729 s]
/proc/loadavg: 2.00 1.53 1.20 3/100 21229
/proc/meminfo: memFree=1505784/2055920 swapFree=4192812/4192956
[pid=21221] ppid=21219 vsize=915456 CPUtime=2.94
/proc/21221/stat : 21221 (java) R 21219 21221 20910 0 -1 0 8666 0 1 0 288 6 0 0 25 0 8 0 155863863 937426944 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073822960 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21221/statm: 228864 8403 2513 14 0 215334 0
[pid=21221/tid=21223] ppid=21219 vsize=915456 CPUtime=0.03
/proc/21221/task/21223/stat : 21223 (java) S 21219 21221 20910 0 -1 64 288 0 0 0 3 0 0 0 17 0 8 0 155863867 937426944 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21224] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21224/stat : 21224 (java) S 21219 21221 20910 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155863868 937426944 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21225] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21225/stat : 21225 (java) S 21219 21221 20910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155863868 937426944 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21226] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21226/stat : 21226 (java) S 21219 21221 20910 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155863871 937426944 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21227] ppid=21219 vsize=915456 CPUtime=0.24
/proc/21221/task/21227/stat : 21227 (java) S 21219 21221 20910 0 -1 64 391 0 0 0 23 1 0 0 15 0 8 0 155863871 937426944 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21228] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21228/stat : 21228 (java) S 21219 21221 20910 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155863871 937426944 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21229] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21229/stat : 21229 (java) S 21219 21221 20910 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155863872 937426944 8403 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915456
[startup+6.27192 s]
/proc/loadavg: 2.00 1.53 1.20 3/100 21229
/proc/meminfo: memFree=1505720/2055920 swapFree=4192812/4192956
[pid=21221] ppid=21219 vsize=915456 CPUtime=6.19
/proc/21221/stat : 21221 (java) R 21219 21221 20910 0 -1 0 8675 0 1 0 613 6 0 0 25 0 8 0 155863863 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825719 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21221/statm: 228864 8411 2513 14 0 215334 0
[pid=21221/tid=21223] ppid=21219 vsize=915456 CPUtime=0.03
/proc/21221/task/21223/stat : 21223 (java) S 21219 21221 20910 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 155863867 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21224] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21224/stat : 21224 (java) S 21219 21221 20910 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155863868 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21225] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21225/stat : 21225 (java) S 21219 21221 20910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155863868 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21226] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21226/stat : 21226 (java) S 21219 21221 20910 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155863871 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21227] ppid=21219 vsize=915456 CPUtime=0.24
/proc/21221/task/21227/stat : 21227 (java) S 21219 21221 20910 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 155863871 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21228] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21228/stat : 21228 (java) S 21219 21221 20910 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155863871 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21229] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21229/stat : 21229 (java) S 21219 21221 20910 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155863872 937426944 8411 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915456
[startup+12.7572 s]
/proc/loadavg: 2.00 1.54 1.21 3/100 21229
/proc/meminfo: memFree=1505784/2055920 swapFree=4192812/4192956
[pid=21221] ppid=21219 vsize=915456 CPUtime=12.61
/proc/21221/stat : 21221 (java) R 21219 21221 20910 0 -1 0 8680 0 1 0 1255 6 0 0 25 0 8 0 155863863 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803623 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21221/statm: 228864 8415 2513 14 0 215334 0
[pid=21221/tid=21223] ppid=21219 vsize=915456 CPUtime=0.03
/proc/21221/task/21223/stat : 21223 (java) S 21219 21221 20910 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 155863867 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21224] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21224/stat : 21224 (java) S 21219 21221 20910 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155863868 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21225] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21225/stat : 21225 (java) S 21219 21221 20910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155863868 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21226] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21226/stat : 21226 (java) S 21219 21221 20910 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155863871 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21227] ppid=21219 vsize=915456 CPUtime=0.24
/proc/21221/task/21227/stat : 21227 (java) S 21219 21221 20910 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 155863871 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21228] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21228/stat : 21228 (java) S 21219 21221 20910 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155863871 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21229] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21229/stat : 21229 (java) S 21219 21221 20910 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155863872 937426944 8415 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915456
[startup+25.6097 s]
/proc/loadavg: 2.00 1.56 1.22 3/100 21229
/proc/meminfo: memFree=1505848/2055920 swapFree=4192812/4192956
[pid=21221] ppid=21219 vsize=915456 CPUtime=25.35
/proc/21221/stat : 21221 (java) R 21219 21221 20910 0 -1 0 8686 0 1 0 2529 6 0 0 25 0 8 0 155863863 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073834536 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21221/statm: 228864 8421 2513 14 0 215334 0
[pid=21221/tid=21223] ppid=21219 vsize=915456 CPUtime=0.03
/proc/21221/task/21223/stat : 21223 (java) S 21219 21221 20910 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 155863867 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21224] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21224/stat : 21224 (java) S 21219 21221 20910 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155863868 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21225] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21225/stat : 21225 (java) S 21219 21221 20910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155863868 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21226] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21226/stat : 21226 (java) S 21219 21221 20910 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155863871 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21227] ppid=21219 vsize=915456 CPUtime=0.24
/proc/21221/task/21227/stat : 21227 (java) S 21219 21221 20910 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 155863871 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21228] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21228/stat : 21228 (java) S 21219 21221 20910 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155863871 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21229] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21229/stat : 21229 (java) S 21219 21221 20910 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155863872 937426944 8421 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915456
[startup+51.2176 s]
/proc/loadavg: 2.00 1.60 1.24 3/100 21229
/proc/meminfo: memFree=1505848/2055920 swapFree=4192812/4192956
[pid=21221] ppid=21219 vsize=915456 CPUtime=50.74
/proc/21221/stat : 21221 (java) R 21219 21221 20910 0 -1 0 8689 0 1 0 5067 7 0 0 25 0 8 0 155863863 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073794441 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21221/statm: 228864 8424 2513 14 0 215334 0
[pid=21221/tid=21223] ppid=21219 vsize=915456 CPUtime=0.03
/proc/21221/task/21223/stat : 21223 (java) S 21219 21221 20910 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 155863867 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21224] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21224/stat : 21224 (java) S 21219 21221 20910 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155863868 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21225] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21225/stat : 21225 (java) S 21219 21221 20910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155863868 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21226] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21226/stat : 21226 (java) S 21219 21221 20910 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155863871 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21227] ppid=21219 vsize=915456 CPUtime=0.24
/proc/21221/task/21227/stat : 21227 (java) S 21219 21221 20910 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 155863871 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21228] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21228/stat : 21228 (java) S 21219 21221 20910 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155863871 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21229] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21229/stat : 21229 (java) S 21219 21221 20910 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155863872 937426944 8424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 915456
[startup+102.427 s]
/proc/loadavg: 2.00 1.66 1.28 3/100 21229
/proc/meminfo: memFree=1505848/2055920 swapFree=4192812/4192956
[pid=21221] ppid=21219 vsize=915456 CPUtime=101.7
/proc/21221/stat : 21221 (java) R 21219 21221 20910 0 -1 0 8694 0 1 0 10163 7 0 0 25 0 8 0 155863863 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21221/statm: 228864 8429 2513 14 0 215334 0
[pid=21221/tid=21223] ppid=21219 vsize=915456 CPUtime=0.03
/proc/21221/task/21223/stat : 21223 (java) S 21219 21221 20910 0 -1 64 288 0 0 0 3 0 0 0 16 0 8 0 155863867 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21224] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21224/stat : 21224 (java) S 21219 21221 20910 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155863868 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21225] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21225/stat : 21225 (java) S 21219 21221 20910 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155863868 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21226] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21226/stat : 21226 (java) S 21219 21221 20910 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155863871 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21227] ppid=21219 vsize=915456 CPUtime=0.24
/proc/21221/task/21227/stat : 21227 (java) S 21219 21221 20910 0 -1 64 392 0 0 0 23 1 0 0 16 0 8 0 155863871 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21228] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21228/stat : 21228 (java) S 21219 21221 20910 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155863871 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21221/tid=21229] ppid=21219 vsize=915456 CPUtime=0
/proc/21221/task/21229/stat : 21229 (java) S 21219 21221 20910 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155863872 937426944 8429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 150.891
CPU time (s): 149.906
CPU user time (s): 149.821
CPU system time (s): 0.084987
CPU usage (%): 99.3476
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 149.821
system time used= 0.084987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8788
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= 4161
involuntary context switches= 7700
runsolver used 0.172973 s user time and 0.507922 s system time
The end
Begin job on node23 on Sat Jan 6 09:11:35 UTC 2007
IDJOB= 208407
IDBENCH= 4384
FILE ID= node23/208407-1168074695
PBS_JOBID= 3476020
Free space on /tmp= 66548 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-2-40-19-fcd/rand-2-40-19-443-230-fcd-43_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208407-1168074695/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-208407-1168074695 -o ROOT/results/node23/solver-208407-1168074695 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208407-1168074695/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 20bd891c69bd6530f4d731b0fb982388
RANDOM SEED= 578393262
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.265
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.265
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: 1530128 kB
Buffers: 43480 kB
Cached: 319028 kB
SwapCached: 0 kB
Active: 151732 kB
Inactive: 296880 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1530128 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1968 kB
Writeback: 0 kB
Mapped: 115076 kB
Slab: 61696 kB
Committed_AS: 3779560 kB
PageTables: 2380 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= 66548 MiB
End job on node23 on Sat Jan 6 09:14:09 UTC 2007