0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=mac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/211564-1168075770/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.45 nbVariables=190 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.45 => wckTime=0.117 cpuTime=0.1 mem=6M951
0.45
0.45 predicates being loaded...
0.55
0.55 constraints being loaded...
0.98 nbConstraints=96 nbMergedConstraints=27 nbConflictsStructures=10 nbSharedConflictsStructures=46
0.98 nbUnbuiltConflictsStructures=6 nbSharedBinaryRepresentations=0 nbEvaluationManagers=16
0.98 nbSharedEvaluationManagers=80 maxDegree=24 maxArity=169
0.98 => wckTime=0.645 cpuTime=0.51 mem=4M629
1.02
1.02 solver IterativeSystematicSolver being built...
1.24 => wckTime=0.905 cpuTime=0.67 mem=18M751
1.26
1.26 preprocessing
1.26 nbConstraintChecks=95 nbValidityChecks=90 nbPropagations=190 nbRevisions=90 nbUselessRevisions=90
1.26 nbRemovedValues=0 detectedInconsistency=no
1.26 => wckTime=0.017 cpuTime=0.01 mem=19M736
5.66
5.66 search
5.66 run=0 nbConstraintChecks=1055371 nbValidityChecks=27380 nbPropagations=466 nbRevisions=15575
5.66 nbUselessRevisions=15207 nbAssignments=83 nbFailedAssignments=1 nbBacktracks=20 nbVisitedNodes=96
5.66 nbRestartNogoods=0 mapSize=11 nbInferences=0 nbTooLargeKeys=0
5.66 => wckTime=4.422 cpuTime=4.37 mem=19M736
6.24
6.24 search
6.24 run=1 nbConstraintChecks=1188742 nbValidityChecks=53875 nbPropagations=1119 nbRevisions=45377
6.24 nbUselessRevisions=44457 nbAssignments=164 nbFailedAssignments=3 nbBacktracks=40 nbVisitedNodes=183
6.24 nbRestartNogoods=1 mapSize=18 nbInferences=0 nbTooLargeKeys=0
6.24 => wckTime=5.001 cpuTime=4.94 mem=19M736
6.50
6.50 search
6.50 run=2 nbConstraintChecks=1245576 nbValidityChecks=78360 nbPropagations=1936 nbRevisions=88167
6.50 nbUselessRevisions=86555 nbAssignments=233 nbFailedAssignments=5 nbBacktracks=63 nbVisitedNodes=257
6.50 nbRestartNogoods=2 mapSize=22 nbInferences=0 nbTooLargeKeys=0
6.50 => wckTime=5.26 cpuTime=5.2 mem=19M736
7.86
7.86 search
7.86 run=3 nbConstraintChecks=1573746 nbValidityChecks=109740 nbPropagations=2993 nbRevisions=148155
7.86 nbUselessRevisions=145565 nbAssignments=344 nbFailedAssignments=9 nbBacktracks=101 nbVisitedNodes=377
7.86 nbRestartNogoods=3 mapSize=31 nbInferences=0 nbTooLargeKeys=0
7.86 => wckTime=6.615 cpuTime=6.54 mem=19M736
23.62
23.62 search
23.62 run=4 nbConstraintChecks=5426888 nbValidityChecks=155676 nbPropagations=4540 nbRevisions=235028
23.62 nbUselessRevisions=230871 nbAssignments=477 nbFailedAssignments=14 nbBacktracks=180 nbVisitedNodes=526
23.62 nbRestartNogoods=4 mapSize=48 nbInferences=0 nbTooLargeKeys=0
23.62 => wckTime=22.378 cpuTime=22.22 mem=19M736
26.04
26.04 search
26.04 run=5 nbConstraintChecks=6010934 nbValidityChecks=201982 nbPropagations=6584 nbRevisions=348372
26.04 nbUselessRevisions=342112 nbAssignments=631 nbFailedAssignments=19 nbBacktracks=283 nbVisitedNodes=699
26.04 nbRestartNogoods=5 mapSize=68 nbInferences=0 nbTooLargeKeys=0
26.04 => wckTime=24.795 cpuTime=24.62 mem=19M736
28.90
28.90 search
28.90 run=6 nbConstraintChecks=6696717 nbValidityChecks=296805 nbPropagations=9510 nbRevisions=514856
28.90 nbUselessRevisions=505333 nbAssignments=832 nbFailedAssignments=36 nbBacktracks=409 nbVisitedNodes=942
28.90 nbRestartNogoods=6 mapSize=111 nbInferences=0 nbTooLargeKeys=0
28.90 => wckTime=27.664 cpuTime=27.48 mem=19M736
56.47
56.47 search
56.47 run=7 nbConstraintChecks=13474796 nbValidityChecks=377683 nbPropagations=13371 nbRevisions=727696
56.47 nbUselessRevisions=713544 nbAssignments=1077 nbFailedAssignments=49 nbBacktracks=596 nbVisitedNodes=1238
56.47 nbRestartNogoods=8 mapSize=163 nbInferences=0 nbTooLargeKeys=0
56.47 => wckTime=55.233 cpuTime=54.92 mem=19M736
73.02
73.02 search
73.02 run=8 nbConstraintChecks=17495233 nbValidityChecks=508596 nbPropagations=18767 nbRevisions=1018278
73.02 nbUselessRevisions=997101 nbAssignments=1413 nbFailedAssignments=73 nbBacktracks=857 nbVisitedNodes=1652
73.02 nbRestartNogoods=9 mapSize=245 nbInferences=0 nbTooLargeKeys=0
73.02 => wckTime=71.78 cpuTime=71.38 mem=19M736
76.47
76.47 search
76.47 run=9 nbConstraintChecks=18332691 nbValidityChecks=680114 nbPropagations=25655 nbRevisions=1408045
76.47 nbUselessRevisions=1378178 nbAssignments=1898 nbFailedAssignments=107 nbBacktracks=1268 nbVisitedNodes=2190
76.47 nbRestartNogoods=11 mapSize=315 nbInferences=0 nbTooLargeKeys=0
76.47 => wckTime=75.227 cpuTime=74.79 mem=20M721
144.20
144.20 search
144.20 run=10 nbConstraintChecks=20619429 nbValidityChecks=742763 nbPropagations=33313 nbRevisions=1833606
144.20 nbUselessRevisions=1794454 nbAssignments=2199 nbFailedAssignments=119 nbBacktracks=1367 nbVisitedNodes=2510
144.20 nbRestartNogoods=12 mapSize=332 nbInferences=0 nbTooLargeKeys=0
144.20 => wckTime=142.957 cpuTime=142.2 mem=20M721
144.20
144.20 global
144.20 nbConstraintChecks=20619524 nbValidityChecks=742853 nbPropagations=33503 nbRevisions=1833696
144.20 nbUselessRevisions=1794544 nbRestartNogoods=12 solvingWckTime=142.958 solvingCpuTime=142.2 expiredTime=no
144.20 totalExploration=no nbFoundSolutions=1 globalCpuTime=142.93
144.20 => wckTime=143.865 cpuTime=142.87 mem=20M721
144.20
144.20 s SATISFIABLE
144.20 v 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 0 1 1 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 1
144.20 d NODES 2199
144.20 d CHECKS 20619524
144.20
144.20 totalWckTime=143.952 totalCpuTime=142.93
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-211564-1168075770 -o ROOT/results/node13/solver-211564-1168075770 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211564-1168075770/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.92 1.98 1.99 3/93 4944
/proc/meminfo: memFree=970576/2055920 swapFree=4192812/4192956
[pid=4943] ppid=4941 vsize=18540 CPUtime=0
/proc/4943/stat : 4943 (runsolver) R 4941 4943 4457 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155972013 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 269757246759 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/4943/statm: 4635 279 244 17 0 2626 0
[startup+0.102692 s]
/proc/loadavg: 1.92 1.98 1.99 3/93 4944
/proc/meminfo: memFree=970576/2055920 swapFree=4192812/4192956
[pid=4943] ppid=4941 vsize=913068 CPUtime=0.07
/proc/4943/stat : 4943 (java) S 4941 4943 4457 0 -1 0 2860 0 1 0 6 1 0 0 18 0 8 0 155972013 934981632 2606 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4943/statm: 228267 2606 1395 14 0 215168 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913068
[startup+0.510746 s]
/proc/loadavg: 1.92 1.98 1.99 3/93 4944
/proc/meminfo: memFree=970576/2055920 swapFree=4192812/4192956
[pid=4943] ppid=4941 vsize=915328 CPUtime=0.48
/proc/4943/stat : 4943 (java) R 4941 4943 4457 0 -1 0 6889 0 1 0 44 4 0 0 18 0 8 0 155972013 937295872 6628 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154106534 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4943/statm: 228832 6628 2139 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33186 s]
/proc/loadavg: 1.92 1.98 1.99 4/100 4951
/proc/meminfo: memFree=911960/2055920 swapFree=4192812/4192956
[pid=4943] ppid=4941 vsize=915464 CPUtime=1.3
/proc/4943/stat : 4943 (java) R 4941 4943 4457 0 -1 0 17411 0 1 0 118 12 0 0 24 0 8 0 155972013 937435136 17148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073914346 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4943/statm: 228866 17148 2534 14 0 215336 0
[pid=4943/tid=4945] ppid=4941 vsize=915464 CPUtime=0.03
/proc/4943/task/4945/stat : 4945 (java) S 4941 4943 4457 0 -1 64 392 0 0 0 3 0 0 0 16 0 8 0 155972017 937435136 17148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4946] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4946/stat : 4946 (java) S 4941 4943 4457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155972018 937435136 17148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4947] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4947/stat : 4947 (java) S 4941 4943 4457 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155972018 937435136 17148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4948] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4948/stat : 4948 (java) S 4941 4943 4457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155972021 937435136 17148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4949] ppid=4941 vsize=915464 CPUtime=0.25
/proc/4943/task/4949/stat : 4949 (java) S 4941 4943 4457 0 -1 64 392 0 0 0 24 1 0 0 15 0 8 0 155972021 937435136 17148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4950] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4950/stat : 4950 (java) S 4941 4943 4457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155972021 937435136 17148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4951] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4951/stat : 4951 (java) S 4941 4943 4457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155972021 937435136 17148 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915464
[startup+2.97007 s]
/proc/loadavg: 1.92 1.98 1.99 3/100 4951
/proc/meminfo: memFree=911704/2055920 swapFree=4192812/4192956
[pid=4943] ppid=4941 vsize=915464 CPUtime=2.93
/proc/4943/stat : 4943 (java) R 4941 4943 4457 0 -1 0 17415 0 1 0 281 12 0 0 25 0 8 0 155972013 937435136 17152 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073706981 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4943/statm: 228866 17152 2535 14 0 215336 0
[pid=4943/tid=4945] ppid=4941 vsize=915464 CPUtime=0.03
/proc/4943/task/4945/stat : 4945 (java) S 4941 4943 4457 0 -1 64 392 0 0 0 3 0 0 0 17 0 8 0 155972017 937435136 17152 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4946] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4946/stat : 4946 (java) S 4941 4943 4457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155972018 937435136 17152 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4947] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4947/stat : 4947 (java) S 4941 4943 4457 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155972018 937435136 17152 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4948] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4948/stat : 4948 (java) S 4941 4943 4457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155972021 937435136 17152 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4949] ppid=4941 vsize=915464 CPUtime=0.26
/proc/4943/task/4949/stat : 4949 (java) S 4941 4943 4457 0 -1 64 394 0 0 0 25 1 0 0 15 0 8 0 155972021 937435136 17152 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4950] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4950/stat : 4950 (java) S 4941 4943 4457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155972021 937435136 17152 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4951] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4951/stat : 4951 (java) S 4941 4943 4457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155972021 937435136 17152 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915464
[startup+6.1705 s]
/proc/loadavg: 1.93 1.98 1.99 3/100 4951
/proc/meminfo: memFree=911704/2055920 swapFree=4192812/4192956
[pid=4943] ppid=4941 vsize=915464 CPUtime=6.12
/proc/4943/stat : 4943 (java) R 4941 4943 4457 0 -1 0 17423 0 1 0 600 12 0 0 25 0 8 0 155972013 937435136 17158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073708967 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4943/statm: 228866 17158 2538 14 0 215336 0
[pid=4943/tid=4945] ppid=4941 vsize=915464 CPUtime=0.03
/proc/4943/task/4945/stat : 4945 (java) S 4941 4943 4457 0 -1 64 393 0 0 0 3 0 0 0 16 0 8 0 155972017 937435136 17158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4946] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4946/stat : 4946 (java) S 4941 4943 4457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155972018 937435136 17158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4947] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4947/stat : 4947 (java) S 4941 4943 4457 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155972018 937435136 17158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4948] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4948/stat : 4948 (java) S 4941 4943 4457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155972021 937435136 17158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4949] ppid=4941 vsize=915464 CPUtime=0.27
/proc/4943/task/4949/stat : 4949 (java) S 4941 4943 4457 0 -1 64 396 0 0 0 26 1 0 0 15 0 8 0 155972021 937435136 17158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4950] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4950/stat : 4950 (java) S 4941 4943 4457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155972021 937435136 17158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4951] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4951/stat : 4951 (java) S 4941 4943 4457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155972021 937435136 17158 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915464
[startup+12.6374 s]
/proc/loadavg: 1.93 1.98 1.99 3/100 4951
/proc/meminfo: memFree=911648/2055920 swapFree=4192812/4192956
[pid=4943] ppid=4941 vsize=915464 CPUtime=12.55
/proc/4943/stat : 4943 (java) R 4941 4943 4457 0 -1 0 17425 0 1 0 1243 12 0 0 25 0 8 0 155972013 937435136 17159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073706914 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4943/statm: 228866 17159 2538 14 0 215336 0
[pid=4943/tid=4945] ppid=4941 vsize=915464 CPUtime=0.03
/proc/4943/task/4945/stat : 4945 (java) S 4941 4943 4457 0 -1 64 393 0 0 0 3 0 0 0 16 0 8 0 155972017 937435136 17159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4946] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4946/stat : 4946 (java) S 4941 4943 4457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155972018 937435136 17159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4947] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4947/stat : 4947 (java) S 4941 4943 4457 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155972018 937435136 17159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4948] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4948/stat : 4948 (java) S 4941 4943 4457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155972021 937435136 17159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4949] ppid=4941 vsize=915464 CPUtime=0.27
/proc/4943/task/4949/stat : 4949 (java) S 4941 4943 4457 0 -1 64 397 0 0 0 26 1 0 0 16 0 8 0 155972021 937435136 17159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4950] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4950/stat : 4950 (java) S 4941 4943 4457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155972021 937435136 17159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4951] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4951/stat : 4951 (java) S 4941 4943 4457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155972021 937435136 17159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 915464
[startup+25.5031 s]
/proc/loadavg: 1.95 1.98 1.99 3/100 4951
/proc/meminfo: memFree=911648/2055920 swapFree=4192812/4192956
[pid=4943] ppid=4941 vsize=915464 CPUtime=25.36
/proc/4943/stat : 4943 (java) R 4941 4943 4457 0 -1 0 17432 0 1 0 2524 12 0 0 25 0 8 0 155972013 937435136 17164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073712423 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4943/statm: 228866 17164 2538 14 0 215336 0
[pid=4943/tid=4945] ppid=4941 vsize=915464 CPUtime=0.03
/proc/4943/task/4945/stat : 4945 (java) S 4941 4943 4457 0 -1 64 393 0 0 0 3 0 0 0 16 0 8 0 155972017 937435136 17164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4946] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4946/stat : 4946 (java) S 4941 4943 4457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155972018 937435136 17164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4947] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4947/stat : 4947 (java) S 4941 4943 4457 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155972018 937435136 17164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4948] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4948/stat : 4948 (java) S 4941 4943 4457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155972021 937435136 17164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4949] ppid=4941 vsize=915464 CPUtime=0.28
/proc/4943/task/4949/stat : 4949 (java) S 4941 4943 4457 0 -1 64 403 0 0 0 27 1 0 0 15 0 8 0 155972021 937435136 17164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4950] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4950/stat : 4950 (java) S 4941 4943 4457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155972021 937435136 17164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4951] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4951/stat : 4951 (java) S 4941 4943 4457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155972021 937435136 17164 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 915464
[startup+51.1165 s]
/proc/loadavg: 1.96 1.98 1.99 3/100 4951
/proc/meminfo: memFree=893024/2055920 swapFree=4192812/4192956
[pid=4943] ppid=4941 vsize=915464 CPUtime=50.85
/proc/4943/stat : 4943 (java) R 4941 4943 4457 0 -1 0 17434 0 1 0 5072 13 0 0 25 0 8 0 155972013 937435136 17165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4943/statm: 228866 17165 2538 14 0 215336 0
[pid=4943/tid=4945] ppid=4941 vsize=915464 CPUtime=0.03
/proc/4943/task/4945/stat : 4945 (java) S 4941 4943 4457 0 -1 64 393 0 0 0 3 0 0 0 16 0 8 0 155972017 937435136 17165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4946] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4946/stat : 4946 (java) S 4941 4943 4457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155972018 937435136 17165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4947] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4947/stat : 4947 (java) S 4941 4943 4457 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155972018 937435136 17165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4948] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4948/stat : 4948 (java) S 4941 4943 4457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155972021 937435136 17165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4949] ppid=4941 vsize=915464 CPUtime=0.28
/proc/4943/task/4949/stat : 4949 (java) S 4941 4943 4457 0 -1 64 404 0 0 0 27 1 0 0 16 0 8 0 155972021 937435136 17165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4950] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4950/stat : 4950 (java) S 4941 4943 4457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155972021 937435136 17165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4951] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4951/stat : 4951 (java) S 4941 4943 4457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155972021 937435136 17165 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 915464
[startup+102.326 s]
/proc/loadavg: 1.98 1.98 1.99 3/100 4951
/proc/meminfo: memFree=892960/2055920 swapFree=4192812/4192956
[pid=4943] ppid=4941 vsize=915464 CPUtime=101.81
/proc/4943/stat : 4943 (java) R 4941 4943 4457 0 -1 0 17449 0 1 0 10168 13 0 0 25 0 8 0 155972013 937435136 17174 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073706908 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4943/statm: 228866 17174 2538 14 0 215336 0
[pid=4943/tid=4945] ppid=4941 vsize=915464 CPUtime=0.03
/proc/4943/task/4945/stat : 4945 (java) S 4941 4943 4457 0 -1 64 393 0 0 0 3 0 0 0 16 0 8 0 155972017 937435136 17174 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4946] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4946/stat : 4946 (java) S 4941 4943 4457 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155972018 937435136 17174 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4947] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4947/stat : 4947 (java) S 4941 4943 4457 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155972018 937435136 17174 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4948] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4948/stat : 4948 (java) S 4941 4943 4457 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155972021 937435136 17174 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4949] ppid=4941 vsize=915464 CPUtime=0.31
/proc/4943/task/4949/stat : 4949 (java) S 4941 4943 4457 0 -1 64 416 0 0 0 30 1 0 0 15 0 8 0 155972021 937435136 17174 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4950] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4950/stat : 4950 (java) S 4941 4943 4457 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155972021 937435136 17174 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4943/tid=4951] ppid=4941 vsize=915464 CPUtime=0
/proc/4943/task/4951/stat : 4951 (java) S 4941 4943 4457 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155972021 937435136 17174 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 915464
Child status: 0
Real time (s): 144.261
CPU time (s): 143.517
CPU user time (s): 143.365
CPU system time (s): 0.151976
CPU usage (%): 99.4842
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 143.365
system time used= 0.151976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17458
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= 4193
involuntary context switches= 8204
runsolver used 0.19297 s user time and 0.45493 s system time
The end
Begin job on node13 on Sat Jan 6 09:29:30 UTC 2007
IDJOB= 211564
IDBENCH= 4704
FILE ID= node13/211564-1168075770
PBS_JOBID= 3475778
Free space on /tmp= 66308 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/mpsReduced/mps-red-misc03.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211564-1168075770/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-211564-1168075770 -o ROOT/results/node13/solver-211564-1168075770 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/211564-1168075770/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1e4fc5b3445e2fad52c0491a0c50e974
RANDOM SEED= 773058535
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: 971056 kB
Buffers: 71116 kB
Cached: 548568 kB
SwapCached: 0 kB
Active: 703776 kB
Inactive: 285468 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 971056 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1804 kB
Writeback: 0 kB
Mapped: 398552 kB
Slab: 79632 kB
Committed_AS: 4400368 kB
PageTables: 3056 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= 66308 MiB
End job on node13 on Sat Jan 6 09:31:55 UTC 2007