0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/208653-1168074800/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.42 => wckTime=0.099 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.69
0.69 constraints being loaded...
0.85 nbConstraints=58 nbRelationTypes=58 nbExtensionStructures=58 nbSharedExtensionStructures=0
0.85 nbConflictsStructures=58 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=18 maxArity=3
0.85 => wckTime=0.537 cpuTime=0.49 mem=42M248
0.94
0.94 solver IterativeSystematicSolver being built...
1.10 => wckTime=0.784 cpuTime=0.63 mem=21M122
1.11
1.11 preprocessing
1.11 nbConstraintChecks=0 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.11 detectedInconsistency=no
1.11 => wckTime=0.0030 cpuTime=0.0 mem=21M122
1.21
1.21 search
1.21 run=0 nbConstraintChecks=21507 nbValidityChecks=41976 nbPropagations=365 nbRevisions=3464
1.21 nbUselessRevisions=2680 nbAssignments=28 nbFailedAssignments=14 nbBacktracks=10 nbVisitedNodes=51
1.21 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.107 cpuTime=0.06 mem=21M122
1.27
1.27 search
1.27 run=1 nbConstraintChecks=59773 nbValidityChecks=118960 nbPropagations=1300 nbRevisions=12905
1.27 nbUselessRevisions=10010 nbAssignments=80 nbFailedAssignments=47 nbBacktracks=25 nbVisitedNodes=147
1.27 nbRestartNogoods=3 mapSize=24 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.172 cpuTime=0.12 mem=21M122
1.33
1.33 search
1.33 run=2 nbConstraintChecks=94774 nbValidityChecks=189989 nbPropagations=2803 nbRevisions=28160
1.33 nbUselessRevisions=21861 nbAssignments=134 nbFailedAssignments=74 nbBacktracks=48 nbVisitedNodes=240
1.34 nbRestartNogoods=7 mapSize=42 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.232 cpuTime=0.17 mem=21M122
1.43
1.43 search
1.43 run=3 nbConstraintChecks=160925 nbValidityChecks=329387 nbPropagations=5351 nbRevisions=55056
1.43 nbUselessRevisions=42797 nbAssignments=225 nbFailedAssignments=127 nbBacktracks=82 nbVisitedNodes=407
1.43 nbRestartNogoods=11 mapSize=72 nbInferences=0 nbTooLargeKeys=0
1.43 => wckTime=0.33 cpuTime=0.26 mem=21M122
1.56
1.56 search
1.56 run=4 nbConstraintChecks=251322 nbValidityChecks=512179 nbPropagations=9300 nbRevisions=96429
1.56 nbUselessRevisions=74997 nbAssignments=345 nbFailedAssignments=194 nbBacktracks=132 nbVisitedNodes=625
1.56 nbRestartNogoods=18 mapSize=116 nbInferences=0 nbTooLargeKeys=0
1.56 => wckTime=0.453 cpuTime=0.38 mem=21M122
1.76
1.76 search
1.76 run=5 nbConstraintChecks=410229 nbValidityChecks=836895 nbPropagations=15636 nbRevisions=164053
1.76 nbUselessRevisions=127644 nbAssignments=536 nbFailedAssignments=304 nbBacktracks=207 nbVisitedNodes=975
1.76 nbRestartNogoods=22 mapSize=179 nbInferences=0 nbTooLargeKeys=0
1.76 => wckTime=0.659 cpuTime=0.58 mem=21M122
2.06
2.06 search
2.06 run=6 nbConstraintChecks=642126 nbValidityChecks=1312257 nbPropagations=25515 nbRevisions=269590
2.06 nbUselessRevisions=209560 nbAssignments=856 nbFailedAssignments=508 nbBacktracks=320 nbVisitedNodes=1578
2.06 nbRestartNogoods=31 mapSize=285 nbInferences=0 nbTooLargeKeys=0
2.06 => wckTime=0.957 cpuTime=0.88 mem=22M93
2.47
2.48 search
2.48 run=7 nbConstraintChecks=967387 nbValidityChecks=1934457 nbPropagations=39879 nbRevisions=424773
2.48 nbUselessRevisions=330245 nbAssignments=1241 nbFailedAssignments=718 nbBacktracks=491 nbVisitedNodes=2280
2.48 nbRestartNogoods=35 mapSize=433 nbInferences=0 nbTooLargeKeys=0
2.48 => wckTime=1.373 cpuTime=1.28 mem=22M93
3.13
3.13 search
3.13 run=8 nbConstraintChecks=1478015 nbValidityChecks=2948748 nbPropagations=61518 nbRevisions=656794
3.13 nbUselessRevisions=510084 nbAssignments=1856 nbFailedAssignments=1072 nbBacktracks=749 nbVisitedNodes=3415
3.13 nbRestartNogoods=46 mapSize=665 nbInferences=0 nbTooLargeKeys=0
3.13 => wckTime=2.027 cpuTime=1.92 mem=22M93
4.02
4.02 search
4.02 run=9 nbConstraintChecks=2204187 nbValidityChecks=4367007 nbPropagations=93440 nbRevisions=1000076
4.02 nbUselessRevisions=776144 nbAssignments=2705 nbFailedAssignments=1535 nbBacktracks=1133 nbVisitedNodes=4985
4.02 nbRestartNogoods=58 mapSize=1015 nbInferences=0 nbTooLargeKeys=0
4.02 => wckTime=2.918 cpuTime=2.8 mem=22M93
4.07
4.07 INFO : Stopping hyperNogood (mapSize=1029, nbTooLargekeys=0, mem=22M93)
5.63
5.63 search
5.63 run=10 nbConstraintChecks=3553677 nbValidityChecks=7091573 nbPropagations=144417 nbRevisions=1546276
5.63 nbUselessRevisions=1198484 nbAssignments=4214 nbFailedAssignments=2464 nbBacktracks=1709 nbVisitedNodes=7872
5.64 nbRestartNogoods=66
5.64 => wckTime=4.532 cpuTime=4.4 mem=22M93
8.03
8.03 search
8.03 run=11 nbConstraintChecks=5573011 nbValidityChecks=11116389 nbPropagations=223482 nbRevisions=2394707
8.03 nbUselessRevisions=1854191 nbAssignments=6421 nbFailedAssignments=3803 nbBacktracks=2573 nbVisitedNodes=12059
8.03 nbRestartNogoods=72
8.03 => wckTime=6.926 cpuTime=6.77 mem=22M93
11.70
11.70 search
11.70 run=12 nbConstraintChecks=8686207 nbValidityChecks=17346718 nbPropagations=346717 nbRevisions=3720699
11.70 nbUselessRevisions=2879305 nbAssignments=9944 nbFailedAssignments=6026 nbBacktracks=3870 nbVisitedNodes=18789
11.70 nbRestartNogoods=87
11.70 => wckTime=10.599 cpuTime=10.43 mem=22M93
15.99
15.99 search
15.99 run=13 nbConstraintChecks=12329462 nbValidityChecks=24624226 nbPropagations=522970 nbRevisions=5610813
15.99 nbUselessRevisions=4341661 nbAssignments=14407 nbFailedAssignments=8540 nbBacktracks=5816 nbVisitedNodes=27056
15.99 nbRestartNogoods=100
15.99 => wckTime=14.888 cpuTime=14.7 mem=22M93
21.71
21.71 search
21.71 run=14 nbConstraintChecks=17171491 nbValidityChecks=34133299 nbPropagations=769740 nbRevisions=8260624
21.71 nbUselessRevisions=6395822 nbAssignments=20579 nbFailedAssignments=11787 nbBacktracks=8737 nbVisitedNodes=38219
21.71 nbRestartNogoods=108
21.71 => wckTime=20.603 cpuTime=20.38 mem=22M93
33.99
33.99 search
33.99 run=15 nbConstraintChecks=27652318 nbValidityChecks=54700179 nbPropagations=1160777 nbRevisions=12462077
33.99 nbUselessRevisions=9647331 nbAssignments=32104 nbFailedAssignments=18930 nbBacktracks=13116
33.99 nbVisitedNodes=60158 nbRestartNogoods=128
33.99 => wckTime=32.891 cpuTime=32.61 mem=22M93
38.46
38.46 search
38.46 run=16 nbConstraintChecks=31465743 nbValidityChecks=62248464 nbPropagations=1606880 nbRevisions=17253973
38.46 nbUselessRevisions=13356477 nbAssignments=36829 nbFailedAssignments=21643 nbBacktracks=15108
38.46 nbVisitedNodes=68857 nbRestartNogoods=153
38.46 => wckTime=37.354 cpuTime=37.06 mem=22M93
38.46
38.46 global
38.46 nbConstraintChecks=31465743 nbValidityChecks=62248464 nbPropagations=1606900 nbRevisions=17253973
38.46 nbUselessRevisions=13356477 nbRestartNogoods=153 solvingWckTime=37.355 solvingCpuTime=37.06 expiredTime=no
38.46 totalExploration=no nbFoundSolutions=1 globalCpuTime=37.74
38.46 => wckTime=38.142 cpuTime=37.69 mem=22M93
38.46
38.46 s SATISFIABLE
38.46 v 12 0 15 18 3 10 6 13 16 14 3 16 5 15 2 13 4 9 0 4
38.46 d NODES 36829
38.46 d CHECKS 31465743
38.46
38.46 totalWckTime=38.223 totalCpuTime=37.74
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-208653-1168074800 -o ROOT/results/node12/solver-208653-1168074800 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208653-1168074800/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.01 2.00 1.93 4/93 20800
/proc/meminfo: memFree=1538080/2055920 swapFree=4160348/4192956
[pid=20799] ppid=20797 vsize=907676 CPUtime=0.03
/proc/20799/stat : 20799 (java) S 20797 20799 20676 0 -1 0 2171 0 1 0 2 1 0 0 19 0 4 0 155875045 929460224 1920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/20799/statm: 226919 1920 1089 14 0 214502 0
[pid=20799/tid=20801] ppid=20797 vsize=907676 CPUtime=0
/proc/20799/task/20801/stat : 20801 (java) S 20797 20799 20676 0 -1 64 6 0 0 0 0 0 0 0 19 0 4 0 155875048 929460224 1920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[pid=20799/tid=20802] ppid=20797 vsize=907676 CPUtime=0
/proc/20799/task/20802/stat : 20802 (java) S 20797 20799 20676 0 -1 64 10 0 0 0 0 0 0 0 19 0 4 0 155875049 929460224 1920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 7368 0 0 0 -1 1 0 0
[pid=20799/tid=20803] ppid=20797 vsize=907676 CPUtime=0
/proc/20799/task/20803/stat : 20803 (java) R 20797 20799 20676 0 -1 64 0 0 0 0 0 0 0 0 20 0 4 0 155875049 929460224 1920 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 10543064 0 4 0 7368 0 0 0 -1 1 0 0
[startup+0.102892 s]
/proc/loadavg: 2.01 2.00 1.93 4/93 20800
/proc/meminfo: memFree=1538080/2055920 swapFree=4160348/4192956
[pid=20799] ppid=20797 vsize=914988 CPUtime=0.08
/proc/20799/stat : 20799 (java) R 20797 20799 20676 0 -1 0 2980 0 1 0 6 2 0 0 17 0 8 0 155875045 936947712 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072926602 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20799/statm: 228747 2726 1423 14 0 215242 0
[pid=20799/tid=20801] ppid=20797 vsize=914988 CPUtime=0
/proc/20799/task/20801/stat : 20801 (java) S 20797 20799 20676 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 155875048 936947712 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20799/tid=20802] ppid=20797 vsize=914988 CPUtime=0
/proc/20799/task/20802/stat : 20802 (java) S 20797 20799 20676 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 155875049 936947712 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20799/tid=20803] ppid=20797 vsize=914988 CPUtime=0
/proc/20799/task/20803/stat : 20803 (java) S 20797 20799 20676 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 155875049 936947712 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510963 s]
/proc/loadavg: 2.01 2.00 1.93 4/93 20800
/proc/meminfo: memFree=1538080/2055920 swapFree=4160348/4192956
[pid=20799] ppid=20797 vsize=915328 CPUtime=0.49
/proc/20799/stat : 20799 (java) R 20797 20799 20676 0 -1 0 7466 0 1 0 43 6 0 0 18 0 8 0 155875045 937295872 7205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073564398 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20799/statm: 228832 7205 2137 14 0 215302 0
[pid=20799/tid=20801] ppid=20797 vsize=915328 CPUtime=0
/proc/20799/task/20801/stat : 20801 (java) S 20797 20799 20676 0 -1 64 6 0 0 0 0 0 0 0 19 0 8 0 155875048 937295872 7205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20799/tid=20802] ppid=20797 vsize=915328 CPUtime=0
/proc/20799/task/20802/stat : 20802 (java) S 20797 20799 20676 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 155875049 937295872 7205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20799/tid=20803] ppid=20797 vsize=915328 CPUtime=0
/proc/20799/task/20803/stat : 20803 (java) S 20797 20799 20676 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 155875049 937295872 7205 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33672 s]
/proc/loadavg: 2.01 2.00 1.93 3/100 20807
/proc/meminfo: memFree=1480616/2055920 swapFree=4160348/4192956
[pid=20799] ppid=20797 vsize=915460 CPUtime=1.31
/proc/20799/stat : 20799 (java) R 20797 20799 20676 0 -1 0 17075 0 1 0 120 11 0 0 24 0 8 0 155875045 937431040 16812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20799/statm: 228865 16812 2517 14 0 215335 0
[pid=20799/tid=20801] ppid=20797 vsize=915460 CPUtime=0.06
/proc/20799/task/20801/stat : 20801 (java) S 20797 20799 20676 0 -1 64 1793 0 0 0 6 0 0 0 16 0 8 0 155875048 937431040 16812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20799/tid=20802] ppid=20797 vsize=915460 CPUtime=0
/proc/20799/task/20802/stat : 20802 (java) S 20797 20799 20676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155875049 937431040 16812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20799/tid=20803] ppid=20797 vsize=915460 CPUtime=0
/proc/20799/task/20803/stat : 20803 (java) S 20797 20799 20676 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155875049 937431040 16812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20799/tid=20804] ppid=20797 vsize=915460 CPUtime=0
/proc/20799/task/20804/stat : 20804 (java) S 20797 20799 20676 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155875052 937431040 16812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20799/tid=20805] ppid=20797 vsize=915460 CPUtime=0.17
/proc/20799/task/20805/stat : 20805 (java) S 20797 20799 20676 0 -1 64 357 0 0 0 16 1 0 0 15 0 8 0 155875052 937431040 16812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20799/tid=20806] ppid=20797 vsize=915460 CPUtime=0
/proc/20799/task/20806/stat : 20806 (java) S 20797 20799 20676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155875052 937431040 16812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20799/tid=20807] ppid=20797 vsize=915460 CPUtime=0
/proc/20799/task/20807/stat : 20807 (java) S 20797 20799 20676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155875052 937431040 16812 18446744073709551615 134512640 134570532 4294956464 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) 915460
[startup+2.98741 s]
/proc/loadavg: 2.01 2.00 1.93 3/100 20807
/proc/meminfo: memFree=1480488/2055920 swapFree=4160348/4192956
[pid=20799] ppid=20797 vsize=915460 CPUtime=2.95
/proc/20799/stat : 20799 (java) R 20797 20799 20676 0 -1 0 17094 0 1 0 284 11 0 0 25 0 8 0 155875045 937431040 16830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073613891 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20799/statm: 228865 16830 2517 14 0 215335 0
[pid=20799/tid=20801] ppid=20797 vsize=915460 CPUtime=0.06
/proc/20799/task/20801/stat : 20801 (java) S 20797 20799 20676 0 -1 64 1793 0 0 0 6 0 0 0 17 0 8 0 155875048 937431040 16830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20799/tid=20802] ppid=20797 vsize=915460 CPUtime=0
/proc/20799/task/20802/stat : 20802 (java) S 20797 20799 20676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155875049 937431040 16830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20799/tid=20803] ppid=20797 vsize=915460 CPUtime=0
/proc/20799/task/20803/stat : 20803 (java) S 20797 20799 20676 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155875049 937431040 16830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20799/tid=20804] ppid=20797 vsize=915460 CPUtime=0
/proc/20799/task/20804/stat : 20804 (java) S 20797 20799 20676 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155875052 937431040 16830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20799/tid=20805] ppid=20797 vsize=915460 CPUtime=0.21
/proc/20799/task/20805/stat : 20805 (java) S 20797 20799 20676 0 -1 64 375 0 0 0 20 1 0 0 16 0 8 0 155875052 937431040 16830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20799/tid=20806] ppid=20797 vsize=915460 CPUtime=0
/proc/20799/task/20806/stat : 20806 (java) S 20797 20799 20676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155875052 937431040 16830 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20799/tid=20807] ppid=20797 vsize=915460 CPUtime=0
/proc/20799/task/20807/stat : 20807 (java) S 20797 20799 20676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155875052 937431040 16830 18446744073709551615 134512640 134570532 4294956464 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) 915460
[startup+6.276 s]
/proc/loadavg: 2.09 2.02 1.93 4/100 20807
/proc/meminfo: memFree=1480360/2055920 swapFree=4160348/4192956
[pid=20799] ppid=20797 vsize=915460 CPUtime=6.22
/proc/20799/stat : 20799 (java) R 20797 20799 20676 0 -1 0 17105 0 1 0 611 11 0 0 25 0 8 0 155875045 937431040 16839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073727839 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20799/statm: 228865 16839 2517 14 0 215335 0
[pid=20799/tid=20801] ppid=20797 vsize=915460 CPUtime=0.06
/proc/20799/task/20801/stat : 20801 (java) S 20797 20799 20676 0 -1 64 1793 0 0 0 6 0 0 0 16 0 8 0 155875048 937431040 16839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20799/tid=20802] ppid=20797 vsize=915460 CPUtime=0
/proc/20799/task/20802/stat : 20802 (java) S 20797 20799 20676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155875049 937431040 16839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20799/tid=20803] ppid=20797 vsize=915460 CPUtime=0
/proc/20799/task/20803/stat : 20803 (java) S 20797 20799 20676 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155875049 937431040 16839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20799/tid=20804] ppid=20797 vsize=915460 CPUtime=0
/proc/20799/task/20804/stat : 20804 (java) S 20797 20799 20676 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155875052 937431040 16839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20799/tid=20805] ppid=20797 vsize=915460 CPUtime=0.22
/proc/20799/task/20805/stat : 20805 (java) S 20797 20799 20676 0 -1 64 385 0 0 0 21 1 0 0 16 0 8 0 155875052 937431040 16839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20799/tid=20806] ppid=20797 vsize=915460 CPUtime=0
/proc/20799/task/20806/stat : 20806 (java) S 20797 20799 20676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155875052 937431040 16839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20799/tid=20807] ppid=20797 vsize=915460 CPUtime=0
/proc/20799/task/20807/stat : 20807 (java) S 20797 20799 20676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155875052 937431040 16839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915460
[startup+12.7702 s]
/proc/loadavg: 2.08 2.02 1.93 3/100 20807
/proc/meminfo: memFree=1480488/2055920 swapFree=4160348/4192956
[pid=20799] ppid=20797 vsize=915460 CPUtime=12.68
/proc/20799/stat : 20799 (java) R 20797 20799 20676 0 -1 0 17106 0 1 0 1257 11 0 0 25 0 8 0 155875045 937431040 16839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073736082 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20799/statm: 228865 16839 2517 14 0 215335 0
[pid=20799/tid=20801] ppid=20797 vsize=915460 CPUtime=0.06
/proc/20799/task/20801/stat : 20801 (java) S 20797 20799 20676 0 -1 64 1793 0 0 0 6 0 0 0 16 0 8 0 155875048 937431040 16839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20799/tid=20802] ppid=20797 vsize=915460 CPUtime=0
/proc/20799/task/20802/stat : 20802 (java) S 20797 20799 20676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155875049 937431040 16839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20799/tid=20803] ppid=20797 vsize=915460 CPUtime=0
/proc/20799/task/20803/stat : 20803 (java) S 20797 20799 20676 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155875049 937431040 16839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20799/tid=20804] ppid=20797 vsize=915460 CPUtime=0
/proc/20799/task/20804/stat : 20804 (java) S 20797 20799 20676 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155875052 937431040 16839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20799/tid=20805] ppid=20797 vsize=915460 CPUtime=0.23
/proc/20799/task/20805/stat : 20805 (java) S 20797 20799 20676 0 -1 64 385 0 0 0 22 1 0 0 16 0 8 0 155875052 937431040 16839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20799/tid=20806] ppid=20797 vsize=915460 CPUtime=0
/proc/20799/task/20806/stat : 20806 (java) S 20797 20799 20676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155875052 937431040 16839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20799/tid=20807] ppid=20797 vsize=915460 CPUtime=0
/proc/20799/task/20807/stat : 20807 (java) S 20797 20799 20676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155875052 937431040 16839 18446744073709551615 134512640 134570532 4294956464 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) 915460
[startup+25.6235 s]
/proc/loadavg: 2.06 2.02 1.93 3/100 20807
/proc/meminfo: memFree=1480552/2055920 swapFree=4160348/4192956
[pid=20799] ppid=20797 vsize=915460 CPUtime=25.47
/proc/20799/stat : 20799 (java) R 20797 20799 20676 0 -1 0 17106 0 1 0 2536 11 0 0 25 0 8 0 155875045 937431040 16839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073728683 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20799/statm: 228865 16839 2517 14 0 215335 0
[pid=20799/tid=20801] ppid=20797 vsize=915460 CPUtime=0.06
/proc/20799/task/20801/stat : 20801 (java) S 20797 20799 20676 0 -1 64 1793 0 0 0 6 0 0 0 16 0 8 0 155875048 937431040 16839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20799/tid=20802] ppid=20797 vsize=915460 CPUtime=0
/proc/20799/task/20802/stat : 20802 (java) S 20797 20799 20676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155875049 937431040 16839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20799/tid=20803] ppid=20797 vsize=915460 CPUtime=0
/proc/20799/task/20803/stat : 20803 (java) S 20797 20799 20676 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155875049 937431040 16839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20799/tid=20804] ppid=20797 vsize=915460 CPUtime=0
/proc/20799/task/20804/stat : 20804 (java) S 20797 20799 20676 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155875052 937431040 16839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20799/tid=20805] ppid=20797 vsize=915460 CPUtime=0.23
/proc/20799/task/20805/stat : 20805 (java) S 20797 20799 20676 0 -1 64 385 0 0 0 22 1 0 0 16 0 8 0 155875052 937431040 16839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20799/tid=20806] ppid=20797 vsize=915460 CPUtime=0
/proc/20799/task/20806/stat : 20806 (java) S 20797 20799 20676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155875052 937431040 16839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20799/tid=20807] ppid=20797 vsize=915460 CPUtime=0
/proc/20799/task/20807/stat : 20807 (java) S 20797 20799 20676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155875052 937431040 16839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 38.5185
CPU time (s): 38.2792
CPU user time (s): 38.1482
CPU system time (s): 0.13098
CPU usage (%): 99.3786
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 38.1482
system time used= 0.13098
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17113
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= 1844
involuntary context switches= 2881
runsolver used 0.053991 s user time and 0.131979 s system time
The end
Begin job on node12 on Sat Jan 6 09:13:20 UTC 2007
IDJOB= 208653
IDBENCH= 4419
FILE ID= node12/208653-1168074800
PBS_JOBID= 3475783
Free space on /tmp= 66309 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-13_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208653-1168074800/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-208653-1168074800 -o ROOT/results/node12/solver-208653-1168074800 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208653-1168074800/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0838945d23053064998840a410e5fa30
RANDOM SEED= 870516641
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: 1538496 kB
Buffers: 30104 kB
Cached: 252852 kB
SwapCached: 4684 kB
Active: 211784 kB
Inactive: 224420 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1538496 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 3000 kB
Writeback: 0 kB
Mapped: 173028 kB
Slab: 65736 kB
Committed_AS: 4731884 kB
PageTables: 2360 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= 66309 MiB
End job on node12 on Sat Jan 6 09:13:59 UTC 2007