0.00/0.09
0.00/0.09 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-1047707-1215041311.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=21 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=42
0.28/0.38 => wckTime=0.138 cpuTime=0.1 mem=6M878
0.28/0.38
0.28/0.38 relations being loaded...
0.48/0.55
0.48/0.55 constraints being loaded...
1.75/1.86 nbConstraints=2713 nbRelationTypes=1 nbGlobalConstraints=2713 nbExtensionStructures=1
1.84/1.91 nbSharedExtensionStructures=2712 nbConflictsStructures=1 nbSharedConflictsStructures=2712
1.84/1.91 nbSharedBinaryRepresentations=0 minDegree=1893 maxDegree=2003 minArity=15 maxArity=15 nbGenerators=0
1.84/1.91 nbFusions=0 symmetryWckTime=0.566 symmetryCpuTime=0.28
1.84/1.91 => wckTime=1.618 cpuTime=0.92 mem=110M723
1.94/2.02
1.94/2.02 solver IterativeSystematicSolver being built...
1.94/2.09
1.94/2.09 INFO : Forward propagation technique limited
2.04/2.17 => wckTime=1.93 cpuTime=1.06 mem=109M53
9.47/9.64
9.47/9.64 preprocessing
9.47/9.64 nbConstraintChecks=0 nbValidityChecks=93861220 nbPropagations=44 nbRevisions=0 nbUselessRevisions=0
9.47/9.64 nbSingletonTests=23 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0
9.47/9.64 detectedInconsistency=no
9.47/9.64 => wckTime=7.465 cpuTime=7.36 mem=109M53
23.54/23.81
23.54/23.81 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=110M71)
86.93/87.83
86.93/87.83 search
86.93/87.83 run=8 nbConstraintChecks=2342 nbValidityChecks=1256219977 minDepth=0 maxDepth=9 nbPropagations=9953
86.93/87.83 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1537 nbFailedAssignments=491 nbBacktracks=989
86.93/87.83 nbVisitedNodes=2524 nbRestartNogoods=29 nbSEliminables=0 nbREliminables=13.54 nbIEliminables=0
86.93/87.83 nbDEliminables=0 nbPEliminables=0
86.93/87.83 => wckTime=85.654 cpuTime=84.75 mem=110M71
86.93/87.83
86.93/87.83 global
86.93/87.83 nbConstraintChecks=2342 nbValidityChecks=1350081197 nbPropagations=9997 nbRestartNogoods=29
86.93/87.83 solvingWckTime=85.657 solvingCpuTime=84.76 expiredTime=no totalExploration=yes nbFoundSolutions=0
86.93/87.83 globalCpuTime=85.88
86.93/87.83 => wckTime=87.589 cpuTime=85.82 mem=111M24
86.93/87.83
86.93/87.83 s UNSATISFIABLE
86.93/87.83 d NODES 1537
86.93/87.83 d CHECKS 2342
86.93/87.83
86.93/87.83 totalWckTime=87.648 totalCpuTime=85.88
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1047707-1215041311/watcher-1047707-1215041311 -o /tmp/evaluation-result-1047707-1215041311/solver-1047707-1215041311 -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-1047707-1215041311.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.95 2.02 1.72 4/80 24994
/proc/meminfo: memFree=1721336/2055920 swapFree=4180444/4192956
[pid=24994] ppid=24992 vsize=18572 CPUtime=0
/proc/24994/stat : 24994 (runsolver) R 24992 24994 24636 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 1983100713 19017728 292 996147200 4194304 4296836 548682068352 18446744073709551615 213112122663 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/24994/statm: 4643 292 257 25 0 2626 0
[startup+0.008662 s]
/proc/loadavg: 1.95 2.02 1.72 4/80 24994
/proc/meminfo: memFree=1721336/2055920 swapFree=4180444/4192956
[pid=24994] ppid=24992 vsize=272 CPUtime=0
/proc/24994/stat : 24994 (java) D 24992 24994 24636 0 -1 0 53 0 0 0 0 0 0 0 18 0 1 0 1983100713 278528 37 996147200 134512640 134550740 4294956144 18446744073709551615 6853412 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/24994/statm: 68 37 28 9 0 6 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 272
[startup+0.102237 s]
/proc/loadavg: 1.95 2.02 1.72 4/80 24994
/proc/meminfo: memFree=1721336/2055920 swapFree=4180444/4192956
[pid=24994] ppid=24992 vsize=865884 CPUtime=0.08
/proc/24994/stat : 24994 (java) S 24992 24994 24636 0 -1 0 3718 0 1 0 6 2 0 0 18 0 9 0 1983100713 886665216 3181 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24994/statm: 216471 3181 1686 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301273 s]
/proc/loadavg: 1.95 2.02 1.72 4/80 24994
/proc/meminfo: memFree=1721336/2055920 swapFree=4180444/4192956
[pid=24994] ppid=24992 vsize=866196 CPUtime=0.28
/proc/24994/stat : 24994 (java) S 24992 24994 24636 0 -1 0 5620 0 1 0 25 3 0 0 18 0 9 0 1983100713 886984704 5034 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24994/statm: 216549 5034 1903 9 0 211097 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866196
[startup+0.702338 s]
/proc/loadavg: 1.95 2.02 1.72 4/80 24994
/proc/meminfo: memFree=1721336/2055920 swapFree=4180444/4192956
[pid=24994] ppid=24992 vsize=867024 CPUtime=0.68
/proc/24994/stat : 24994 (java) S 24992 24994 24636 0 -1 0 8260 0 1 0 63 5 0 0 18 0 9 0 1983100713 887832576 7630 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24994/statm: 216756 7630 1970 9 0 211284 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867024
[startup+1.50147 s]
/proc/loadavg: 1.95 2.02 1.72 4/89 25003
/proc/meminfo: memFree=1637744/2055920 swapFree=4180444/4192956
[pid=24994] ppid=24992 vsize=867464 CPUtime=1.47
/proc/24994/stat : 24994 (java) S 24992 24994 24636 0 -1 0 35887 0 1 0 131 16 0 0 18 0 9 0 1983100713 888283136 35239 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24994/statm: 216866 35239 2003 9 0 211394 0
[pid=24994/tid=24996] ppid=24992 vsize=867464 CPUtime=1.05
/proc/24994/task/24996/stat : 24996 (java) R 24992 24994 24636 0 -1 64 15728 0 1 0 97 8 0 0 25 0 9 0 1983100714 888283136 35239 996147200 134512640 134550740 4294955968 18446744073709551615 4125958356 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24997] ppid=24992 vsize=867464 CPUtime=0.17
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 24636 0 -1 64 18804 0 0 0 11 6 0 0 16 0 9 0 1983100716 888283136 35239 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24998] ppid=24992 vsize=867464 CPUtime=0
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 24636 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1983100716 888283136 35239 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24999] ppid=24992 vsize=867464 CPUtime=0
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 24636 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1983100716 888283136 35239 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25000] ppid=24992 vsize=867464 CPUtime=0
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 24636 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1983100718 888283136 35239 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25001] ppid=24992 vsize=867464 CPUtime=0.21
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 24636 0 -1 64 658 0 0 0 21 0 0 0 16 0 9 0 1983100718 888283136 35239 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25002] ppid=24992 vsize=867464 CPUtime=0
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 24636 0 -1 64 2 0 0 0 0 0 0 0 19 0 9 0 1983100718 888283136 35239 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25003] ppid=24992 vsize=867464 CPUtime=0
/proc/24994/task/25003/stat : 25003 (java) S 24992 24994 24636 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1983100718 888283136 35239 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867464
[startup+3.10174 s]
/proc/loadavg: 1.95 2.02 1.72 5/91 25007
/proc/meminfo: memFree=1559904/2055920 swapFree=4180444/4192956
[pid=24994] ppid=24992 vsize=867904 CPUtime=3.04
/proc/24994/stat : 24994 (java) S 24992 24994 24636 0 -1 0 56438 980 1 0 257 23 22 2 18 0 9 0 1983100713 888733696 42499 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24994/statm: 216976 42499 2636 9 0 211482 0
[pid=24994/tid=24996] ppid=24992 vsize=867904 CPUtime=2.42
/proc/24994/task/24996/stat : 24996 (java) R 24992 24994 24636 0 -1 64 20977 980 1 0 209 9 22 2 25 0 9 0 1983100714 888733696 42499 996147200 134512640 134550740 4294955968 18446744073709551615 4127067311 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24997] ppid=24992 vsize=867904 CPUtime=0.57
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 24636 0 -1 64 33774 980 0 0 22 11 22 2 17 0 9 0 1983100716 888733696 42499 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24998] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 24636 0 -1 64 19 980 0 0 0 0 22 2 16 0 9 0 1983100716 888733696 42499 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24999] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 24636 0 -1 64 8 980 0 0 0 0 22 2 16 0 9 0 1983100716 888733696 42499 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25000] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 24636 0 -1 64 0 980 0 0 0 0 22 2 18 0 9 0 1983100718 888733696 42499 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25001] ppid=24992 vsize=867904 CPUtime=0.49
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 24636 0 -1 64 843 980 0 0 25 0 22 2 15 0 9 0 1983100718 888733696 42499 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25002] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 24636 0 -1 64 2 980 0 0 0 0 22 2 19 0 9 0 1983100718 888733696 42499 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25003] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/25003/stat : 25003 (java) S 24992 24994 24636 0 -1 64 13 980 0 0 0 0 22 2 15 0 9 0 1983100718 888733696 42499 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 867904
[startup+6.30129 s]
/proc/loadavg: 1.95 2.02 1.72 3/89 25007
/proc/meminfo: memFree=1560680/2055920 swapFree=4180444/4192956
[pid=24994] ppid=24992 vsize=867904 CPUtime=6.21
/proc/24994/stat : 24994 (java) S 24992 24994 24636 0 -1 0 60207 980 1 0 573 24 22 2 18 0 9 0 1983100713 888733696 42501 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24994/statm: 216976 42501 2636 9 0 211482 0
[pid=24994/tid=24996] ppid=24992 vsize=867904 CPUtime=5.58
/proc/24994/task/24996/stat : 24996 (java) R 24992 24994 24636 0 -1 64 24716 980 1 0 524 10 22 2 25 0 9 0 1983100714 888733696 42501 996147200 134512640 134550740 4294955968 18446744073709551615 4127067363 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24997] ppid=24992 vsize=867904 CPUtime=0.57
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 24636 0 -1 64 33774 980 0 0 22 11 22 2 16 0 9 0 1983100716 888733696 42501 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24998] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 24636 0 -1 64 19 980 0 0 0 0 22 2 16 0 9 0 1983100716 888733696 42501 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24999] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 24636 0 -1 64 8 980 0 0 0 0 22 2 16 0 9 0 1983100716 888733696 42501 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25000] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 24636 0 -1 64 0 980 0 0 0 0 22 2 18 0 9 0 1983100718 888733696 42501 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25001] ppid=24992 vsize=867904 CPUtime=0.5
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 24636 0 -1 64 849 980 0 0 26 0 22 2 15 0 9 0 1983100718 888733696 42501 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25002] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 24636 0 -1 64 2 980 0 0 0 0 22 2 19 0 9 0 1983100718 888733696 42501 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25003] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/25003/stat : 25003 (java) S 24992 24994 24636 0 -1 64 37 980 0 0 0 0 22 2 15 0 9 0 1983100718 888733696 42501 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867904
[startup+12.7014 s]
/proc/loadavg: 1.96 2.01 1.73 3/89 25007
/proc/meminfo: memFree=1560616/2055920 swapFree=4180444/4192956
[pid=24994] ppid=24992 vsize=867904 CPUtime=12.54
/proc/24994/stat : 24994 (java) S 24992 24994 24636 0 -1 0 66339 980 1 0 1205 25 22 2 18 0 9 0 1983100713 888733696 42514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24994/statm: 216976 42514 2636 9 0 211482 0
[pid=24994/tid=24996] ppid=24992 vsize=867904 CPUtime=11.9
/proc/24994/task/24996/stat : 24996 (java) R 24992 24994 24636 0 -1 64 30843 980 1 0 1155 11 22 2 25 0 9 0 1983100714 888733696 42514 996147200 134512640 134550740 4294955968 18446744073709551615 4127067147 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24997] ppid=24992 vsize=867904 CPUtime=0.57
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 24636 0 -1 64 33774 980 0 0 22 11 22 2 16 0 9 0 1983100716 888733696 42514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24998] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 24636 0 -1 64 19 980 0 0 0 0 22 2 16 0 9 0 1983100716 888733696 42514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24999] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 24636 0 -1 64 8 980 0 0 0 0 22 2 16 0 9 0 1983100716 888733696 42514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25000] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 24636 0 -1 64 0 980 0 0 0 0 22 2 18 0 9 0 1983100718 888733696 42514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25001] ppid=24992 vsize=867904 CPUtime=0.51
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 24636 0 -1 64 854 980 0 0 27 0 22 2 15 0 9 0 1983100718 888733696 42514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25002] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 24636 0 -1 64 2 980 0 0 0 0 22 2 19 0 9 0 1983100718 888733696 42514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25003] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/25003/stat : 25003 (java) S 24992 24994 24636 0 -1 64 37 980 0 0 0 0 22 2 15 0 9 0 1983100718 888733696 42514 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 867904
[startup+25.5026 s]
/proc/loadavg: 1.96 2.01 1.73 3/89 25007
/proc/meminfo: memFree=1560680/2055920 swapFree=4180444/4192956
[pid=24994] ppid=24992 vsize=867904 CPUtime=25.23
/proc/24994/stat : 24994 (java) S 24992 24994 24636 0 -1 0 66408 980 1 0 2473 26 22 2 18 0 9 0 1983100713 888733696 42524 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24994/statm: 216976 42524 2636 9 0 211482 0
[pid=24994/tid=24996] ppid=24992 vsize=867904 CPUtime=24.57
/proc/24994/task/24996/stat : 24996 (java) R 24992 24994 24636 0 -1 64 30852 980 1 0 2421 12 22 2 25 0 9 0 1983100714 888733696 42524 996147200 134512640 134550740 4294955968 18446744073709551615 4127067199 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24997] ppid=24992 vsize=867904 CPUtime=0.57
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 24636 0 -1 64 33774 980 0 0 22 11 22 2 17 0 9 0 1983100716 888733696 42524 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24998] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 24636 0 -1 64 19 980 0 0 0 0 22 2 16 0 9 0 1983100716 888733696 42524 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24999] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 24636 0 -1 64 8 980 0 0 0 0 22 2 16 0 9 0 1983100716 888733696 42524 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25000] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 24636 0 -1 64 0 980 0 0 0 0 22 2 18 0 9 0 1983100718 888733696 42524 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25001] ppid=24992 vsize=867904 CPUtime=0.53
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 24636 0 -1 64 914 980 0 0 28 1 22 2 16 0 9 0 1983100718 888733696 42524 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25002] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 24636 0 -1 64 2 980 0 0 0 0 22 2 19 0 9 0 1983100718 888733696 42524 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25003] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/25003/stat : 25003 (java) S 24992 24994 24636 0 -1 64 37 980 0 0 0 0 22 2 15 0 9 0 1983100718 888733696 42524 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 867904
[startup+51.1029 s]
/proc/loadavg: 1.97 2.01 1.73 3/89 25007
/proc/meminfo: memFree=1560616/2055920 swapFree=4180444/4192956
[pid=24994] ppid=24992 vsize=867904 CPUtime=50.58
/proc/24994/stat : 24994 (java) S 24992 24994 24636 0 -1 0 66420 980 1 0 5008 26 22 2 18 0 9 0 1983100713 888733696 42528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24994/statm: 216976 42528 2636 9 0 211482 0
[pid=24994/tid=24996] ppid=24992 vsize=867904 CPUtime=49.91
/proc/24994/task/24996/stat : 24996 (java) R 24992 24994 24636 0 -1 64 30857 980 1 0 4955 12 22 2 25 0 9 0 1983100714 888733696 42528 996147200 134512640 134550740 4294955968 18446744073709551615 4127067147 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24997] ppid=24992 vsize=867904 CPUtime=0.57
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 24636 0 -1 64 33774 980 0 0 22 11 22 2 16 0 9 0 1983100716 888733696 42528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24998] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 24636 0 -1 64 19 980 0 0 0 0 22 2 16 0 9 0 1983100716 888733696 42528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24999] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 24636 0 -1 64 8 980 0 0 0 0 22 2 16 0 9 0 1983100716 888733696 42528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25000] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 24636 0 -1 64 0 980 0 0 0 0 22 2 18 0 9 0 1983100718 888733696 42528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25001] ppid=24992 vsize=867904 CPUtime=0.55
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 24636 0 -1 64 921 980 0 0 30 1 22 2 16 0 9 0 1983100718 888733696 42528 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25002] ppid=24992 vsize=867904 CPUtime=0.24
################
# More data... #
################
/proc/24994/stat : 24994 (java) S 24992 24994 24636 0 -1 0 66430 980 1 0 7544 26 22 2 18 0 9 0 1983100713 888733696 42531 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24994/statm: 216976 42531 2636 9 0 211482 0
[pid=24994/tid=24996] ppid=24992 vsize=867904 CPUtime=75.26
/proc/24994/task/24996/stat : 24996 (java) R 24992 24994 24636 0 -1 64 30862 980 1 0 7490 12 22 2 25 0 9 0 1983100714 888733696 42531 996147200 134512640 134550740 4294955968 18446744073709551615 4127090793 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24997] ppid=24992 vsize=867904 CPUtime=0.57
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 24636 0 -1 64 33774 980 0 0 22 11 22 2 16 0 9 0 1983100716 888733696 42531 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24998] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 24636 0 -1 64 19 980 0 0 0 0 22 2 16 0 9 0 1983100716 888733696 42531 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24999] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 24636 0 -1 64 8 980 0 0 0 0 22 2 16 0 9 0 1983100716 888733696 42531 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25000] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 24636 0 -1 64 0 980 0 0 0 0 22 2 18 0 9 0 1983100718 888733696 42531 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25001] ppid=24992 vsize=867904 CPUtime=0.55
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 24636 0 -1 64 926 980 0 0 30 1 22 2 15 0 9 0 1983100718 888733696 42531 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25002] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 24636 0 -1 64 2 980 0 0 0 0 22 2 19 0 9 0 1983100718 888733696 42531 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25003] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/25003/stat : 25003 (java) S 24992 24994 24636 0 -1 64 37 980 0 0 0 0 22 2 15 0 9 0 1983100718 888733696 42531 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 75.94
Current children cumulated vsize (KiB) 867904
[startup+83.1014 s]
/proc/loadavg: 1.98 2.01 1.74 3/89 25007
/proc/meminfo: memFree=1560488/2055920 swapFree=4180444/4192956
[pid=24994] ppid=24992 vsize=867904 CPUtime=82.28
/proc/24994/stat : 24994 (java) S 24992 24994 24636 0 -1 0 66431 980 1 0 8178 26 22 2 18 0 9 0 1983100713 888733696 42531 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24994/statm: 216976 42531 2636 9 0 211482 0
[pid=24994/tid=24996] ppid=24992 vsize=867904 CPUtime=81.6
/proc/24994/task/24996/stat : 24996 (java) R 24992 24994 24636 0 -1 64 30863 980 1 0 8124 12 22 2 25 0 9 0 1983100714 888733696 42531 996147200 134512640 134550740 4294955968 18446744073709551615 4127067147 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24997] ppid=24992 vsize=867904 CPUtime=0.57
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 24636 0 -1 64 33774 980 0 0 22 11 22 2 16 0 9 0 1983100716 888733696 42531 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24998] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 24636 0 -1 64 19 980 0 0 0 0 22 2 16 0 9 0 1983100716 888733696 42531 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24999] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 24636 0 -1 64 8 980 0 0 0 0 22 2 16 0 9 0 1983100716 888733696 42531 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25000] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 24636 0 -1 64 0 980 0 0 0 0 22 2 18 0 9 0 1983100718 888733696 42531 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25001] ppid=24992 vsize=867904 CPUtime=0.55
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 24636 0 -1 64 926 980 0 0 30 1 22 2 15 0 9 0 1983100718 888733696 42531 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25002] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 24636 0 -1 64 2 980 0 0 0 0 22 2 19 0 9 0 1983100718 888733696 42531 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25003] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/25003/stat : 25003 (java) S 24992 24994 24636 0 -1 64 37 980 0 0 0 0 22 2 15 0 9 0 1983100718 888733696 42531 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 82.28
Current children cumulated vsize (KiB) 867904
[startup+86.3029 s]
/proc/loadavg: 1.99 2.01 1.74 3/89 25007
/proc/meminfo: memFree=1560424/2055920 swapFree=4180444/4192956
[pid=24994] ppid=24992 vsize=867904 CPUtime=85.45
/proc/24994/stat : 24994 (java) S 24992 24994 24636 0 -1 0 66440 980 1 0 8495 26 22 2 18 0 9 0 1983100713 888733696 42536 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24994/statm: 216976 42536 2636 9 0 211482 0
[pid=24994/tid=24996] ppid=24992 vsize=867904 CPUtime=84.75
/proc/24994/task/24996/stat : 24996 (java) R 24992 24994 24636 0 -1 64 30865 980 1 0 8439 12 22 2 25 0 9 0 1983100714 888733696 42536 996147200 134512640 134550740 4294955968 18446744073709551615 4127067137 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24997] ppid=24992 vsize=867904 CPUtime=0.57
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 24636 0 -1 64 33774 980 0 0 22 11 22 2 17 0 9 0 1983100716 888733696 42536 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24998] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 24636 0 -1 64 19 980 0 0 0 0 22 2 16 0 9 0 1983100716 888733696 42536 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24999] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 24636 0 -1 64 8 980 0 0 0 0 22 2 16 0 9 0 1983100716 888733696 42536 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25000] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 24636 0 -1 64 0 980 0 0 0 0 22 2 18 0 9 0 1983100718 888733696 42536 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25001] ppid=24992 vsize=867904 CPUtime=0.57
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 24636 0 -1 64 933 980 0 0 32 1 22 2 15 0 9 0 1983100718 888733696 42536 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25002] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 24636 0 -1 64 2 980 0 0 0 0 22 2 19 0 9 0 1983100718 888733696 42536 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25003] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/25003/stat : 25003 (java) S 24992 24994 24636 0 -1 64 37 980 0 0 0 0 22 2 15 0 9 0 1983100718 888733696 42536 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 85.45
Current children cumulated vsize (KiB) 867904
[startup+87.102 s]
/proc/loadavg: 1.99 2.01 1.74 3/89 25007
/proc/meminfo: memFree=1560424/2055920 swapFree=4180444/4192956
[pid=24994] ppid=24992 vsize=867904 CPUtime=86.24
/proc/24994/stat : 24994 (java) S 24992 24994 24636 0 -1 0 66443 980 1 0 8574 26 22 2 18 0 9 0 1983100713 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24994/statm: 216976 42538 2636 9 0 211482 0
[pid=24994/tid=24996] ppid=24992 vsize=867904 CPUtime=85.55
/proc/24994/task/24996/stat : 24996 (java) R 24992 24994 24636 0 -1 64 30866 980 1 0 8519 12 22 2 25 0 9 0 1983100714 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4127067405 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24997] ppid=24992 vsize=867904 CPUtime=0.57
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 24636 0 -1 64 33774 980 0 0 22 11 22 2 17 0 9 0 1983100716 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24998] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 24636 0 -1 64 19 980 0 0 0 0 22 2 16 0 9 0 1983100716 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24999] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 24636 0 -1 64 8 980 0 0 0 0 22 2 16 0 9 0 1983100716 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25000] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 24636 0 -1 64 0 980 0 0 0 0 22 2 18 0 9 0 1983100718 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25001] ppid=24992 vsize=867904 CPUtime=0.57
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 24636 0 -1 64 935 980 0 0 32 1 22 2 15 0 9 0 1983100718 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25002] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 24636 0 -1 64 2 980 0 0 0 0 22 2 19 0 9 0 1983100718 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25003] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/25003/stat : 25003 (java) S 24992 24994 24636 0 -1 64 37 980 0 0 0 0 22 2 15 0 9 0 1983100718 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 86.24
Current children cumulated vsize (KiB) 867904
[startup+87.5011 s]
/proc/loadavg: 1.99 2.01 1.74 3/89 25007
/proc/meminfo: memFree=1560424/2055920 swapFree=4180444/4192956
[pid=24994] ppid=24992 vsize=867904 CPUtime=86.63
/proc/24994/stat : 24994 (java) S 24992 24994 24636 0 -1 0 66444 980 1 0 8613 26 22 2 18 0 9 0 1983100713 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24994/statm: 216976 42538 2636 9 0 211482 0
[pid=24994/tid=24996] ppid=24992 vsize=867904 CPUtime=85.94
/proc/24994/task/24996/stat : 24996 (java) R 24992 24994 24636 0 -1 64 30867 980 1 0 8558 12 22 2 25 0 9 0 1983100714 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4127067516 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24997] ppid=24992 vsize=867904 CPUtime=0.57
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 24636 0 -1 64 33774 980 0 0 22 11 22 2 16 0 9 0 1983100716 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24998] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 24636 0 -1 64 19 980 0 0 0 0 22 2 16 0 9 0 1983100716 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24999] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 24636 0 -1 64 8 980 0 0 0 0 22 2 16 0 9 0 1983100716 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25000] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 24636 0 -1 64 0 980 0 0 0 0 22 2 18 0 9 0 1983100718 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25001] ppid=24992 vsize=867904 CPUtime=0.57
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 24636 0 -1 64 935 980 0 0 32 1 22 2 16 0 9 0 1983100718 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25002] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 24636 0 -1 64 2 980 0 0 0 0 22 2 19 0 9 0 1983100718 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25003] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/25003/stat : 25003 (java) S 24992 24994 24636 0 -1 64 37 980 0 0 0 0 22 2 15 0 9 0 1983100718 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 86.63
Current children cumulated vsize (KiB) 867904
[startup+87.7011 s]
/proc/loadavg: 1.99 2.01 1.74 3/89 25007
/proc/meminfo: memFree=1560424/2055920 swapFree=4180444/4192956
[pid=24994] ppid=24992 vsize=867904 CPUtime=86.83
/proc/24994/stat : 24994 (java) S 24992 24994 24636 0 -1 0 66444 980 1 0 8633 26 22 2 18 0 9 0 1983100713 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24994/statm: 216976 42538 2636 9 0 211482 0
[pid=24994/tid=24996] ppid=24992 vsize=867904 CPUtime=86.14
/proc/24994/task/24996/stat : 24996 (java) R 24992 24994 24636 0 -1 64 30867 980 1 0 8578 12 22 2 25 0 9 0 1983100714 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4127067343 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24997] ppid=24992 vsize=867904 CPUtime=0.57
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 24636 0 -1 64 33774 980 0 0 22 11 22 2 16 0 9 0 1983100716 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24998] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 24636 0 -1 64 19 980 0 0 0 0 22 2 16 0 9 0 1983100716 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24999] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 24636 0 -1 64 8 980 0 0 0 0 22 2 16 0 9 0 1983100716 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25000] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 24636 0 -1 64 0 980 0 0 0 0 22 2 18 0 9 0 1983100718 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25001] ppid=24992 vsize=867904 CPUtime=0.57
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 24636 0 -1 64 935 980 0 0 32 1 22 2 16 0 9 0 1983100718 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25002] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 24636 0 -1 64 2 980 0 0 0 0 22 2 19 0 9 0 1983100718 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25003] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/25003/stat : 25003 (java) S 24992 24994 24636 0 -1 64 37 980 0 0 0 0 22 2 15 0 9 0 1983100718 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 86.83
Current children cumulated vsize (KiB) 867904
[startup+87.8012 s]
/proc/loadavg: 1.99 2.01 1.74 3/89 25007
/proc/meminfo: memFree=1560424/2055920 swapFree=4180444/4192956
[pid=24994] ppid=24992 vsize=867904 CPUtime=86.93
/proc/24994/stat : 24994 (java) S 24992 24994 24636 0 -1 0 66444 980 1 0 8643 26 22 2 18 0 9 0 1983100713 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/24994/statm: 216976 42538 2636 9 0 211482 0
[pid=24994/tid=24996] ppid=24992 vsize=867904 CPUtime=86.24
/proc/24994/task/24996/stat : 24996 (java) R 24992 24994 24636 0 -1 64 30867 980 1 0 8588 12 22 2 25 0 9 0 1983100714 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4127067723 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24997] ppid=24992 vsize=867904 CPUtime=0.57
/proc/24994/task/24997/stat : 24997 (java) S 24992 24994 24636 0 -1 64 33774 980 0 0 22 11 22 2 16 0 9 0 1983100716 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24998] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/24998/stat : 24998 (java) S 24992 24994 24636 0 -1 64 19 980 0 0 0 0 22 2 16 0 9 0 1983100716 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=24999] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/24999/stat : 24999 (java) S 24992 24994 24636 0 -1 64 8 980 0 0 0 0 22 2 16 0 9 0 1983100716 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25000] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/25000/stat : 25000 (java) S 24992 24994 24636 0 -1 64 0 980 0 0 0 0 22 2 18 0 9 0 1983100718 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25001] ppid=24992 vsize=867904 CPUtime=0.57
/proc/24994/task/25001/stat : 25001 (java) S 24992 24994 24636 0 -1 64 935 980 0 0 32 1 22 2 16 0 9 0 1983100718 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25002] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/25002/stat : 25002 (java) S 24992 24994 24636 0 -1 64 2 980 0 0 0 0 22 2 19 0 9 0 1983100718 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=24994/tid=25003] ppid=24992 vsize=867904 CPUtime=0.24
/proc/24994/task/25003/stat : 25003 (java) S 24992 24994 24636 0 -1 64 37 980 0 0 0 0 22 2 15 0 9 0 1983100718 888733696 42538 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 86.93
Current children cumulated vsize (KiB) 867904
Child status: 0
Real time (s): 87.8802
CPU time (s): 87.0208
CPU user time (s): 86.7018
CPU system time (s): 0.318951
CPU usage (%): 99.0221
Max. virtual memory (cumulated for all children) (KiB): 868088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 86.7018
system time used= 0.318951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67515
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= 3180
involuntary context switches= 6400
runsolver used 0.105983 second user time and 0.311952 second system time
The end
Begin job on node68 at 2008-07-03 01:28:31
IDJOB=1047707
IDBENCH=54158
IDSOLVER=364
FILE ID=node68/1047707-1215041311
PBS_JOBID= 7875040
Free space on /tmp= 66540 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/bddLarge/normalized-bdd-21-2713-15-79-27_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-1047707-1215041311/watcher-1047707-1215041311 -o /tmp/evaluation-result-1047707-1215041311/solver-1047707-1215041311 -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-1047707-1215041311.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 51d18c772f592c5c82271f288223965a
RANDOM SEED=1123122559
node68.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.261
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.261
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: 1721816 kB
Buffers: 35788 kB
Cached: 145236 kB
SwapCached: 6520 kB
Active: 216484 kB
Inactive: 51644 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1721816 kB
SwapTotal: 4192956 kB
SwapFree: 4180444 kB
Dirty: 2644 kB
Writeback: 0 kB
Mapped: 100592 kB
Slab: 51172 kB
Committed_AS: 4898888 kB
PageTables: 1896 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= 66536 MiB
End job on node68 at 2008-07-03 01:29:59