0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.26/0.30
0.26/0.30 configuration
0.26/0.30 name=esac.xml
0.26/0.36
0.26/0.36 instance
0.26/0.36 name=HOME/instance-1087274-1215243343.xml
0.32/0.41
0.32/0.41 domains being loaded...
0.32/0.45
0.32/0.45 variables being loaded...
0.62/0.72 nbVariables=1800 nbDomainTypes=24 minDomainSize=46 maxDomainSize=302 nbTotalValues=455735
0.62/0.72 => wckTime=0.422 cpuTime=0.27 mem=24M460
0.62/0.72
0.62/0.72 predicates being loaded...
0.62/0.79
0.62/0.79 constraints being loaded...
21.13/21.44
21.13/21.44 INFO : Stopping converting binary constraints (cpu=20.06, mem = 74M300)
34.28/34.77 nbConstraints=33337 nbMergedConstraints=30625 nbConvertedConstraints=745 nbConvertConstraintsChecks=39630489
34.28/34.77 nbExtensionStructures=597 nbSharedExtensionStructures=300 nbConflictsStructures=1624
34.28/34.77 nbSharedConflictsStructures=663 nbUnbuiltConflictsStructures=6213 nbSharedBinaryRepresentations=266589
34.28/34.77 nbEvaluationManagers=7240 nbSharedEvaluationManagers=25352 minDegree=10 maxDegree=47 minArity=2 maxArity=2
34.28/34.77 nbGenerators=0 nbFusions=0 symmetryWckTime=4.297 symmetryCpuTime=3.53
34.28/34.77 => wckTime=34.472 cpuTime=31.7 mem=124M831
35.07/35.59
35.07/35.59 solver IterativeSystematicSolver being built...
36.06/36.51 => wckTime=36.207 cpuTime=32.29 mem=208M374
36.65/37.14
36.65/37.14 preprocessing
36.65/37.14 nbConstraintChecks=785308 nbValidityChecks=19234 nbPropagations=44 nbRevisions=2856 nbUselessRevisions=1723
36.65/37.14 nbRemovedValues=138650 detectedInconsistency=yes
36.65/37.14 => wckTime=0.614 cpuTime=0.58 mem=208M374
36.65/37.14
36.65/37.14 global
36.65/37.14 nbConstraintChecks=785308 nbValidityChecks=19234 nbPropagations=44 nbRevisions=2856 nbUselessRevisions=1723
36.65/37.14 nbRestartNogoods=0 solvingWckTime=0.617 solvingCpuTime=0.59 expiredTime=no totalExploration=yes
36.65/37.14 nbFoundSolutions=0 globalCpuTime=32.93
36.65/37.14 => wckTime=36.839 cpuTime=32.89 mem=208M374
36.65/37.16
36.65/37.16 s UNSATISFIABLE
36.65/37.16 d NODES 0
36.65/37.16 d CHECKS 785308
36.65/37.16
36.65/37.16 totalWckTime=36.928 totalCpuTime=32.94
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1087274-1215243343/watcher-1087274-1215243343 -o /tmp/evaluation-result-1087274-1215243343/solver-1087274-1215243343 -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-1087274-1215243343.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: 1.91 1.98 1.99 4/72 13262
/proc/meminfo: memFree=1539632/2055920 swapFree=4180452/4192956
[pid=13262] ppid=13260 vsize=18572 CPUtime=0
/proc/13262/stat : 13262 (runsolver) R 13260 13262 12366 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 2003308194 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 221780700455 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/13262/statm: 4643 292 257 25 0 2626 0
[startup+0.0191019 s]
/proc/loadavg: 1.91 1.98 1.99 4/72 13262
/proc/meminfo: memFree=1539632/2055920 swapFree=4180452/4192956
[pid=13262] ppid=13260 vsize=10704 CPUtime=0
/proc/13262/stat : 13262 (java) S 13260 13262 12366 0 -1 0 739 0 0 0 0 0 0 0 18 0 2 0 2003308194 10960896 519 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/13262/statm: 2676 519 243 9 0 1196 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10704
[startup+0.101426 s]
/proc/loadavg: 1.91 1.98 1.99 4/72 13262
/proc/meminfo: memFree=1539632/2055920 swapFree=4180452/4192956
[pid=13262] ppid=13260 vsize=865884 CPUtime=0.08
/proc/13262/stat : 13262 (java) S 13260 13262 12366 0 -1 0 3637 0 1 0 6 2 0 0 18 0 9 0 2003308194 886665216 3122 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13262/statm: 216471 3122 1674 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.302442 s]
/proc/loadavg: 1.91 1.98 1.99 4/72 13262
/proc/meminfo: memFree=1539632/2055920 swapFree=4180452/4192956
[pid=13262] ppid=13260 vsize=866204 CPUtime=0.26
/proc/13262/stat : 13262 (java) S 13260 13262 12366 0 -1 0 5275 0 3 0 23 3 0 0 18 0 9 0 2003308194 886992896 4704 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13262/statm: 216551 4704 1862 9 0 211099 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 866204
[startup+0.702466 s]
/proc/loadavg: 1.91 1.98 1.99 4/72 13262
/proc/meminfo: memFree=1539632/2055920 swapFree=4180452/4192956
[pid=13262] ppid=13260 vsize=867432 CPUtime=0.62
/proc/13262/stat : 13262 (java) S 13260 13262 12366 0 -1 0 10279 0 9 0 55 7 0 0 18 0 9 0 2003308194 888250368 9657 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13262/statm: 216858 9657 1972 9 0 211386 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 867432
[startup+1.50252 s]
/proc/loadavg: 1.91 1.98 1.99 3/81 13271
/proc/meminfo: memFree=1492904/2055920 swapFree=4180452/4192956
[pid=13262] ppid=13260 vsize=867432 CPUtime=1.41
/proc/13262/stat : 13262 (java) S 13260 13262 12366 0 -1 0 20817 0 9 0 127 14 0 0 18 0 9 0 2003308194 888250368 20160 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13262/statm: 216858 20160 2004 9 0 211386 0
[pid=13262/tid=13264] ppid=13260 vsize=867432 CPUtime=1.12
/proc/13262/task/13264/stat : 13264 (java) R 13260 13262 12366 0 -1 64 15735 0 9 0 101 11 0 0 24 0 9 0 2003308195 888250368 20160 996147200 134512640 134550740 4294955968 18446744073709551615 4126532168 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13265] ppid=13260 vsize=867432 CPUtime=0.08
/proc/13262/task/13265/stat : 13265 (java) S 13260 13262 12366 0 -1 64 3752 0 0 0 7 1 0 0 16 0 9 0 2003308197 888250368 20160 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13266] ppid=13260 vsize=867432 CPUtime=0
/proc/13262/task/13266/stat : 13266 (java) S 13260 13262 12366 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003308197 888250368 20160 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13267] ppid=13260 vsize=867432 CPUtime=0
/proc/13262/task/13267/stat : 13267 (java) S 13260 13262 12366 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2003308197 888250368 20160 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13268] ppid=13260 vsize=867432 CPUtime=0
/proc/13262/task/13268/stat : 13268 (java) S 13260 13262 12366 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003308199 888250368 20160 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13269] ppid=13260 vsize=867432 CPUtime=0.18
/proc/13262/task/13269/stat : 13269 (java) S 13260 13262 12366 0 -1 64 633 0 0 0 18 0 0 0 15 0 9 0 2003308199 888250368 20160 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13270] ppid=13260 vsize=867432 CPUtime=0
/proc/13262/task/13270/stat : 13270 (java) S 13260 13262 12366 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003308199 888250368 20160 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13271] ppid=13260 vsize=867432 CPUtime=0
/proc/13262/task/13271/stat : 13271 (java) S 13260 13262 12366 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003308199 888250368 20160 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 867432
[startup+3.10162 s]
/proc/loadavg: 1.91 1.98 1.99 4/81 13271
/proc/meminfo: memFree=1452392/2055920 swapFree=4180452/4192956
[pid=13262] ppid=13260 vsize=867432 CPUtime=2.99
/proc/13262/stat : 13262 (java) S 13260 13262 12366 0 -1 0 25374 0 9 0 282 17 0 0 18 0 9 0 2003308194 888250368 24715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13262/statm: 216858 24715 2004 9 0 211386 0
[pid=13262/tid=13264] ppid=13260 vsize=867432 CPUtime=2.47
/proc/13262/task/13264/stat : 13264 (java) R 13260 13262 12366 0 -1 64 15738 0 9 0 236 11 0 0 25 0 9 0 2003308195 888250368 24715 996147200 134512640 134550740 4294955968 18446744073709551615 103825847 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13265] ppid=13260 vsize=867432 CPUtime=0.3
/proc/13262/task/13265/stat : 13265 (java) S 13260 13262 12366 0 -1 64 8306 0 0 0 27 3 0 0 17 0 9 0 2003308197 888250368 24715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13266] ppid=13260 vsize=867432 CPUtime=0
/proc/13262/task/13266/stat : 13266 (java) S 13260 13262 12366 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003308197 888250368 24715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13267] ppid=13260 vsize=867432 CPUtime=0
/proc/13262/task/13267/stat : 13267 (java) S 13260 13262 12366 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2003308197 888250368 24715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13268] ppid=13260 vsize=867432 CPUtime=0
/proc/13262/task/13268/stat : 13268 (java) S 13260 13262 12366 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003308199 888250368 24715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13269] ppid=13260 vsize=867432 CPUtime=0.18
/proc/13262/task/13269/stat : 13269 (java) S 13260 13262 12366 0 -1 64 633 0 0 0 18 0 0 0 16 0 9 0 2003308199 888250368 24715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13270] ppid=13260 vsize=867432 CPUtime=0
/proc/13262/task/13270/stat : 13270 (java) S 13260 13262 12366 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003308199 888250368 24715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13271] ppid=13260 vsize=867432 CPUtime=0
/proc/13262/task/13271/stat : 13271 (java) S 13260 13262 12366 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003308199 888250368 24715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 867432
[startup+6.30281 s]
/proc/loadavg: 1.92 1.98 1.99 3/81 13271
/proc/meminfo: memFree=1433448/2055920 swapFree=4180452/4192956
[pid=13262] ppid=13260 vsize=867432 CPUtime=6.16
/proc/13262/stat : 13262 (java) S 13260 13262 12366 0 -1 0 28579 0 9 0 595 21 0 0 18 0 9 0 2003308194 888250368 27914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13262/statm: 216858 27914 2006 9 0 211386 0
[pid=13262/tid=13264] ppid=13260 vsize=867432 CPUtime=5.37
/proc/13262/task/13264/stat : 13264 (java) R 13260 13262 12366 0 -1 64 15775 0 9 0 524 13 0 0 25 0 9 0 2003308195 888250368 27914 996147200 134512640 134550740 4294955968 18446744073709551615 4126908336 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13265] ppid=13260 vsize=867432 CPUtime=0.55
/proc/13262/task/13265/stat : 13265 (java) S 13260 13262 12366 0 -1 64 11453 0 0 0 49 6 0 0 17 0 9 0 2003308197 888250368 27914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13266] ppid=13260 vsize=867432 CPUtime=0
/proc/13262/task/13266/stat : 13266 (java) S 13260 13262 12366 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003308197 888250368 27914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13267] ppid=13260 vsize=867432 CPUtime=0
/proc/13262/task/13267/stat : 13267 (java) S 13260 13262 12366 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2003308197 888250368 27914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13268] ppid=13260 vsize=867432 CPUtime=0
/proc/13262/task/13268/stat : 13268 (java) S 13260 13262 12366 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003308199 888250368 27914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13269] ppid=13260 vsize=867432 CPUtime=0.22
/proc/13262/task/13269/stat : 13269 (java) S 13260 13262 12366 0 -1 64 654 0 0 0 22 0 0 0 15 0 9 0 2003308199 888250368 27914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13270] ppid=13260 vsize=867432 CPUtime=0
/proc/13262/task/13270/stat : 13270 (java) S 13260 13262 12366 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003308199 888250368 27914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13271] ppid=13260 vsize=867432 CPUtime=0
/proc/13262/task/13271/stat : 13271 (java) S 13260 13262 12366 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003308199 888250368 27914 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.16
Current children cumulated vsize (KiB) 867432
[startup+12.7012 s]
/proc/loadavg: 1.93 1.98 1.99 3/81 13271
/proc/meminfo: memFree=1426728/2055920 swapFree=4180452/4192956
[pid=13262] ppid=13260 vsize=867432 CPUtime=12.5
/proc/13262/stat : 13262 (java) S 13260 13262 12366 0 -1 0 30235 0 9 0 1227 23 0 0 18 0 9 0 2003308194 888250368 29567 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13262/statm: 216858 29567 2006 9 0 211386 0
[pid=13262/tid=13264] ppid=13260 vsize=867432 CPUtime=11.57
/proc/13262/task/13264/stat : 13264 (java) R 13260 13262 12366 0 -1 64 15778 0 9 0 1142 15 0 0 25 0 9 0 2003308195 888250368 29567 996147200 134512640 134550740 4294955968 18446744073709551615 4126911031 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13265] ppid=13260 vsize=867432 CPUtime=0.66
/proc/13262/task/13265/stat : 13265 (java) S 13260 13262 12366 0 -1 64 13083 0 0 0 59 7 0 0 16 0 9 0 2003308197 888250368 29567 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13266] ppid=13260 vsize=867432 CPUtime=0
/proc/13262/task/13266/stat : 13266 (java) S 13260 13262 12366 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003308197 888250368 29567 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13267] ppid=13260 vsize=867432 CPUtime=0
/proc/13262/task/13267/stat : 13267 (java) S 13260 13262 12366 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2003308197 888250368 29567 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13268] ppid=13260 vsize=867432 CPUtime=0
/proc/13262/task/13268/stat : 13268 (java) S 13260 13262 12366 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003308199 888250368 29567 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13269] ppid=13260 vsize=867432 CPUtime=0.24
/proc/13262/task/13269/stat : 13269 (java) S 13260 13262 12366 0 -1 64 677 0 0 0 24 0 0 0 15 0 9 0 2003308199 888250368 29567 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13270] ppid=13260 vsize=867432 CPUtime=0
/proc/13262/task/13270/stat : 13270 (java) S 13260 13262 12366 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003308199 888250368 29567 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13271] ppid=13260 vsize=867432 CPUtime=0
/proc/13262/task/13271/stat : 13271 (java) S 13260 13262 12366 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003308199 888250368 29567 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 867432
[startup+25.502 s]
/proc/loadavg: 2.02 2.00 2.00 3/81 13271
/proc/meminfo: memFree=1409768/2055920 swapFree=4180452/4192956
[pid=13262] ppid=13260 vsize=867432 CPUtime=25.19
/proc/13262/stat : 13262 (java) S 13260 13262 12366 0 -1 0 34526 0 9 0 2491 28 0 0 18 0 9 0 2003308194 888250368 33850 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13262/statm: 216858 33850 2007 9 0 211386 0
[pid=13262/tid=13264] ppid=13260 vsize=867432 CPUtime=23.9
/proc/13262/task/13264/stat : 13264 (java) R 13260 13262 12366 0 -1 64 15787 0 9 0 2373 17 0 0 25 0 9 0 2003308195 888250368 33850 996147200 134512640 134550740 4294955968 18446744073709551615 4126415827 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13265] ppid=13260 vsize=867432 CPUtime=0.96
/proc/13262/task/13265/stat : 13265 (java) S 13260 13262 12366 0 -1 64 17338 0 0 0 87 9 0 0 17 0 9 0 2003308197 888250368 33850 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13266] ppid=13260 vsize=867432 CPUtime=0
/proc/13262/task/13266/stat : 13266 (java) S 13260 13262 12366 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003308197 888250368 33850 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13267] ppid=13260 vsize=867432 CPUtime=0
/proc/13262/task/13267/stat : 13267 (java) S 13260 13262 12366 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 2003308197 888250368 33850 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13268] ppid=13260 vsize=867432 CPUtime=0
/proc/13262/task/13268/stat : 13268 (java) S 13260 13262 12366 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003308199 888250368 33850 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13269] ppid=13260 vsize=867432 CPUtime=0.29
/proc/13262/task/13269/stat : 13269 (java) S 13260 13262 12366 0 -1 64 704 0 0 0 29 0 0 0 16 0 9 0 2003308199 888250368 33850 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13270] ppid=13260 vsize=867432 CPUtime=0
/proc/13262/task/13270/stat : 13270 (java) S 13260 13262 12366 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 2003308199 888250368 33850 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13271] ppid=13260 vsize=867432 CPUtime=0
/proc/13262/task/13271/stat : 13271 (java) S 13260 13262 12366 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 2003308199 888250368 33850 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.19
Current children cumulated vsize (KiB) 867432
Solver just ended. Dumping a history of the last processes samples
[startup+31.9074 s]
/proc/loadavg: 2.02 2.00 2.00 3/81 13275
/proc/meminfo: memFree=1375592/2055920 swapFree=4180452/4192956
[pid=13262] ppid=13260 vsize=867756 CPUtime=31.5
/proc/13262/stat : 13262 (java) S 13260 13262 12366 0 -1 0 44776 1871 10 0 3070 35 42 3 18 0 9 0 2003308194 888582144 42226 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13262/statm: 216939 42226 2018 9 0 211467 0
[pid=13262/tid=13264] ppid=13260 vsize=867756 CPUtime=29.51
/proc/13262/task/13264/stat : 13264 (java) R 13260 13262 12366 0 -1 64 17371 1871 10 0 2888 18 42 3 25 0 9 0 2003308195 888582144 42226 996147200 134512640 134550740 4294955968 18446744073709551615 4126912167 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13265] ppid=13260 vsize=867756 CPUtime=2.06
/proc/13262/task/13265/stat : 13265 (java) S 13260 13262 12366 0 -1 64 25707 1871 0 0 148 13 42 3 16 0 9 0 2003308197 888582144 42226 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13266] ppid=13260 vsize=867756 CPUtime=0.45
/proc/13262/task/13266/stat : 13266 (java) S 13260 13262 12366 0 -1 64 13 1871 0 0 0 0 42 3 16 0 9 0 2003308197 888582144 42226 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13267] ppid=13260 vsize=867756 CPUtime=0.45
/proc/13262/task/13267/stat : 13267 (java) S 13260 13262 12366 0 -1 64 6 1871 0 0 0 0 42 3 16 0 9 0 2003308197 888582144 42226 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13268] ppid=13260 vsize=867756 CPUtime=0.45
/proc/13262/task/13268/stat : 13268 (java) S 13260 13262 12366 0 -1 64 1 1871 0 0 0 0 42 3 18 0 9 0 2003308199 888582144 42226 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13269] ppid=13260 vsize=867756 CPUtime=0.79
/proc/13262/task/13269/stat : 13269 (java) S 13260 13262 12366 0 -1 64 844 1871 0 0 33 1 42 3 16 0 9 0 2003308199 888582144 42226 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13270] ppid=13260 vsize=867756 CPUtime=0.45
/proc/13262/task/13270/stat : 13270 (java) S 13260 13262 12366 0 -1 64 1 1871 0 0 0 0 42 3 19 0 9 0 2003308199 888582144 42226 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13271] ppid=13260 vsize=867756 CPUtime=0.45
/proc/13262/task/13271/stat : 13271 (java) S 13260 13262 12366 0 -1 64 18 1871 0 0 0 0 42 3 15 0 9 0 2003308199 888582144 42226 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.5
Current children cumulated vsize (KiB) 867756
[startup+35.1026 s]
/proc/loadavg: 2.02 2.00 2.00 4/81 13275
/proc/meminfo: memFree=1375528/2055920 swapFree=4180452/4192956
[pid=13262] ppid=13260 vsize=867756 CPUtime=34.67
/proc/13262/stat : 13262 (java) S 13260 13262 12366 0 -1 0 67591 1871 10 0 3384 38 42 3 18 0 9 0 2003308194 888582144 42336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13262/statm: 216939 42336 2067 9 0 211467 0
[pid=13262/tid=13264] ppid=13260 vsize=867756 CPUtime=32.35
/proc/13262/task/13264/stat : 13264 (java) R 13260 13262 12366 0 -1 64 22850 1871 10 0 3171 19 42 3 24 0 9 0 2003308195 888582144 42336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13265] ppid=13260 vsize=867756 CPUtime=2.38
/proc/13262/task/13265/stat : 13265 (java) R 13260 13262 12366 0 -1 64 43031 1871 0 0 178 15 42 3 18 0 9 0 2003308197 888582144 42336 996147200 134512640 134550740 4294955968 18446744073709551615 102721928 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13266] ppid=13260 vsize=867756 CPUtime=0.45
/proc/13262/task/13266/stat : 13266 (java) S 13260 13262 12366 0 -1 64 13 1871 0 0 0 0 42 3 16 0 9 0 2003308197 888582144 42336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13267] ppid=13260 vsize=867756 CPUtime=0.45
/proc/13262/task/13267/stat : 13267 (java) S 13260 13262 12366 0 -1 64 6 1871 0 0 0 0 42 3 16 0 9 0 2003308197 888582144 42336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13268] ppid=13260 vsize=867756 CPUtime=0.45
/proc/13262/task/13268/stat : 13268 (java) S 13260 13262 12366 0 -1 64 1 1871 0 0 0 0 42 3 18 0 9 0 2003308199 888582144 42336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13269] ppid=13260 vsize=867756 CPUtime=0.8
/proc/13262/task/13269/stat : 13269 (java) S 13260 13262 12366 0 -1 64 856 1871 0 0 34 1 42 3 16 0 9 0 2003308199 888582144 42336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13270] ppid=13260 vsize=867756 CPUtime=0.45
/proc/13262/task/13270/stat : 13270 (java) S 13260 13262 12366 0 -1 64 1 1871 0 0 0 0 42 3 19 0 9 0 2003308199 888582144 42336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13271] ppid=13260 vsize=867756 CPUtime=0.45
/proc/13262/task/13271/stat : 13271 (java) S 13260 13262 12366 0 -1 64 18 1871 0 0 0 0 42 3 15 0 9 0 2003308199 888582144 42336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 34.67
Current children cumulated vsize (KiB) 867756
[startup+35.9027 s]
/proc/loadavg: 2.02 2.00 2.00 4/81 13275
/proc/meminfo: memFree=1375528/2055920 swapFree=4180452/4192956
[pid=13262] ppid=13260 vsize=867756 CPUtime=35.46
/proc/13262/stat : 13262 (java) S 13260 13262 12366 0 -1 0 84405 1871 10 0 3458 43 42 3 18 0 9 0 2003308194 888582144 46435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13262/statm: 216939 46435 2615 9 0 211467 0
[pid=13262/tid=13264] ppid=13260 vsize=867756 CPUtime=32.59
/proc/13262/task/13264/stat : 13264 (java) R 13260 13262 12366 0 -1 64 33256 1871 10 0 3192 22 42 3 25 0 9 0 2003308195 888582144 46435 996147200 134512640 134550740 4294955968 18446744073709551615 4126696756 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13265] ppid=13260 vsize=867756 CPUtime=2.92
/proc/13262/task/13265/stat : 13265 (java) S 13260 13262 12366 0 -1 64 49378 1871 0 0 229 18 42 3 16 0 9 0 2003308197 888582144 46435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13266] ppid=13260 vsize=867756 CPUtime=0.45
/proc/13262/task/13266/stat : 13266 (java) S 13260 13262 12366 0 -1 64 17 1871 0 0 0 0 42 3 16 0 9 0 2003308197 888582144 46435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13267] ppid=13260 vsize=867756 CPUtime=0.45
/proc/13262/task/13267/stat : 13267 (java) S 13260 13262 12366 0 -1 64 27 1871 0 0 0 0 42 3 15 0 9 0 2003308197 888582144 46435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13268] ppid=13260 vsize=867756 CPUtime=0.45
/proc/13262/task/13268/stat : 13268 (java) S 13260 13262 12366 0 -1 64 1 1871 0 0 0 0 42 3 18 0 9 0 2003308199 888582144 46435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13269] ppid=13260 vsize=867756 CPUtime=0.82
/proc/13262/task/13269/stat : 13269 (java) S 13260 13262 12366 0 -1 64 892 1871 0 0 36 1 42 3 15 0 9 0 2003308199 888582144 46435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13270] ppid=13260 vsize=867756 CPUtime=0.45
/proc/13262/task/13270/stat : 13270 (java) S 13260 13262 12366 0 -1 64 1 1871 0 0 0 0 42 3 19 0 9 0 2003308199 888582144 46435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13271] ppid=13260 vsize=867756 CPUtime=0.45
/proc/13262/task/13271/stat : 13271 (java) S 13260 13262 12366 0 -1 64 18 1871 0 0 0 0 42 3 15 0 9 0 2003308199 888582144 46435 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 35.46
Current children cumulated vsize (KiB) 867756
[startup+36.7017 s]
/proc/loadavg: 2.02 2.00 2.00 3/81 13275
/proc/meminfo: memFree=1327784/2055920 swapFree=4180452/4192956
[pid=13262] ppid=13260 vsize=867844 CPUtime=36.25
/proc/13262/stat : 13262 (java) S 13260 13262 12366 0 -1 0 97880 1871 10 0 3529 51 42 3 18 0 9 0 2003308194 888672256 59097 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13262/statm: 216961 59097 2638 9 0 211467 0
[pid=13262/tid=13264] ppid=13260 vsize=867844 CPUtime=33.11
/proc/13262/task/13264/stat : 13264 (java) R 13260 13262 12366 0 -1 64 33326 1871 10 0 3244 22 42 3 25 0 9 0 2003308195 888672256 59097 996147200 134512640 134550740 4294955968 18446744073709551615 4126905910 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13265] ppid=13260 vsize=867844 CPUtime=3.12
/proc/13262/task/13265/stat : 13265 (java) S 13260 13262 12366 0 -1 64 62700 1871 0 0 243 24 42 3 16 0 9 0 2003308197 888672256 59097 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13266] ppid=13260 vsize=867844 CPUtime=0.45
/proc/13262/task/13266/stat : 13266 (java) S 13260 13262 12366 0 -1 64 17 1871 0 0 0 0 42 3 16 0 9 0 2003308197 888672256 59097 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13267] ppid=13260 vsize=867844 CPUtime=0.45
/proc/13262/task/13267/stat : 13267 (java) S 13260 13262 12366 0 -1 64 27 1871 0 0 0 0 42 3 15 0 9 0 2003308197 888672256 59097 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13268] ppid=13260 vsize=867844 CPUtime=0.45
/proc/13262/task/13268/stat : 13268 (java) S 13260 13262 12366 0 -1 64 1 1871 0 0 0 0 42 3 18 0 9 0 2003308199 888672256 59097 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13269] ppid=13260 vsize=867844 CPUtime=0.88
/proc/13262/task/13269/stat : 13269 (java) S 13260 13262 12366 0 -1 64 975 1871 0 0 42 1 42 3 16 0 9 0 2003308199 888672256 59097 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13270] ppid=13260 vsize=867844 CPUtime=0.45
/proc/13262/task/13270/stat : 13270 (java) S 13260 13262 12366 0 -1 64 1 1871 0 0 0 0 42 3 19 0 9 0 2003308199 888672256 59097 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13271] ppid=13260 vsize=867844 CPUtime=0.45
/proc/13262/task/13271/stat : 13271 (java) S 13260 13262 12366 0 -1 64 18 1871 0 0 0 0 42 3 15 0 9 0 2003308199 888672256 59097 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 36.25
Current children cumulated vsize (KiB) 867844
[startup+37.1018 s]
/proc/loadavg: 2.02 2.00 2.00 3/81 13275
/proc/meminfo: memFree=1327784/2055920 swapFree=4180452/4192956
[pid=13262] ppid=13260 vsize=867844 CPUtime=36.65
/proc/13262/stat : 13262 (java) S 13260 13262 12366 0 -1 0 97886 1871 10 0 3569 51 42 3 18 0 9 0 2003308194 888672256 59101 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13262/statm: 216961 59101 2638 9 0 211467 0
[pid=13262/tid=13264] ppid=13260 vsize=867844 CPUtime=33.5
/proc/13262/task/13264/stat : 13264 (java) R 13260 13262 12366 0 -1 64 33328 1871 10 0 3283 22 42 3 25 0 9 0 2003308195 888672256 59101 996147200 134512640 134550740 4294955968 18446744073709551615 4126905864 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13265] ppid=13260 vsize=867844 CPUtime=3.12
/proc/13262/task/13265/stat : 13265 (java) S 13260 13262 12366 0 -1 64 62700 1871 0 0 243 24 42 3 16 0 9 0 2003308197 888672256 59101 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13266] ppid=13260 vsize=867844 CPUtime=0.45
/proc/13262/task/13266/stat : 13266 (java) S 13260 13262 12366 0 -1 64 17 1871 0 0 0 0 42 3 16 0 9 0 2003308197 888672256 59101 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13267] ppid=13260 vsize=867844 CPUtime=0.45
/proc/13262/task/13267/stat : 13267 (java) S 13260 13262 12366 0 -1 64 27 1871 0 0 0 0 42 3 15 0 9 0 2003308197 888672256 59101 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13268] ppid=13260 vsize=867844 CPUtime=0.45
/proc/13262/task/13268/stat : 13268 (java) S 13260 13262 12366 0 -1 64 1 1871 0 0 0 0 42 3 18 0 9 0 2003308199 888672256 59101 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13269] ppid=13260 vsize=867844 CPUtime=0.89
/proc/13262/task/13269/stat : 13269 (java) S 13260 13262 12366 0 -1 64 979 1871 0 0 43 1 42 3 15 0 9 0 2003308199 888672256 59101 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13270] ppid=13260 vsize=867844 CPUtime=0.45
/proc/13262/task/13270/stat : 13270 (java) S 13260 13262 12366 0 -1 64 1 1871 0 0 0 0 42 3 19 0 9 0 2003308199 888672256 59101 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=13262/tid=13271] ppid=13260 vsize=867844 CPUtime=0.45
/proc/13262/task/13271/stat : 13271 (java) S 13260 13262 12366 0 -1 64 18 1871 0 0 0 0 42 3 15 0 9 0 2003308199 888672256 59101 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 36.65
Current children cumulated vsize (KiB) 867844
[startup+37.2022 s]
/proc/loadavg: 2.02 2.00 2.00 3/81 13275
/proc/meminfo: memFree=1327784/2055920 swapFree=4180452/4192956
[pid=13262] ppid=13260 vsize=0 CPUtime=36.73
/proc/13262/stat : 13262 (java) Z 13260 13262 12366 0 -1 12 97921 1871 10 0 3575 53 42 3 16 0 2 0 2003308194 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/13262/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 36.73
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 37.2239
CPU time (s): 36.7784
CPU user time (s): 36.1875
CPU system time (s): 0.59091
CPU usage (%): 98.8033
Max. virtual memory (cumulated for all children) (KiB): 867844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.1875
system time used= 0.59091
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99792
page faults= 10
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3118
involuntary context switches= 3704
runsolver used 0.044993 second user time and 0.139978 second system time
The end
Begin job on node29 at 2008-07-05 09:35:44
IDJOB=1087274
IDBENCH=57964
IDSOLVER=364
FILE ID=node29/1087274-1215243343
PBS_JOBID= 7881953
Free space on /tmp= 66480 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/fapp/fapp23/normalized-fapp23-1800-4.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-1087274-1215243343/watcher-1087274-1215243343 -o /tmp/evaluation-result-1087274-1215243343/solver-1087274-1215243343 -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-1087274-1215243343.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 26fa47e715f58ab849bf125de88d1d96
RANDOM SEED=1790906841
node29.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.220
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.220
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: 1540048 kB
Buffers: 6280 kB
Cached: 106132 kB
SwapCached: 6928 kB
Active: 403276 kB
Inactive: 60744 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1540048 kB
SwapTotal: 4192956 kB
SwapFree: 4180452 kB
Dirty: 10864 kB
Writeback: 0 kB
Mapped: 359104 kB
Slab: 36160 kB
Committed_AS: 3972648 kB
PageTables: 2716 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= 66480 MiB
End job on node29 at 2008-07-05 09:36:21