0.07/0.08
0.07/0.08 Abscon 112 (May, 2008)
0.18/0.23
0.18/0.23 configuration
0.18/0.23 name=esac.xml
0.28/0.31
0.28/0.31 instance
0.28/0.31 name=HOME/instance-1044824-1215021019.xml
0.28/0.35
0.28/0.35 domains being loaded...
0.28/0.36
0.28/0.36 variables being loaded...
0.28/0.38 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19 nbTotalValues=760
0.28/0.38 => wckTime=0.148 cpuTime=0.11 mem=7M919
0.28/0.38
0.28/0.39 relations being loaded...
0.48/0.50
0.48/0.50 constraints being loaded...
0.67/0.72 nbConstraints=326 nbRelationTypes=326 nbExtensionStructures=326 nbSharedExtensionStructures=0
0.67/0.72 nbConflictsStructures=326 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2234 minDegree=12
0.67/0.72 maxDegree=24 minArity=2 maxArity=2 nbGenerators=0 nbFusions=0 symmetryWckTime=0.065 symmetryCpuTime=0.03
0.67/0.72 => wckTime=0.484 cpuTime=0.31 mem=18M741
0.67/0.79
0.67/0.79 solver IterativeSystematicSolver being built...
0.86/0.93 => wckTime=0.691 cpuTime=0.44 mem=21M198
0.86/0.98
0.86/0.98 preprocessing
0.86/0.98 nbConstraintChecks=61534 nbPropagations=879 nbRevisions=6867 nbUselessRevisions=5706 nbSingletonTests=47
0.86/0.98 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0 detectedInconsistency=no
0.86/0.98 => wckTime=0.053 cpuTime=0.03 mem=21M198
1.05/1.12
1.05/1.12 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=22M206)
80.52/82.17
80.52/82.17 search
80.52/82.17 run=21 nbConstraintChecks=451050469 minDepth=0 maxDepth=40 nbPropagations=19516876 nbRevisions=269121695
80.52/82.17 nbUselessRevisions=215836774 nbAssignments=297888 nbFailedAssignments=125065 nbInferredBacktracks=3
80.52/82.17 nbBacktracks=172630 nbVisitedNodes=526472 nbRestartNogoods=203 nbFoundSolutions=1 nbSEliminables=7.24
80.52/82.17 nbREliminables=1.6 nbIEliminables=0.41 nbDEliminables=0 nbPEliminables=0
80.52/82.17 => wckTime=81.236 cpuTime=79.61 mem=22M206
80.52/82.17
80.52/82.17 global
80.52/82.17 nbConstraintChecks=451112003 nbPropagations=19517755 nbRevisions=269128562 nbUselessRevisions=215842480
80.52/82.17 nbRestartNogoods=203 solvingWckTime=81.239 solvingCpuTime=79.61 expiredTime=no totalExploration=no
80.52/82.17 nbFoundSolutions=1 firstSolutionCpuTime=80.05 globalCpuTime=80.11
80.52/82.17 => wckTime=81.933 cpuTime=80.05 mem=22M206
80.52/82.17
80.52/82.17 s SATISFIABLE
80.52/82.17 v 16 5 3 17 16 18 8 11 3 16 10 0 8 18 13 16 8 1 9 10 7 16 8 5 7 6 12 2 12 0 8 5 12 9 9 13 12 5 13 6
80.52/82.17 d NODES 297888
80.52/82.17 d CHECKS 451112003
80.52/82.17
80.52/82.17 totalWckTime=81.989 totalCpuTime=80.11
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1044824-1215021019/watcher-1044824-1215021019 -o /tmp/evaluation-result-1044824-1215021019/solver-1044824-1215021019 -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-1044824-1215021019.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.00 1.97 1.70 4/93 26437
/proc/meminfo: memFree=1739120/2055920 swapFree=4181476/4192956
[pid=26437] ppid=26435 vsize=1616 CPUtime=0
/proc/26437/stat : 26437 (java) D 26435 26437 26088 0 -1 0 317 0 0 0 0 0 0 0 18 0 1 0 1981071500 1654784 126 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/26437/statm: 404 151 125 9 0 46 0
[startup+0.0815429 s]
/proc/loadavg: 2.00 1.97 1.70 4/93 26437
/proc/meminfo: memFree=1739120/2055920 swapFree=4181476/4192956
[pid=26437] ppid=26435 vsize=865856 CPUtime=0.07
/proc/26437/stat : 26437 (java) S 26435 26437 26088 0 -1 0 3505 0 1 0 5 2 0 0 18 0 9 0 1981071500 886636544 2995 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26437/statm: 216464 2995 1620 9 0 211026 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865856
[startup+0.101548 s]
/proc/loadavg: 2.00 1.97 1.70 4/93 26437
/proc/meminfo: memFree=1739120/2055920 swapFree=4181476/4192956
[pid=26437] ppid=26435 vsize=865884 CPUtime=0.09
/proc/26437/stat : 26437 (java) S 26435 26437 26088 0 -1 0 3752 0 1 0 7 2 0 0 18 0 9 0 1981071500 886665216 3209 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26437/statm: 216471 3209 1701 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.301573 s]
/proc/loadavg: 2.00 1.97 1.70 4/93 26437
/proc/meminfo: memFree=1739120/2055920 swapFree=4181476/4192956
[pid=26437] ppid=26435 vsize=866196 CPUtime=0.28
/proc/26437/stat : 26437 (java) S 26435 26437 26088 0 -1 0 5623 0 1 0 25 3 0 0 18 0 9 0 1981071500 886984704 5037 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26437/statm: 216549 5037 1903 9 0 211097 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866196
[startup+0.701643 s]
/proc/loadavg: 2.00 1.97 1.70 4/93 26437
/proc/meminfo: memFree=1739120/2055920 swapFree=4181476/4192956
[pid=26437] ppid=26435 vsize=867344 CPUtime=0.67
/proc/26437/stat : 26437 (java) S 26435 26437 26088 0 -1 0 9070 0 1 0 61 6 0 0 18 0 10 0 1981071500 888160256 8311 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26437/statm: 216836 8311 1993 9 0 211364 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867344
[startup+1.50179 s]
/proc/loadavg: 2.00 1.97 1.70 3/102 26450
/proc/meminfo: memFree=1706784/2055920 swapFree=4181476/4192956
[pid=26437] ppid=26435 vsize=867884 CPUtime=1.44
/proc/26437/stat : 26437 (java) S 26435 26437 26088 0 -1 0 17010 289 1 0 136 8 0 0 18 0 9 0 1981071500 888713216 10708 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26437/statm: 216971 10708 2633 9 0 211477 0
[pid=26437/tid=26438] ppid=26435 vsize=867884 CPUtime=1.14
/proc/26437/task/26438/stat : 26438 (java) R 26435 26437 26088 0 -1 64 11861 289 1 0 108 6 0 0 25 0 9 0 1981071501 888713216 10708 996147200 134512640 134550740 4294955968 18446744073709551615 4126095810 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26440] ppid=26435 vsize=867884 CPUtime=0.04
/proc/26437/task/26440/stat : 26440 (java) S 26435 26437 26088 0 -1 64 3598 289 0 0 4 0 0 0 16 0 9 0 1981071503 888713216 10708 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26441] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26441/stat : 26441 (java) S 26435 26437 26088 0 -1 64 16 289 0 0 0 0 0 0 16 0 9 0 1981071503 888713216 10708 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26442] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26442/stat : 26442 (java) S 26435 26437 26088 0 -1 64 9 289 0 0 0 0 0 0 15 0 9 0 1981071503 888713216 10708 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26443] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26443/stat : 26443 (java) S 26435 26437 26088 0 -1 64 1 289 0 0 0 0 0 0 18 0 9 0 1981071505 888713216 10708 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26444] ppid=26435 vsize=867884 CPUtime=0.23
/proc/26437/task/26444/stat : 26444 (java) S 26435 26437 26088 0 -1 64 711 289 0 0 23 0 0 0 15 0 9 0 1981071505 888713216 10708 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26445] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26445/stat : 26445 (java) S 26435 26437 26088 0 -1 64 1 289 0 0 0 0 0 0 19 0 9 0 1981071505 888713216 10708 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26446] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26446/stat : 26446 (java) S 26435 26437 26088 0 -1 64 2 289 0 0 0 0 0 0 15 0 9 0 1981071505 888713216 10708 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 867884
[startup+3.10207 s]
/proc/loadavg: 2.00 1.97 1.71 3/102 26450
/proc/meminfo: memFree=1706272/2055920 swapFree=4181476/4192956
[pid=26437] ppid=26435 vsize=867884 CPUtime=3.01
/proc/26437/stat : 26437 (java) S 26435 26437 26088 0 -1 0 17025 289 1 0 293 8 0 0 18 0 9 0 1981071500 888713216 10721 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26437/statm: 216971 10721 2633 9 0 211477 0
[pid=26437/tid=26438] ppid=26435 vsize=867884 CPUtime=2.69
/proc/26437/task/26438/stat : 26438 (java) R 26435 26437 26088 0 -1 64 11865 289 1 0 263 6 0 0 25 0 9 0 1981071501 888713216 10721 996147200 134512640 134550740 4294955968 18446744073709551615 4126095819 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26440] ppid=26435 vsize=867884 CPUtime=0.04
/proc/26437/task/26440/stat : 26440 (java) S 26435 26437 26088 0 -1 64 3598 289 0 0 4 0 0 0 17 0 9 0 1981071503 888713216 10721 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26441] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26441/stat : 26441 (java) S 26435 26437 26088 0 -1 64 16 289 0 0 0 0 0 0 16 0 9 0 1981071503 888713216 10721 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26442] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26442/stat : 26442 (java) S 26435 26437 26088 0 -1 64 9 289 0 0 0 0 0 0 15 0 9 0 1981071503 888713216 10721 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26443] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26443/stat : 26443 (java) S 26435 26437 26088 0 -1 64 1 289 0 0 0 0 0 0 18 0 9 0 1981071505 888713216 10721 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26444] ppid=26435 vsize=867884 CPUtime=0.25
/proc/26437/task/26444/stat : 26444 (java) S 26435 26437 26088 0 -1 64 722 289 0 0 25 0 0 0 15 0 9 0 1981071505 888713216 10721 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26445] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26445/stat : 26445 (java) S 26435 26437 26088 0 -1 64 1 289 0 0 0 0 0 0 19 0 9 0 1981071505 888713216 10721 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26446] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26446/stat : 26446 (java) S 26435 26437 26088 0 -1 64 2 289 0 0 0 0 0 0 15 0 9 0 1981071505 888713216 10721 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 867884
[startup+6.30165 s]
/proc/loadavg: 2.00 1.97 1.71 3/102 26450
/proc/meminfo: memFree=1706080/2055920 swapFree=4181476/4192956
[pid=26437] ppid=26435 vsize=867884 CPUtime=6.16
/proc/26437/stat : 26437 (java) S 26435 26437 26088 0 -1 0 17042 289 1 0 607 9 0 0 18 0 9 0 1981071500 888713216 10724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26437/statm: 216971 10724 2633 9 0 211477 0
[pid=26437/tid=26438] ppid=26435 vsize=867884 CPUtime=5.82
/proc/26437/task/26438/stat : 26438 (java) R 26435 26437 26088 0 -1 64 11868 289 1 0 576 6 0 0 25 0 9 0 1981071501 888713216 10724 996147200 134512640 134550740 4294955968 18446744073709551615 4126871993 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26440] ppid=26435 vsize=867884 CPUtime=0.04
/proc/26437/task/26440/stat : 26440 (java) S 26435 26437 26088 0 -1 64 3598 289 0 0 4 0 0 0 16 0 9 0 1981071503 888713216 10724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26441] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26441/stat : 26441 (java) S 26435 26437 26088 0 -1 64 16 289 0 0 0 0 0 0 16 0 9 0 1981071503 888713216 10724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26442] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26442/stat : 26442 (java) S 26435 26437 26088 0 -1 64 9 289 0 0 0 0 0 0 15 0 9 0 1981071503 888713216 10724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26443] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26443/stat : 26443 (java) S 26435 26437 26088 0 -1 64 1 289 0 0 0 0 0 0 18 0 9 0 1981071505 888713216 10724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26444] ppid=26435 vsize=867884 CPUtime=0.25
/proc/26437/task/26444/stat : 26444 (java) S 26435 26437 26088 0 -1 64 723 289 0 0 25 0 0 0 16 0 9 0 1981071505 888713216 10724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26445] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26445/stat : 26445 (java) S 26435 26437 26088 0 -1 64 1 289 0 0 0 0 0 0 19 0 9 0 1981071505 888713216 10724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26446] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26446/stat : 26446 (java) S 26435 26437 26088 0 -1 64 15 289 0 0 0 0 0 0 15 0 9 0 1981071505 888713216 10724 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) 867884
[startup+12.7018 s]
/proc/loadavg: 2.00 1.97 1.71 3/102 26450
/proc/meminfo: memFree=1705768/2055920 swapFree=4181476/4192956
[pid=26437] ppid=26435 vsize=867884 CPUtime=12.44
/proc/26437/stat : 26437 (java) S 26435 26437 26088 0 -1 0 17046 289 1 0 1235 9 0 0 18 0 9 0 1981071500 888713216 10727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26437/statm: 216971 10727 2633 9 0 211477 0
[pid=26437/tid=26438] ppid=26435 vsize=867884 CPUtime=12.1
/proc/26437/task/26438/stat : 26438 (java) R 26435 26437 26088 0 -1 64 11871 289 1 0 1204 6 0 0 25 0 9 0 1981071501 888713216 10727 996147200 134512640 134550740 4294955968 18446744073709551615 4126878871 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26440] ppid=26435 vsize=867884 CPUtime=0.04
/proc/26437/task/26440/stat : 26440 (java) S 26435 26437 26088 0 -1 64 3598 289 0 0 4 0 0 0 16 0 9 0 1981071503 888713216 10727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26441] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26441/stat : 26441 (java) S 26435 26437 26088 0 -1 64 16 289 0 0 0 0 0 0 16 0 9 0 1981071503 888713216 10727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26442] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26442/stat : 26442 (java) S 26435 26437 26088 0 -1 64 9 289 0 0 0 0 0 0 15 0 9 0 1981071503 888713216 10727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26443] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26443/stat : 26443 (java) S 26435 26437 26088 0 -1 64 1 289 0 0 0 0 0 0 18 0 9 0 1981071505 888713216 10727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26444] ppid=26435 vsize=867884 CPUtime=0.25
/proc/26437/task/26444/stat : 26444 (java) S 26435 26437 26088 0 -1 64 724 289 0 0 25 0 0 0 16 0 9 0 1981071505 888713216 10727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26445] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26445/stat : 26445 (java) S 26435 26437 26088 0 -1 64 1 289 0 0 0 0 0 0 19 0 9 0 1981071505 888713216 10727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26446] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26446/stat : 26446 (java) S 26435 26437 26088 0 -1 64 15 289 0 0 0 0 0 0 15 0 9 0 1981071505 888713216 10727 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 867884
[startup+25.5021 s]
/proc/loadavg: 2.00 1.97 1.71 3/102 26450
/proc/meminfo: memFree=1705768/2055920 swapFree=4181476/4192956
[pid=26437] ppid=26435 vsize=867884 CPUtime=24.99
/proc/26437/stat : 26437 (java) S 26435 26437 26088 0 -1 0 17047 289 1 0 2490 9 0 0 18 0 9 0 1981071500 888713216 10728 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26437/statm: 216971 10728 2633 9 0 211477 0
[pid=26437/tid=26438] ppid=26435 vsize=867884 CPUtime=24.65
/proc/26437/task/26438/stat : 26438 (java) R 26435 26437 26088 0 -1 64 11872 289 1 0 2459 6 0 0 25 0 9 0 1981071501 888713216 10728 996147200 134512640 134550740 4294955968 18446744073709551615 4126918091 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26440] ppid=26435 vsize=867884 CPUtime=0.04
/proc/26437/task/26440/stat : 26440 (java) S 26435 26437 26088 0 -1 64 3598 289 0 0 4 0 0 0 16 0 9 0 1981071503 888713216 10728 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26441] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26441/stat : 26441 (java) S 26435 26437 26088 0 -1 64 16 289 0 0 0 0 0 0 16 0 9 0 1981071503 888713216 10728 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26442] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26442/stat : 26442 (java) S 26435 26437 26088 0 -1 64 9 289 0 0 0 0 0 0 15 0 9 0 1981071503 888713216 10728 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26443] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26443/stat : 26443 (java) S 26435 26437 26088 0 -1 64 1 289 0 0 0 0 0 0 18 0 9 0 1981071505 888713216 10728 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26444] ppid=26435 vsize=867884 CPUtime=0.25
/proc/26437/task/26444/stat : 26444 (java) S 26435 26437 26088 0 -1 64 724 289 0 0 25 0 0 0 16 0 9 0 1981071505 888713216 10728 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26445] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26445/stat : 26445 (java) S 26435 26437 26088 0 -1 64 1 289 0 0 0 0 0 0 19 0 9 0 1981071505 888713216 10728 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26446] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26446/stat : 26446 (java) S 26435 26437 26088 0 -1 64 15 289 0 0 0 0 0 0 15 0 9 0 1981071505 888713216 10728 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.99
Current children cumulated vsize (KiB) 867884
[startup+51.1018 s]
/proc/loadavg: 2.00 1.97 1.72 3/102 26450
/proc/meminfo: memFree=1705832/2055920 swapFree=4181476/4192956
[pid=26437] ppid=26435 vsize=867884 CPUtime=50.11
/proc/26437/stat : 26437 (java) S 26435 26437 26088 0 -1 0 17049 289 1 0 5002 9 0 0 18 0 9 0 1981071500 888713216 10730 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26437/statm: 216971 10730 2633 9 0 211477 0
[pid=26437/tid=26438] ppid=26435 vsize=867884 CPUtime=49.78
/proc/26437/task/26438/stat : 26438 (java) R 26435 26437 26088 0 -1 64 11874 289 1 0 4971 7 0 0 25 0 9 0 1981071501 888713216 10730 996147200 134512640 134550740 4294955968 18446744073709551615 4126858486 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26440] ppid=26435 vsize=867884 CPUtime=0.04
/proc/26437/task/26440/stat : 26440 (java) S 26435 26437 26088 0 -1 64 3598 289 0 0 4 0 0 0 16 0 9 0 1981071503 888713216 10730 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26441] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26441/stat : 26441 (java) S 26435 26437 26088 0 -1 64 16 289 0 0 0 0 0 0 16 0 9 0 1981071503 888713216 10730 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26442] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26442/stat : 26442 (java) S 26435 26437 26088 0 -1 64 9 289 0 0 0 0 0 0 15 0 9 0 1981071503 888713216 10730 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26443] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26443/stat : 26443 (java) S 26435 26437 26088 0 -1 64 1 289 0 0 0 0 0 0 18 0 9 0 1981071505 888713216 10730 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26444] ppid=26435 vsize=867884 CPUtime=0.25
/proc/26437/task/26444/stat : 26444 (java) S 26435 26437 26088 0 -1 64 724 289 0 0 25 0 0 0 16 0 9 0 1981071505 888713216 10730 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26445] ppid=26435 vsize=867884 CPUtime=0
################
# More data... #
################
/proc/26437/stat : 26437 (java) S 26435 26437 26088 0 -1 0 17050 289 1 0 6885 9 0 0 18 0 9 0 1981071500 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26437/statm: 216971 10731 2633 9 0 211477 0
[pid=26437/tid=26438] ppid=26435 vsize=867884 CPUtime=68.62
/proc/26437/task/26438/stat : 26438 (java) R 26435 26437 26088 0 -1 64 11875 289 1 0 6855 7 0 0 25 0 9 0 1981071501 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4126866025 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26440] ppid=26435 vsize=867884 CPUtime=0.04
/proc/26437/task/26440/stat : 26440 (java) S 26435 26437 26088 0 -1 64 3598 289 0 0 4 0 0 0 16 0 9 0 1981071503 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26441] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26441/stat : 26441 (java) S 26435 26437 26088 0 -1 64 16 289 0 0 0 0 0 0 16 0 9 0 1981071503 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26442] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26442/stat : 26442 (java) S 26435 26437 26088 0 -1 64 9 289 0 0 0 0 0 0 15 0 9 0 1981071503 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26443] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26443/stat : 26443 (java) S 26435 26437 26088 0 -1 64 1 289 0 0 0 0 0 0 18 0 9 0 1981071505 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26444] ppid=26435 vsize=867884 CPUtime=0.25
/proc/26437/task/26444/stat : 26444 (java) S 26435 26437 26088 0 -1 64 724 289 0 0 25 0 0 0 16 0 9 0 1981071505 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26445] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26445/stat : 26445 (java) S 26435 26437 26088 0 -1 64 1 289 0 0 0 0 0 0 19 0 9 0 1981071505 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26446] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26446/stat : 26446 (java) S 26435 26437 26088 0 -1 64 15 289 0 0 0 0 0 0 15 0 9 0 1981071505 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 68.94
Current children cumulated vsize (KiB) 867884
[startup+76.7014 s]
/proc/loadavg: 2.00 1.97 1.73 3/102 26450
/proc/meminfo: memFree=1705704/2055920 swapFree=4181476/4192956
[pid=26437] ppid=26435 vsize=867884 CPUtime=75.22
/proc/26437/stat : 26437 (java) S 26435 26437 26088 0 -1 0 17050 289 1 0 7513 9 0 0 18 0 9 0 1981071500 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26437/statm: 216971 10731 2633 9 0 211477 0
[pid=26437/tid=26438] ppid=26435 vsize=867884 CPUtime=74.89
/proc/26437/task/26438/stat : 26438 (java) R 26435 26437 26088 0 -1 64 11875 289 1 0 7482 7 0 0 25 0 9 0 1981071501 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4126869530 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26440] ppid=26435 vsize=867884 CPUtime=0.04
/proc/26437/task/26440/stat : 26440 (java) S 26435 26437 26088 0 -1 64 3598 289 0 0 4 0 0 0 16 0 9 0 1981071503 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26441] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26441/stat : 26441 (java) S 26435 26437 26088 0 -1 64 16 289 0 0 0 0 0 0 16 0 9 0 1981071503 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26442] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26442/stat : 26442 (java) S 26435 26437 26088 0 -1 64 9 289 0 0 0 0 0 0 15 0 9 0 1981071503 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26443] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26443/stat : 26443 (java) S 26435 26437 26088 0 -1 64 1 289 0 0 0 0 0 0 18 0 9 0 1981071505 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26444] ppid=26435 vsize=867884 CPUtime=0.25
/proc/26437/task/26444/stat : 26444 (java) S 26435 26437 26088 0 -1 64 724 289 0 0 25 0 0 0 16 0 9 0 1981071505 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26445] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26445/stat : 26445 (java) S 26435 26437 26088 0 -1 64 1 289 0 0 0 0 0 0 19 0 9 0 1981071505 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26446] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26446/stat : 26446 (java) S 26435 26437 26088 0 -1 64 15 289 0 0 0 0 0 0 15 0 9 0 1981071505 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 75.22
Current children cumulated vsize (KiB) 867884
[startup+79.903 s]
/proc/loadavg: 2.00 1.97 1.73 3/102 26450
/proc/meminfo: memFree=1705576/2055920 swapFree=4181476/4192956
[pid=26437] ppid=26435 vsize=867884 CPUtime=78.36
/proc/26437/stat : 26437 (java) S 26435 26437 26088 0 -1 0 17050 289 1 0 7827 9 0 0 18 0 9 0 1981071500 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26437/statm: 216971 10731 2633 9 0 211477 0
[pid=26437/tid=26438] ppid=26435 vsize=867884 CPUtime=78.03
/proc/26437/task/26438/stat : 26438 (java) R 26435 26437 26088 0 -1 64 11875 289 1 0 7796 7 0 0 25 0 9 0 1981071501 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4125952064 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26440] ppid=26435 vsize=867884 CPUtime=0.04
/proc/26437/task/26440/stat : 26440 (java) S 26435 26437 26088 0 -1 64 3598 289 0 0 4 0 0 0 16 0 9 0 1981071503 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26441] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26441/stat : 26441 (java) S 26435 26437 26088 0 -1 64 16 289 0 0 0 0 0 0 16 0 9 0 1981071503 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26442] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26442/stat : 26442 (java) S 26435 26437 26088 0 -1 64 9 289 0 0 0 0 0 0 15 0 9 0 1981071503 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26443] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26443/stat : 26443 (java) S 26435 26437 26088 0 -1 64 1 289 0 0 0 0 0 0 18 0 9 0 1981071505 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26444] ppid=26435 vsize=867884 CPUtime=0.25
/proc/26437/task/26444/stat : 26444 (java) S 26435 26437 26088 0 -1 64 724 289 0 0 25 0 0 0 16 0 9 0 1981071505 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26445] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26445/stat : 26445 (java) S 26435 26437 26088 0 -1 64 1 289 0 0 0 0 0 0 19 0 9 0 1981071505 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26446] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26446/stat : 26446 (java) S 26435 26437 26088 0 -1 64 15 289 0 0 0 0 0 0 15 0 9 0 1981071505 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 78.36
Current children cumulated vsize (KiB) 867884
[startup+81.5013 s]
/proc/loadavg: 2.00 1.97 1.73 3/102 26450
/proc/meminfo: memFree=1705576/2055920 swapFree=4181476/4192956
[pid=26437] ppid=26435 vsize=867884 CPUtime=79.93
/proc/26437/stat : 26437 (java) S 26435 26437 26088 0 -1 0 17050 289 1 0 7984 9 0 0 18 0 9 0 1981071500 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26437/statm: 216971 10731 2633 9 0 211477 0
[pid=26437/tid=26438] ppid=26435 vsize=867884 CPUtime=79.6
/proc/26437/task/26438/stat : 26438 (java) R 26435 26437 26088 0 -1 64 11875 289 1 0 7953 7 0 0 25 0 9 0 1981071501 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4126888462 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26440] ppid=26435 vsize=867884 CPUtime=0.04
/proc/26437/task/26440/stat : 26440 (java) S 26435 26437 26088 0 -1 64 3598 289 0 0 4 0 0 0 16 0 9 0 1981071503 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26441] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26441/stat : 26441 (java) S 26435 26437 26088 0 -1 64 16 289 0 0 0 0 0 0 16 0 9 0 1981071503 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26442] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26442/stat : 26442 (java) S 26435 26437 26088 0 -1 64 9 289 0 0 0 0 0 0 15 0 9 0 1981071503 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26443] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26443/stat : 26443 (java) S 26435 26437 26088 0 -1 64 1 289 0 0 0 0 0 0 18 0 9 0 1981071505 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26444] ppid=26435 vsize=867884 CPUtime=0.25
/proc/26437/task/26444/stat : 26444 (java) S 26435 26437 26088 0 -1 64 724 289 0 0 25 0 0 0 16 0 9 0 1981071505 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26445] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26445/stat : 26445 (java) S 26435 26437 26088 0 -1 64 1 289 0 0 0 0 0 0 19 0 9 0 1981071505 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26446] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26446/stat : 26446 (java) S 26435 26437 26088 0 -1 64 15 289 0 0 0 0 0 0 15 0 9 0 1981071505 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 79.93
Current children cumulated vsize (KiB) 867884
[startup+81.9014 s]
/proc/loadavg: 2.00 1.97 1.73 3/102 26450
/proc/meminfo: memFree=1705576/2055920 swapFree=4181476/4192956
[pid=26437] ppid=26435 vsize=867884 CPUtime=80.32
/proc/26437/stat : 26437 (java) S 26435 26437 26088 0 -1 0 17050 289 1 0 8023 9 0 0 18 0 9 0 1981071500 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26437/statm: 216971 10731 2633 9 0 211477 0
[pid=26437/tid=26438] ppid=26435 vsize=867884 CPUtime=80
/proc/26437/task/26438/stat : 26438 (java) R 26435 26437 26088 0 -1 64 11875 289 1 0 7993 7 0 0 25 0 9 0 1981071501 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4125952058 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26440] ppid=26435 vsize=867884 CPUtime=0.04
/proc/26437/task/26440/stat : 26440 (java) S 26435 26437 26088 0 -1 64 3598 289 0 0 4 0 0 0 16 0 9 0 1981071503 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26441] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26441/stat : 26441 (java) S 26435 26437 26088 0 -1 64 16 289 0 0 0 0 0 0 16 0 9 0 1981071503 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26442] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26442/stat : 26442 (java) S 26435 26437 26088 0 -1 64 9 289 0 0 0 0 0 0 15 0 9 0 1981071503 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26443] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26443/stat : 26443 (java) S 26435 26437 26088 0 -1 64 1 289 0 0 0 0 0 0 18 0 9 0 1981071505 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26444] ppid=26435 vsize=867884 CPUtime=0.25
/proc/26437/task/26444/stat : 26444 (java) S 26435 26437 26088 0 -1 64 724 289 0 0 25 0 0 0 16 0 9 0 1981071505 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26445] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26445/stat : 26445 (java) S 26435 26437 26088 0 -1 64 1 289 0 0 0 0 0 0 19 0 9 0 1981071505 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26446] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26446/stat : 26446 (java) S 26435 26437 26088 0 -1 64 15 289 0 0 0 0 0 0 15 0 9 0 1981071505 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 80.32
Current children cumulated vsize (KiB) 867884
[startup+82.1014 s]
/proc/loadavg: 2.00 1.97 1.73 3/102 26450
/proc/meminfo: memFree=1705576/2055920 swapFree=4181476/4192956
[pid=26437] ppid=26435 vsize=867884 CPUtime=80.52
/proc/26437/stat : 26437 (java) S 26435 26437 26088 0 -1 0 17050 289 1 0 8043 9 0 0 18 0 9 0 1981071500 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26437/statm: 216971 10731 2633 9 0 211477 0
[pid=26437/tid=26438] ppid=26435 vsize=867884 CPUtime=80.19
/proc/26437/task/26438/stat : 26438 (java) R 26435 26437 26088 0 -1 64 11875 289 1 0 8012 7 0 0 25 0 9 0 1981071501 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4126866404 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26440] ppid=26435 vsize=867884 CPUtime=0.04
/proc/26437/task/26440/stat : 26440 (java) S 26435 26437 26088 0 -1 64 3598 289 0 0 4 0 0 0 16 0 9 0 1981071503 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26441] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26441/stat : 26441 (java) S 26435 26437 26088 0 -1 64 16 289 0 0 0 0 0 0 16 0 9 0 1981071503 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26442] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26442/stat : 26442 (java) S 26435 26437 26088 0 -1 64 9 289 0 0 0 0 0 0 15 0 9 0 1981071503 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26443] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26443/stat : 26443 (java) S 26435 26437 26088 0 -1 64 1 289 0 0 0 0 0 0 18 0 9 0 1981071505 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26444] ppid=26435 vsize=867884 CPUtime=0.25
/proc/26437/task/26444/stat : 26444 (java) S 26435 26437 26088 0 -1 64 724 289 0 0 25 0 0 0 16 0 9 0 1981071505 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26445] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26445/stat : 26445 (java) S 26435 26437 26088 0 -1 64 1 289 0 0 0 0 0 0 19 0 9 0 1981071505 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26446] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26446/stat : 26446 (java) S 26435 26437 26088 0 -1 64 15 289 0 0 0 0 0 0 15 0 9 0 1981071505 888713216 10731 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 80.52
Current children cumulated vsize (KiB) 867884
[startup+82.2014 s]
/proc/loadavg: 2.00 1.97 1.73 3/102 26450
/proc/meminfo: memFree=1705576/2055920 swapFree=4181476/4192956
[pid=26437] ppid=26435 vsize=867884 CPUtime=80.59
/proc/26437/stat : 26437 (java) S 26435 26437 26088 0 -1 0 17152 289 1 0 8050 9 0 0 18 0 9 0 1981071500 888713216 10827 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26437/statm: 216971 10827 2633 9 0 211477 0
[pid=26437/tid=26438] ppid=26435 vsize=867884 CPUtime=80.26
/proc/26437/task/26438/stat : 26438 (java) S 26435 26437 26088 0 -1 64 11977 289 1 0 8019 7 0 0 23 0 9 0 1981071501 888713216 10827 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26440] ppid=26435 vsize=867884 CPUtime=0.04
/proc/26437/task/26440/stat : 26440 (java) S 26435 26437 26088 0 -1 64 3598 289 0 0 4 0 0 0 16 0 9 0 1981071503 888713216 10827 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26441] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26441/stat : 26441 (java) S 26435 26437 26088 0 -1 64 16 289 0 0 0 0 0 0 16 0 9 0 1981071503 888713216 10827 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26442] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26442/stat : 26442 (java) S 26435 26437 26088 0 -1 64 9 289 0 0 0 0 0 0 15 0 9 0 1981071503 888713216 10827 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26443] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26443/stat : 26443 (java) S 26435 26437 26088 0 -1 64 1 289 0 0 0 0 0 0 18 0 9 0 1981071505 888713216 10827 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26444] ppid=26435 vsize=867884 CPUtime=0.25
/proc/26437/task/26444/stat : 26444 (java) S 26435 26437 26088 0 -1 64 724 289 0 0 25 0 0 0 16 0 9 0 1981071505 888713216 10827 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26445] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26445/stat : 26445 (java) S 26435 26437 26088 0 -1 64 1 289 0 0 0 0 0 0 19 0 9 0 1981071505 888713216 10827 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26437/tid=26446] ppid=26435 vsize=867884 CPUtime=0
/proc/26437/task/26446/stat : 26446 (java) S 26435 26437 26088 0 -1 64 15 289 0 0 0 0 0 0 15 0 9 0 1981071505 888713216 10827 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 80.59
Current children cumulated vsize (KiB) 867884
Child status: 0
Real time (s): 82.2101
CPU time (s): 80.6217
CPU user time (s): 80.5098
CPU system time (s): 0.111982
CPU usage (%): 98.068
Max. virtual memory (cumulated for all children) (KiB): 867884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 80.5098
system time used= 0.111982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17468
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= 2834
involuntary context switches= 5990
runsolver used 0.121981 second user time and 0.263959 second system time
The end
Begin job on node67 at 2008-07-02 19:50:20
IDJOB=1044824
IDBENCH=53463
IDSOLVER=364
FILE ID=node67/1044824-1215021019
PBS_JOBID= 7874335
Free space on /tmp= 66516 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/frb40-19/normalized-frb40-19-4-mgd_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-1044824-1215021019/watcher-1044824-1215021019 -o /tmp/evaluation-result-1044824-1215021019/solver-1044824-1215021019 -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-1044824-1215021019.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 95be2453b8d12be2c23806822933b3f8
RANDOM SEED=294194
node67.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.281
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.281
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: 1739536 kB
Buffers: 14672 kB
Cached: 171956 kB
SwapCached: 5336 kB
Active: 201164 kB
Inactive: 61220 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1739536 kB
SwapTotal: 4192956 kB
SwapFree: 4181476 kB
Dirty: 2252 kB
Writeback: 0 kB
Mapped: 92188 kB
Slab: 38512 kB
Committed_AS: 4603936 kB
PageTables: 2176 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= 66512 MiB
End job on node67 at 2008-07-02 19:51:42