0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/208588-1168074764/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.39 => wckTime=0.091 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.64
0.64 constraints being loaded...
0.78 nbConstraints=57 nbRelationTypes=57 nbExtensionStructures=57 nbSharedExtensionStructures=0
0.78 nbConflictsStructures=57 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=13 maxArity=3
0.78 => wckTime=0.48 cpuTime=0.44 mem=41M605
0.85
0.85 solver IterativeSystematicSolver being built...
1.01 => wckTime=0.704 cpuTime=0.56 mem=21M2
1.01
1.01 preprocessing
1.01 nbConstraintChecks=0 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.01 detectedInconsistency=no
1.01 => wckTime=0.0020 cpuTime=0.0 mem=21M2
1.10
1.10 search
1.10 run=0 nbConstraintChecks=22078 nbValidityChecks=37740 nbPropagations=276 nbRevisions=2705
1.10 nbUselessRevisions=2130 nbAssignments=24 nbFailedAssignments=11 nbBacktracks=10 nbVisitedNodes=43
1.10 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.089 cpuTime=0.07 mem=21M2
1.17
1.17 search
1.17 run=1 nbConstraintChecks=70309 nbValidityChecks=132192 nbPropagations=1114 nbRevisions=11756
1.17 nbUselessRevisions=9191 nbAssignments=70 nbFailedAssignments=38 nbBacktracks=25 nbVisitedNodes=129
1.17 nbRestartNogoods=1 mapSize=23 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.166 cpuTime=0.14 mem=21M2
1.25
1.25 search
1.25 run=2 nbConstraintChecks=124764 nbValidityChecks=236746 nbPropagations=2614 nbRevisions=27925
1.25 nbUselessRevisions=21739 nbAssignments=126 nbFailedAssignments=69 nbBacktracks=47 nbVisitedNodes=232
1.25 nbRestartNogoods=4 mapSize=42 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.242 cpuTime=0.21 mem=21M2
1.34
1.34 search
1.34 run=3 nbConstraintChecks=190860 nbValidityChecks=366484 nbPropagations=5150 nbRevisions=54704
1.34 nbUselessRevisions=42575 nbAssignments=209 nbFailedAssignments=113 nbBacktracks=83 nbVisitedNodes=382
1.34 nbRestartNogoods=7 mapSize=76 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.333 cpuTime=0.29 mem=21M2
1.50
1.50 search
1.50 run=4 nbConstraintChecks=331548 nbValidityChecks=632376 nbPropagations=9131 nbRevisions=99507
1.50 nbUselessRevisions=77503 nbAssignments=346 nbFailedAssignments=196 nbBacktracks=133 nbVisitedNodes=643
1.50 nbRestartNogoods=10 mapSize=125 nbInferences=0 nbTooLargeKeys=0
1.50 => wckTime=0.494 cpuTime=0.45 mem=21M2
1.65
1.65 search
1.65 run=5 nbConstraintChecks=454641 nbValidityChecks=866654 nbPropagations=14850 nbRevisions=162643
1.65 nbUselessRevisions=126775 nbAssignments=492 nbFailedAssignments=263 nbBacktracks=209 nbVisitedNodes=897
1.65 nbRestartNogoods=15 mapSize=191 nbInferences=0 nbTooLargeKeys=0
1.65 => wckTime=0.644 cpuTime=0.59 mem=21M2
1.94
1.94 search
1.94 run=6 nbConstraintChecks=697363 nbValidityChecks=1339674 nbPropagations=23847 nbRevisions=261330
1.94 nbUselessRevisions=203800 nbAssignments=751 nbFailedAssignments=405 nbBacktracks=322 nbVisitedNodes=1371
1.94 nbRestartNogoods=20 mapSize=299 nbInferences=0 nbTooLargeKeys=0
1.94 => wckTime=0.929 cpuTime=0.87 mem=21M2
2.40
2.40 search
2.40 run=7 nbConstraintChecks=1096512 nbValidityChecks=2127191 nbPropagations=38182 nbRevisions=419692
2.40 nbUselessRevisions=326618 nbAssignments=1184 nbFailedAssignments=662 nbBacktracks=494 nbVisitedNodes=2188
2.40 nbRestartNogoods=26 mapSize=458 nbInferences=0 nbTooLargeKeys=0
2.40 => wckTime=1.394 cpuTime=1.33 mem=21M2
2.93
2.93 search
2.93 run=8 nbConstraintChecks=1557579 nbValidityChecks=3006099 nbPropagations=57911 nbRevisions=638187
2.93 nbUselessRevisions=496167 nbAssignments=1707 nbFailedAssignments=924 nbBacktracks=751 nbVisitedNodes=3121
2.93 nbRestartNogoods=32 mapSize=670 nbInferences=0 nbTooLargeKeys=0
2.93 => wckTime=1.927 cpuTime=1.84 mem=21M970
3.99
3.99 search
3.99 run=9 nbConstraintChecks=2494459 nbValidityChecks=4827644 nbPropagations=89955 nbRevisions=993482
3.99 nbUselessRevisions=771466 nbAssignments=2676 nbFailedAssignments=1506 nbBacktracks=1135 nbVisitedNodes=4955
3.99 nbRestartNogoods=40 mapSize=1028 nbInferences=0 nbTooLargeKeys=0
3.99 => wckTime=2.981 cpuTime=2.88 mem=21M970
4.02
4.02 INFO : Stopping hyperNogood (mapSize=1040, nbTooLargekeys=0, mem=21M970)
5.24
5.24 search
5.24 run=10 nbConstraintChecks=3661415 nbValidityChecks=7012070 nbPropagations=135387 nbRevisions=1496902
5.24 nbUselessRevisions=1162068 nbAssignments=3881 nbFailedAssignments=2131 nbBacktracks=1713 nbVisitedNodes=7136
5.24 nbRestartNogoods=51
5.24 => wckTime=4.234 cpuTime=4.13 mem=21M970
7.29
7.29 search
7.29 run=11 nbConstraintChecks=5515099 nbValidityChecks=10661781 nbPropagations=206638 nbRevisions=2284282
7.29 nbUselessRevisions=1772466 nbAssignments=6024 nbFailedAssignments=3407 nbBacktracks=2577 nbVisitedNodes=11164
7.29 nbRestartNogoods=57
7.29 => wckTime=6.287 cpuTime=6.17 mem=21M970
9.89
9.89 search
9.89 run=12 nbConstraintChecks=7867879 nbValidityChecks=15137140 nbPropagations=305527 nbRevisions=3375805
9.89 nbUselessRevisions=2621086 nbAssignments=8426 nbFailedAssignments=4508 nbBacktracks=3875 nbVisitedNodes=15402
9.89 nbRestartNogoods=68
9.89 => wckTime=8.887 cpuTime=8.76 mem=21M970
13.89
13.89 search
13.89 run=13 nbConstraintChecks=11457216 nbValidityChecks=22131155 nbPropagations=450477 nbRevisions=4977099
13.89 nbUselessRevisions=3866161 nbAssignments=12518 nbFailedAssignments=6648 nbBacktracks=5822 nbVisitedNodes=22847
13.89 nbRestartNogoods=81
13.89 => wckTime=12.879 cpuTime=12.73 mem=21M970
22.69
22.69 search
22.69 run=14 nbConstraintChecks=19811757 nbValidityChecks=37693086 nbPropagations=681960 nbRevisions=7610918
22.69 nbUselessRevisions=5919203 nbAssignments=20369 nbFailedAssignments=11576 nbBacktracks=8741 nbVisitedNodes=37822
22.69 nbRestartNogoods=97
22.69 => wckTime=21.684 cpuTime=21.5 mem=21M970
33.54
33.54 search
33.54 run=15 nbConstraintChecks=29751865 nbValidityChecks=57151654 nbPropagations=1040752 nbRevisions=11633204
33.54 nbUselessRevisions=9039702 nbAssignments=31690 nbFailedAssignments=18516 nbBacktracks=13121
33.54 nbVisitedNodes=58971 nbRestartNogoods=126
33.54 => wckTime=32.535 cpuTime=32.29 mem=21M970
52.49
52.49 search
52.49 run=16 nbConstraintChecks=46954997 nbValidityChecks=90282969 nbPropagations=1624107 nbRevisions=18086132
52.49 nbUselessRevisions=14035216 nbAssignments=48588 nbFailedAssignments=28839 nbBacktracks=19689
52.49 nbVisitedNodes=90972 nbRestartNogoods=131
52.49 => wckTime=51.479 cpuTime=51.15 mem=21M970
79.70
79.70 search
79.70 run=17 nbConstraintChecks=71677797 nbValidityChecks=137907068 nbPropagations=2531148 nbRevisions=28036278
79.70 nbUselessRevisions=21740398 nbAssignments=72979 nbFailedAssignments=43375 nbBacktracks=29541
79.70 nbVisitedNodes=136996 nbRestartNogoods=150
79.70 => wckTime=78.693 cpuTime=78.23 mem=21M970
95.49
95.49 search
95.49 run=18 nbConstraintChecks=86415730 nbValidityChecks=164799289 nbPropagations=3596073 nbRevisions=39767445
95.49 nbUselessRevisions=30833253 nbAssignments=86421 nbFailedAssignments=50723 nbBacktracks=35615
95.49 nbVisitedNodes=161769 nbRestartNogoods=170
95.49 => wckTime=94.483 cpuTime=93.95 mem=21M970
95.49
95.49 global
95.49 nbConstraintChecks=86415730 nbValidityChecks=164799289 nbPropagations=3596093 nbRevisions=39767445
95.49 nbUselessRevisions=30833253 nbRestartNogoods=170 solvingWckTime=94.484 solvingCpuTime=93.95 expiredTime=no
95.49 totalExploration=no nbFoundSolutions=1 globalCpuTime=94.55
95.49 => wckTime=95.191 cpuTime=94.51 mem=21M970
95.49
95.49 s SATISFIABLE
95.49 v 3 4 1 1 9 11 15 2 7 15 14 10 18 13 7 18 19 1 15 2
95.50 d NODES 86421
95.50 d CHECKS 86415730
95.50
95.50 totalWckTime=95.267 totalCpuTime=94.55
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node55/watcher-208588-1168074764 -o ROOT/results/node55/solver-208588-1168074764 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208588-1168074764/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.99 1.98 1.86 4/80 11389
/proc/meminfo: memFree=1270032/2055920 swapFree=4192812/4192956
[pid=11388] ppid=11386 vsize=18540 CPUtime=0
/proc/11388/stat : 11388 (runsolver) R 11386 11388 10819 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 155874660 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 248761609511 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/11388/statm: 4635 279 244 17 0 2626 0
[startup+0.106836 s]
/proc/loadavg: 1.99 1.98 1.86 4/80 11389
/proc/meminfo: memFree=1270032/2055920 swapFree=4192812/4192956
[pid=11388] ppid=11386 vsize=914988 CPUtime=0.08
/proc/11388/stat : 11388 (java) R 11386 11388 10819 0 -1 0 2994 0 1 0 7 1 0 0 24 0 8 0 155874660 936947712 2740 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11388/statm: 228747 2740 1427 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514873 s]
/proc/loadavg: 1.99 1.98 1.86 4/80 11389
/proc/meminfo: memFree=1270032/2055920 swapFree=4192812/4192956
[pid=11388] ppid=11386 vsize=915328 CPUtime=0.49
/proc/11388/stat : 11388 (java) R 11386 11388 10819 0 -1 0 8156 0 1 0 44 5 0 0 25 0 8 0 155874660 937295872 7895 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073562222 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11388/statm: 228832 7895 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33595 s]
/proc/loadavg: 2.07 2.00 1.86 3/87 11396
/proc/meminfo: memFree=1213656/2055920 swapFree=4192812/4192956
[pid=11388] ppid=11386 vsize=915460 CPUtime=1.3
/proc/11388/stat : 11388 (java) R 11386 11388 10819 0 -1 0 16793 0 1 0 121 9 0 0 25 0 8 0 155874660 937431040 16530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11388/statm: 228865 16530 2517 14 0 215335 0
[pid=11388/tid=11390] ppid=11386 vsize=915460 CPUtime=0.06
/proc/11388/task/11390/stat : 11390 (java) S 11386 11388 10819 0 -1 64 1745 0 0 0 6 0 0 0 16 0 8 0 155874664 937431040 16530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11391] ppid=11386 vsize=915460 CPUtime=0
/proc/11388/task/11391/stat : 11391 (java) S 11386 11388 10819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155874665 937431040 16530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11392] ppid=11386 vsize=915460 CPUtime=0
/proc/11388/task/11392/stat : 11392 (java) S 11386 11388 10819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155874665 937431040 16530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11393] ppid=11386 vsize=915460 CPUtime=0
/proc/11388/task/11393/stat : 11393 (java) S 11386 11388 10819 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155874668 937431040 16530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11394] ppid=11386 vsize=915460 CPUtime=0.16
/proc/11388/task/11394/stat : 11394 (java) S 11386 11388 10819 0 -1 64 360 0 0 0 15 1 0 0 15 0 8 0 155874668 937431040 16530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11395] ppid=11386 vsize=915460 CPUtime=0
/proc/11388/task/11395/stat : 11395 (java) S 11386 11388 10819 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155874668 937431040 16530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11396] ppid=11386 vsize=915460 CPUtime=0
/proc/11388/task/11396/stat : 11396 (java) S 11386 11388 10819 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155874668 937431040 16530 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.97311 s]
/proc/loadavg: 2.07 2.00 1.86 3/87 11396
/proc/meminfo: memFree=1213592/2055920 swapFree=4192812/4192956
[pid=11388] ppid=11386 vsize=915460 CPUtime=2.93
/proc/11388/stat : 11388 (java) R 11386 11388 10819 0 -1 0 16809 0 1 0 284 9 0 0 25 0 8 0 155874660 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609129 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11388/statm: 228865 16545 2517 14 0 215335 0
[pid=11388/tid=11390] ppid=11386 vsize=915460 CPUtime=0.06
/proc/11388/task/11390/stat : 11390 (java) S 11386 11388 10819 0 -1 64 1745 0 0 0 6 0 0 0 17 0 8 0 155874664 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11391] ppid=11386 vsize=915460 CPUtime=0
/proc/11388/task/11391/stat : 11391 (java) S 11386 11388 10819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155874665 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11392] ppid=11386 vsize=915460 CPUtime=0
/proc/11388/task/11392/stat : 11392 (java) S 11386 11388 10819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155874665 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11393] ppid=11386 vsize=915460 CPUtime=0
/proc/11388/task/11393/stat : 11393 (java) S 11386 11388 10819 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155874668 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11394] ppid=11386 vsize=915460 CPUtime=0.2
/proc/11388/task/11394/stat : 11394 (java) S 11386 11388 10819 0 -1 64 374 0 0 0 19 1 0 0 15 0 8 0 155874668 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11395] ppid=11386 vsize=915460 CPUtime=0
/proc/11388/task/11395/stat : 11395 (java) S 11386 11388 10819 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155874668 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11396] ppid=11386 vsize=915460 CPUtime=0
/proc/11388/task/11396/stat : 11396 (java) S 11386 11388 10819 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155874668 937431040 16545 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915460
[startup+6.26743 s]
/proc/loadavg: 2.07 2.00 1.86 3/87 11396
/proc/meminfo: memFree=1213400/2055920 swapFree=4192812/4192956
[pid=11388] ppid=11386 vsize=915460 CPUtime=6.22
/proc/11388/stat : 11388 (java) R 11386 11388 10819 0 -1 0 16819 0 1 0 612 10 0 0 25 0 8 0 155874660 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073734680 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11388/statm: 228865 16553 2517 14 0 215335 0
[pid=11388/tid=11390] ppid=11386 vsize=915460 CPUtime=0.06
/proc/11388/task/11390/stat : 11390 (java) S 11386 11388 10819 0 -1 64 1745 0 0 0 6 0 0 0 16 0 8 0 155874664 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11391] ppid=11386 vsize=915460 CPUtime=0
/proc/11388/task/11391/stat : 11391 (java) S 11386 11388 10819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155874665 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11392] ppid=11386 vsize=915460 CPUtime=0
/proc/11388/task/11392/stat : 11392 (java) S 11386 11388 10819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155874665 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11393] ppid=11386 vsize=915460 CPUtime=0
/proc/11388/task/11393/stat : 11393 (java) S 11386 11388 10819 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155874668 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11394] ppid=11386 vsize=915460 CPUtime=0.21
/proc/11388/task/11394/stat : 11394 (java) S 11386 11388 10819 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 155874668 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11395] ppid=11386 vsize=915460 CPUtime=0
/proc/11388/task/11395/stat : 11395 (java) S 11386 11388 10819 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155874668 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11396] ppid=11386 vsize=915460 CPUtime=0
/proc/11388/task/11396/stat : 11396 (java) S 11386 11388 10819 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155874668 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915460
[startup+12.7411 s]
/proc/loadavg: 2.06 2.00 1.87 3/87 11396
/proc/meminfo: memFree=1213400/2055920 swapFree=4192812/4192956
[pid=11388] ppid=11386 vsize=915460 CPUtime=12.66
/proc/11388/stat : 11388 (java) R 11386 11388 10819 0 -1 0 16820 0 1 0 1256 10 0 0 25 0 8 0 155874660 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11388/statm: 228865 16553 2517 14 0 215335 0
[pid=11388/tid=11390] ppid=11386 vsize=915460 CPUtime=0.06
/proc/11388/task/11390/stat : 11390 (java) S 11386 11388 10819 0 -1 64 1745 0 0 0 6 0 0 0 16 0 8 0 155874664 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11391] ppid=11386 vsize=915460 CPUtime=0
/proc/11388/task/11391/stat : 11391 (java) S 11386 11388 10819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155874665 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11392] ppid=11386 vsize=915460 CPUtime=0
/proc/11388/task/11392/stat : 11392 (java) S 11386 11388 10819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155874665 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11393] ppid=11386 vsize=915460 CPUtime=0
/proc/11388/task/11393/stat : 11393 (java) S 11386 11388 10819 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155874668 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11394] ppid=11386 vsize=915460 CPUtime=0.21
/proc/11388/task/11394/stat : 11394 (java) S 11386 11388 10819 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 155874668 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11395] ppid=11386 vsize=915460 CPUtime=0
/proc/11388/task/11395/stat : 11395 (java) S 11386 11388 10819 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155874668 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11396] ppid=11386 vsize=915460 CPUtime=0
/proc/11388/task/11396/stat : 11396 (java) S 11386 11388 10819 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155874668 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915460
[startup+25.6073 s]
/proc/loadavg: 2.05 2.00 1.87 3/87 11396
/proc/meminfo: memFree=1213528/2055920 swapFree=4192812/4192956
[pid=11388] ppid=11386 vsize=915460 CPUtime=25.48
/proc/11388/stat : 11388 (java) R 11386 11388 10819 0 -1 0 16820 0 1 0 2538 10 0 0 25 0 8 0 155874660 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11388/statm: 228865 16553 2517 14 0 215335 0
[pid=11388/tid=11390] ppid=11386 vsize=915460 CPUtime=0.06
/proc/11388/task/11390/stat : 11390 (java) S 11386 11388 10819 0 -1 64 1745 0 0 0 6 0 0 0 16 0 8 0 155874664 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11391] ppid=11386 vsize=915460 CPUtime=0
/proc/11388/task/11391/stat : 11391 (java) S 11386 11388 10819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155874665 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11392] ppid=11386 vsize=915460 CPUtime=0
/proc/11388/task/11392/stat : 11392 (java) S 11386 11388 10819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155874665 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11393] ppid=11386 vsize=915460 CPUtime=0
/proc/11388/task/11393/stat : 11393 (java) S 11386 11388 10819 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155874668 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11394] ppid=11386 vsize=915460 CPUtime=0.21
/proc/11388/task/11394/stat : 11394 (java) S 11386 11388 10819 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 155874668 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11395] ppid=11386 vsize=915460 CPUtime=0
/proc/11388/task/11395/stat : 11395 (java) S 11386 11388 10819 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155874668 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11396] ppid=11386 vsize=915460 CPUtime=0
/proc/11388/task/11396/stat : 11396 (java) S 11386 11388 10819 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155874668 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 915460
[startup+51.2108 s]
/proc/loadavg: 2.03 2.00 1.87 3/87 11396
/proc/meminfo: memFree=1213528/2055920 swapFree=4192812/4192956
[pid=11388] ppid=11386 vsize=915460 CPUtime=50.95
/proc/11388/stat : 11388 (java) R 11386 11388 10819 0 -1 0 16820 0 1 0 5085 10 0 0 25 0 8 0 155874660 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750528 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/11388/statm: 228865 16553 2517 14 0 215335 0
[pid=11388/tid=11390] ppid=11386 vsize=915460 CPUtime=0.06
/proc/11388/task/11390/stat : 11390 (java) S 11386 11388 10819 0 -1 64 1745 0 0 0 6 0 0 0 16 0 8 0 155874664 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11391] ppid=11386 vsize=915460 CPUtime=0
/proc/11388/task/11391/stat : 11391 (java) S 11386 11388 10819 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155874665 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11392] ppid=11386 vsize=915460 CPUtime=0
/proc/11388/task/11392/stat : 11392 (java) S 11386 11388 10819 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155874665 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11393] ppid=11386 vsize=915460 CPUtime=0
/proc/11388/task/11393/stat : 11393 (java) S 11386 11388 10819 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 155874668 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11394] ppid=11386 vsize=915460 CPUtime=0.21
/proc/11388/task/11394/stat : 11394 (java) S 11386 11388 10819 0 -1 64 384 0 0 0 20 1 0 0 16 0 8 0 155874668 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11395] ppid=11386 vsize=915460 CPUtime=0
/proc/11388/task/11395/stat : 11395 (java) S 11386 11388 10819 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 155874668 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=11388/tid=11396] ppid=11386 vsize=915460 CPUtime=0
/proc/11388/task/11396/stat : 11396 (java) S 11386 11388 10819 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155874668 937431040 16553 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 95.563
CPU time (s): 95.0525
CPU user time (s): 94.9356
CPU system time (s): 0.116982
CPU usage (%): 99.4658
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 94.9356
system time used= 0.116982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16826
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= 3060
involuntary context switches= 5738
runsolver used 0.112982 s user time and 0.320951 s system time
The end
Begin job on node55 on Sat Jan 6 09:12:44 UTC 2007
IDJOB= 208588
IDBENCH= 4413
FILE ID= node55/208588-1168074764
PBS_JOBID= 3475984
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-29_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208588-1168074764/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node55/watcher-208588-1168074764 -o ROOT/results/node55/solver-208588-1168074764 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208588-1168074764/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= abce4cd812d977d51ee49779285b02fd
RANDOM SEED= 308041770
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.218
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 : 5931.00
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.218
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: 1270448 kB
Buffers: 55240 kB
Cached: 600280 kB
SwapCached: 0 kB
Active: 136820 kB
Inactive: 565300 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1270448 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2844 kB
Writeback: 0 kB
Mapped: 66736 kB
Slab: 68672 kB
Committed_AS: 3792952 kB
PageTables: 1828 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= 66541 MiB
End job on node55 on Sat Jan 6 09:14:20 UTC 2007