0.03/0.09
0.03/0.09 Abscon 112 (May, 2008)
0.18/0.26
0.18/0.26 configuration
0.18/0.26 name=esac.xml
0.29/0.30
0.29/0.30 instance
0.29/0.30 name=HOME/instance-2097352-1247412169.xml
0.29/0.34
0.29/0.34 domains being loaded...
0.29/0.35
0.29/0.35 variables being loaded...
0.29/0.38 nbVariables=51 nbDomainTypes=1 minDomainSize=51 maxDomainSize=51 nbTotalValues=2601
0.29/0.38 => wckTime=0.117 cpuTime=0.11 mem=7M892
0.29/0.38
0.29/0.38 predicates being loaded...
0.38/0.45
0.38/0.45 constraints being loaded...
0.98/1.08 nbConstraints=1276 nbGlobalConstraints=1 nbMergedConstraints=34 nbConvertedConstraints=1275
0.98/1.08 nbConvertConstraintsChecks=46818 nbExtensionStructures=18 nbSharedExtensionStructures=1257
0.98/1.08 nbConflictsStructures=18 nbSharedConflictsStructures=1257 nbSharedBinaryRepresentations=1733 minDegree=51
0.98/1.08 maxDegree=51 minArity=2 avgArity=2.04 maxArity=51 nbGenerators=0 nbFusions=0 symmetryWckTime=0.125
0.98/1.08 symmetryCpuTime=0.07 nbCliques=1
0.98/1.08 => wckTime=0.815 cpuTime=0.58 mem=21M603
1.07/1.15
1.07/1.15 solver IterativeSystematicSolver being built...
1.16/1.22
1.16/1.22 INFO : Forward propagation technique limited
1.16/1.28 => wckTime=1.019 cpuTime=0.7 mem=20M720
1.26/1.38
1.26/1.38 preprocessing
1.26/1.38 nbConstraintChecks=107058 nbPropagations=1426 nbRevisions=5955 nbUselessRevisions=4082 nbSingletonTests=72
1.26/1.38 nbEffectiveSingletonTests=0 nbACRemovals=1020 nbFoundSingletons=0 nbRemovedValues=1020 detectedInconsistency=no
1.26/1.38 => wckTime=0.097 cpuTime=0.07 mem=21M728
1.56/1.68
1.56/1.68 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=22M703)
10.87/11.01
10.87/11.01 search
10.87/11.01 run=14 nbConstraintChecks=14382681 minDepth=12 maxDepth=51 nbPropagations=1481843 nbRevisions=11697431
10.87/11.01 nbUselessRevisions=9910133 nbAssignments=31634 nbFailedAssignments=6374 nbBacktracks=24906 nbVisitedNodes=43246
10.87/11.01 nbRestartNogoods=91 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=0 nbIEliminables=43.75 nbDEliminables=0
10.87/11.01 nbPEliminables=0
10.87/11.01 => wckTime=9.724 cpuTime=9.54 mem=22M703
10.87/11.01
10.87/11.01 global
10.87/11.01 nbConstraintChecks=14489739 nbPropagations=1483269 nbRevisions=11703386 nbUselessRevisions=9914215
10.87/11.01 nbRestartNogoods=91 solvingWckTime=9.726 solvingCpuTime=9.54 expiredTime=no totalExploration=no
10.87/11.01 nbFoundSolutions=1 firstSolutionCpuTime=10.23 globalCpuTime=10.28
10.87/11.01 => wckTime=10.748 cpuTime=10.24 mem=22M703
10.87/11.01
10.87/11.01 s SATISFIABLE
10.87/11.01 v 7 42 2 39 19 15 30 32 4 5 23 8 12 13 1 3 0 9 45 6 44 25 22 38 41 14 16 35 21 26 28 17 20 18 11 48 10 49 31 29 46 50 24 27 47 34 40 43 33 37 36
10.87/11.01 d NODES 31634
10.87/11.01 d CHECKS 14489739
10.87/11.01
10.87/11.01 totalWckTime=10.819 totalCpuTime=10.28
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097352-1247412169/watcher-2097352-1247412169 -o /tmp/evaluation-result-2097352-1247412169/solver-2097352-1247412169 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097352-1247412169.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.18 2.05 2.01 4/80 947
/proc/meminfo: memFree=1686048/2055920 swapFree=4192812/4192956
[pid=947] ppid=945 vsize=10676 CPUtime=0
/proc/947/stat : 947 (java) S 945 947 31822 0 -1 0 678 0 0 0 0 0 0 0 18 0 2 0 27908614 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/947/statm: 2669 474 207 9 0 1184 0
[pid=947/tid=948] ppid=945 vsize=10676 CPUtime=0
/proc/947/task/948/stat : 948 (java) R 945 947 31822 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 27908615 10932224 474 996147200 134512640 134550932 4294955968 18446744073709551615 12804056 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.0437971 s]
/proc/loadavg: 2.18 2.05 2.01 4/80 947
/proc/meminfo: memFree=1686048/2055920 swapFree=4192812/4192956
[pid=947] ppid=945 vsize=862776 CPUtime=0.03
/proc/947/stat : 947 (java) S 945 947 31822 0 -1 0 2402 0 1 0 2 1 0 0 18 0 7 0 27908614 883482624 1979 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/947/statm: 215694 1979 905 9 0 210609 0
[pid=947/tid=948] ppid=945 vsize=862776 CPUtime=0.03
/proc/947/task/948/stat : 948 (java) S 945 947 31822 0 -1 64 1706 0 1 0 2 1 0 0 18 0 7 0 27908615 883482624 1979 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 862776
[startup+0.108458 s]
/proc/loadavg: 2.18 2.05 2.01 4/80 947
/proc/meminfo: memFree=1686048/2055920 swapFree=4192812/4192956
[pid=947] ppid=945 vsize=865984 CPUtime=0.09
/proc/947/stat : 947 (java) S 945 947 31822 0 -1 0 3778 0 1 0 7 2 0 0 18 0 9 0 27908614 886767616 3236 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/947/statm: 216496 3236 1707 9 0 210981 0
[pid=947/tid=948] ppid=945 vsize=865984 CPUtime=0.06
/proc/947/task/948/stat : 948 (java) R 945 947 31822 0 -1 64 2850 0 1 0 5 1 0 0 20 0 9 0 27908615 886767616 3236 996147200 134512640 134550932 4294955968 18446744073709551615 4125960407 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.301475 s]
/proc/loadavg: 2.18 2.05 2.01 4/80 947
/proc/meminfo: memFree=1686048/2055920 swapFree=4192812/4192956
[pid=947] ppid=945 vsize=866380 CPUtime=0.29
/proc/947/stat : 947 (java) S 945 947 31822 0 -1 0 5835 0 1 0 25 4 0 0 18 0 9 0 27908614 887173120 5206 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/947/statm: 216595 5206 1979 9 0 211053 0
[pid=947/tid=948] ppid=945 vsize=866380 CPUtime=0.23
/proc/947/task/948/stat : 948 (java) R 945 947 31822 0 -1 64 4851 0 1 0 20 3 0 0 21 0 9 0 27908615 887173120 5206 996147200 134512640 134550932 4294955968 18446744073709551615 4125950624 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866380
[startup+0.70151 s]
/proc/loadavg: 2.18 2.05 2.01 4/80 947
/proc/meminfo: memFree=1686048/2055920 swapFree=4192812/4192956
[pid=947] ppid=945 vsize=867772 CPUtime=0.68
/proc/947/stat : 947 (java) S 945 947 31822 0 -1 0 8460 0 1 0 62 6 0 0 18 0 9 0 27908614 888598528 7814 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/947/statm: 216943 7814 2037 9 0 211379 0
[pid=947/tid=948] ppid=945 vsize=867772 CPUtime=0.49
/proc/947/task/948/stat : 948 (java) R 945 947 31822 0 -1 64 7089 0 1 0 45 4 0 0 23 0 9 0 27908615 888598528 7814 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867772
[startup+1.50258 s]
/proc/loadavg: 2.25 2.07 2.02 3/91 958
/proc/meminfo: memFree=1657096/2055920 swapFree=4192812/4192956
[pid=947] ppid=945 vsize=868552 CPUtime=1.46
/proc/947/stat : 947 (java) S 945 947 31822 0 -1 0 17900 342 1 0 129 16 1 0 18 0 9 0 27908614 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/947/statm: 217138 11100 2657 9 0 211574 0
[pid=947/tid=948] ppid=945 vsize=868552 CPUtime=1.06
/proc/947/task/948/stat : 948 (java) R 945 947 31822 0 -1 64 12856 342 1 0 92 13 1 0 25 0 9 0 27908615 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4127127192 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=950] ppid=945 vsize=868552 CPUtime=0.06
/proc/947/task/950/stat : 950 (java) S 945 947 31822 0 -1 64 3281 342 0 0 5 0 1 0 16 0 9 0 27908616 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=951] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/951/stat : 951 (java) S 945 947 31822 0 -1 64 18 342 0 0 0 0 1 0 17 0 9 0 27908617 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=952] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/952/stat : 952 (java) S 945 947 31822 0 -1 64 10 342 0 0 0 0 1 0 16 0 9 0 27908617 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=953] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/953/stat : 953 (java) S 945 947 31822 0 -1 64 1 342 0 0 0 0 1 0 18 0 9 0 27908619 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=954] ppid=945 vsize=868552 CPUtime=0.32
/proc/947/task/954/stat : 954 (java) S 945 947 31822 0 -1 64 924 342 0 0 30 1 1 0 15 0 9 0 27908619 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=955] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/955/stat : 955 (java) S 945 947 31822 0 -1 64 1 342 0 0 0 0 1 0 19 0 9 0 27908619 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=956] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/956/stat : 956 (java) S 945 947 31822 0 -1 64 5 342 0 0 0 0 1 0 16 0 9 0 27908619 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 868552
[startup+3.10272 s]
/proc/loadavg: 2.25 2.07 2.02 3/89 960
/proc/meminfo: memFree=1651664/2055920 swapFree=4192812/4192956
[pid=947] ppid=945 vsize=868552 CPUtime=3.05
/proc/947/stat : 947 (java) S 945 947 31822 0 -1 0 17946 342 1 0 287 17 1 0 18 0 9 0 27908614 889397248 11144 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/947/statm: 217138 11144 2657 9 0 211574 0
[pid=947/tid=948] ppid=945 vsize=868552 CPUtime=2.62
/proc/947/task/948/stat : 948 (java) R 945 947 31822 0 -1 64 12874 342 1 0 247 14 1 0 25 0 9 0 27908615 889397248 11144 996147200 134512640 134550932 4294955968 18446744073709551615 4127112227 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=950] ppid=945 vsize=868552 CPUtime=0.06
/proc/947/task/950/stat : 950 (java) S 945 947 31822 0 -1 64 3281 342 0 0 5 0 1 0 17 0 9 0 27908616 889397248 11144 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=951] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/951/stat : 951 (java) S 945 947 31822 0 -1 64 18 342 0 0 0 0 1 0 17 0 9 0 27908617 889397248 11144 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=952] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/952/stat : 952 (java) S 945 947 31822 0 -1 64 10 342 0 0 0 0 1 0 16 0 9 0 27908617 889397248 11144 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=953] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/953/stat : 953 (java) S 945 947 31822 0 -1 64 1 342 0 0 0 0 1 0 18 0 9 0 27908619 889397248 11144 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=954] ppid=945 vsize=868552 CPUtime=0.36
/proc/947/task/954/stat : 954 (java) S 945 947 31822 0 -1 64 952 342 0 0 34 1 1 0 15 0 9 0 27908619 889397248 11144 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=955] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/955/stat : 955 (java) S 945 947 31822 0 -1 64 1 342 0 0 0 0 1 0 19 0 9 0 27908619 889397248 11144 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=956] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/956/stat : 956 (java) S 945 947 31822 0 -1 64 5 342 0 0 0 0 1 0 15 0 9 0 27908619 889397248 11144 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 868552
[startup+6.302 s]
/proc/loadavg: 2.25 2.07 2.02 3/89 960
/proc/meminfo: memFree=1651472/2055920 swapFree=4192812/4192956
[pid=947] ppid=945 vsize=868552 CPUtime=6.22
/proc/947/stat : 947 (java) S 945 947 31822 0 -1 0 17984 342 1 0 604 17 1 0 18 0 9 0 27908614 889397248 11149 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/947/statm: 217138 11149 2657 9 0 211574 0
[pid=947/tid=948] ppid=945 vsize=868552 CPUtime=5.78
/proc/947/task/948/stat : 948 (java) R 945 947 31822 0 -1 64 12878 342 1 0 563 14 1 0 25 0 9 0 27908615 889397248 11149 996147200 134512640 134550932 4294955968 18446744073709551615 4127112169 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=950] ppid=945 vsize=868552 CPUtime=0.06
/proc/947/task/950/stat : 950 (java) S 945 947 31822 0 -1 64 3281 342 0 0 5 0 1 0 16 0 9 0 27908616 889397248 11149 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=951] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/951/stat : 951 (java) S 945 947 31822 0 -1 64 18 342 0 0 0 0 1 0 17 0 9 0 27908617 889397248 11149 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=952] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/952/stat : 952 (java) S 945 947 31822 0 -1 64 10 342 0 0 0 0 1 0 16 0 9 0 27908617 889397248 11149 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=953] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/953/stat : 953 (java) S 945 947 31822 0 -1 64 1 342 0 0 0 0 1 0 18 0 9 0 27908619 889397248 11149 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=954] ppid=945 vsize=868552 CPUtime=0.36
/proc/947/task/954/stat : 954 (java) S 945 947 31822 0 -1 64 956 342 0 0 34 1 1 0 16 0 9 0 27908619 889397248 11149 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=955] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/955/stat : 955 (java) S 945 947 31822 0 -1 64 1 342 0 0 0 0 1 0 19 0 9 0 27908619 889397248 11149 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=956] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/956/stat : 956 (java) S 945 947 31822 0 -1 64 35 342 0 0 0 0 1 0 15 0 9 0 27908619 889397248 11149 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 868552
Solver just ended. Dumping a history of the last processes samples
[startup+9.50228 s]
/proc/loadavg: 2.22 2.07 2.02 3/89 960
/proc/meminfo: memFree=1651472/2055920 swapFree=4192812/4192956
[pid=947] ppid=945 vsize=868552 CPUtime=9.39
/proc/947/stat : 947 (java) S 945 947 31822 0 -1 0 17985 342 1 0 921 17 1 0 18 0 9 0 27908614 889397248 11149 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/947/statm: 217138 11149 2657 9 0 211574 0
[pid=947/tid=948] ppid=945 vsize=868552 CPUtime=8.95
/proc/947/task/948/stat : 948 (java) R 945 947 31822 0 -1 64 12879 342 1 0 880 14 1 0 25 0 9 0 27908615 889397248 11149 996147200 134512640 134550932 4294955968 18446744073709551615 4127115531 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=950] ppid=945 vsize=868552 CPUtime=0.06
/proc/947/task/950/stat : 950 (java) S 945 947 31822 0 -1 64 3281 342 0 0 5 0 1 0 16 0 9 0 27908616 889397248 11149 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=951] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/951/stat : 951 (java) S 945 947 31822 0 -1 64 18 342 0 0 0 0 1 0 17 0 9 0 27908617 889397248 11149 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=952] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/952/stat : 952 (java) S 945 947 31822 0 -1 64 10 342 0 0 0 0 1 0 16 0 9 0 27908617 889397248 11149 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=953] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/953/stat : 953 (java) S 945 947 31822 0 -1 64 1 342 0 0 0 0 1 0 18 0 9 0 27908619 889397248 11149 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=954] ppid=945 vsize=868552 CPUtime=0.36
/proc/947/task/954/stat : 954 (java) S 945 947 31822 0 -1 64 956 342 0 0 34 1 1 0 16 0 9 0 27908619 889397248 11149 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=955] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/955/stat : 955 (java) S 945 947 31822 0 -1 64 1 342 0 0 0 0 1 0 19 0 9 0 27908619 889397248 11149 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=956] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/956/stat : 956 (java) S 945 947 31822 0 -1 64 35 342 0 0 0 0 1 0 15 0 9 0 27908619 889397248 11149 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 9.39
Current children cumulated vsize (KiB) 868552
[startup+10.3024 s]
/proc/loadavg: 2.22 2.07 2.02 3/89 960
/proc/meminfo: memFree=1651408/2055920 swapFree=4192812/4192956
[pid=947] ppid=945 vsize=868552 CPUtime=10.18
/proc/947/stat : 947 (java) S 945 947 31822 0 -1 0 17986 342 1 0 1000 17 1 0 18 0 9 0 27908614 889397248 11150 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/947/statm: 217138 11150 2657 9 0 211574 0
[pid=947/tid=948] ppid=945 vsize=868552 CPUtime=9.74
/proc/947/task/948/stat : 948 (java) R 945 947 31822 0 -1 64 12880 342 1 0 959 14 1 0 25 0 9 0 27908615 889397248 11150 996147200 134512640 134550932 4294955968 18446744073709551615 4127115197 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=950] ppid=945 vsize=868552 CPUtime=0.06
/proc/947/task/950/stat : 950 (java) S 945 947 31822 0 -1 64 3281 342 0 0 5 0 1 0 16 0 9 0 27908616 889397248 11150 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=951] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/951/stat : 951 (java) S 945 947 31822 0 -1 64 18 342 0 0 0 0 1 0 17 0 9 0 27908617 889397248 11150 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=952] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/952/stat : 952 (java) S 945 947 31822 0 -1 64 10 342 0 0 0 0 1 0 16 0 9 0 27908617 889397248 11150 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=953] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/953/stat : 953 (java) S 945 947 31822 0 -1 64 1 342 0 0 0 0 1 0 18 0 9 0 27908619 889397248 11150 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=954] ppid=945 vsize=868552 CPUtime=0.36
/proc/947/task/954/stat : 954 (java) S 945 947 31822 0 -1 64 956 342 0 0 34 1 1 0 16 0 9 0 27908619 889397248 11150 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=955] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/955/stat : 955 (java) S 945 947 31822 0 -1 64 1 342 0 0 0 0 1 0 19 0 9 0 27908619 889397248 11150 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=956] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/956/stat : 956 (java) S 945 947 31822 0 -1 64 35 342 0 0 0 0 1 0 15 0 9 0 27908619 889397248 11150 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.18
Current children cumulated vsize (KiB) 868552
[startup+10.7024 s]
/proc/loadavg: 2.22 2.07 2.02 3/89 960
/proc/meminfo: memFree=1651408/2055920 swapFree=4192812/4192956
[pid=947] ppid=945 vsize=868552 CPUtime=10.58
/proc/947/stat : 947 (java) S 945 947 31822 0 -1 0 17986 342 1 0 1040 17 1 0 18 0 9 0 27908614 889397248 11150 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/947/statm: 217138 11150 2657 9 0 211574 0
[pid=947/tid=948] ppid=945 vsize=868552 CPUtime=10.14
/proc/947/task/948/stat : 948 (java) R 945 947 31822 0 -1 64 12880 342 1 0 999 14 1 0 25 0 9 0 27908615 889397248 11150 996147200 134512640 134550932 4294955968 18446744073709551615 4127112214 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=950] ppid=945 vsize=868552 CPUtime=0.06
/proc/947/task/950/stat : 950 (java) S 945 947 31822 0 -1 64 3281 342 0 0 5 0 1 0 16 0 9 0 27908616 889397248 11150 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=951] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/951/stat : 951 (java) S 945 947 31822 0 -1 64 18 342 0 0 0 0 1 0 17 0 9 0 27908617 889397248 11150 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=952] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/952/stat : 952 (java) S 945 947 31822 0 -1 64 10 342 0 0 0 0 1 0 16 0 9 0 27908617 889397248 11150 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=953] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/953/stat : 953 (java) S 945 947 31822 0 -1 64 1 342 0 0 0 0 1 0 18 0 9 0 27908619 889397248 11150 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=954] ppid=945 vsize=868552 CPUtime=0.36
/proc/947/task/954/stat : 954 (java) S 945 947 31822 0 -1 64 956 342 0 0 34 1 1 0 16 0 9 0 27908619 889397248 11150 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=955] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/955/stat : 955 (java) S 945 947 31822 0 -1 64 1 342 0 0 0 0 1 0 19 0 9 0 27908619 889397248 11150 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=956] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/956/stat : 956 (java) S 945 947 31822 0 -1 64 35 342 0 0 0 0 1 0 15 0 9 0 27908619 889397248 11150 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.58
Current children cumulated vsize (KiB) 868552
[startup+10.9024 s]
/proc/loadavg: 2.21 2.07 2.01 3/89 960
/proc/meminfo: memFree=1651344/2055920 swapFree=4192812/4192956
[pid=947] ppid=945 vsize=868552 CPUtime=10.77
/proc/947/stat : 947 (java) S 945 947 31822 0 -1 0 17986 342 1 0 1059 17 1 0 18 0 9 0 27908614 889397248 11150 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/947/statm: 217138 11150 2657 9 0 211574 0
[pid=947/tid=948] ppid=945 vsize=868552 CPUtime=10.33
/proc/947/task/948/stat : 948 (java) R 945 947 31822 0 -1 64 12880 342 1 0 1018 14 1 0 25 0 9 0 27908615 889397248 11150 996147200 134512640 134550932 4294955968 18446744073709551615 4127152549 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=950] ppid=945 vsize=868552 CPUtime=0.06
/proc/947/task/950/stat : 950 (java) S 945 947 31822 0 -1 64 3281 342 0 0 5 0 1 0 16 0 9 0 27908616 889397248 11150 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=951] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/951/stat : 951 (java) S 945 947 31822 0 -1 64 18 342 0 0 0 0 1 0 17 0 9 0 27908617 889397248 11150 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=952] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/952/stat : 952 (java) S 945 947 31822 0 -1 64 10 342 0 0 0 0 1 0 16 0 9 0 27908617 889397248 11150 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=953] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/953/stat : 953 (java) S 945 947 31822 0 -1 64 1 342 0 0 0 0 1 0 18 0 9 0 27908619 889397248 11150 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=954] ppid=945 vsize=868552 CPUtime=0.36
/proc/947/task/954/stat : 954 (java) S 945 947 31822 0 -1 64 956 342 0 0 34 1 1 0 16 0 9 0 27908619 889397248 11150 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=955] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/955/stat : 955 (java) S 945 947 31822 0 -1 64 1 342 0 0 0 0 1 0 19 0 9 0 27908619 889397248 11150 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=956] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/956/stat : 956 (java) S 945 947 31822 0 -1 64 35 342 0 0 0 0 1 0 15 0 9 0 27908619 889397248 11150 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.77
Current children cumulated vsize (KiB) 868552
[startup+11.0074 s]
/proc/loadavg: 2.21 2.07 2.01 3/89 960
/proc/meminfo: memFree=1651344/2055920 swapFree=4192812/4192956
[pid=947] ppid=945 vsize=868552 CPUtime=10.87
/proc/947/stat : 947 (java) S 945 947 31822 0 -1 0 17987 342 1 0 1069 17 1 0 18 0 9 0 27908614 889397248 11151 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/947/statm: 217138 11151 2657 9 0 211574 0
[pid=947/tid=948] ppid=945 vsize=868552 CPUtime=10.43
/proc/947/task/948/stat : 948 (java) R 945 947 31822 0 -1 64 12881 342 1 0 1028 14 1 0 25 0 9 0 27908615 889397248 11151 996147200 134512640 134550932 4294955968 18446744073709551615 103644695 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=950] ppid=945 vsize=868552 CPUtime=0.06
/proc/947/task/950/stat : 950 (java) S 945 947 31822 0 -1 64 3281 342 0 0 5 0 1 0 16 0 9 0 27908616 889397248 11151 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=951] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/951/stat : 951 (java) S 945 947 31822 0 -1 64 18 342 0 0 0 0 1 0 17 0 9 0 27908617 889397248 11151 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=952] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/952/stat : 952 (java) S 945 947 31822 0 -1 64 10 342 0 0 0 0 1 0 16 0 9 0 27908617 889397248 11151 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=953] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/953/stat : 953 (java) S 945 947 31822 0 -1 64 1 342 0 0 0 0 1 0 18 0 9 0 27908619 889397248 11151 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=954] ppid=945 vsize=868552 CPUtime=0.36
/proc/947/task/954/stat : 954 (java) S 945 947 31822 0 -1 64 956 342 0 0 34 1 1 0 16 0 9 0 27908619 889397248 11151 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=955] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/955/stat : 955 (java) S 945 947 31822 0 -1 64 1 342 0 0 0 0 1 0 19 0 9 0 27908619 889397248 11151 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=947/tid=956] ppid=945 vsize=868552 CPUtime=0.01
/proc/947/task/956/stat : 956 (java) S 945 947 31822 0 -1 64 35 342 0 0 0 0 1 0 15 0 9 0 27908619 889397248 11151 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 10.87
Current children cumulated vsize (KiB) 868552
Child status: 0
Real time (s): 11.0534
CPU time (s): 10.9083
CPU user time (s): 10.7214
CPU system time (s): 0.186971
CPU usage (%): 98.6876
Max. virtual memory (cumulated for all children) (KiB): 868552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.7214
system time used= 0.186971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18435
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= 1891
involuntary context switches= 2183
runsolver used 0.020996 second user time and 0.044993 second system time
The end
Begin job on node41 at 2009-07-12 17:22:49
IDJOB=2097352
IDBENCH=57185
IDSOLVER=774
FILE ID=node41/2097352-1247412169
PBS_JOBID= 9510562
Free space on /tmp= 65880 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/langford3/normalized-langford-3-17.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097352-1247412169/watcher-2097352-1247412169 -o /tmp/evaluation-result-2097352-1247412169/solver-2097352-1247412169 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097352-1247412169.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= efdff8831deb934c09d0d62684ee6d4a
RANDOM SEED=1165462300
node41.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.212
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.212
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: 1686528 kB
Buffers: 38464 kB
Cached: 141124 kB
SwapCached: 0 kB
Active: 231156 kB
Inactive: 80512 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1686528 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2408 kB
Writeback: 0 kB
Mapped: 152516 kB
Slab: 42792 kB
Committed_AS: 1019840 kB
PageTables: 1960 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= 65880 MiB
End job on node41 at 2009-07-12 17:23:00