0.03/0.09
0.03/0.09 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=esac.xml
0.19/0.28
0.19/0.28 instance
0.19/0.28 name=HOME/instance-1044914-1215023377.xml
0.29/0.32
0.29/0.32 domains being loaded...
0.29/0.32
0.29/0.32 variables being loaded...
0.29/0.36 nbVariables=88 nbDomainTypes=1 minDomainSize=88 maxDomainSize=88 nbTotalValues=7744
0.29/0.36 => wckTime=0.119 cpuTime=0.1 mem=7M919
0.29/0.36
0.29/0.36 relations being loaded...
2.69/2.79
2.69/2.79 INFO : Contraction of relations, mem = 100M59
13.48/13.51
13.48/13.51 constraints being loaded...
15.87/15.94 nbConstraints=3828 nbRelationTypes=3827 nbExtensionStructures=3827 nbSharedExtensionStructures=1
15.87/15.95 nbConflictsStructures=3827 nbSharedConflictsStructures=1 nbSharedBinaryRepresentations=673201 minDegree=87
15.87/15.95 maxDegree=87 minArity=2 maxArity=2 nbGenerators=0 nbFusions=0 symmetryWckTime=0.193 symmetryCpuTime=0.09
15.87/15.95 => wckTime=15.69 cpuTime=14.31 mem=121M961
16.17/16.28
16.17/16.29 solver IterativeSystematicSolver being built...
16.35/16.44 => wckTime=16.192 cpuTime=14.43 mem=124M409
16.46/16.51
16.46/16.51 preprocessing
16.46/16.51 nbConstraintChecks=41489 nbPropagations=177 nbRevisions=11706 nbUselessRevisions=11498 nbSingletonTests=88
16.46/16.51 nbEffectiveSingletonTests=0 nbACRemovals=7656 nbFoundSingletons=0 firstSolutionCpuTime=14.47
16.46/16.51 nbRemovedValues=7656 detectedInconsistency=no
16.46/16.51 => wckTime=0.064 cpuTime=0.04 mem=124M409
16.46/16.51
16.46/16.51 global
16.46/16.51 nbConstraintChecks=41489 nbPropagations=177 nbRevisions=11706 nbUselessRevisions=11498 nbRestartNogoods=0
16.46/16.51 solvingWckTime=0.068 solvingCpuTime=0.05 expiredTime=no totalExploration=no nbFoundSolutions=1
16.46/16.51 firstSolutionCpuTime=14.47 globalCpuTime=14.52
16.46/16.51 => wckTime=16.263 cpuTime=14.48 mem=125M396
16.46/16.51
16.46/16.51 s SATISFIABLE
16.46/16.51 v 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39 39
16.46/16.51 d NODES 0
16.46/16.51 d CHECKS 41489
16.46/16.52
16.46/16.52 totalWckTime=16.334 totalCpuTime=14.53
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1044914-1215023377/watcher-1044914-1215023377 -o /tmp/evaluation-result-1044914-1215023377/solver-1044914-1215023377 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1044914-1215023377.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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.18 2.07 2.01 4/93 14246
/proc/meminfo: memFree=1371176/2055920 swapFree=4180076/4192956
[pid=14246] ppid=14244 vsize=1616 CPUtime=0
/proc/14246/stat : 14246 (java) D 14244 14246 13556 0 -1 0 317 0 0 0 0 0 0 0 18 0 1 0 1981311100 1654784 126 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/14246/statm: 404 151 125 9 0 46 0
[startup+0.028945 s]
/proc/loadavg: 2.18 2.07 2.01 4/93 14246
/proc/meminfo: memFree=1371176/2055920 swapFree=4180076/4192956
[pid=14246] ppid=14244 vsize=861876 CPUtime=0.03
/proc/14246/stat : 14246 (java) S 14244 14246 13556 0 -1 0 2251 0 1 0 2 1 0 0 18 0 5 0 1981311100 882561024 1862 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/14246/statm: 215469 1862 854 9 0 210448 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861876
[startup+0.153327 s]
/proc/loadavg: 2.18 2.07 2.01 4/93 14246
/proc/meminfo: memFree=1371176/2055920 swapFree=4180076/4192956
[pid=14246] ppid=14244 vsize=865884 CPUtime=0.14
/proc/14246/stat : 14246 (java) S 14244 14246 13556 0 -1 0 4201 0 1 0 12 2 0 0 18 0 9 0 1981311100 886665216 3636 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14246/statm: 216471 3636 1813 9 0 211026 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 865884
[startup+0.301344 s]
/proc/loadavg: 2.18 2.07 2.01 4/93 14246
/proc/meminfo: memFree=1371176/2055920 swapFree=4180076/4192956
[pid=14246] ppid=14244 vsize=867284 CPUtime=0.29
/proc/14246/stat : 14246 (java) S 14244 14246 13556 0 -1 0 5869 0 1 0 26 3 0 0 18 0 9 0 1981311100 888098816 5243 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14246/statm: 216821 5244 1953 9 0 211349 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 867284
[startup+0.70139 s]
/proc/loadavg: 2.18 2.07 2.01 4/93 14246
/proc/meminfo: memFree=1371176/2055920 swapFree=4180076/4192956
[pid=14246] ppid=14244 vsize=867388 CPUtime=0.69
/proc/14246/stat : 14246 (java) S 14244 14246 13556 0 -1 0 14308 0 1 0 61 8 0 0 18 0 9 0 1981311100 888205312 13679 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14246/statm: 216847 13680 1968 9 0 211375 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867388
[startup+1.50148 s]
/proc/loadavg: 2.48 2.14 2.03 3/102 14255
/proc/meminfo: memFree=1302104/2055920 swapFree=4180076/4192956
[pid=14246] ppid=14244 vsize=867972 CPUtime=1.48
/proc/14246/stat : 14246 (java) S 14244 14246 13556 0 -1 0 25526 0 1 0 135 13 0 0 18 0 9 0 1981311100 888803328 24893 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14246/statm: 216993 24893 1982 9 0 211521 0
[pid=14246/tid=14247] ppid=14244 vsize=867972 CPUtime=1.19
/proc/14246/task/14247/stat : 14247 (java) R 14244 14246 13556 0 -1 64 15650 0 1 0 111 8 0 0 25 0 9 0 1981311101 888803328 24893 996147200 134512640 134550740 4294955968 18446744073709551615 4126596520 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14249] ppid=14244 vsize=867972 CPUtime=0.18
/proc/14246/task/14249/stat : 14249 (java) S 14244 14246 13556 0 -1 64 8715 0 0 0 15 3 0 0 17 0 9 0 1981311103 888803328 24893 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14250] ppid=14244 vsize=867972 CPUtime=0
/proc/14246/task/14250/stat : 14250 (java) S 14244 14246 13556 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1981311103 888803328 24893 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14251] ppid=14244 vsize=867972 CPUtime=0
/proc/14246/task/14251/stat : 14251 (java) S 14244 14246 13556 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981311103 888803328 24893 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14252] ppid=14244 vsize=867972 CPUtime=0
/proc/14246/task/14252/stat : 14252 (java) S 14244 14246 13556 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981311105 888803328 24893 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14253] ppid=14244 vsize=867972 CPUtime=0.08
/proc/14246/task/14253/stat : 14253 (java) S 14244 14246 13556 0 -1 64 465 0 0 0 8 0 0 0 16 0 9 0 1981311105 888803328 24893 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14254] ppid=14244 vsize=867972 CPUtime=0
/proc/14246/task/14254/stat : 14254 (java) S 14244 14246 13556 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1981311105 888803328 24893 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14255] ppid=14244 vsize=867972 CPUtime=0
/proc/14246/task/14255/stat : 14255 (java) S 14244 14246 13556 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1981311105 888803328 24893 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867972
[startup+3.10166 s]
/proc/loadavg: 2.48 2.14 2.03 3/102 14255
/proc/meminfo: memFree=1265816/2055920 swapFree=4180076/4192956
[pid=14246] ppid=14244 vsize=868160 CPUtime=3.09
/proc/14246/stat : 14246 (java) S 14244 14246 13556 0 -1 0 33372 0 1 0 292 17 0 0 18 0 9 0 1981311100 888995840 32686 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14246/statm: 217040 32686 2047 9 0 211568 0
[pid=14246/tid=14247] ppid=14244 vsize=868160 CPUtime=2.48
/proc/14246/task/14247/stat : 14247 (java) R 14244 14246 13556 0 -1 64 15661 0 1 0 239 9 0 0 25 0 9 0 1981311101 888995840 32686 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14249] ppid=14244 vsize=868160 CPUtime=0.47
/proc/14246/task/14249/stat : 14249 (java) R 14244 14246 13556 0 -1 64 16524 0 0 0 41 6 0 0 16 0 9 0 1981311103 888995840 32686 996147200 134512640 134550740 4294955968 18446744073709551615 104181586 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14250] ppid=14244 vsize=868160 CPUtime=0
/proc/14246/task/14250/stat : 14250 (java) S 14244 14246 13556 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1981311103 888995840 32686 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14251] ppid=14244 vsize=868160 CPUtime=0
/proc/14246/task/14251/stat : 14251 (java) S 14244 14246 13556 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981311103 888995840 32686 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14252] ppid=14244 vsize=868160 CPUtime=0
/proc/14246/task/14252/stat : 14252 (java) S 14244 14246 13556 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981311105 888995840 32686 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14253] ppid=14244 vsize=868160 CPUtime=0.1
/proc/14246/task/14253/stat : 14253 (java) S 14244 14246 13556 0 -1 64 491 0 0 0 10 0 0 0 16 0 9 0 1981311105 888995840 32686 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14254] ppid=14244 vsize=868160 CPUtime=0
/proc/14246/task/14254/stat : 14254 (java) S 14244 14246 13556 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1981311105 888995840 32686 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14255] ppid=14244 vsize=868160 CPUtime=0
/proc/14246/task/14255/stat : 14255 (java) S 14244 14246 13556 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1981311105 888995840 32686 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 868160
[startup+6.30301 s]
/proc/loadavg: 2.48 2.14 2.03 3/102 14255
/proc/meminfo: memFree=1249688/2055920 swapFree=4180076/4192956
[pid=14246] ppid=14244 vsize=868384 CPUtime=6.29
/proc/14246/stat : 14246 (java) S 14244 14246 13556 0 -1 0 34333 0 1 0 609 20 0 0 18 0 9 0 1981311100 889225216 33509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14246/statm: 217096 33509 2609 9 0 211624 0
[pid=14246/tid=14247] ppid=14244 vsize=868384 CPUtime=5.48
/proc/14246/task/14247/stat : 14247 (java) R 14244 14246 13556 0 -1 64 15668 0 1 0 536 12 0 0 25 0 9 0 1981311101 889225216 33509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14249] ppid=14244 vsize=868384 CPUtime=0.64
/proc/14246/task/14249/stat : 14249 (java) S 14244 14246 13556 0 -1 64 17373 0 0 0 58 6 0 0 16 0 9 0 1981311103 889225216 33509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14250] ppid=14244 vsize=868384 CPUtime=0
/proc/14246/task/14250/stat : 14250 (java) S 14244 14246 13556 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1981311103 889225216 33509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14251] ppid=14244 vsize=868384 CPUtime=0
/proc/14246/task/14251/stat : 14251 (java) S 14244 14246 13556 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981311103 889225216 33509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14252] ppid=14244 vsize=868384 CPUtime=0
/proc/14246/task/14252/stat : 14252 (java) S 14244 14246 13556 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981311105 889225216 33509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14253] ppid=14244 vsize=868384 CPUtime=0.13
/proc/14246/task/14253/stat : 14253 (java) S 14244 14246 13556 0 -1 64 596 0 0 0 13 0 0 0 15 0 9 0 1981311105 889225216 33509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14254] ppid=14244 vsize=868384 CPUtime=0
/proc/14246/task/14254/stat : 14254 (java) S 14244 14246 13556 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1981311105 889225216 33509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14255] ppid=14244 vsize=868384 CPUtime=0
/proc/14246/task/14255/stat : 14255 (java) S 14244 14246 13556 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1981311105 889225216 33509 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 868384
[startup+12.7027 s]
/proc/loadavg: 2.56 2.17 2.04 3/102 14255
/proc/meminfo: memFree=1223008/2055920 swapFree=4180076/4192956
[pid=14246] ppid=14244 vsize=868384 CPUtime=12.68
/proc/14246/stat : 14246 (java) S 14244 14246 13556 0 -1 0 42021 0 1 0 1238 30 0 0 18 0 9 0 1981311100 889225216 41183 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14246/statm: 217096 41183 2610 9 0 211624 0
[pid=14246/tid=14247] ppid=14244 vsize=868384 CPUtime=11.56
/proc/14246/task/14247/stat : 14247 (java) R 14244 14246 13556 0 -1 64 15682 0 1 0 1137 19 0 0 25 0 9 0 1981311101 889225216 41183 996147200 134512640 134550740 4294955968 18446744073709551615 4126412759 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14249] ppid=14244 vsize=868384 CPUtime=0.95
/proc/14246/task/14249/stat : 14249 (java) S 14244 14246 13556 0 -1 64 25042 0 0 0 86 9 0 0 16 0 9 0 1981311103 889225216 41183 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14250] ppid=14244 vsize=868384 CPUtime=0
/proc/14246/task/14250/stat : 14250 (java) S 14244 14246 13556 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1981311103 889225216 41183 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14251] ppid=14244 vsize=868384 CPUtime=0
/proc/14246/task/14251/stat : 14251 (java) S 14244 14246 13556 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981311103 889225216 41183 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14252] ppid=14244 vsize=868384 CPUtime=0
/proc/14246/task/14252/stat : 14252 (java) S 14244 14246 13556 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981311105 889225216 41183 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14253] ppid=14244 vsize=868384 CPUtime=0.14
/proc/14246/task/14253/stat : 14253 (java) S 14244 14246 13556 0 -1 64 601 0 0 0 14 0 0 0 16 0 9 0 1981311105 889225216 41183 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14254] ppid=14244 vsize=868384 CPUtime=0
/proc/14246/task/14254/stat : 14254 (java) S 14244 14246 13556 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1981311105 889225216 41183 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14255] ppid=14244 vsize=868384 CPUtime=0
/proc/14246/task/14255/stat : 14255 (java) S 14244 14246 13556 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1981311105 889225216 41183 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 868384
Solver just ended. Dumping a history of the last processes samples
[startup+14.3079 s]
/proc/loadavg: 2.56 2.17 2.04 3/102 14255
/proc/meminfo: memFree=1213856/2055920 swapFree=4180076/4192956
[pid=14246] ppid=14244 vsize=868384 CPUtime=14.29
/proc/14246/stat : 14246 (java) S 14244 14246 13556 0 -1 0 43241 0 1 0 1397 32 0 0 18 0 9 0 1981311100 889225216 42392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14246/statm: 217096 42392 2612 9 0 211624 0
[pid=14246/tid=14247] ppid=14244 vsize=868384 CPUtime=13.08
/proc/14246/task/14247/stat : 14247 (java) R 14244 14246 13556 0 -1 64 15722 0 1 0 1288 20 0 0 25 0 9 0 1981311101 889225216 42392 996147200 134512640 134550740 4294955968 18446744073709551615 4126883273 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14249] ppid=14244 vsize=868384 CPUtime=1
/proc/14246/task/14249/stat : 14249 (java) S 14244 14246 13556 0 -1 64 26138 0 0 0 90 10 0 0 16 0 9 0 1981311103 889225216 42392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14250] ppid=14244 vsize=868384 CPUtime=0
/proc/14246/task/14250/stat : 14250 (java) S 14244 14246 13556 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1981311103 889225216 42392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14251] ppid=14244 vsize=868384 CPUtime=0
/proc/14246/task/14251/stat : 14251 (java) S 14244 14246 13556 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1981311103 889225216 42392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14252] ppid=14244 vsize=868384 CPUtime=0
/proc/14246/task/14252/stat : 14252 (java) S 14244 14246 13556 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1981311105 889225216 42392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14253] ppid=14244 vsize=868384 CPUtime=0.19
/proc/14246/task/14253/stat : 14253 (java) S 14244 14246 13556 0 -1 64 685 0 0 0 18 1 0 0 15 0 9 0 1981311105 889225216 42392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14254] ppid=14244 vsize=868384 CPUtime=0
/proc/14246/task/14254/stat : 14254 (java) S 14244 14246 13556 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1981311105 889225216 42392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14255] ppid=14244 vsize=868384 CPUtime=0
/proc/14246/task/14255/stat : 14255 (java) S 14244 14246 13556 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 1981311105 889225216 42392 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 14.29
Current children cumulated vsize (KiB) 868384
[startup+15.9021 s]
/proc/loadavg: 2.56 2.17 2.04 3/102 14255
/proc/meminfo: memFree=1213856/2055920 swapFree=4180076/4192956
[pid=14246] ppid=14244 vsize=869032 CPUtime=15.87
/proc/14246/stat : 14246 (java) S 14244 14246 13556 0 -1 0 46167 323 1 0 1548 35 3 1 18 0 10 0 1981311100 889888768 44317 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14246/statm: 217258 44317 2614 9 0 211786 0
[pid=14246/tid=14247] ppid=14244 vsize=869032 CPUtime=14.52
/proc/14246/task/14247/stat : 14247 (java) R 14244 14246 13556 0 -1 64 16543 323 1 0 1428 20 3 1 16 0 10 0 1981311101 889888768 44317 996147200 134512640 134550740 4294955968 18446744073709551615 4125924542 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14249] ppid=14244 vsize=869032 CPUtime=1.12
/proc/14246/task/14249/stat : 14249 (java) S 14244 14246 13556 0 -1 64 28021 323 0 0 97 11 3 1 17 0 10 0 1981311103 889888768 44317 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14250] ppid=14244 vsize=869032 CPUtime=0.04
/proc/14246/task/14250/stat : 14250 (java) S 14244 14246 13556 0 -1 64 13 323 0 0 0 0 3 1 16 0 10 0 1981311103 889888768 44317 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14251] ppid=14244 vsize=869032 CPUtime=0.04
/proc/14246/task/14251/stat : 14251 (java) S 14244 14246 13556 0 -1 64 5 323 0 0 0 0 3 1 16 0 10 0 1981311103 889888768 44317 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14252] ppid=14244 vsize=869032 CPUtime=0.04
/proc/14246/task/14252/stat : 14252 (java) S 14244 14246 13556 0 -1 64 1 323 0 0 0 0 3 1 18 0 10 0 1981311105 889888768 44317 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14253] ppid=14244 vsize=869032 CPUtime=0.27
/proc/14246/task/14253/stat : 14253 (java) R 14244 14246 13556 0 -1 64 767 323 0 0 22 1 3 1 16 0 10 0 1981311105 889888768 44317 996147200 134512640 134550740 4294955968 18446744073709551615 102017902 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14254] ppid=14244 vsize=869032 CPUtime=0.04
/proc/14246/task/14254/stat : 14254 (java) S 14244 14246 13556 0 -1 64 1 323 0 0 0 0 3 1 19 0 10 0 1981311105 889888768 44317 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14255] ppid=14244 vsize=869032 CPUtime=0.04
/proc/14246/task/14255/stat : 14255 (java) S 14244 14246 13556 0 -1 64 10 323 0 0 0 0 3 1 15 0 10 0 1981311105 889888768 44317 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 15.87
Current children cumulated vsize (KiB) 869032
[startup+16.3011 s]
/proc/loadavg: 2.56 2.17 2.04 3/102 14255
/proc/meminfo: memFree=1213856/2055920 swapFree=4180076/4192956
[pid=14246] ppid=14244 vsize=869120 CPUtime=16.26
/proc/14246/stat : 14246 (java) S 14244 14246 13556 0 -1 0 57127 323 1 0 1585 37 3 1 18 0 10 0 1981311100 889978880 46180 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14246/statm: 217280 46180 2635 9 0 211786 0
[pid=14246/tid=14247] ppid=14244 vsize=869120 CPUtime=14.56
/proc/14246/task/14247/stat : 14247 (java) R 14244 14246 13556 0 -1 64 17324 323 1 0 1432 20 3 1 17 0 10 0 1981311101 889978880 46180 996147200 134512640 134550740 4294955968 18446744073709551615 4125976360 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14249] ppid=14244 vsize=869120 CPUtime=1.46
/proc/14246/task/14249/stat : 14249 (java) R 14244 14246 13556 0 -1 64 38117 323 0 0 129 13 3 1 18 0 10 0 1981311103 889978880 46180 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14250] ppid=14244 vsize=869120 CPUtime=0.04
/proc/14246/task/14250/stat : 14250 (java) S 14244 14246 13556 0 -1 64 18 323 0 0 0 0 3 1 16 0 10 0 1981311103 889978880 46180 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14251] ppid=14244 vsize=869120 CPUtime=0.04
/proc/14246/task/14251/stat : 14251 (java) S 14244 14246 13556 0 -1 64 9 323 0 0 0 0 3 1 16 0 10 0 1981311103 889978880 46180 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14252] ppid=14244 vsize=869120 CPUtime=0.04
/proc/14246/task/14252/stat : 14252 (java) S 14244 14246 13556 0 -1 64 1 323 0 0 0 0 3 1 18 0 10 0 1981311105 889978880 46180 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14253] ppid=14244 vsize=869120 CPUtime=0.27
/proc/14246/task/14253/stat : 14253 (java) S 14244 14246 13556 0 -1 64 841 323 0 0 22 1 3 1 15 0 10 0 1981311105 889978880 46180 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14254] ppid=14244 vsize=869120 CPUtime=0.04
/proc/14246/task/14254/stat : 14254 (java) S 14244 14246 13556 0 -1 64 1 323 0 0 0 0 3 1 19 0 10 0 1981311105 889978880 46180 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14255] ppid=14244 vsize=869120 CPUtime=0.04
/proc/14246/task/14255/stat : 14255 (java) S 14244 14246 13556 0 -1 64 10 323 0 0 0 0 3 1 15 0 10 0 1981311105 889978880 46180 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 16.26
Current children cumulated vsize (KiB) 869120
[startup+16.5061 s]
/proc/loadavg: 2.68 2.20 2.05 5/104 14259
/proc/meminfo: memFree=1198088/2055920 swapFree=4180076/4192956
[pid=14246] ppid=14244 vsize=869120 CPUtime=16.46
/proc/14246/stat : 14246 (java) S 14244 14246 13556 0 -1 0 60237 323 1 0 1603 39 3 1 18 0 10 0 1981311100 889978880 46311 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14246/statm: 217280 46311 2636 9 0 211786 0
[pid=14259] ppid=14246 vsize=144 CPUtime=0
/proc/14259/stat : 14259 (rm) R 14246 14246 13556 0 -1 4194304 47 0 0 0 0 0 0 0 19 0 1 0 1981312687 147456 22 996147200 4194304 4227748 548682068720 18446744073709551615 259412522377 0 4 0 0 0 0 0 17 1 0 0
/proc/14259/statm: 36 22 16 8 0 3 0
[pid=14246/tid=14247] ppid=14244 vsize=869120 CPUtime=14.7
/proc/14246/task/14247/stat : 14247 (java) R 14244 14246 13556 0 -1 64 20350 323 1 0 1445 21 3 1 17 0 10 0 1981311101 889978880 46311 996147200 134512640 134550740 4294955968 18446744073709551615 4127159078 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14249] ppid=14244 vsize=869120 CPUtime=1.46
/proc/14246/task/14249/stat : 14249 (java) S 14244 14246 13556 0 -1 64 38117 323 0 0 129 13 3 1 16 0 10 0 1981311103 889978880 46311 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14250] ppid=14244 vsize=869120 CPUtime=0.04
/proc/14246/task/14250/stat : 14250 (java) S 14244 14246 13556 0 -1 64 18 323 0 0 0 0 3 1 16 0 10 0 1981311103 889978880 46311 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14251] ppid=14244 vsize=869120 CPUtime=0.04
/proc/14246/task/14251/stat : 14251 (java) S 14244 14246 13556 0 -1 64 9 323 0 0 0 0 3 1 16 0 10 0 1981311103 889978880 46311 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=14246/tid=14252] ppid=14244 vsize=869120 CPUtime=0.04
/proc/14246/task/14252/stat : 14252 (java) S 14244 14246 13556 0 -1 64 1 323 0 0 0 0 3 1 18 0 10 0 1981311105 889978880 46311 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14253] ppid=14244 vsize=869120 CPUtime=0.32
/proc/14246/task/14253/stat : 14253 (java) S 14244 14246 13556 0 -1 64 925 323 0 0 27 1 3 1 16 0 10 0 1981311105 889978880 46311 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14254] ppid=14244 vsize=869120 CPUtime=0.04
/proc/14246/task/14254/stat : 14254 (java) S 14244 14246 13556 0 -1 64 1 323 0 0 0 0 3 1 19 0 10 0 1981311105 889978880 46311 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14255] ppid=14244 vsize=869120 CPUtime=0.04
/proc/14246/task/14255/stat : 14255 (java) S 14244 14246 13556 0 -1 64 10 323 0 0 0 0 3 1 15 0 10 0 1981311105 889978880 46311 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14246/tid=14258] ppid=14244 vsize=869120 CPUtime=0.04
/proc/14246/task/14258/stat : 14258 (java) S 14244 14246 13556 0 -1 64 49 323 0 0 0 0 3 1 17 0 10 0 1981312687 889978880 46311 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 18446744071563356171 0 0 -1 0 0 0
Current children cumulated CPU time (s) 16.46
Current children cumulated vsize (KiB) 869264
Child status: 0
Real time (s): 16.5913
CPU time (s): 16.5225
CPU user time (s): 16.0826
CPU system time (s): 0.439933
CPU usage (%): 99.5853
Max. virtual memory (cumulated for all children) (KiB): 869264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.0826
system time used= 0.439933
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60899
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= 1919
involuntary context switches= 1673
runsolver used 0.023996 second user time and 0.065989 second system time
The end
Begin job on node42 at 2008-07-02 20:29:46
IDJOB=1044914
IDBENCH=53553
IDSOLVER=364
FILE ID=node42/1044914-1215023377
PBS_JOBID= 7874385
Free space on /tmp= 66432 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/marc/normalized-large-88-sat_ext.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= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1044914-1215023377/watcher-1044914-1215023377 -o /tmp/evaluation-result-1044914-1215023377/solver-1044914-1215023377 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1044914-1215023377.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= dd27e97e48b6e78409370aee787bfb74
RANDOM SEED=129771018
node42.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.214
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.214
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: 1371656 kB
Buffers: 52656 kB
Cached: 457064 kB
SwapCached: 6808 kB
Active: 360520 kB
Inactive: 249108 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1371656 kB
SwapTotal: 4192956 kB
SwapFree: 4180076 kB
Dirty: 86376 kB
Writeback: 0 kB
Mapped: 116292 kB
Slab: 59180 kB
Committed_AS: 4124680 kB
PageTables: 2272 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= 66428 MiB
End job on node42 at 2008-07-02 20:30:03