0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/218425-1168079639/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.43 => wckTime=0.105 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.70
0.70 constraints being loaded...
0.86 nbConstraints=58 nbRelationTypes=58 nbExtensionStructures=58 nbSharedExtensionStructures=0
0.86 nbConflictsStructures=58 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=13 maxArity=3
0.86 => wckTime=0.537 cpuTime=0.48 mem=42M403
0.94
0.94 solver IterativeSystematicSolver being built...
1.11 => wckTime=0.785 cpuTime=0.61 mem=21M310
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=21M310
1.21
1.21 search
1.21 run=0 nbConstraintChecks=19084 nbValidityChecks=30482 nbPropagations=226 nbRevisions=2192
1.21 nbUselessRevisions=1708 nbAssignments=22 nbFailedAssignments=8 nbBacktracks=10 nbVisitedNodes=35
1.21 nbRestartNogoods=0 mapSize=5 nbInferences=0 nbTooLargeKeys=0
1.21 => wckTime=0.099 cpuTime=0.05 mem=21M310
1.28
1.28 search
1.28 run=1 nbConstraintChecks=57445 nbValidityChecks=107400 nbPropagations=998 nbRevisions=10342
1.28 nbUselessRevisions=8035 nbAssignments=69 nbFailedAssignments=35 nbBacktracks=25 nbVisitedNodes=121
1.28 nbRestartNogoods=6 mapSize=19 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.173 cpuTime=0.12 mem=21M310
1.37
1.37 search
1.37 run=2 nbConstraintChecks=108942 nbValidityChecks=212944 nbPropagations=2483 nbRevisions=26380
1.37 nbUselessRevisions=20433 nbAssignments=135 nbFailedAssignments=75 nbBacktracks=47 nbVisitedNodes=243
1.37 nbRestartNogoods=13 mapSize=39 nbInferences=0 nbTooLargeKeys=0
1.37 => wckTime=0.261 cpuTime=0.2 mem=21M310
1.48
1.48 search
1.48 run=3 nbConstraintChecks=182504 nbValidityChecks=352554 nbPropagations=4828 nbRevisions=52929
1.48 nbUselessRevisions=41390 nbAssignments=217 nbFailedAssignments=117 nbBacktracks=80 nbVisitedNodes=388
1.48 nbRestartNogoods=17 mapSize=68 nbInferences=0 nbTooLargeKeys=0
1.48 => wckTime=0.375 cpuTime=0.3 mem=21M310
1.60
1.60 search
1.60 run=4 nbConstraintChecks=265871 nbValidityChecks=509966 nbPropagations=8300 nbRevisions=92392
1.60 nbUselessRevisions=72448 nbAssignments=320 nbFailedAssignments=162 nbBacktracks=131 nbVisitedNodes=566
1.60 nbRestartNogoods=23 mapSize=111 nbInferences=0 nbTooLargeKeys=0
1.60 => wckTime=0.489 cpuTime=0.41 mem=21M310
1.75
1.75 search
1.75 run=5 nbConstraintChecks=373534 nbValidityChecks=719416 nbPropagations=13240 nbRevisions=148695
1.75 nbUselessRevisions=116761 nbAssignments=466 nbFailedAssignments=227 nbBacktracks=209 nbVisitedNodes=819
1.75 nbRestartNogoods=28 mapSize=171 nbInferences=0 nbTooLargeKeys=0
1.75 => wckTime=0.645 cpuTime=0.56 mem=21M310
2.01
2.01 search
2.01 run=6 nbConstraintChecks=565928 nbValidityChecks=1086589 nbPropagations=20884 nbRevisions=235757
2.01 nbUselessRevisions=185648 nbAssignments=744 nbFailedAssignments=387 nbBacktracks=322 nbVisitedNodes=1330
2.01 nbRestartNogoods=33 mapSize=273 nbInferences=0 nbTooLargeKeys=0
2.01 => wckTime=0.904 cpuTime=0.82 mem=21M310
2.47
2.47 search
2.47 run=7 nbConstraintChecks=908688 nbValidityChecks=1734307 nbPropagations=32856 nbRevisions=370826
2.47 nbUselessRevisions=291723 nbAssignments=1170 nbFailedAssignments=639 nbBacktracks=493 nbVisitedNodes=2122
2.47 nbRestartNogoods=41 mapSize=419 nbInferences=0 nbTooLargeKeys=0
2.47 => wckTime=1.362 cpuTime=1.26 mem=21M310
3.11
3.11 search
3.11 run=8 nbConstraintChecks=1382696 nbValidityChecks=2638613 nbPropagations=50945 nbRevisions=577281
3.11 nbUselessRevisions=453650 nbAssignments=1760 nbFailedAssignments=967 nbBacktracks=749 nbVisitedNodes=3199
3.11 nbRestartNogoods=50 mapSize=638 nbInferences=0 nbTooLargeKeys=0
3.11 => wckTime=2.004 cpuTime=1.88 mem=21M310
3.92
3.92 search
3.92 run=9 nbConstraintChecks=1994836 nbValidityChecks=3890463 nbPropagations=78485 nbRevisions=888888
3.92 nbUselessRevisions=698549 nbAssignments=2682 nbFailedAssignments=1501 nbBacktracks=1134 nbVisitedNodes=4911
3.92 nbRestartNogoods=60 mapSize=981 nbInferences=0 nbTooLargeKeys=0
3.92 => wckTime=2.808 cpuTime=2.67 mem=22M280
4.12
4.12 INFO : Stopping hyperNogood (mapSize=1031, nbTooLargekeys=0, mem=22M280)
5.28
5.28 search
5.28 run=10 nbConstraintChecks=3097097 nbValidityChecks=5922148 nbPropagations=118995 nbRevisions=1349474
5.28 nbUselessRevisions=1059554 nbAssignments=4045 nbFailedAssignments=2283 nbBacktracks=1711 nbVisitedNodes=7384
5.28 nbRestartNogoods=64
5.28 => wckTime=4.17 cpuTime=4.01 mem=22M280
7.42
7.42 search
7.42 run=11 nbConstraintChecks=4768979 nbValidityChecks=9251101 nbPropagations=183175 nbRevisions=2070605
7.42 nbUselessRevisions=1623490 nbAssignments=6273 nbFailedAssignments=3643 nbBacktracks=2576 nbVisitedNodes=11595
7.42 nbRestartNogoods=77
7.42 => wckTime=6.317 cpuTime=6.13 mem=22M280
10.93
10.93 search
10.93 run=12 nbConstraintChecks=7485880 nbValidityChecks=14796924 nbPropagations=286931 nbRevisions=3235830
10.93 nbUselessRevisions=2534494 nbAssignments=10023 nbFailedAssignments=6094 nbBacktracks=3874 nbVisitedNodes=18713
10.93 nbRestartNogoods=86
10.93 => wckTime=9.827 cpuTime=9.61 mem=22M280
15.57
15.57 search
15.57 run=13 nbConstraintChecks=11064690 nbValidityChecks=21865369 nbPropagations=438871 nbRevisions=4955665
15.57 nbUselessRevisions=3877623 nbAssignments=14532 nbFailedAssignments=8651 nbBacktracks=5823 nbVisitedNodes=27011
15.57 nbRestartNogoods=89
15.57 => wckTime=14.46 cpuTime=14.2 mem=22M280
21.92
21.92 search
21.92 run=14 nbConstraintChecks=16086364 nbValidityChecks=31679187 nbPropagations=659482 nbRevisions=7471126
21.92 nbUselessRevisions=5844930 nbAssignments=21005 nbFailedAssignments=12199 nbBacktracks=8743 nbVisitedNodes=38720
21.92 nbRestartNogoods=99
21.92 => wckTime=20.814 cpuTime=20.49 mem=22M280
34.63
34.64 search
34.64 run=15 nbConstraintChecks=26106822 nbValidityChecks=51596791 nbPropagations=1016230 nbRevisions=11484765
34.64 nbUselessRevisions=8977319 nbAssignments=33934 nbFailedAssignments=20746 nbBacktracks=13121
34.64 nbVisitedNodes=63431 nbRestartNogoods=108
34.64 => wckTime=33.528 cpuTime=33.09 mem=22M280
41.22
41.22 search
41.22 run=16 nbConstraintChecks=31410650 nbValidityChecks=61688992 nbPropagations=1438830 nbRevisions=16260231
41.22 nbUselessRevisions=12708016 nbAssignments=40919 nbFailedAssignments=24565 nbBacktracks=16267
41.22 nbVisitedNodes=75938 nbRestartNogoods=125
41.22 => wckTime=40.113 cpuTime=39.61 mem=22M280
41.22
41.22 global
41.22 nbConstraintChecks=31410650 nbValidityChecks=61688992 nbPropagations=1438850 nbRevisions=16260231
41.22 nbUselessRevisions=12708016 nbRestartNogoods=125 solvingWckTime=40.114 solvingCpuTime=39.61 expiredTime=no
41.22 totalExploration=no nbFoundSolutions=1 globalCpuTime=40.27
41.22 => wckTime=40.902 cpuTime=40.23 mem=22M280
41.22
41.22 s SATISFIABLE
41.23 v 1 15 3 16 4 12 15 7 14 3 0 3 8 18 11 18 13 15 8 16
41.23 d NODES 40919
41.23 d CHECKS 31410650
41.23
41.23 totalWckTime=40.989 totalCpuTime=40.28
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-218425-1168079639 -o ROOT/results/node13/solver-218425-1168079639 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218425-1168079639/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.07 2.02 2.00 4/93 5690
/proc/meminfo: memFree=510432/2055920 swapFree=4192812/4192956
[pid=5689] ppid=5687 vsize=1784 CPUtime=0
/proc/5689/stat : 5689 (java) R 5687 5689 5392 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 156358878 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/5689/statm: 446 140 106 14 0 91 0
[startup+0.106012 s]
/proc/loadavg: 2.07 2.02 2.00 4/93 5690
/proc/meminfo: memFree=510432/2055920 swapFree=4192812/4192956
[pid=5689] ppid=5687 vsize=914988 CPUtime=0.08
/proc/5689/stat : 5689 (java) R 5687 5689 5392 0 -1 0 2999 0 1 0 7 1 0 0 17 0 8 0 156358878 936947712 2745 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072924296 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5689/statm: 228747 2745 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514066 s]
/proc/loadavg: 2.07 2.02 2.00 4/93 5690
/proc/meminfo: memFree=510432/2055920 swapFree=4192812/4192956
[pid=5689] ppid=5687 vsize=915328 CPUtime=0.49
/proc/5689/stat : 5689 (java) R 5687 5689 5392 0 -1 0 7342 0 1 0 44 5 0 0 18 0 8 0 156358878 937295872 7081 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073582172 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5689/statm: 228832 7081 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33518 s]
/proc/loadavg: 2.07 2.02 2.00 4/100 5697
/proc/meminfo: memFree=452904/2055920 swapFree=4192812/4192956
[pid=5689] ppid=5687 vsize=915460 CPUtime=1.31
/proc/5689/stat : 5689 (java) R 5687 5689 5392 0 -1 0 17076 0 1 0 121 10 0 0 23 0 8 0 156358878 937431040 16813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073609069 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5689/statm: 228865 16813 2517 14 0 215335 0
[pid=5689/tid=5691] ppid=5687 vsize=915460 CPUtime=0.06
/proc/5689/task/5691/stat : 5691 (java) S 5687 5689 5392 0 -1 64 1793 0 0 0 6 0 0 0 16 0 8 0 156358882 937431040 16813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5689/tid=5692] ppid=5687 vsize=915460 CPUtime=0
/proc/5689/task/5692/stat : 5692 (java) S 5687 5689 5392 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156358882 937431040 16813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5689/tid=5693] ppid=5687 vsize=915460 CPUtime=0
/proc/5689/task/5693/stat : 5693 (java) S 5687 5689 5392 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156358882 937431040 16813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5689/tid=5694] ppid=5687 vsize=915460 CPUtime=0
/proc/5689/task/5694/stat : 5694 (java) S 5687 5689 5392 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156358885 937431040 16813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5689/tid=5695] ppid=5687 vsize=915460 CPUtime=0.18
/proc/5689/task/5695/stat : 5695 (java) S 5687 5689 5392 0 -1 64 356 0 0 0 18 0 0 0 15 0 8 0 156358885 937431040 16813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5689/tid=5696] ppid=5687 vsize=915460 CPUtime=0
/proc/5689/task/5696/stat : 5696 (java) S 5687 5689 5392 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156358885 937431040 16813 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5689/tid=5697] ppid=5687 vsize=915460 CPUtime=0
/proc/5689/task/5697/stat : 5697 (java) S 5687 5689 5392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156358885 937431040 16813 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.9854 s]
/proc/loadavg: 2.14 2.03 2.01 3/100 5697
/proc/meminfo: memFree=452776/2055920 swapFree=4192812/4192956
[pid=5689] ppid=5687 vsize=915460 CPUtime=2.94
/proc/5689/stat : 5689 (java) R 5687 5689 5392 0 -1 0 17096 0 1 0 284 10 0 0 25 0 8 0 156358878 937431040 16832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073608991 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5689/statm: 228865 16832 2517 14 0 215335 0
[pid=5689/tid=5691] ppid=5687 vsize=915460 CPUtime=0.06
/proc/5689/task/5691/stat : 5691 (java) S 5687 5689 5392 0 -1 64 1793 0 0 0 6 0 0 0 17 0 8 0 156358882 937431040 16832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5689/tid=5692] ppid=5687 vsize=915460 CPUtime=0
/proc/5689/task/5692/stat : 5692 (java) S 5687 5689 5392 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156358882 937431040 16832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5689/tid=5693] ppid=5687 vsize=915460 CPUtime=0
/proc/5689/task/5693/stat : 5693 (java) S 5687 5689 5392 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156358882 937431040 16832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5689/tid=5694] ppid=5687 vsize=915460 CPUtime=0
/proc/5689/task/5694/stat : 5694 (java) S 5687 5689 5392 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156358885 937431040 16832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5689/tid=5695] ppid=5687 vsize=915460 CPUtime=0.24
/proc/5689/task/5695/stat : 5695 (java) S 5687 5689 5392 0 -1 64 375 0 0 0 23 1 0 0 16 0 8 0 156358885 937431040 16832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5689/tid=5696] ppid=5687 vsize=915460 CPUtime=0
/proc/5689/task/5696/stat : 5696 (java) S 5687 5689 5392 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156358885 937431040 16832 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5689/tid=5697] ppid=5687 vsize=915460 CPUtime=0
/proc/5689/task/5697/stat : 5697 (java) S 5687 5689 5392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156358885 937431040 16832 18446744073709551615 134512640 134570532 4294956464 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) 915460
[startup+6.19083 s]
/proc/loadavg: 2.14 2.03 2.01 3/100 5697
/proc/meminfo: memFree=452712/2055920 swapFree=4192812/4192956
[pid=5689] ppid=5687 vsize=915460 CPUtime=6.11
/proc/5689/stat : 5689 (java) R 5687 5689 5392 0 -1 0 17108 0 1 0 601 10 0 0 25 0 8 0 156358878 937431040 16842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073721268 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5689/statm: 228865 16842 2517 14 0 215335 0
[pid=5689/tid=5691] ppid=5687 vsize=915460 CPUtime=0.06
/proc/5689/task/5691/stat : 5691 (java) S 5687 5689 5392 0 -1 64 1793 0 0 0 6 0 0 0 16 0 8 0 156358882 937431040 16842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5689/tid=5692] ppid=5687 vsize=915460 CPUtime=0
/proc/5689/task/5692/stat : 5692 (java) S 5687 5689 5392 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156358882 937431040 16842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5689/tid=5693] ppid=5687 vsize=915460 CPUtime=0
/proc/5689/task/5693/stat : 5693 (java) S 5687 5689 5392 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156358882 937431040 16842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5689/tid=5694] ppid=5687 vsize=915460 CPUtime=0
/proc/5689/task/5694/stat : 5694 (java) S 5687 5689 5392 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156358885 937431040 16842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5689/tid=5695] ppid=5687 vsize=915460 CPUtime=0.25
/proc/5689/task/5695/stat : 5695 (java) S 5687 5689 5392 0 -1 64 385 0 0 0 24 1 0 0 16 0 8 0 156358885 937431040 16842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5689/tid=5696] ppid=5687 vsize=915460 CPUtime=0
/proc/5689/task/5696/stat : 5696 (java) S 5687 5689 5392 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156358885 937431040 16842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5689/tid=5697] ppid=5687 vsize=915460 CPUtime=0
/proc/5689/task/5697/stat : 5697 (java) S 5687 5689 5392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156358885 937431040 16842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 915460
[startup+12.6697 s]
/proc/loadavg: 2.12 2.03 2.01 3/100 5697
/proc/meminfo: memFree=452776/2055920 swapFree=4192812/4192956
[pid=5689] ppid=5687 vsize=915460 CPUtime=12.53
/proc/5689/stat : 5689 (java) R 5687 5689 5392 0 -1 0 17108 0 1 0 1243 10 0 0 25 0 8 0 156358878 937431040 16842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073729027 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5689/statm: 228865 16842 2517 14 0 215335 0
[pid=5689/tid=5691] ppid=5687 vsize=915460 CPUtime=0.06
/proc/5689/task/5691/stat : 5691 (java) S 5687 5689 5392 0 -1 64 1793 0 0 0 6 0 0 0 17 0 8 0 156358882 937431040 16842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5689/tid=5692] ppid=5687 vsize=915460 CPUtime=0
/proc/5689/task/5692/stat : 5692 (java) S 5687 5689 5392 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156358882 937431040 16842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5689/tid=5693] ppid=5687 vsize=915460 CPUtime=0
/proc/5689/task/5693/stat : 5693 (java) S 5687 5689 5392 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156358882 937431040 16842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5689/tid=5694] ppid=5687 vsize=915460 CPUtime=0
/proc/5689/task/5694/stat : 5694 (java) S 5687 5689 5392 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156358885 937431040 16842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5689/tid=5695] ppid=5687 vsize=915460 CPUtime=0.25
/proc/5689/task/5695/stat : 5695 (java) S 5687 5689 5392 0 -1 64 385 0 0 0 24 1 0 0 16 0 8 0 156358885 937431040 16842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5689/tid=5696] ppid=5687 vsize=915460 CPUtime=0
/proc/5689/task/5696/stat : 5696 (java) S 5687 5689 5392 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156358885 937431040 16842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5689/tid=5697] ppid=5687 vsize=915460 CPUtime=0
/proc/5689/task/5697/stat : 5697 (java) S 5687 5689 5392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156358885 937431040 16842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 915460
[startup+25.5294 s]
/proc/loadavg: 2.10 2.03 2.01 3/100 5697
/proc/meminfo: memFree=452904/2055920 swapFree=4192812/4192956
[pid=5689] ppid=5687 vsize=915460 CPUtime=25.27
/proc/5689/stat : 5689 (java) R 5687 5689 5392 0 -1 0 17109 0 1 0 2517 10 0 0 25 0 8 0 156358878 937431040 16842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073613914 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5689/statm: 228865 16842 2517 14 0 215335 0
[pid=5689/tid=5691] ppid=5687 vsize=915460 CPUtime=0.06
/proc/5689/task/5691/stat : 5691 (java) S 5687 5689 5392 0 -1 64 1793 0 0 0 6 0 0 0 16 0 8 0 156358882 937431040 16842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5689/tid=5692] ppid=5687 vsize=915460 CPUtime=0
/proc/5689/task/5692/stat : 5692 (java) S 5687 5689 5392 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156358882 937431040 16842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5689/tid=5693] ppid=5687 vsize=915460 CPUtime=0
/proc/5689/task/5693/stat : 5693 (java) S 5687 5689 5392 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156358882 937431040 16842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5689/tid=5694] ppid=5687 vsize=915460 CPUtime=0
/proc/5689/task/5694/stat : 5694 (java) S 5687 5689 5392 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156358885 937431040 16842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5689/tid=5695] ppid=5687 vsize=915460 CPUtime=0.25
/proc/5689/task/5695/stat : 5695 (java) S 5687 5689 5392 0 -1 64 385 0 0 0 24 1 0 0 16 0 8 0 156358885 937431040 16842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5689/tid=5696] ppid=5687 vsize=915460 CPUtime=0
/proc/5689/task/5696/stat : 5696 (java) S 5687 5689 5392 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156358885 937431040 16842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5689/tid=5697] ppid=5687 vsize=915460 CPUtime=0
/proc/5689/task/5697/stat : 5697 (java) S 5687 5689 5392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156358885 937431040 16842 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 41.2917
CPU time (s): 40.8478
CPU user time (s): 40.7278
CPU system time (s): 0.119981
CPU usage (%): 98.9249
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 40.7278
system time used= 0.119981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17116
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= 1828
involuntary context switches= 3056
runsolver used 0.069989 s user time and 0.123981 s system time
The end
Begin job on node13 on Sat Jan 6 10:33:59 UTC 2007
IDJOB= 218425
IDBENCH= 5235
FILE ID= node13/218425-1168079639
PBS_JOBID= 3475823
Free space on /tmp= 66312 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20/rand-3-20-20-60-632-47_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218425-1168079639/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-218425-1168079639 -o ROOT/results/node13/solver-218425-1168079639 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/218425-1168079639/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= b4a48de713c00a5a377f5d58d9bb676f
RANDOM SEED= 862443951
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.247
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.247
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: 510848 kB
Buffers: 71236 kB
Cached: 557900 kB
SwapCached: 0 kB
Active: 1153148 kB
Inactive: 295068 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 510848 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2960 kB
Writeback: 0 kB
Mapped: 848076 kB
Slab: 79780 kB
Committed_AS: 4420424 kB
PageTables: 3944 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= 66312 MiB
End job on node13 on Sat Jan 6 10:34:40 UTC 2007