0.07/0.10
0.07/0.10 Abscon 112 (May, 2008)
0.17/0.24
0.17/0.24 configuration
0.17/0.24 name=mac.xml
0.26/0.30
0.26/0.30 instance
0.26/0.30 name=HOME/instance-2096613-1247410404.xml
0.26/0.34
0.26/0.34 domains being loaded...
0.26/0.35
0.26/0.35 variables being loaded...
0.37/0.46 nbVariables=435 nbDomainTypes=1 minDomainSize=26 maxDomainSize=26 nbTotalValues=11310
0.37/0.46 => wckTime=0.21 cpuTime=0.16 mem=9M843
0.37/0.46
0.37/0.46 relations being loaded...
1.65/1.73
1.65/1.73 predicates being loaded...
1.65/1.79
1.65/1.79 constraints being loaded...
2.35/2.42 Too large in ConstraintConflictsSTructure
2.45/2.50 Too large in ConstraintConflictsSTructure
2.56/2.68 Too large in ConstraintConflictsSTructure
2.65/2.71 Too large in ConstraintConflictsSTructure
2.75/2.81 Too large in ConstraintConflictsSTructure
2.75/2.89 Too large in ConstraintConflictsSTructure
4.62/4.79 nbConstraints=4428 nbRelationTypes=10 nbGlobalConstraints=182 nbExtensionStructures=10
4.62/4.79 nbSharedExtensionStructures=172 nbConflictsStructures=4 nbSharedConflictsStructures=156
4.62/4.79 nbUnbuiltConflictsStructures=17 nbSharedBinaryRepresentations=0 nbEvaluationManagers=11
4.62/4.79 nbSharedEvaluationManagers=4235 minDegree=6 maxDegree=142 minArity=3 avgArity=8.21 maxArity=24 nbGenerators=0
4.62/4.79 nbFusions=0 symmetryWckTime=0.459 symmetryCpuTime=0.19
4.62/4.79 => wckTime=4.542 cpuTime=3.64 mem=116M613
4.93/5.08
4.93/5.08 solver IterativeSystematicSolver being built...
5.53/5.63
5.53/5.63 INFO : Forward propagation technique limited
5.63/5.71 => wckTime=5.461 cpuTime=4.04 mem=160M745
6.13/6.21
6.13/6.21 preprocessing
6.13/6.21 nbConstraintChecks=394 nbValidityChecks=4700189 nbPropagations=472 nbRevisions=22 nbUselessRevisions=22
6.13/6.21 nbRemovedValues=238 detectedInconsistency=no
6.13/6.21 => wckTime=0.503 cpuTime=0.49 mem=162M487
8.80/8.96
8.80/8.96 search
8.80/8.96 run=1 nbConstraintChecks=760486 nbValidityChecks=16822763 minDepth=130 maxDepth=435 nbPropagations=6368
8.80/8.96 nbRevisions=188851 nbUselessRevisions=188819 nbAssignments=608 nbFailedAssignments=17 nbBacktracks=17
8.80/8.96 nbVisitedNodes=631 nbRestartNogoods=7 nbFoundSolutions=1 mapSize=5 nbInferences=0 nbTooLargeKeys=0
8.80/8.96 nbSEliminables=0 nbREliminables=101.41 nbIEliminables=222.87 nbDEliminables=0 nbPEliminables=0
8.80/8.96 => wckTime=3.25 cpuTime=3.07 mem=136M118
8.80/8.96
8.80/8.96 global
8.80/8.96 nbConstraintChecks=760880 nbValidityChecks=21522952 nbPropagations=6840 nbRevisions=188873
8.80/8.96 nbUselessRevisions=188841 nbRestartNogoods=7 solvingWckTime=3.252 solvingCpuTime=3.07 expiredTime=no
8.80/8.96 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=7.08 globalCpuTime=7.16
8.80/8.96 => wckTime=8.717 cpuTime=7.11 mem=136M118
8.80/8.96
8.80/8.96 s SATISFIABLE
8.80/8.96 v 1 4 0 13 19 17 0 0 6 2 0 17 4 19 14 17 11 14 13 0 13 13 4 4 4 14 20 4 0 17 0 18 0 1 0 8 11 4 18 3 4 19 4 17 17 4 20 17 18 17 4 2 14 13 21 4 17 19 8 17 0 0 12 8 4 13 19 4 19 0 13 19 4 19 0 8 4 21 8 11 19 0 6 6 0 8 19 0 13 4 4 18 4 17 4 1 4 19 4 20 13 18 2 0 13 4 0 24 18 1 14 19 4 18 19 0 15 4 18 19 0 8 19 2 17 8 13 5 0 0 0 0 17 8 0 1 0 17 13 18 8 14 19 0 4 6 8 18 19 7 4 0 12 4 18 0 12 8 4 12 18 19 15 0 17 4 4 17 0 19 11 4 3 15 17 8 4 15 0 19 4 19 0 17 4 15 4 11 0 3 0 17 8 18 15 0 8 4 1 0 18 4 9 0 15 14 13 18 15 4 2 20 11 0 14 12 4 17 19 0 18 3 17 0 15 0 13 19 2 0 11 20 18 18 14 8 4 2 0 11 4 14 0 18 8 18 0 17 14 11 15 18 24 18 18 8 17 4 0 23 8 18 18 0 18 11 4 20 5 8 4 4 18 18 4 18 15 17 8 0 17 0 1 4 15 14 15 2 14 17 13 0 5 8 13 6 0 8 13 18 1 8 4 13 15 17 4 19 18 0 8 18 14 17 4 4 1 0 19 4 4 1 4 11 6 4 3 18 19 15 8 4 13 15 0 19 4 11 8 4 18 8 4 4 2 0 8 13 0 14 17 8 18 19 4 18 4 15 2 0 20 18 6 17 8 5 5 19 14 13 18 2 4 15 4 12 15 20 0 13 19 8 17 0 8 18 17 0 12 8 4 17 14 8 18 4 5 8 4 5 5 0 6 0 17 4 4 0 23 4 11 4 19 4 19 4 18 4 17 4 18 13 8 4 4 18 18 4 19 18 17 0 18 4 18
8.80/8.96 d NODES 608
8.80/8.96 d CHECKS 760880
8.80/8.97
8.80/8.97 totalWckTime=8.77 totalCpuTime=7.16
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2096613-1247410404/watcher-2096613-1247410404 -o /tmp/evaluation-result-2096613-1247410404/solver-2096613-1247410404 -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-2096613-1247410404.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.14 2.07 1.95 4/81 2215
/proc/meminfo: memFree=1719584/2055920 swapFree=4192812/4192956
[pid=2215] ppid=2213 vsize=18576 CPUtime=0
/proc/2215/stat : 2215 (runsolver) R 2213 2215 32158 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 28105080 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 226686987559 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/2215/statm: 4644 284 249 26 0 2626 0
[startup+0.0938179 s]
/proc/loadavg: 2.14 2.07 1.95 4/81 2215
/proc/meminfo: memFree=1719584/2055920 swapFree=4192812/4192956
[pid=2215] ppid=2213 vsize=864104 CPUtime=0.06
/proc/2215/stat : 2215 (java) S 2213 2215 32158 0 -1 0 3056 0 1 0 4 2 0 0 21 0 9 0 28105080 884842496 2541 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2215/statm: 216026 2541 1211 9 0 210919 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 864104
[startup+0.101815 s]
/proc/loadavg: 2.14 2.07 1.95 4/81 2215
/proc/meminfo: memFree=1719584/2055920 swapFree=4192812/4192956
[pid=2215] ppid=2213 vsize=865912 CPUtime=0.07
/proc/2215/stat : 2215 (java) S 2213 2215 32158 0 -1 0 3368 0 1 0 5 2 0 0 21 0 9 0 28105080 886693888 2853 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2215/statm: 216478 2860 1449 9 0 210970 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865912
[startup+0.301861 s]
/proc/loadavg: 2.14 2.07 1.95 4/81 2215
/proc/meminfo: memFree=1719584/2055920 swapFree=4192812/4192956
[pid=2215] ppid=2213 vsize=866280 CPUtime=0.26
/proc/2215/stat : 2215 (java) S 2213 2215 32158 0 -1 0 5737 0 1 0 23 3 0 0 21 0 9 0 28105080 887070720 5121 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2215/statm: 216570 5123 1963 9 0 211028 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 866280
[startup+0.70195 s]
/proc/loadavg: 2.14 2.07 1.95 4/81 2215
/proc/meminfo: memFree=1719584/2055920 swapFree=4192812/4192956
[pid=2215] ppid=2213 vsize=867048 CPUtime=0.66
/proc/2215/stat : 2215 (java) S 2213 2215 32158 0 -1 0 12709 0 1 0 59 7 0 0 21 0 9 0 28105080 887857152 12071 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2215/statm: 216762 12077 1999 9 0 211220 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 867048
[startup+1.5021 s]
/proc/loadavg: 2.21 2.09 1.96 3/90 2226
/proc/meminfo: memFree=1627608/2055920 swapFree=4192812/4192956
[pid=2215] ppid=2213 vsize=867048 CPUtime=1.45
/proc/2215/stat : 2215 (java) S 2213 2215 32158 0 -1 0 23714 0 1 0 132 13 0 0 21 0 9 0 28105080 887857152 23074 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2215/statm: 216762 23074 2010 9 0 211220 0
[pid=2215/tid=2218] ppid=2213 vsize=867048 CPUtime=1.27
/proc/2215/task/2218/stat : 2218 (java) R 2213 2215 32158 0 -1 64 15714 0 1 0 118 9 0 0 25 0 9 0 28105081 887857152 23074 996147200 134512640 134550932 4294955968 18446744073709551615 4126639732 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2215/tid=2219] ppid=2213 vsize=867048 CPUtime=0.08
/proc/2215/task/2219/stat : 2219 (java) S 2213 2215 32158 0 -1 64 6838 0 0 0 5 3 0 0 16 0 9 0 28105082 887857152 23074 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2215/tid=2221] ppid=2213 vsize=867048 CPUtime=0
/proc/2215/task/2221/stat : 2221 (java) S 2213 2215 32158 0 -1 64 11 0 0 0 0 0 0 0 25 0 9 0 28105083 887857152 23074 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2215/tid=2222] ppid=2213 vsize=867048 CPUtime=0
/proc/2215/task/2222/stat : 2222 (java) S 2213 2215 32158 0 -1 64 4 0 0 0 0 0 0 0 25 0 9 0 28105083 887857152 23074 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2215/tid=2223] ppid=2213 vsize=867048 CPUtime=0
/proc/2215/task/2223/stat : 2223 (java) S 2213 2215 32158 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 28105087 887857152 23074 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2215/tid=2224] ppid=2213 vsize=867048 CPUtime=0.08
/proc/2215/task/2224/stat : 2224 (java) S 2213 2215 32158 0 -1 64 468 0 0 0 8 0 0 0 16 0 9 0 28105087 887857152 23074 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2215/tid=2225] ppid=2213 vsize=867048 CPUtime=0
/proc/2215/task/2225/stat : 2225 (java) S 2213 2215 32158 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 28105087 887857152 23074 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2215/tid=2226] ppid=2213 vsize=867048 CPUtime=0
/proc/2215/task/2226/stat : 2226 (java) S 2213 2215 32158 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28105087 887857152 23074 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) 867048
[startup+3.10243 s]
/proc/loadavg: 2.21 2.09 1.96 3/90 2226
/proc/meminfo: memFree=1585944/2055920 swapFree=4192812/4192956
[pid=2215] ppid=2213 vsize=867648 CPUtime=3.05
/proc/2215/stat : 2215 (java) S 2213 2215 32158 0 -1 0 28511 0 1 0 287 18 0 0 21 0 9 0 28105080 888471552 27835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2215/statm: 216911 27835 2033 9 0 211369 0
[pid=2215/tid=2218] ppid=2213 vsize=867644 CPUtime=2.61
/proc/2215/task/2218/stat : 2218 (java) R 2213 2215 32158 0 -1 64 15840 0 1 0 249 12 0 0 25 0 9 0 28105081 888467456 27835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2215/tid=2219] ppid=2213 vsize=867644 CPUtime=0.19
/proc/2215/task/2219/stat : 2219 (java) S 2213 2215 32158 0 -1 64 11253 0 0 0 15 4 0 0 16 0 9 0 28105082 888467456 27835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2215/tid=2221] ppid=2213 vsize=867644 CPUtime=0
/proc/2215/task/2221/stat : 2221 (java) S 2213 2215 32158 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28105083 888467456 27835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2215/tid=2222] ppid=2213 vsize=867648 CPUtime=0
/proc/2215/task/2222/stat : 2222 (java) S 2213 2215 32158 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28105083 888471552 27835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2215/tid=2223] ppid=2213 vsize=867644 CPUtime=0
/proc/2215/task/2223/stat : 2223 (java) S 2213 2215 32158 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 28105087 888467456 27835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2215/tid=2224] ppid=2213 vsize=867644 CPUtime=0.22
/proc/2215/task/2224/stat : 2224 (java) S 2213 2215 32158 0 -1 64 718 0 0 0 22 0 0 0 15 0 9 0 28105087 888467456 27835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2215/tid=2225] ppid=2213 vsize=867644 CPUtime=0
/proc/2215/task/2225/stat : 2225 (java) S 2213 2215 32158 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 28105087 888467456 27835 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2215/tid=2226] ppid=2213 vsize=867644 CPUtime=0
/proc/2215/task/2226/stat : 2226 (java) S 2213 2215 32158 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28105087 888467456 27835 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) 867648
[startup+6.30209 s]
/proc/loadavg: 2.21 2.09 1.96 3/90 2235
/proc/meminfo: memFree=1471248/2055920 swapFree=4192812/4192956
[pid=2215] ppid=2213 vsize=868216 CPUtime=6.22
/proc/2215/stat : 2215 (java) S 2213 2215 32158 0 -1 0 81487 941 1 0 549 50 21 2 21 0 9 0 28105080 889053184 49922 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2215/statm: 217054 49922 2662 9 0 211490 0
[pid=2215/tid=2218] ppid=2213 vsize=868216 CPUtime=4.98
/proc/2215/task/2218/stat : 2218 (java) R 2213 2215 32158 0 -1 64 28660 941 1 0 446 29 21 2 25 0 9 0 28105081 889053184 49922 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2215/tid=2219] ppid=2213 vsize=868216 CPUtime=1.09
/proc/2215/task/2219/stat : 2219 (java) R 2213 2215 32158 0 -1 64 50949 941 0 0 69 17 21 2 16 0 9 0 28105082 889053184 49922 996147200 134512640 134550932 4294955968 18446744073709551615 102549400 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2215/tid=2221] ppid=2213 vsize=868216 CPUtime=0.23
/proc/2215/task/2221/stat : 2221 (java) S 2213 2215 32158 0 -1 64 21 941 0 0 0 0 21 2 16 0 9 0 28105083 889053184 49922 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2215/tid=2222] ppid=2213 vsize=868216 CPUtime=0.23
/proc/2215/task/2222/stat : 2222 (java) S 2213 2215 32158 0 -1 64 22 941 0 0 0 0 21 2 15 0 9 0 28105083 889053184 49922 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2215/tid=2223] ppid=2213 vsize=868216 CPUtime=0.23
/proc/2215/task/2223/stat : 2223 (java) S 2213 2215 32158 0 -1 64 1 941 0 0 0 0 21 2 25 0 9 0 28105087 889053184 49922 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2215/tid=2224] ppid=2213 vsize=868216 CPUtime=0.57
/proc/2215/task/2224/stat : 2224 (java) S 2213 2215 32158 0 -1 64 985 941 0 0 33 1 21 2 15 0 9 0 28105087 889053184 49922 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2215/tid=2225] ppid=2213 vsize=868216 CPUtime=0.23
/proc/2215/task/2225/stat : 2225 (java) S 2213 2215 32158 0 -1 64 0 941 0 0 0 0 21 2 25 0 9 0 28105087 889053184 49922 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2215/tid=2226] ppid=2213 vsize=868216 CPUtime=0.23
/proc/2215/task/2226/stat : 2226 (java) S 2213 2215 32158 0 -1 64 40 941 0 0 0 0 21 2 15 0 9 0 28105087 889053184 49922 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) 868216
Solver just ended. Dumping a history of the last processes samples
[startup+7.90241 s]
/proc/loadavg: 2.43 2.14 1.97 3/90 2235
/proc/meminfo: memFree=1430736/2055920 swapFree=4192812/4192956
[pid=2215] ppid=2213 vsize=868128 CPUtime=7.81
/proc/2215/stat : 2215 (java) S 2213 2215 32158 0 -1 0 83668 941 1 0 706 52 21 2 21 0 9 0 28105080 888963072 51941 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2215/statm: 217032 51941 2640 9 0 211490 0
[pid=2215/tid=2218] ppid=2213 vsize=868128 CPUtime=6.49
/proc/2215/task/2218/stat : 2218 (java) R 2213 2215 32158 0 -1 64 28783 941 1 0 596 30 21 2 25 0 9 0 28105081 888963072 51941 996147200 134512640 134550932 4294955968 18446744073709551615 4127308192 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2215/tid=2219] ppid=2213 vsize=868128 CPUtime=1.14
/proc/2215/task/2219/stat : 2219 (java) S 2213 2215 32158 0 -1 64 52969 941 0 0 73 18 21 2 17 0 9 0 28105082 888963072 51941 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2215/tid=2221] ppid=2213 vsize=868128 CPUtime=0.23
/proc/2215/task/2221/stat : 2221 (java) S 2213 2215 32158 0 -1 64 21 941 0 0 0 0 21 2 16 0 9 0 28105083 888963072 51941 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2215/tid=2222] ppid=2213 vsize=868128 CPUtime=0.23
/proc/2215/task/2222/stat : 2222 (java) S 2213 2215 32158 0 -1 64 27 941 0 0 0 0 21 2 16 0 9 0 28105083 888963072 51941 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2215/tid=2223] ppid=2213 vsize=868128 CPUtime=0.23
/proc/2215/task/2223/stat : 2223 (java) S 2213 2215 32158 0 -1 64 1 941 0 0 0 0 21 2 25 0 9 0 28105087 888963072 51941 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2215/tid=2224] ppid=2213 vsize=868128 CPUtime=0.61
/proc/2215/task/2224/stat : 2224 (java) S 2213 2215 32158 0 -1 64 1018 941 0 0 37 1 21 2 15 0 9 0 28105087 888963072 51941 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2215/tid=2225] ppid=2213 vsize=868128 CPUtime=0.23
/proc/2215/task/2225/stat : 2225 (java) S 2213 2215 32158 0 -1 64 0 941 0 0 0 0 21 2 25 0 9 0 28105087 888963072 51941 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2215/tid=2226] ppid=2213 vsize=868128 CPUtime=0.23
/proc/2215/task/2226/stat : 2226 (java) S 2213 2215 32158 0 -1 64 40 941 0 0 0 0 21 2 15 0 9 0 28105087 888963072 51941 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 7.81
Current children cumulated vsize (KiB) 868128
[startup+8.70257 s]
/proc/loadavg: 2.43 2.14 1.97 3/79 2239
/proc/meminfo: memFree=1607024/2055920 swapFree=4192812/4192956
[pid=2215] ppid=2213 vsize=868128 CPUtime=8.61
/proc/2215/stat : 2215 (java) S 2213 2215 32158 0 -1 0 83705 941 1 0 786 52 21 2 21 0 9 0 28105080 888963072 51941 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2215/statm: 217032 51941 2640 9 0 211490 0
[pid=2215/tid=2218] ppid=2213 vsize=868128 CPUtime=7.28
/proc/2215/task/2218/stat : 2218 (java) R 2213 2215 32158 0 -1 64 28819 941 1 0 675 30 21 2 25 0 9 0 28105081 888963072 51941 996147200 134512640 134550932 4294955968 18446744073709551615 4127370543 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2215/tid=2219] ppid=2213 vsize=868128 CPUtime=1.14
/proc/2215/task/2219/stat : 2219 (java) S 2213 2215 32158 0 -1 64 52969 941 0 0 73 18 21 2 17 0 9 0 28105082 888963072 51941 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2215/tid=2221] ppid=2213 vsize=868128 CPUtime=0.23
/proc/2215/task/2221/stat : 2221 (java) S 2213 2215 32158 0 -1 64 21 941 0 0 0 0 21 2 16 0 9 0 28105083 888963072 51941 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2215/tid=2222] ppid=2213 vsize=868128 CPUtime=0.23
/proc/2215/task/2222/stat : 2222 (java) S 2213 2215 32158 0 -1 64 27 941 0 0 0 0 21 2 16 0 9 0 28105083 888963072 51941 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2215/tid=2223] ppid=2213 vsize=868128 CPUtime=0.23
/proc/2215/task/2223/stat : 2223 (java) S 2213 2215 32158 0 -1 64 1 941 0 0 0 0 21 2 25 0 9 0 28105087 888963072 51941 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2215/tid=2224] ppid=2213 vsize=868128 CPUtime=0.61
/proc/2215/task/2224/stat : 2224 (java) S 2213 2215 32158 0 -1 64 1019 941 0 0 37 1 21 2 15 0 9 0 28105087 888963072 51941 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2215/tid=2225] ppid=2213 vsize=868128 CPUtime=0.23
/proc/2215/task/2225/stat : 2225 (java) S 2213 2215 32158 0 -1 64 0 941 0 0 0 0 21 2 25 0 9 0 28105087 888963072 51941 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2215/tid=2226] ppid=2213 vsize=868128 CPUtime=0.23
/proc/2215/task/2226/stat : 2226 (java) S 2213 2215 32158 0 -1 64 40 941 0 0 0 0 21 2 15 0 9 0 28105087 888963072 51941 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.61
Current children cumulated vsize (KiB) 868128
[startup+8.90161 s]
/proc/loadavg: 2.43 2.14 1.97 3/79 2239
/proc/meminfo: memFree=1607024/2055920 swapFree=4192812/4192956
[pid=2215] ppid=2213 vsize=868128 CPUtime=8.8
/proc/2215/stat : 2215 (java) S 2213 2215 32158 0 -1 0 83705 941 1 0 805 52 21 2 21 0 9 0 28105080 888963072 51941 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2215/statm: 217032 51941 2640 9 0 211490 0
[pid=2215/tid=2218] ppid=2213 vsize=868128 CPUtime=7.47
/proc/2215/task/2218/stat : 2218 (java) R 2213 2215 32158 0 -1 64 28819 941 1 0 694 30 21 2 25 0 9 0 28105081 888963072 51941 996147200 134512640 134550932 4294955968 18446744073709551615 4127323013 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2215/tid=2219] ppid=2213 vsize=868128 CPUtime=1.14
/proc/2215/task/2219/stat : 2219 (java) S 2213 2215 32158 0 -1 64 52969 941 0 0 73 18 21 2 17 0 9 0 28105082 888963072 51941 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2215/tid=2221] ppid=2213 vsize=868128 CPUtime=0.23
/proc/2215/task/2221/stat : 2221 (java) S 2213 2215 32158 0 -1 64 21 941 0 0 0 0 21 2 16 0 9 0 28105083 888963072 51941 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2215/tid=2222] ppid=2213 vsize=868128 CPUtime=0.23
/proc/2215/task/2222/stat : 2222 (java) S 2213 2215 32158 0 -1 64 27 941 0 0 0 0 21 2 16 0 9 0 28105083 888963072 51941 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2215/tid=2223] ppid=2213 vsize=868128 CPUtime=0.23
/proc/2215/task/2223/stat : 2223 (java) S 2213 2215 32158 0 -1 64 1 941 0 0 0 0 21 2 25 0 9 0 28105087 888963072 51941 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2215/tid=2224] ppid=2213 vsize=868128 CPUtime=0.61
/proc/2215/task/2224/stat : 2224 (java) S 2213 2215 32158 0 -1 64 1019 941 0 0 37 1 21 2 15 0 9 0 28105087 888963072 51941 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2215/tid=2225] ppid=2213 vsize=868128 CPUtime=0.23
/proc/2215/task/2225/stat : 2225 (java) S 2213 2215 32158 0 -1 64 0 941 0 0 0 0 21 2 25 0 9 0 28105087 888963072 51941 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2215/tid=2226] ppid=2213 vsize=868128 CPUtime=0.23
/proc/2215/task/2226/stat : 2226 (java) S 2213 2215 32158 0 -1 64 40 941 0 0 0 0 21 2 15 0 9 0 28105087 888963072 51941 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.8
Current children cumulated vsize (KiB) 868128
[startup+9.00163 s]
/proc/loadavg: 2.43 2.14 1.97 3/79 2239
/proc/meminfo: memFree=1607024/2055920 swapFree=4192812/4192956
[pid=2215] ppid=2213 vsize=868128 CPUtime=8.87
/proc/2215/stat : 2215 (java) S 2213 2215 32158 0 -1 0 83715 941 1 0 812 52 21 2 21 0 9 0 28105080 888963072 51944 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2215/statm: 217032 51944 2640 9 0 211490 0
[pid=2215/tid=2218] ppid=2213 vsize=868128 CPUtime=7.54
/proc/2215/task/2218/stat : 2218 (java) S 2213 2215 32158 0 -1 64 28828 941 1 0 701 30 21 2 25 0 9 0 28105081 888963072 51944 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2215/tid=2219] ppid=2213 vsize=868128 CPUtime=1.14
/proc/2215/task/2219/stat : 2219 (java) S 2213 2215 32158 0 -1 64 52969 941 0 0 73 18 21 2 17 0 9 0 28105082 888963072 51944 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2215/tid=2221] ppid=2213 vsize=868128 CPUtime=0.23
/proc/2215/task/2221/stat : 2221 (java) S 2213 2215 32158 0 -1 64 21 941 0 0 0 0 21 2 16 0 9 0 28105083 888963072 51944 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2215/tid=2222] ppid=2213 vsize=868128 CPUtime=0.23
/proc/2215/task/2222/stat : 2222 (java) S 2213 2215 32158 0 -1 64 27 941 0 0 0 0 21 2 16 0 9 0 28105083 888963072 51944 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2215/tid=2223] ppid=2213 vsize=868128 CPUtime=0.23
/proc/2215/task/2223/stat : 2223 (java) S 2213 2215 32158 0 -1 64 1 941 0 0 0 0 21 2 25 0 9 0 28105087 888963072 51944 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2215/tid=2224] ppid=2213 vsize=868128 CPUtime=0.61
/proc/2215/task/2224/stat : 2224 (java) S 2213 2215 32158 0 -1 64 1020 941 0 0 37 1 21 2 15 0 9 0 28105087 888963072 51944 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2215/tid=2225] ppid=2213 vsize=868128 CPUtime=0.23
/proc/2215/task/2225/stat : 2225 (java) S 2213 2215 32158 0 -1 64 0 941 0 0 0 0 21 2 25 0 9 0 28105087 888963072 51944 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2215/tid=2226] ppid=2213 vsize=868128 CPUtime=0.23
/proc/2215/task/2226/stat : 2226 (java) S 2213 2215 32158 0 -1 64 40 941 0 0 0 0 21 2 15 0 9 0 28105087 888963072 51944 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 8.87
Current children cumulated vsize (KiB) 868128
Child status: 0
Real time (s): 9.04966
CPU time (s): 8.91664
CPU user time (s): 8.33873
CPU system time (s): 0.577912
CPU usage (%): 98.5302
Max. virtual memory (cumulated for all children) (KiB): 868248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.33873
system time used= 0.577912
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84684
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= 1760
involuntary context switches= 1917
runsolver used 0.012998 second user time and 0.043993 second system time
The end
Begin job on node80 at 2009-07-12 16:53:25
IDJOB=2096613
IDBENCH=56499
IDSOLVER=773
FILE ID=node80/2096613-1247410404
PBS_JOBID= 9510489
Free space on /tmp= 66352 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/ogdHerald/normalized-crossword-m1-ogd-23-02.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-2096613-1247410404/watcher-2096613-1247410404 -o /tmp/evaluation-result-2096613-1247410404/solver-2096613-1247410404 -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-2096613-1247410404.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6e837bcff90ceecc34ace19452d7a79e
RANDOM SEED=178668375
node80.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.285
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.285
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1720064 kB
Buffers: 37096 kB
Cached: 140248 kB
SwapCached: 0 kB
Active: 206428 kB
Inactive: 73176 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1720064 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 22536 kB
Writeback: 0 kB
Mapped: 120244 kB
Slab: 41424 kB
Committed_AS: 1015720 kB
PageTables: 1956 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= 66348 MiB
End job on node80 at 2009-07-12 16:53:34