0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.18/0.26
0.18/0.26 configuration
0.18/0.26 name=mac.xml
0.28/0.30
0.28/0.30 instance
0.28/0.30 name=HOME/instance-2097351-1247412158.xml
0.28/0.34
0.28/0.34 domains being loaded...
0.28/0.35
0.28/0.35 variables being loaded...
0.28/0.38 nbVariables=51 nbDomainTypes=1 minDomainSize=51 maxDomainSize=51 nbTotalValues=2601
0.28/0.38 => wckTime=0.117 cpuTime=0.1 mem=7M892
0.28/0.38
0.28/0.39 predicates being loaded...
0.38/0.45
0.38/0.45 constraints being loaded...
0.97/1.07 nbConstraints=1276 nbGlobalConstraints=1 nbMergedConstraints=34 nbConvertedConstraints=1275
0.97/1.07 nbConvertConstraintsChecks=46818 nbExtensionStructures=18 nbSharedExtensionStructures=1257
0.97/1.07 nbConflictsStructures=18 nbSharedConflictsStructures=1257 nbSharedBinaryRepresentations=1733 minDegree=51
0.97/1.07 maxDegree=51 minArity=2 avgArity=2.04 maxArity=51 nbGenerators=0 nbFusions=0 symmetryWckTime=0.118
0.97/1.07 symmetryCpuTime=0.07 nbCliques=1
0.97/1.07 => wckTime=0.802 cpuTime=0.58 mem=21M603
1.06/1.14
1.06/1.14 solver IterativeSystematicSolver being built...
1.16/1.21
1.16/1.21 INFO : Forward propagation technique limited
1.16/1.27 => wckTime=1.005 cpuTime=0.68 mem=20M908
1.26/1.30
1.26/1.30 preprocessing
1.26/1.30 nbConstraintChecks=3995 nbPropagations=85 nbRevisions=85 nbUselessRevisions=0 nbRemovedValues=1020
1.26/1.30 detectedInconsistency=no
1.26/1.30 => wckTime=0.028 cpuTime=0.01 mem=20M908
1.55/1.63
1.55/1.63 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=22M859)
10.27/10.43
10.27/10.43 search
10.27/10.43 run=14 nbConstraintChecks=13576212 minDepth=12 maxDepth=51 nbPropagations=1440291 nbRevisions=11372074
10.27/10.43 nbUselessRevisions=9647815 nbAssignments=29905 nbFailedAssignments=6031 nbBacktracks=23538 nbVisitedNodes=40872
10.27/10.43 nbRestartNogoods=103 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=0 nbIEliminables=43.91
10.27/10.43 nbDEliminables=0 nbPEliminables=0
10.27/10.43 => wckTime=9.152 cpuTime=8.97 mem=22M859
10.27/10.43
10.27/10.43 global
10.27/10.43 nbConstraintChecks=13580207 nbPropagations=1440376 nbRevisions=11372159 nbUselessRevisions=9647815
10.27/10.43 nbRestartNogoods=103 solvingWckTime=9.154 solvingCpuTime=8.97 expiredTime=no totalExploration=no
10.27/10.43 nbFoundSolutions=1 firstSolutionCpuTime=9.66 globalCpuTime=9.71
10.27/10.43 => wckTime=10.162 cpuTime=9.66 mem=22M859
10.27/10.43
10.27/10.43 s SATISFIABLE
10.27/10.43 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.27/10.43 d NODES 29905
10.27/10.43 d CHECKS 13580207
10.27/10.43
10.27/10.43 totalWckTime=10.233 totalCpuTime=9.71
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097351-1247412158/watcher-2097351-1247412158 -o /tmp/evaluation-result-2097351-1247412158/solver-2097351-1247412158 -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-2097351-1247412158.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.12 2.04 2.01 3/80 908
/proc/meminfo: memFree=1686176/2055920 swapFree=4192812/4192956
[pid=908] ppid=906 vsize=1612 CPUtime=0
/proc/908/stat : 908 (java) D 906 908 31822 0 -1 0 152 0 0 0 0 0 0 0 18 0 1 0 27907530 1650688 125 996147200 134512640 134550932 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/908/statm: 403 125 100 9 0 45 0
[startup+0.100602 s]
/proc/loadavg: 2.12 2.04 2.01 3/80 908
/proc/meminfo: memFree=1686176/2055920 swapFree=4192812/4192956
[pid=908] ppid=906 vsize=865984 CPUtime=0.08
/proc/908/stat : 908 (java) S 906 908 31822 0 -1 0 3697 0 1 0 6 2 0 0 18 0 9 0 27907530 886767616 3172 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/908/statm: 216496 3172 1691 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.201615 s]
/proc/loadavg: 2.12 2.04 2.01 3/80 908
/proc/meminfo: memFree=1686176/2055920 swapFree=4192812/4192956
[pid=908] ppid=906 vsize=866132 CPUtime=0.18
/proc/908/stat : 908 (java) S 906 908 31822 0 -1 0 4599 0 1 0 15 3 0 0 18 0 9 0 27907530 886919168 4020 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/908/statm: 216533 4020 1881 9 0 211011 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 866132
[startup+0.30162 s]
/proc/loadavg: 2.12 2.04 2.01 3/80 908
/proc/meminfo: memFree=1686176/2055920 swapFree=4192812/4192956
[pid=908] ppid=906 vsize=866348 CPUtime=0.28
/proc/908/stat : 908 (java) S 906 908 31822 0 -1 0 5744 0 1 0 24 4 0 0 18 0 9 0 27907530 887140352 5140 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/908/statm: 216587 5140 1945 9 0 211045 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866348
[startup+0.701657 s]
/proc/loadavg: 2.12 2.04 2.01 3/80 908
/proc/meminfo: memFree=1686176/2055920 swapFree=4192812/4192956
[pid=908] ppid=906 vsize=867772 CPUtime=0.68
/proc/908/stat : 908 (java) S 906 908 31822 0 -1 0 8454 0 1 0 62 6 0 0 18 0 9 0 27907530 888598528 7808 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/908/statm: 216943 7808 2037 9 0 211379 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867772
[startup+1.50273 s]
/proc/loadavg: 2.12 2.04 2.01 4/89 921
/proc/meminfo: memFree=1656408/2055920 swapFree=4192812/4192956
[pid=908] ppid=906 vsize=868552 CPUtime=1.45
/proc/908/stat : 908 (java) S 906 908 31822 0 -1 0 17861 342 1 0 129 15 1 0 18 0 9 0 27907530 889397248 11054 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/908/statm: 217138 11054 2657 9 0 211574 0
[pid=908/tid=910] ppid=906 vsize=868552 CPUtime=1.06
/proc/908/task/910/stat : 910 (java) R 906 908 31822 0 -1 64 12834 342 1 0 93 12 1 0 23 0 9 0 27907531 889397248 11054 996147200 134512640 134550932 4294955968 18446744073709551615 4125978494 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=911] ppid=906 vsize=868552 CPUtime=0.06
/proc/908/task/911/stat : 911 (java) S 906 908 31822 0 -1 64 3252 342 0 0 5 0 1 0 17 0 9 0 27907533 889397248 11054 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=912] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/912/stat : 912 (java) S 906 908 31822 0 -1 64 19 342 0 0 0 0 1 0 17 0 9 0 27907533 889397248 11054 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=913] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/913/stat : 913 (java) S 906 908 31822 0 -1 64 11 342 0 0 0 0 1 0 17 0 9 0 27907533 889397248 11054 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=914] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/914/stat : 914 (java) S 906 908 31822 0 -1 64 2 342 0 0 0 0 1 0 18 0 9 0 27907535 889397248 11054 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=915] ppid=906 vsize=868552 CPUtime=0.3
/proc/908/task/915/stat : 915 (java) S 906 908 31822 0 -1 64 930 342 0 0 29 0 1 0 15 0 9 0 27907535 889397248 11054 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=916] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/916/stat : 916 (java) S 906 908 31822 0 -1 64 0 342 0 0 0 0 1 0 19 0 9 0 27907535 889397248 11054 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=917] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/917/stat : 917 (java) S 906 908 31822 0 -1 64 8 342 0 0 0 0 1 0 15 0 9 0 27907535 889397248 11054 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 868552
[startup+3.10286 s]
/proc/loadavg: 2.11 2.04 2.01 3/89 921
/proc/meminfo: memFree=1651928/2055920 swapFree=4192812/4192956
[pid=908] ppid=906 vsize=868552 CPUtime=3.04
/proc/908/stat : 908 (java) S 906 908 31822 0 -1 0 17901 342 1 0 287 16 1 0 18 0 9 0 27907530 889397248 11092 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/908/statm: 217138 11092 2657 9 0 211574 0
[pid=908/tid=910] ppid=906 vsize=868552 CPUtime=2.62
/proc/908/task/910/stat : 910 (java) R 906 908 31822 0 -1 64 12850 342 1 0 248 13 1 0 25 0 9 0 27907531 889397248 11092 996147200 134512640 134550932 4294955968 18446744073709551615 4127132152 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=911] ppid=906 vsize=868552 CPUtime=0.06
/proc/908/task/911/stat : 911 (java) S 906 908 31822 0 -1 64 3252 342 0 0 5 0 1 0 17 0 9 0 27907533 889397248 11092 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=912] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/912/stat : 912 (java) S 906 908 31822 0 -1 64 19 342 0 0 0 0 1 0 17 0 9 0 27907533 889397248 11092 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=913] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/913/stat : 913 (java) S 906 908 31822 0 -1 64 11 342 0 0 0 0 1 0 17 0 9 0 27907533 889397248 11092 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=914] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/914/stat : 914 (java) S 906 908 31822 0 -1 64 2 342 0 0 0 0 1 0 18 0 9 0 27907535 889397248 11092 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=915] ppid=906 vsize=868552 CPUtime=0.35
/proc/908/task/915/stat : 915 (java) S 906 908 31822 0 -1 64 954 342 0 0 33 1 1 0 15 0 9 0 27907535 889397248 11092 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=916] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/916/stat : 916 (java) S 906 908 31822 0 -1 64 0 342 0 0 0 0 1 0 19 0 9 0 27907535 889397248 11092 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=917] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/917/stat : 917 (java) S 906 908 31822 0 -1 64 8 342 0 0 0 0 1 0 15 0 9 0 27907535 889397248 11092 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 868552
[startup+6.30114 s]
/proc/loadavg: 2.11 2.04 2.01 3/89 921
/proc/meminfo: memFree=1651672/2055920 swapFree=4192812/4192956
[pid=908] ppid=906 vsize=868552 CPUtime=6.21
/proc/908/stat : 908 (java) S 906 908 31822 0 -1 0 17939 342 1 0 604 16 1 0 18 0 9 0 27907530 889397248 11098 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/908/statm: 217138 11098 2657 9 0 211574 0
[pid=908/tid=910] ppid=906 vsize=868552 CPUtime=5.78
/proc/908/task/910/stat : 910 (java) R 906 908 31822 0 -1 64 12854 342 1 0 564 13 1 0 25 0 9 0 27907531 889397248 11098 996147200 134512640 134550932 4294955968 18446744073709551615 4127112150 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=911] ppid=906 vsize=868552 CPUtime=0.06
/proc/908/task/911/stat : 911 (java) S 906 908 31822 0 -1 64 3252 342 0 0 5 0 1 0 16 0 9 0 27907533 889397248 11098 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=912] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/912/stat : 912 (java) S 906 908 31822 0 -1 64 19 342 0 0 0 0 1 0 17 0 9 0 27907533 889397248 11098 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=913] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/913/stat : 913 (java) S 906 908 31822 0 -1 64 11 342 0 0 0 0 1 0 17 0 9 0 27907533 889397248 11098 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=914] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/914/stat : 914 (java) S 906 908 31822 0 -1 64 2 342 0 0 0 0 1 0 18 0 9 0 27907535 889397248 11098 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=915] ppid=906 vsize=868552 CPUtime=0.35
/proc/908/task/915/stat : 915 (java) S 906 908 31822 0 -1 64 958 342 0 0 33 1 1 0 16 0 9 0 27907535 889397248 11098 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=916] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/916/stat : 916 (java) S 906 908 31822 0 -1 64 0 342 0 0 0 0 1 0 19 0 9 0 27907535 889397248 11098 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=917] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/917/stat : 917 (java) S 906 908 31822 0 -1 64 38 342 0 0 0 0 1 0 15 0 9 0 27907535 889397248 11098 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 868552
Solver just ended. Dumping a history of the last processes samples
[startup+6.40115 s]
/proc/loadavg: 2.11 2.04 2.01 3/89 921
/proc/meminfo: memFree=1651672/2055920 swapFree=4192812/4192956
[pid=908] ppid=906 vsize=868552 CPUtime=6.31
/proc/908/stat : 908 (java) S 906 908 31822 0 -1 0 17939 342 1 0 614 16 1 0 18 0 9 0 27907530 889397248 11098 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/908/statm: 217138 11098 2657 9 0 211574 0
[pid=908/tid=910] ppid=906 vsize=868552 CPUtime=5.88
/proc/908/task/910/stat : 910 (java) R 906 908 31822 0 -1 64 12854 342 1 0 574 13 1 0 25 0 9 0 27907531 889397248 11098 996147200 134512640 134550932 4294955968 18446744073709551615 4127117955 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=911] ppid=906 vsize=868552 CPUtime=0.06
/proc/908/task/911/stat : 911 (java) S 906 908 31822 0 -1 64 3252 342 0 0 5 0 1 0 16 0 9 0 27907533 889397248 11098 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=912] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/912/stat : 912 (java) S 906 908 31822 0 -1 64 19 342 0 0 0 0 1 0 17 0 9 0 27907533 889397248 11098 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=913] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/913/stat : 913 (java) S 906 908 31822 0 -1 64 11 342 0 0 0 0 1 0 17 0 9 0 27907533 889397248 11098 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=914] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/914/stat : 914 (java) S 906 908 31822 0 -1 64 2 342 0 0 0 0 1 0 18 0 9 0 27907535 889397248 11098 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=915] ppid=906 vsize=868552 CPUtime=0.35
/proc/908/task/915/stat : 915 (java) S 906 908 31822 0 -1 64 958 342 0 0 33 1 1 0 16 0 9 0 27907535 889397248 11098 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=916] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/916/stat : 916 (java) S 906 908 31822 0 -1 64 0 342 0 0 0 0 1 0 19 0 9 0 27907535 889397248 11098 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=917] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/917/stat : 917 (java) S 906 908 31822 0 -1 64 38 342 0 0 0 0 1 0 15 0 9 0 27907535 889397248 11098 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 868552
[startup+8.00129 s]
/proc/loadavg: 2.18 2.05 2.01 3/89 921
/proc/meminfo: memFree=1651672/2055920 swapFree=4192812/4192956
[pid=908] ppid=906 vsize=868552 CPUtime=7.89
/proc/908/stat : 908 (java) S 906 908 31822 0 -1 0 17941 342 1 0 772 16 1 0 18 0 9 0 27907530 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/908/statm: 217138 11100 2657 9 0 211574 0
[pid=908/tid=910] ppid=906 vsize=868552 CPUtime=7.46
/proc/908/task/910/stat : 910 (java) R 906 908 31822 0 -1 64 12855 342 1 0 732 13 1 0 25 0 9 0 27907531 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4127115149 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=911] ppid=906 vsize=868552 CPUtime=0.06
/proc/908/task/911/stat : 911 (java) S 906 908 31822 0 -1 64 3252 342 0 0 5 0 1 0 16 0 9 0 27907533 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=912] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/912/stat : 912 (java) S 906 908 31822 0 -1 64 19 342 0 0 0 0 1 0 17 0 9 0 27907533 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=913] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/913/stat : 913 (java) S 906 908 31822 0 -1 64 11 342 0 0 0 0 1 0 17 0 9 0 27907533 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=914] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/914/stat : 914 (java) S 906 908 31822 0 -1 64 2 342 0 0 0 0 1 0 18 0 9 0 27907535 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=915] ppid=906 vsize=868552 CPUtime=0.35
/proc/908/task/915/stat : 915 (java) S 906 908 31822 0 -1 64 959 342 0 0 33 1 1 0 16 0 9 0 27907535 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=916] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/916/stat : 916 (java) S 906 908 31822 0 -1 64 0 342 0 0 0 0 1 0 19 0 9 0 27907535 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=917] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/917/stat : 917 (java) S 906 908 31822 0 -1 64 38 342 0 0 0 0 1 0 15 0 9 0 27907535 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) 7.89
Current children cumulated vsize (KiB) 868552
[startup+9.60144 s]
/proc/loadavg: 2.18 2.05 2.01 3/89 921
/proc/meminfo: memFree=1651608/2055920 swapFree=4192812/4192956
[pid=908] ppid=906 vsize=868552 CPUtime=9.47
/proc/908/stat : 908 (java) S 906 908 31822 0 -1 0 17941 342 1 0 930 16 1 0 18 0 9 0 27907530 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/908/statm: 217138 11100 2657 9 0 211574 0
[pid=908/tid=910] ppid=906 vsize=868552 CPUtime=9.05
/proc/908/task/910/stat : 910 (java) R 906 908 31822 0 -1 64 12855 342 1 0 891 13 1 0 25 0 9 0 27907531 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4127115535 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=911] ppid=906 vsize=868552 CPUtime=0.06
/proc/908/task/911/stat : 911 (java) S 906 908 31822 0 -1 64 3252 342 0 0 5 0 1 0 16 0 9 0 27907533 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=912] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/912/stat : 912 (java) S 906 908 31822 0 -1 64 19 342 0 0 0 0 1 0 17 0 9 0 27907533 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=913] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/913/stat : 913 (java) S 906 908 31822 0 -1 64 11 342 0 0 0 0 1 0 17 0 9 0 27907533 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=914] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/914/stat : 914 (java) S 906 908 31822 0 -1 64 2 342 0 0 0 0 1 0 18 0 9 0 27907535 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=915] ppid=906 vsize=868552 CPUtime=0.35
/proc/908/task/915/stat : 915 (java) S 906 908 31822 0 -1 64 959 342 0 0 33 1 1 0 16 0 9 0 27907535 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=916] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/916/stat : 916 (java) S 906 908 31822 0 -1 64 0 342 0 0 0 0 1 0 19 0 9 0 27907535 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=917] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/917/stat : 917 (java) S 906 908 31822 0 -1 64 38 342 0 0 0 0 1 0 15 0 9 0 27907535 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) 9.47
Current children cumulated vsize (KiB) 868552
[startup+10.0065 s]
/proc/loadavg: 2.18 2.05 2.01 3/89 921
/proc/meminfo: memFree=1651672/2055920 swapFree=4192812/4192956
[pid=908] ppid=906 vsize=868552 CPUtime=9.87
/proc/908/stat : 908 (java) S 906 908 31822 0 -1 0 17941 342 1 0 970 16 1 0 18 0 9 0 27907530 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/908/statm: 217138 11100 2657 9 0 211574 0
[pid=908/tid=910] ppid=906 vsize=868552 CPUtime=9.45
/proc/908/task/910/stat : 910 (java) R 906 908 31822 0 -1 64 12855 342 1 0 931 13 1 0 25 0 9 0 27907531 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4127112089 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=911] ppid=906 vsize=868552 CPUtime=0.06
/proc/908/task/911/stat : 911 (java) S 906 908 31822 0 -1 64 3252 342 0 0 5 0 1 0 16 0 9 0 27907533 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=912] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/912/stat : 912 (java) S 906 908 31822 0 -1 64 19 342 0 0 0 0 1 0 17 0 9 0 27907533 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=913] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/913/stat : 913 (java) S 906 908 31822 0 -1 64 11 342 0 0 0 0 1 0 17 0 9 0 27907533 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=914] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/914/stat : 914 (java) S 906 908 31822 0 -1 64 2 342 0 0 0 0 1 0 18 0 9 0 27907535 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=915] ppid=906 vsize=868552 CPUtime=0.35
/proc/908/task/915/stat : 915 (java) S 906 908 31822 0 -1 64 959 342 0 0 33 1 1 0 16 0 9 0 27907535 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=916] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/916/stat : 916 (java) S 906 908 31822 0 -1 64 0 342 0 0 0 0 1 0 19 0 9 0 27907535 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=917] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/917/stat : 917 (java) S 906 908 31822 0 -1 64 38 342 0 0 0 0 1 0 15 0 9 0 27907535 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) 9.87
Current children cumulated vsize (KiB) 868552
[startup+10.4015 s]
/proc/loadavg: 2.18 2.05 2.01 3/89 921
/proc/meminfo: memFree=1651672/2055920 swapFree=4192812/4192956
[pid=908] ppid=906 vsize=868552 CPUtime=10.27
/proc/908/stat : 908 (java) S 906 908 31822 0 -1 0 17942 342 1 0 1010 16 1 0 18 0 9 0 27907530 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/908/statm: 217138 11100 2657 9 0 211574 0
[pid=908/tid=910] ppid=906 vsize=868552 CPUtime=9.84
/proc/908/task/910/stat : 910 (java) R 906 908 31822 0 -1 64 12856 342 1 0 970 13 1 0 25 0 9 0 27907531 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4127133855 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=911] ppid=906 vsize=868552 CPUtime=0.06
/proc/908/task/911/stat : 911 (java) S 906 908 31822 0 -1 64 3252 342 0 0 5 0 1 0 16 0 9 0 27907533 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=912] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/912/stat : 912 (java) S 906 908 31822 0 -1 64 19 342 0 0 0 0 1 0 17 0 9 0 27907533 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=913] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/913/stat : 913 (java) S 906 908 31822 0 -1 64 11 342 0 0 0 0 1 0 17 0 9 0 27907533 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=914] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/914/stat : 914 (java) S 906 908 31822 0 -1 64 2 342 0 0 0 0 1 0 18 0 9 0 27907535 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=915] ppid=906 vsize=868552 CPUtime=0.35
/proc/908/task/915/stat : 915 (java) S 906 908 31822 0 -1 64 959 342 0 0 33 1 1 0 16 0 9 0 27907535 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=916] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/916/stat : 916 (java) S 906 908 31822 0 -1 64 0 342 0 0 0 0 1 0 19 0 9 0 27907535 889397248 11100 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=908/tid=917] ppid=906 vsize=868552 CPUtime=0.01
/proc/908/task/917/stat : 917 (java) S 906 908 31822 0 -1 64 38 342 0 0 0 0 1 0 15 0 9 0 27907535 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) 10.27
Current children cumulated vsize (KiB) 868552
Child status: 0
Real time (s): 10.4856
CPU time (s): 10.3334
CPU user time (s): 10.1545
CPU system time (s): 0.178972
CPU usage (%): 98.5491
Max. virtual memory (cumulated for all children) (KiB): 868552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.1545
system time used= 0.178972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18413
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= 1903
involuntary context switches= 2136
runsolver used 0.015997 second user time and 0.045993 second system time
The end
Begin job on node41 at 2009-07-12 17:22:38
IDJOB=2097351
IDBENCH=57185
IDSOLVER=773
FILE ID=node41/2097351-1247412158
PBS_JOBID= 9510562
Free space on /tmp= 65880 MiB
SOLVER NAME= Abscon 112v4 AC
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 mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097351-1247412158/watcher-2097351-1247412158 -o /tmp/evaluation-result-2097351-1247412158/solver-2097351-1247412158 -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-2097351-1247412158.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= efdff8831deb934c09d0d62684ee6d4a
RANDOM SEED=942033122
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: 1686656 kB
Buffers: 38396 kB
Cached: 141124 kB
SwapCached: 0 kB
Active: 231112 kB
Inactive: 80472 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1686656 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2172 kB
Writeback: 0 kB
Mapped: 152516 kB
Slab: 42764 kB
Committed_AS: 1019780 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:22:49