0.51
0.51 Abscon 109 (November, 2006)
0.51
0.51 configuration
0.51 name=mac.xml
0.54
0.54 instance
0.54 name=/tmp/evaluation/218360-1168079625/unknown.xml
0.57
0.57 domains being loaded...
0.57
0.57 variables being loaded...
0.61 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.61 => wckTime=0.097 cpuTime=0.09 mem=6M951
0.61
0.61 relations being loaded...
0.88
0.88 constraints being loaded...
1.04 nbConstraints=58 nbRelationTypes=58 nbExtensionStructures=58 nbSharedExtensionStructures=0
1.04 nbConflictsStructures=58 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=16 maxArity=3
1.04 => wckTime=0.529 cpuTime=0.48 mem=42M570
1.12
1.12 solver IterativeSystematicSolver being built...
1.28 => wckTime=0.775 cpuTime=0.6 mem=21M336
1.29
1.29 preprocessing
1.29 nbConstraintChecks=0 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.29 detectedInconsistency=no
1.29 => wckTime=0.0020 cpuTime=0.0 mem=21M336
1.40
1.40 search
1.40 run=0 nbConstraintChecks=30629 nbValidityChecks=57519 nbPropagations=501 nbRevisions=4174
1.40 nbUselessRevisions=3031 nbAssignments=50 nbFailedAssignments=35 nbBacktracks=10 nbVisitedNodes=93
1.40 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.112 cpuTime=0.08 mem=21M336
1.44
1.44 search
1.44 run=1 nbConstraintChecks=49349 nbValidityChecks=97260 nbPropagations=1383 nbRevisions=11934
1.44 nbUselessRevisions=8889 nbAssignments=91 nbFailedAssignments=55 nbBacktracks=25 nbVisitedNodes=163
1.44 nbRestartNogoods=3 mapSize=20 nbInferences=0 nbTooLargeKeys=0
1.44 => wckTime=0.151 cpuTime=0.12 mem=21M336
1.56
1.56 search
1.56 run=2 nbConstraintChecks=129639 nbValidityChecks=248789 nbPropagations=3082 nbRevisions=29714
1.56 nbUselessRevisions=22506 nbAssignments=175 nbFailedAssignments=114 nbBacktracks=47 nbVisitedNodes=321
1.56 nbRestartNogoods=9 mapSize=39 nbInferences=0 nbTooLargeKeys=0
1.56 => wckTime=0.269 cpuTime=0.23 mem=21M336
1.65
1.65 search
1.65 run=3 nbConstraintChecks=197378 nbValidityChecks=384414 nbPropagations=5751 nbRevisions=57712
1.65 nbUselessRevisions=44060 nbAssignments=251 nbFailedAssignments=153 nbBacktracks=81 nbVisitedNodes=458
1.65 nbRestartNogoods=14 mapSize=70 nbInferences=0 nbTooLargeKeys=0
1.65 => wckTime=0.363 cpuTime=0.32 mem=21M336
1.94
1.94 search
1.94 run=4 nbConstraintChecks=442960 nbValidityChecks=828860 nbPropagations=10439 nbRevisions=113151
1.94 nbUselessRevisions=87224 nbAssignments=454 nbFailedAssignments=301 nbBacktracks=131 nbVisitedNodes=854
1.94 nbRestartNogoods=20 mapSize=120 nbInferences=0 nbTooLargeKeys=0
1.94 => wckTime=0.65 cpuTime=0.59 mem=21M336
2.12
2.12 search
2.12 run=5 nbConstraintChecks=586017 nbValidityChecks=1121107 nbPropagations=17419 nbRevisions=189881
2.12 nbUselessRevisions=146333 nbAssignments=719 nbFailedAssignments=487 nbBacktracks=208 nbVisitedNodes=1359
2.12 nbRestartNogoods=29 mapSize=190 nbInferences=0 nbTooLargeKeys=0
2.12 => wckTime=0.829 cpuTime=0.77 mem=21M336
2.45
2.45 search
2.45 run=6 nbConstraintChecks=856091 nbValidityChecks=1638755 nbPropagations=27481 nbRevisions=304981
2.45 nbUselessRevisions=235993 nbAssignments=990 nbFailedAssignments=640 nbBacktracks=321 nbVisitedNodes=1857
2.45 nbRestartNogoods=30 mapSize=295 nbInferences=0 nbTooLargeKeys=0
2.45 => wckTime=1.164 cpuTime=1.09 mem=21M336
2.83
2.83 search
2.83 run=7 nbConstraintChecks=1149920 nbValidityChecks=2211572 nbPropagations=41684 nbRevisions=464918
2.83 nbUselessRevisions=359876 nbAssignments=1331 nbFailedAssignments=806 nbBacktracks=493 nbVisitedNodes=2470
2.83 nbRestartNogoods=40 mapSize=437 nbInferences=0 nbTooLargeKeys=0
2.83 => wckTime=1.546 cpuTime=1.47 mem=21M336
3.45
3.45 search
3.45 run=8 nbConstraintChecks=1632472 nbValidityChecks=3203148 nbPropagations=62738 nbRevisions=694904
3.45 nbUselessRevisions=538533 nbAssignments=2073 nbFailedAssignments=1287 nbBacktracks=751 nbVisitedNodes=3851
3.45 nbRestartNogoods=55 mapSize=666 nbInferences=0 nbTooLargeKeys=0
3.45 => wckTime=2.166 cpuTime=2.06 mem=21M336
4.43
4.43 search
4.43 run=9 nbConstraintChecks=2452427 nbValidityChecks=4786451 nbPropagations=93961 nbRevisions=1042555
4.43 nbUselessRevisions=809268 nbAssignments=2932 nbFailedAssignments=1758 nbBacktracks=1135 nbVisitedNodes=5428
4.43 nbRestartNogoods=66 mapSize=1017 nbInferences=0 nbTooLargeKeys=0
4.43 => wckTime=3.146 cpuTime=3.03 mem=21M336
4.55
4.55 INFO : Stopping hyperNogood (mapSize=1031, nbTooLargekeys=0, mem=21M336)
6.69
6.69 search
6.69 run=10 nbConstraintChecks=4474888 nbValidityChecks=8581767 nbPropagations=144029 nbRevisions=1636222
6.69 nbUselessRevisions=1274775 nbAssignments=4637 nbFailedAssignments=2883 nbBacktracks=1712 nbVisitedNodes=8684
6.69 nbRestartNogoods=70
6.69 => wckTime=5.406 cpuTime=5.26 mem=21M336
8.74
8.74 search
8.74 run=11 nbConstraintChecks=6251143 nbValidityChecks=12075025 nbPropagations=217389 nbRevisions=2488166
8.74 nbUselessRevisions=1941969 nbAssignments=6787 nbFailedAssignments=4165 nbBacktracks=2576 nbVisitedNodes=12707
8.74 nbRestartNogoods=82
8.74 => wckTime=7.455 cpuTime=7.29 mem=22M303
12.24
12.24 search
12.24 run=12 nbConstraintChecks=9221602 nbValidityChecks=17794701 nbPropagations=325623 nbRevisions=3752483
12.24 nbUselessRevisions=2932753 nbAssignments=9558 nbFailedAssignments=5635 nbBacktracks=3874 nbVisitedNodes=17841
12.24 nbRestartNogoods=90
12.24 => wckTime=10.958 cpuTime=10.76 mem=22M303
18.36
18.36 search
18.36 run=13 nbConstraintChecks=14440368 nbValidityChecks=27983330 nbPropagations=492723 nbRevisions=5729012
18.36 nbUselessRevisions=4481467 nbAssignments=14468 nbFailedAssignments=8593 nbBacktracks=5820 nbVisitedNodes=27075
18.36 nbRestartNogoods=120
18.36 => wckTime=17.075 cpuTime=16.82 mem=22M303
27.50
27.50 search
27.50 run=14 nbConstraintChecks=22251486 nbValidityChecks=43287376 nbPropagations=749423 nbRevisions=8784990
27.50 nbUselessRevisions=6873701 nbAssignments=22010 nbFailedAssignments=13214 nbBacktracks=8739 nbVisitedNodes=41229
27.50 nbRestartNogoods=133
27.50 => wckTime=26.21 cpuTime=25.87 mem=22M303
42.52
42.52 search
42.52 run=15 nbConstraintChecks=35805336 nbValidityChecks=68398337 nbPropagations=1151275 nbRevisions=13530170
42.52 nbUselessRevisions=10580723 nbAssignments=35275 nbFailedAssignments=22096 nbBacktracks=13117
42.52 nbVisitedNodes=66752 nbRestartNogoods=153
42.52 => wckTime=41.233 cpuTime=40.75 mem=22M303
51.74
51.74 search
51.74 run=16 nbConstraintChecks=43857143 nbValidityChecks=84410480 nbPropagations=1670483 nbRevisions=19461980
51.74 nbUselessRevisions=15195095 nbAssignments=47029 nbFailedAssignments=30034 nbBacktracks=16913
51.74 nbVisitedNodes=89306 nbRestartNogoods=177
51.74 => wckTime=50.451 cpuTime=49.89 mem=22M303
51.74
51.74 global
51.74 nbConstraintChecks=43857143 nbValidityChecks=84410480 nbPropagations=1670503 nbRevisions=19461980
51.74 nbUselessRevisions=15195095 nbRestartNogoods=177 solvingWckTime=50.453 solvingCpuTime=49.89 expiredTime=no
51.74 totalExploration=no nbFoundSolutions=1 globalCpuTime=50.55
51.74 => wckTime=51.231 cpuTime=50.49 mem=22M303
51.74
51.74 s SATISFIABLE
51.74 v 10 6 1 8 7 9 16 0 13 16 2 7 5 15 11 7 18 18 4 12
51.74 d NODES 47029
51.74 d CHECKS 43857143
51.74
51.74 totalWckTime=51.312 totalCpuTime=50.55
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node61/watcher-218360-1168079625 -o ROOT/results/node61/solver-218360-1168079625 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218360-1168079625/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.66 1.20 1.21 5/80 7043
/proc/meminfo: memFree=1307584/2055920 swapFree=4192812/4192956
[pid=7042] ppid=7040 vsize=18540 CPUtime=0
/proc/7042/stat : 7042 (runsolver) R 7040 7042 6675 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156360333 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 246406507815 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/7042/statm: 4635 279 244 17 0 2626 0
[startup+0.102903 s]
/proc/loadavg: 1.66 1.20 1.21 5/80 7043
/proc/meminfo: memFree=1307584/2055920 swapFree=4192812/4192956
[pid=7042] ppid=7040 vsize=47892 CPUtime=0
/proc/7042/stat : 7042 (java) D 7040 7042 6675 0 -1 0 1219 0 1 0 0 0 0 0 17 0 1 0 156360333 49041408 968 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/7042/statm: 11973 968 766 14 0 1707 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 47892
[startup+0.510975 s]
/proc/loadavg: 1.66 1.20 1.21 5/80 7043
/proc/meminfo: memFree=1307584/2055920 swapFree=4192812/4192956
[pid=7042] ppid=7040 vsize=915148 CPUtime=0.29
/proc/7042/stat : 7042 (java) R 7040 7042 6675 0 -1 0 5110 0 1 0 26 3 0 0 18 0 8 0 156360333 937111552 4856 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942452 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7042/statm: 228787 4856 1972 14 0 215275 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 915148
[startup+1.33212 s]
/proc/loadavg: 1.66 1.20 1.21 3/87 7050
/proc/meminfo: memFree=1250504/2055920 swapFree=4192812/4192956
[pid=7042] ppid=7040 vsize=915460 CPUtime=1.1
/proc/7042/stat : 7042 (java) R 7040 7042 6675 0 -1 0 17057 0 1 0 100 10 0 0 23 0 8 0 156360333 937431040 16795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7042/statm: 228865 16795 2513 14 0 215335 0
[pid=7042/tid=7044] ppid=7040 vsize=915460 CPUtime=0.06
/proc/7042/task/7044/stat : 7044 (java) S 7040 7042 6675 0 -1 64 1792 0 0 0 6 0 0 0 16 0 8 0 156360357 937431040 16795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7045] ppid=7040 vsize=915460 CPUtime=0
/proc/7042/task/7045/stat : 7045 (java) S 7040 7042 6675 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156360357 937431040 16795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7046] ppid=7040 vsize=915460 CPUtime=0
/proc/7042/task/7046/stat : 7046 (java) S 7040 7042 6675 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156360357 937431040 16795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7047] ppid=7040 vsize=915460 CPUtime=0
/proc/7042/task/7047/stat : 7047 (java) S 7040 7042 6675 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156360361 937431040 16795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7048] ppid=7040 vsize=915460 CPUtime=0.14
/proc/7042/task/7048/stat : 7048 (java) S 7040 7042 6675 0 -1 64 344 0 0 0 13 1 0 0 16 0 8 0 156360361 937431040 16795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7049] ppid=7040 vsize=915460 CPUtime=0
/proc/7042/task/7049/stat : 7049 (java) S 7040 7042 6675 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156360361 937431040 16795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7050] ppid=7040 vsize=915460 CPUtime=0
/proc/7042/task/7050/stat : 7050 (java) S 7040 7042 6675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156360361 937431040 16795 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 915460
[startup+2.98441 s]
/proc/loadavg: 1.66 1.20 1.21 3/87 7050
/proc/meminfo: memFree=1249800/2055920 swapFree=4192812/4192956
[pid=7042] ppid=7040 vsize=915460 CPUtime=2.74
/proc/7042/stat : 7042 (java) R 7040 7042 6675 0 -1 0 17094 0 1 0 263 11 0 0 25 0 8 0 156360333 937431040 16830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609072 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7042/statm: 228865 16830 2517 14 0 215335 0
[pid=7042/tid=7044] ppid=7040 vsize=915460 CPUtime=0.06
/proc/7042/task/7044/stat : 7044 (java) S 7040 7042 6675 0 -1 64 1793 0 0 0 6 0 0 0 17 0 8 0 156360357 937431040 16830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7045] ppid=7040 vsize=915460 CPUtime=0
/proc/7042/task/7045/stat : 7045 (java) S 7040 7042 6675 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156360357 937431040 16830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7046] ppid=7040 vsize=915460 CPUtime=0
/proc/7042/task/7046/stat : 7046 (java) S 7040 7042 6675 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156360357 937431040 16830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7047] ppid=7040 vsize=915460 CPUtime=0
/proc/7042/task/7047/stat : 7047 (java) S 7040 7042 6675 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156360361 937431040 16830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7048] ppid=7040 vsize=915460 CPUtime=0.2
/proc/7042/task/7048/stat : 7048 (java) S 7040 7042 6675 0 -1 64 372 0 0 0 19 1 0 0 16 0 8 0 156360361 937431040 16830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7049] ppid=7040 vsize=915460 CPUtime=0
/proc/7042/task/7049/stat : 7049 (java) S 7040 7042 6675 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156360361 937431040 16830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7050] ppid=7040 vsize=915460 CPUtime=0
/proc/7042/task/7050/stat : 7050 (java) S 7040 7042 6675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156360361 937431040 16830 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.74
Current children cumulated vsize (KiB) 915460
[startup+6.27299 s]
/proc/loadavg: 1.69 1.22 1.21 3/87 7050
/proc/meminfo: memFree=1249736/2055920 swapFree=4192812/4192956
[pid=7042] ppid=7040 vsize=915460 CPUtime=6
/proc/7042/stat : 7042 (java) R 7040 7042 6675 0 -1 0 17107 0 1 0 589 11 0 0 25 0 8 0 156360333 937431040 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073608997 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7042/statm: 228865 16841 2517 14 0 215335 0
[pid=7042/tid=7044] ppid=7040 vsize=915460 CPUtime=0.06
/proc/7042/task/7044/stat : 7044 (java) S 7040 7042 6675 0 -1 64 1793 0 0 0 6 0 0 0 17 0 8 0 156360357 937431040 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7045] ppid=7040 vsize=915460 CPUtime=0
/proc/7042/task/7045/stat : 7045 (java) S 7040 7042 6675 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156360357 937431040 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7046] ppid=7040 vsize=915460 CPUtime=0
/proc/7042/task/7046/stat : 7046 (java) S 7040 7042 6675 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156360357 937431040 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7047] ppid=7040 vsize=915460 CPUtime=0
/proc/7042/task/7047/stat : 7047 (java) S 7040 7042 6675 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156360361 937431040 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7048] ppid=7040 vsize=915460 CPUtime=0.22
/proc/7042/task/7048/stat : 7048 (java) S 7040 7042 6675 0 -1 64 385 0 0 0 21 1 0 0 16 0 8 0 156360361 937431040 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7049] ppid=7040 vsize=915460 CPUtime=0
/proc/7042/task/7049/stat : 7049 (java) S 7040 7042 6675 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156360361 937431040 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7050] ppid=7040 vsize=915460 CPUtime=0
/proc/7042/task/7050/stat : 7050 (java) S 7040 7042 6675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156360361 937431040 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 915460
[startup+12.7611 s]
/proc/loadavg: 1.71 1.23 1.22 3/87 7050
/proc/meminfo: memFree=1249928/2055920 swapFree=4192812/4192956
[pid=7042] ppid=7040 vsize=915460 CPUtime=12.42
/proc/7042/stat : 7042 (java) R 7040 7042 6675 0 -1 0 17108 0 1 0 1231 11 0 0 25 0 8 0 156360333 937431040 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609012 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7042/statm: 228865 16841 2517 14 0 215335 0
[pid=7042/tid=7044] ppid=7040 vsize=915460 CPUtime=0.06
/proc/7042/task/7044/stat : 7044 (java) S 7040 7042 6675 0 -1 64 1793 0 0 0 6 0 0 0 16 0 8 0 156360357 937431040 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7045] ppid=7040 vsize=915460 CPUtime=0
/proc/7042/task/7045/stat : 7045 (java) S 7040 7042 6675 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156360357 937431040 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7046] ppid=7040 vsize=915460 CPUtime=0
/proc/7042/task/7046/stat : 7046 (java) S 7040 7042 6675 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156360357 937431040 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7047] ppid=7040 vsize=915460 CPUtime=0
/proc/7042/task/7047/stat : 7047 (java) S 7040 7042 6675 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156360361 937431040 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7048] ppid=7040 vsize=915460 CPUtime=0.22
/proc/7042/task/7048/stat : 7048 (java) S 7040 7042 6675 0 -1 64 385 0 0 0 21 1 0 0 16 0 8 0 156360361 937431040 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7049] ppid=7040 vsize=915460 CPUtime=0
/proc/7042/task/7049/stat : 7049 (java) S 7040 7042 6675 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156360361 937431040 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7050] ppid=7040 vsize=915460 CPUtime=0
/proc/7042/task/7050/stat : 7050 (java) S 7040 7042 6675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156360361 937431040 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 915460
[startup+25.6234 s]
/proc/loadavg: 1.78 1.27 1.23 3/87 7050
/proc/meminfo: memFree=1250056/2055920 swapFree=4192812/4192956
[pid=7042] ppid=7040 vsize=915460 CPUtime=25.17
/proc/7042/stat : 7042 (java) R 7040 7042 6675 0 -1 0 17108 0 1 0 2506 11 0 0 25 0 8 0 156360333 937431040 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073726835 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7042/statm: 228865 16841 2517 14 0 215335 0
[pid=7042/tid=7044] ppid=7040 vsize=915460 CPUtime=0.06
/proc/7042/task/7044/stat : 7044 (java) S 7040 7042 6675 0 -1 64 1793 0 0 0 6 0 0 0 16 0 8 0 156360357 937431040 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7045] ppid=7040 vsize=915460 CPUtime=0
/proc/7042/task/7045/stat : 7045 (java) S 7040 7042 6675 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156360357 937431040 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7046] ppid=7040 vsize=915460 CPUtime=0
/proc/7042/task/7046/stat : 7046 (java) S 7040 7042 6675 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156360357 937431040 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7047] ppid=7040 vsize=915460 CPUtime=0
/proc/7042/task/7047/stat : 7047 (java) S 7040 7042 6675 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156360361 937431040 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7048] ppid=7040 vsize=915460 CPUtime=0.22
/proc/7042/task/7048/stat : 7048 (java) S 7040 7042 6675 0 -1 64 385 0 0 0 21 1 0 0 16 0 8 0 156360361 937431040 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7049] ppid=7040 vsize=915460 CPUtime=0
/proc/7042/task/7049/stat : 7049 (java) S 7040 7042 6675 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156360361 937431040 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7050] ppid=7040 vsize=915460 CPUtime=0
/proc/7042/task/7050/stat : 7050 (java) S 7040 7042 6675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156360361 937431040 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 915460
[startup+51.2489 s]
/proc/loadavg: 1.85 1.32 1.25 3/87 7050
/proc/meminfo: memFree=1250120/2055920 swapFree=4192812/4192956
[pid=7042] ppid=7040 vsize=915460 CPUtime=50.55
/proc/7042/stat : 7042 (java) R 7040 7042 6675 0 -1 0 17108 0 1 0 5044 11 0 0 25 0 8 0 156360333 937431040 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7042/statm: 228865 16841 2517 14 0 215335 0
[pid=7042/tid=7044] ppid=7040 vsize=915460 CPUtime=0.06
/proc/7042/task/7044/stat : 7044 (java) S 7040 7042 6675 0 -1 64 1793 0 0 0 6 0 0 0 16 0 8 0 156360357 937431040 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7045] ppid=7040 vsize=915460 CPUtime=0
/proc/7042/task/7045/stat : 7045 (java) S 7040 7042 6675 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156360357 937431040 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7046] ppid=7040 vsize=915460 CPUtime=0
/proc/7042/task/7046/stat : 7046 (java) S 7040 7042 6675 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156360357 937431040 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7047] ppid=7040 vsize=915460 CPUtime=0
/proc/7042/task/7047/stat : 7047 (java) S 7040 7042 6675 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156360361 937431040 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7048] ppid=7040 vsize=915460 CPUtime=0.22
/proc/7042/task/7048/stat : 7048 (java) S 7040 7042 6675 0 -1 64 385 0 0 0 21 1 0 0 16 0 8 0 156360361 937431040 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7049] ppid=7040 vsize=915460 CPUtime=0
/proc/7042/task/7049/stat : 7049 (java) S 7040 7042 6675 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156360361 937431040 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7042/tid=7050] ppid=7040 vsize=915460 CPUtime=0
/proc/7042/task/7050/stat : 7050 (java) S 7040 7042 6675 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156360361 937431040 16841 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.55
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 51.7876
CPU time (s): 51.0712
CPU user time (s): 50.9463
CPU system time (s): 0.124981
CPU usage (%): 98.6167
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50.9463
system time used= 0.124981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17115
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= 2105
involuntary context switches= 3292
runsolver used 0.06499 s user time and 0.173973 s system time
The end
Begin job on node61 on Sat Jan 6 10:33:45 UTC 2007
IDJOB= 218360
IDBENCH= 5230
FILE ID= node61/218360-1168079625
PBS_JOBID= 3476132
Free space on /tmp= 66507 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-17_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218360-1168079625/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-218360-1168079625 -o ROOT/results/node61/solver-218360-1168079625 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218360-1168079625/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 10ecdb16484477571439529f5f3655a3
RANDOM SEED= 817115246
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: 1308000 kB
Buffers: 48412 kB
Cached: 568144 kB
SwapCached: 0 kB
Active: 128880 kB
Inactive: 534640 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1308000 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2880 kB
Writeback: 0 kB
Mapped: 67204 kB
Slab: 69628 kB
Committed_AS: 3826060 kB
PageTables: 1856 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= 66507 MiB
End job on node61 on Sat Jan 6 10:34:38 UTC 2007