0.06/0.10
0.06/0.10 Abscon 112 (May, 2008)
0.18/0.27
0.18/0.27 configuration
0.18/0.27 name=mac.xml
0.28/0.30
0.28/0.30 instance
0.28/0.30 name=HOME/instance-2095231-1247406974.xml
0.28/0.34
0.28/0.34 domains being loaded...
0.28/0.35
0.28/0.35 variables being loaded...
0.47/0.58 nbVariables=1804 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2 nbTotalValues=3591
0.47/0.58 => wckTime=0.308 cpuTime=0.19 mem=12M769
0.47/0.58
0.47/0.58 predicates being loaded...
0.57/0.65
0.57/0.65 constraints being loaded...
2.04/2.12 nbConstraints=4706 nbMergedConstraints=224 nbSingletonDomainVariables=17 nbConvertedConstraints=3100
2.04/2.12 nbConvertConstraintsChecks=2632 nbExtensionStructures=23 nbSharedExtensionStructures=3096
2.04/2.12 nbConflictsStructures=37 nbSharedConflictsStructures=4688 nbSharedBinaryRepresentations=54
2.04/2.12 nbEvaluationManagers=14 nbSharedEvaluationManagers=1592 minDegree=1 maxDegree=76 minArity=2 avgArity=2.48
2.04/2.12 maxArity=9 nbGenerators=0 nbFusions=0 symmetryWckTime=0.324 symmetryCpuTime=0.14
2.04/2.12 => wckTime=1.85 cpuTime=1.34 mem=20M195
2.14/2.23
2.14/2.23 solver IterativeSystematicSolver being built...
2.43/2.52 => wckTime=2.249 cpuTime=1.59 mem=46M61
2.43/2.55
2.43/2.55 preprocessing
2.43/2.55 nbConstraintChecks=0 nbPropagations=1804 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.43/2.55 detectedInconsistency=no
2.43/2.55 => wckTime=0.024 cpuTime=0.02 mem=47M47
16.60/16.84
16.60/16.84 search
16.60/16.84 run=11 nbConstraintChecks=6149508 nbValidityChecks=2251753 minDepth=0 maxDepth=89 nbPropagations=3067580
16.60/16.84 nbRevisions=17239141 nbUselessRevisions=14043036 nbAssignments=26071 nbFailedAssignments=2333
16.60/16.84 nbInferredBacktracks=104 nbBacktracks=22853 nbVisitedNodes=30733 nbRestartNogoods=43 nbSEliminables=?
16.60/16.84 nbREliminables=? nbIEliminables=? nbDEliminables=? nbPEliminables=?
16.60/16.84 => wckTime=14.315 cpuTime=14.09 mem=48M64
16.60/16.84
16.60/16.84 global
16.60/16.84 nbConstraintChecks=6149508 nbValidityChecks=2251753 nbPropagations=3069384 nbRevisions=17239141
16.60/16.84 nbUselessRevisions=14043036 nbRestartNogoods=43 solvingWckTime=14.317 solvingCpuTime=14.09 expiredTime=no
16.60/16.84 totalExploration=yes nbFoundSolutions=0 globalCpuTime=15.72
16.60/16.84 => wckTime=16.572 cpuTime=15.68 mem=48M64
16.60/16.84
16.60/16.84 s UNSATISFIABLE
16.60/16.84 d NODES 26071
16.60/16.84 d CHECKS 6149508
16.60/16.84
16.60/16.84 totalWckTime=16.643 totalCpuTime=15.73
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2095231-1247406974/watcher-2095231-1247406974 -o /tmp/evaluation-result-2095231-1247406974/solver-2095231-1247406974 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2095231-1247406974.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.93 4/81 3816
/proc/meminfo: memFree=1714400/2055912 swapFree=4192812/4192956
[pid=3816] ppid=3814 vsize=18576 CPUtime=0
/proc/3816/stat : 3816 (runsolver) R 3814 3816 3132 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 27762015 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 255372881191 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/3816/statm: 4644 284 249 26 0 2626 0
[startup+0.0838331 s]
/proc/loadavg: 2.00 2.00 1.93 4/81 3816
/proc/meminfo: memFree=1714400/2055912 swapFree=4192812/4192956
[pid=3816] ppid=3814 vsize=864148 CPUtime=0.06
/proc/3816/stat : 3816 (java) S 3814 3816 3132 0 -1 0 3114 0 1 0 4 2 0 0 18 0 9 0 27762015 884887552 2599 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3816/statm: 216037 2599 1237 9 0 210930 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 864148
[startup+0.102834 s]
/proc/loadavg: 2.00 2.00 1.93 4/81 3816
/proc/meminfo: memFree=1714400/2055912 swapFree=4192812/4192956
[pid=3816] ppid=3814 vsize=865984 CPUtime=0.08
/proc/3816/stat : 3816 (java) S 3814 3816 3132 0 -1 0 3699 0 1 0 6 2 0 0 18 0 9 0 27762015 886767616 3174 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3816/statm: 216496 3174 1692 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.301853 s]
/proc/loadavg: 2.00 2.00 1.93 4/81 3816
/proc/meminfo: memFree=1714400/2055912 swapFree=4192812/4192956
[pid=3816] ppid=3814 vsize=866300 CPUtime=0.28
/proc/3816/stat : 3816 (java) S 3814 3816 3132 0 -1 0 5711 0 1 0 24 4 0 0 18 0 9 0 27762015 887091200 5114 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3816/statm: 216575 5114 1928 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866300
[startup+0.701891 s]
/proc/loadavg: 2.00 2.00 1.93 4/81 3816
/proc/meminfo: memFree=1714400/2055912 swapFree=4192812/4192956
[pid=3816] ppid=3814 vsize=867512 CPUtime=0.66
/proc/3816/stat : 3816 (java) S 3814 3816 3132 0 -1 0 8961 0 1 0 60 6 0 0 18 0 9 0 27762015 888332288 8315 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3816/statm: 216878 8315 2039 9 0 211314 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 867512
[startup+1.50298 s]
/proc/loadavg: 2.00 2.00 1.93 3/90 3825
/proc/meminfo: memFree=1673496/2055912 swapFree=4192812/4192956
[pid=3816] ppid=3814 vsize=867636 CPUtime=1.47
/proc/3816/stat : 3816 (java) S 3814 3816 3132 0 -1 0 15395 0 1 0 119 28 0 0 18 0 9 0 27762015 888459264 14746 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3816/statm: 216909 14746 2044 9 0 211345 0
[pid=3816/tid=3818] ppid=3814 vsize=867636 CPUtime=1.21
/proc/3816/task/3818/stat : 3818 (java) R 3814 3816 3132 0 -1 64 14007 0 1 0 95 26 0 0 25 0 9 0 27762016 888459264 14746 996147200 134512640 134550932 4294955968 18446744073709551615 104514034 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3819] ppid=3814 vsize=867636 CPUtime=0
/proc/3816/task/3819/stat : 3819 (java) S 3814 3816 3132 0 -1 64 2 0 0 0 0 0 0 0 17 0 9 0 27762018 888459264 14746 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3820] ppid=3814 vsize=867636 CPUtime=0
/proc/3816/task/3820/stat : 3820 (java) S 3814 3816 3132 0 -1 64 10 0 0 0 0 0 0 0 19 0 9 0 27762018 888459264 14746 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3821] ppid=3814 vsize=867636 CPUtime=0
/proc/3816/task/3821/stat : 3821 (java) S 3814 3816 3132 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 27762018 888459264 14746 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3822] ppid=3814 vsize=867636 CPUtime=0
/proc/3816/task/3822/stat : 3822 (java) S 3814 3816 3132 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 27762020 888459264 14746 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3823] ppid=3814 vsize=867636 CPUtime=0.23
/proc/3816/task/3823/stat : 3823 (java) S 3814 3816 3132 0 -1 64 690 0 0 0 23 0 0 0 16 0 9 0 27762020 888459264 14746 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3824] ppid=3814 vsize=867636 CPUtime=0
/proc/3816/task/3824/stat : 3824 (java) S 3814 3816 3132 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 27762020 888459264 14746 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3825] ppid=3814 vsize=867636 CPUtime=0
/proc/3816/task/3825/stat : 3825 (java) S 3814 3816 3132 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27762020 888459264 14746 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867636
[startup+3.10114 s]
/proc/loadavg: 2.08 2.02 1.94 3/90 3829
/proc/meminfo: memFree=1648024/2055912 swapFree=4192812/4192956
[pid=3816] ppid=3814 vsize=868044 CPUtime=3.03
/proc/3816/stat : 3816 (java) S 3814 3816 3132 0 -1 0 34829 546 1 0 253 37 12 1 18 0 9 0 27762015 888877056 21122 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3816/statm: 217011 21122 2662 9 0 211447 0
[pid=3816/tid=3818] ppid=3814 vsize=868044 CPUtime=2.44
/proc/3816/task/3818/stat : 3818 (java) R 3814 3816 3132 0 -1 64 26080 546 1 0 199 32 12 1 25 0 9 0 27762016 888877056 21122 996147200 134512640 134550932 4294955968 18446744073709551615 4127356645 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3819] ppid=3814 vsize=868044 CPUtime=0.31
/proc/3816/task/3819/stat : 3819 (java) S 3814 3816 3132 0 -1 64 6960 546 0 0 16 2 12 1 16 0 9 0 27762018 888877056 21122 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3820] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3820/stat : 3820 (java) S 3814 3816 3132 0 -1 64 19 546 0 0 0 0 12 1 16 0 9 0 27762018 888877056 21122 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3821] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3821/stat : 3821 (java) S 3814 3816 3132 0 -1 64 8 546 0 0 0 0 12 1 15 0 9 0 27762018 888877056 21122 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3822] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3822/stat : 3822 (java) S 3814 3816 3132 0 -1 64 2 546 0 0 0 0 12 1 18 0 9 0 27762020 888877056 21122 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3823] ppid=3814 vsize=868044 CPUtime=0.51
/proc/3816/task/3823/stat : 3823 (java) S 3814 3816 3132 0 -1 64 945 546 0 0 37 1 12 1 15 0 9 0 27762020 888877056 21122 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3824] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3824/stat : 3824 (java) S 3814 3816 3132 0 -1 64 1 546 0 0 0 0 12 1 19 0 9 0 27762020 888877056 21122 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3825] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3825/stat : 3825 (java) S 3814 3816 3132 0 -1 64 12 546 0 0 0 0 12 1 15 0 9 0 27762020 888877056 21122 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 868044
[startup+6.30248 s]
/proc/loadavg: 2.08 2.02 1.94 3/90 3829
/proc/meminfo: memFree=1639640/2055912 swapFree=4192812/4192956
[pid=3816] ppid=3814 vsize=868044 CPUtime=6.2
/proc/3816/stat : 3816 (java) S 3814 3816 3132 0 -1 0 34877 546 1 0 570 37 12 1 18 0 9 0 27762015 888877056 21140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3816/statm: 217011 21140 2662 9 0 211447 0
[pid=3816/tid=3818] ppid=3814 vsize=868044 CPUtime=5.58
/proc/3816/task/3818/stat : 3818 (java) R 3814 3816 3132 0 -1 64 26083 546 1 0 513 32 12 1 25 0 9 0 27762016 888877056 21140 996147200 134512640 134550932 4294955968 18446744073709551615 4127341403 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3819] ppid=3814 vsize=868044 CPUtime=0.31
/proc/3816/task/3819/stat : 3819 (java) S 3814 3816 3132 0 -1 64 6961 546 0 0 16 2 12 1 17 0 9 0 27762018 888877056 21140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3820] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3820/stat : 3820 (java) S 3814 3816 3132 0 -1 64 19 546 0 0 0 0 12 1 16 0 9 0 27762018 888877056 21140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3821] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3821/stat : 3821 (java) S 3814 3816 3132 0 -1 64 8 546 0 0 0 0 12 1 15 0 9 0 27762018 888877056 21140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3822] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3822/stat : 3822 (java) S 3814 3816 3132 0 -1 64 2 546 0 0 0 0 12 1 18 0 9 0 27762020 888877056 21140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3823] ppid=3814 vsize=868044 CPUtime=0.54
/proc/3816/task/3823/stat : 3823 (java) S 3814 3816 3132 0 -1 64 965 546 0 0 40 1 12 1 15 0 9 0 27762020 888877056 21140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3824] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3824/stat : 3824 (java) S 3814 3816 3132 0 -1 64 1 546 0 0 0 0 12 1 19 0 9 0 27762020 888877056 21140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3825] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3825/stat : 3825 (java) S 3814 3816 3132 0 -1 64 36 546 0 0 0 0 12 1 15 0 9 0 27762020 888877056 21140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 868044
[startup+12.7011 s]
/proc/loadavg: 2.07 2.02 1.94 3/90 3829
/proc/meminfo: memFree=1639448/2055912 swapFree=4192812/4192956
[pid=3816] ppid=3814 vsize=868044 CPUtime=12.53
/proc/3816/stat : 3816 (java) S 3814 3816 3132 0 -1 0 34884 546 1 0 1203 37 12 1 18 0 9 0 27762015 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3816/statm: 217011 21143 2662 9 0 211447 0
[pid=3816/tid=3818] ppid=3814 vsize=868044 CPUtime=11.91
/proc/3816/task/3818/stat : 3818 (java) R 3814 3816 3132 0 -1 64 26086 546 1 0 1146 32 12 1 25 0 9 0 27762016 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4127379419 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3819] ppid=3814 vsize=868044 CPUtime=0.31
/proc/3816/task/3819/stat : 3819 (java) S 3814 3816 3132 0 -1 64 6961 546 0 0 16 2 12 1 17 0 9 0 27762018 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3820] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3820/stat : 3820 (java) S 3814 3816 3132 0 -1 64 19 546 0 0 0 0 12 1 16 0 9 0 27762018 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3821] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3821/stat : 3821 (java) S 3814 3816 3132 0 -1 64 8 546 0 0 0 0 12 1 15 0 9 0 27762018 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3822] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3822/stat : 3822 (java) S 3814 3816 3132 0 -1 64 2 546 0 0 0 0 12 1 18 0 9 0 27762020 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3823] ppid=3814 vsize=868044 CPUtime=0.55
/proc/3816/task/3823/stat : 3823 (java) S 3814 3816 3132 0 -1 64 969 546 0 0 41 1 12 1 16 0 9 0 27762020 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3824] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3824/stat : 3824 (java) S 3814 3816 3132 0 -1 64 1 546 0 0 0 0 12 1 19 0 9 0 27762020 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3825] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3825/stat : 3825 (java) S 3814 3816 3132 0 -1 64 36 546 0 0 0 0 12 1 15 0 9 0 27762020 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 868044
Solver just ended. Dumping a history of the last processes samples
[startup+14.3063 s]
/proc/loadavg: 2.07 2.02 1.94 3/90 3829
/proc/meminfo: memFree=1639512/2055912 swapFree=4192812/4192956
[pid=3816] ppid=3814 vsize=868044 CPUtime=14.12
/proc/3816/stat : 3816 (java) S 3814 3816 3132 0 -1 0 34887 546 1 0 1362 37 12 1 18 0 9 0 27762015 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3816/statm: 217011 21143 2662 9 0 211447 0
[pid=3816/tid=3818] ppid=3814 vsize=868044 CPUtime=13.5
/proc/3816/task/3818/stat : 3818 (java) R 3814 3816 3132 0 -1 64 26089 546 1 0 1305 32 12 1 25 0 9 0 27762016 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4127341395 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3819] ppid=3814 vsize=868044 CPUtime=0.31
/proc/3816/task/3819/stat : 3819 (java) S 3814 3816 3132 0 -1 64 6961 546 0 0 16 2 12 1 16 0 9 0 27762018 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3820] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3820/stat : 3820 (java) S 3814 3816 3132 0 -1 64 19 546 0 0 0 0 12 1 16 0 9 0 27762018 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3821] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3821/stat : 3821 (java) S 3814 3816 3132 0 -1 64 8 546 0 0 0 0 12 1 15 0 9 0 27762018 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3822] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3822/stat : 3822 (java) S 3814 3816 3132 0 -1 64 2 546 0 0 0 0 12 1 18 0 9 0 27762020 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3823] ppid=3814 vsize=868044 CPUtime=0.55
/proc/3816/task/3823/stat : 3823 (java) S 3814 3816 3132 0 -1 64 969 546 0 0 41 1 12 1 16 0 9 0 27762020 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3824] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3824/stat : 3824 (java) S 3814 3816 3132 0 -1 64 1 546 0 0 0 0 12 1 19 0 9 0 27762020 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3825] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3825/stat : 3825 (java) S 3814 3816 3132 0 -1 64 36 546 0 0 0 0 12 1 15 0 9 0 27762020 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.12
Current children cumulated vsize (KiB) 868044
[startup+15.9025 s]
/proc/loadavg: 2.07 2.02 1.94 3/90 3829
/proc/meminfo: memFree=1639512/2055912 swapFree=4192812/4192956
[pid=3816] ppid=3814 vsize=868044 CPUtime=15.71
/proc/3816/stat : 3816 (java) S 3814 3816 3132 0 -1 0 34887 546 1 0 1521 37 12 1 18 0 9 0 27762015 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3816/statm: 217011 21143 2662 9 0 211447 0
[pid=3816/tid=3818] ppid=3814 vsize=868044 CPUtime=15.08
/proc/3816/task/3818/stat : 3818 (java) R 3814 3816 3132 0 -1 64 26089 546 1 0 1463 32 12 1 25 0 9 0 27762016 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4127341395 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3819] ppid=3814 vsize=868044 CPUtime=0.31
/proc/3816/task/3819/stat : 3819 (java) S 3814 3816 3132 0 -1 64 6961 546 0 0 16 2 12 1 16 0 9 0 27762018 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3820] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3820/stat : 3820 (java) S 3814 3816 3132 0 -1 64 19 546 0 0 0 0 12 1 16 0 9 0 27762018 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3821] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3821/stat : 3821 (java) S 3814 3816 3132 0 -1 64 8 546 0 0 0 0 12 1 15 0 9 0 27762018 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3822] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3822/stat : 3822 (java) S 3814 3816 3132 0 -1 64 2 546 0 0 0 0 12 1 18 0 9 0 27762020 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3823] ppid=3814 vsize=868044 CPUtime=0.55
/proc/3816/task/3823/stat : 3823 (java) S 3814 3816 3132 0 -1 64 969 546 0 0 41 1 12 1 16 0 9 0 27762020 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3824] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3824/stat : 3824 (java) S 3814 3816 3132 0 -1 64 1 546 0 0 0 0 12 1 19 0 9 0 27762020 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3825] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3825/stat : 3825 (java) S 3814 3816 3132 0 -1 64 36 546 0 0 0 0 12 1 15 0 9 0 27762020 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.71
Current children cumulated vsize (KiB) 868044
[startup+16.3025 s]
/proc/loadavg: 2.07 2.02 1.94 3/90 3829
/proc/meminfo: memFree=1639512/2055912 swapFree=4192812/4192956
[pid=3816] ppid=3814 vsize=868044 CPUtime=16.1
/proc/3816/stat : 3816 (java) S 3814 3816 3132 0 -1 0 34887 546 1 0 1560 37 12 1 18 0 9 0 27762015 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3816/statm: 217011 21143 2662 9 0 211447 0
[pid=3816/tid=3818] ppid=3814 vsize=868044 CPUtime=15.48
/proc/3816/task/3818/stat : 3818 (java) R 3814 3816 3132 0 -1 64 26089 546 1 0 1503 32 12 1 25 0 9 0 27762016 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4127338958 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3819] ppid=3814 vsize=868044 CPUtime=0.31
/proc/3816/task/3819/stat : 3819 (java) S 3814 3816 3132 0 -1 64 6961 546 0 0 16 2 12 1 16 0 9 0 27762018 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3820] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3820/stat : 3820 (java) S 3814 3816 3132 0 -1 64 19 546 0 0 0 0 12 1 16 0 9 0 27762018 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3821] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3821/stat : 3821 (java) S 3814 3816 3132 0 -1 64 8 546 0 0 0 0 12 1 15 0 9 0 27762018 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3822] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3822/stat : 3822 (java) S 3814 3816 3132 0 -1 64 2 546 0 0 0 0 12 1 18 0 9 0 27762020 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3823] ppid=3814 vsize=868044 CPUtime=0.55
/proc/3816/task/3823/stat : 3823 (java) S 3814 3816 3132 0 -1 64 969 546 0 0 41 1 12 1 16 0 9 0 27762020 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3824] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3824/stat : 3824 (java) S 3814 3816 3132 0 -1 64 1 546 0 0 0 0 12 1 19 0 9 0 27762020 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3825] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3825/stat : 3825 (java) S 3814 3816 3132 0 -1 64 36 546 0 0 0 0 12 1 15 0 9 0 27762020 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 16.1
Current children cumulated vsize (KiB) 868044
[startup+16.7026 s]
/proc/loadavg: 2.06 2.02 1.94 3/90 3829
/proc/meminfo: memFree=1639512/2055912 swapFree=4192812/4192956
[pid=3816] ppid=3814 vsize=868044 CPUtime=16.5
/proc/3816/stat : 3816 (java) S 3814 3816 3132 0 -1 0 34887 546 1 0 1600 37 12 1 18 0 9 0 27762015 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3816/statm: 217011 21143 2662 9 0 211447 0
[pid=3816/tid=3818] ppid=3814 vsize=868044 CPUtime=15.87
/proc/3816/task/3818/stat : 3818 (java) R 3814 3816 3132 0 -1 64 26089 546 1 0 1542 32 12 1 25 0 9 0 27762016 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4127084592 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3819] ppid=3814 vsize=868044 CPUtime=0.31
/proc/3816/task/3819/stat : 3819 (java) S 3814 3816 3132 0 -1 64 6961 546 0 0 16 2 12 1 16 0 9 0 27762018 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3820] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3820/stat : 3820 (java) S 3814 3816 3132 0 -1 64 19 546 0 0 0 0 12 1 16 0 9 0 27762018 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3821] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3821/stat : 3821 (java) S 3814 3816 3132 0 -1 64 8 546 0 0 0 0 12 1 15 0 9 0 27762018 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3822] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3822/stat : 3822 (java) S 3814 3816 3132 0 -1 64 2 546 0 0 0 0 12 1 18 0 9 0 27762020 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3823] ppid=3814 vsize=868044 CPUtime=0.55
/proc/3816/task/3823/stat : 3823 (java) S 3814 3816 3132 0 -1 64 969 546 0 0 41 1 12 1 16 0 9 0 27762020 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3824] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3824/stat : 3824 (java) S 3814 3816 3132 0 -1 64 1 546 0 0 0 0 12 1 19 0 9 0 27762020 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3825] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3825/stat : 3825 (java) S 3814 3816 3132 0 -1 64 36 546 0 0 0 0 12 1 15 0 9 0 27762020 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 16.5
Current children cumulated vsize (KiB) 868044
[startup+16.8026 s]
/proc/loadavg: 2.06 2.02 1.94 3/90 3829
/proc/meminfo: memFree=1639512/2055912 swapFree=4192812/4192956
[pid=3816] ppid=3814 vsize=868044 CPUtime=16.6
/proc/3816/stat : 3816 (java) S 3814 3816 3132 0 -1 0 34887 546 1 0 1610 37 12 1 18 0 9 0 27762015 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3816/statm: 217011 21143 2662 9 0 211447 0
[pid=3816/tid=3818] ppid=3814 vsize=868044 CPUtime=15.97
/proc/3816/task/3818/stat : 3818 (java) R 3814 3816 3132 0 -1 64 26089 546 1 0 1552 32 12 1 25 0 9 0 27762016 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4127347958 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3819] ppid=3814 vsize=868044 CPUtime=0.31
/proc/3816/task/3819/stat : 3819 (java) S 3814 3816 3132 0 -1 64 6961 546 0 0 16 2 12 1 16 0 9 0 27762018 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3820] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3820/stat : 3820 (java) S 3814 3816 3132 0 -1 64 19 546 0 0 0 0 12 1 16 0 9 0 27762018 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3821] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3821/stat : 3821 (java) S 3814 3816 3132 0 -1 64 8 546 0 0 0 0 12 1 15 0 9 0 27762018 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3822] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3822/stat : 3822 (java) S 3814 3816 3132 0 -1 64 2 546 0 0 0 0 12 1 18 0 9 0 27762020 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3823] ppid=3814 vsize=868044 CPUtime=0.55
/proc/3816/task/3823/stat : 3823 (java) S 3814 3816 3132 0 -1 64 969 546 0 0 41 1 12 1 16 0 9 0 27762020 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3824] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3824/stat : 3824 (java) S 3814 3816 3132 0 -1 64 1 546 0 0 0 0 12 1 19 0 9 0 27762020 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3816/tid=3825] ppid=3814 vsize=868044 CPUtime=0.13
/proc/3816/task/3825/stat : 3825 (java) S 3814 3816 3132 0 -1 64 36 546 0 0 0 0 12 1 15 0 9 0 27762020 888877056 21143 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 16.6
Current children cumulated vsize (KiB) 868044
Child status: 0
Real time (s): 16.8899
CPU time (s): 16.6865
CPU user time (s): 16.2765
CPU system time (s): 0.409937
CPU usage (%): 98.7956
Max. virtual memory (cumulated for all children) (KiB): 868064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.2765
system time used= 0.409937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 35555
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= 2444
involuntary context switches= 2805
runsolver used 0.020996 second user time and 0.069989 second system time
The end
Begin job on node78 at 2009-07-12 15:56:15
IDJOB=2095231
IDBENCH=55001
IDSOLVER=773
FILE ID=node78/2095231-1247406974
PBS_JOBID= 9510494
Free space on /tmp= 126812 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/pseudo/uclid/normalized-ooo-rf6.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2095231-1247406974/watcher-2095231-1247406974 -o /tmp/evaluation-result-2095231-1247406974/solver-2095231-1247406974 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2095231-1247406974.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 7a8ed56bf7ed0f4623e5eef12cef5911
RANDOM SEED=357199144
node78.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.232
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.232
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: 2055912 kB
MemFree: 1714880 kB
Buffers: 43324 kB
Cached: 136604 kB
SwapCached: 0 kB
Active: 213000 kB
Inactive: 70936 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055912 kB
LowFree: 1714880 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2752 kB
Writeback: 0 kB
Mapped: 124428 kB
Slab: 42028 kB
Committed_AS: 1038908 kB
PageTables: 2012 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 126808 MiB
End job on node78 at 2009-07-12 15:56:31