0.02/0.09
0.02/0.09 Abscon 112 (May, 2008)
0.19/0.25
0.19/0.25 configuration
0.19/0.25 name=esac.xml
0.19/0.29
0.19/0.29 instance
0.19/0.29 name=HOME/instance-1076683-1215189547.xml
0.28/0.32
0.28/0.32 domains being loaded...
0.28/0.33
0.28/0.33 variables being loaded...
0.28/0.39 nbVariables=210 nbDomainTypes=1 minDomainSize=26 maxDomainSize=26 nbTotalValues=5460
0.28/0.39 => wckTime=0.139 cpuTime=0.12 mem=8M894
0.28/0.39
0.28/0.39 relations being loaded...
0.58/0.63
0.58/0.63 constraints being loaded...
0.68/0.73 Too large in ConstraintConflictsSTructure
0.68/0.77 Too large in ConstraintConflictsSTructure
0.78/0.86 nbConstraints=29 nbRelationTypes=2 nbGlobalConstraints=29 nbExtensionStructures=2
0.78/0.86 nbSharedExtensionStructures=27 nbUnbuiltConflictsStructures=2 nbSharedBinaryRepresentations=0 minDegree=2
0.78/0.86 maxDegree=2 minArity=14 avgArity=14.48 maxArity=15 nbGenerators=0 nbFusions=0 symmetryWckTime=0.073
0.78/0.86 symmetryCpuTime=0.03
0.78/0.86 => wckTime=0.604 cpuTime=0.49 mem=45M994
0.87/0.97
0.87/0.97 solver IterativeSystematicSolver being built...
0.97/1.05
0.97/1.05 INFO : Forward propagation technique limited
1.07/1.14 => wckTime=0.885 cpuTime=0.63 mem=32M87
41.58/42.06
41.58/42.06 INFO : Stopping ESAC
41.58/42.06
41.58/42.06 preprocessing
41.58/42.06 nbConstraintChecks=0 nbValidityChecks=280043269 nbPropagations=48640 nbRevisions=0 nbUselessRevisions=0
41.58/42.06 nbSingletonTests=1029 nbEffectiveSingletonTests=21 nbACRemovals=551 nbFoundSingletons=0 nbRemovedValues=579
41.58/42.06 detectedInconsistency=no
41.58/42.06 => wckTime=40.918 cpuTime=40.48 mem=32M87
56.14/56.73
56.14/56.73 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=32M963)
93.38/94.32
93.38/94.32 search
93.38/94.32 run=7 nbConstraintChecks=0 nbValidityChecks=336542192 minDepth=0 maxDepth=15 nbPropagations=544615
93.38/94.32 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1033 nbFailedAssignments=467 nbBacktracks=494
93.38/94.32 nbVisitedNodes=1806 nbRestartNogoods=85 nbSEliminables=0 nbREliminables=34.52 nbIEliminables=135.39
93.38/94.32 nbDEliminables=0 nbPEliminables=0
93.38/94.32 => wckTime=93.178 cpuTime=92.21 mem=32M963
93.38/94.32
93.38/94.32 global
93.38/94.32 nbConstraintChecks=0 nbValidityChecks=616585461 nbPropagations=593255 nbRestartNogoods=85 solvingWckTime=93.18
93.38/94.32 solvingCpuTime=92.21 expiredTime=no totalExploration=yes nbFoundSolutions=0 globalCpuTime=92.88
93.38/94.32 => wckTime=94.069 cpuTime=92.84 mem=32M963
93.38/94.33
93.38/94.33 s UNSATISFIABLE
93.38/94.33 d NODES 1033
93.38/94.33 d CHECKS 0
93.38/94.33
93.38/94.33 totalWckTime=94.138 totalCpuTime=92.89
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1076683-1215189547/watcher-1076683-1215189547 -o /tmp/evaluation-result-1076683-1215189547/solver-1076683-1215189547 -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-1076683-1215189547.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.05 2.10 2.09 2/82 22494
/proc/meminfo: memFree=1662648/2055920 swapFree=4166000/4192956
[pid=22494] ppid=22492 vsize=1616 CPUtime=0
/proc/22494/stat : 22494 (java) D 22492 22494 20215 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 632172497 1654784 148 996147200 134512640 134550740 4294956096 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099855350 0 0 17 1 0 0
/proc/22494/statm: 404 148 122 9 0 46 0
[startup+0.042702 s]
/proc/loadavg: 2.05 2.10 2.09 2/82 22494
/proc/meminfo: memFree=1662648/2055920 swapFree=4166000/4192956
[pid=22494] ppid=22492 vsize=861876 CPUtime=0.02
/proc/22494/stat : 22494 (java) S 22492 22494 20215 0 -1 0 2251 0 1 0 1 1 0 0 18 0 5 0 632172497 882561024 1862 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0
/proc/22494/statm: 215469 1862 854 9 0 210448 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 861876
[startup+0.102093 s]
/proc/loadavg: 2.05 2.10 2.09 2/82 22494
/proc/meminfo: memFree=1662648/2055920 swapFree=4166000/4192956
[pid=22494] ppid=22492 vsize=865884 CPUtime=0.09
/proc/22494/stat : 22494 (java) S 22492 22494 20215 0 -1 0 3698 0 1 0 7 2 0 0 18 0 9 0 632172497 886665216 3173 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22494/statm: 216471 3173 1685 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.301188 s]
/proc/loadavg: 2.05 2.10 2.09 2/82 22494
/proc/meminfo: memFree=1662648/2055920 swapFree=4166000/4192956
[pid=22494] ppid=22492 vsize=866372 CPUtime=0.28
/proc/22494/stat : 22494 (java) S 22492 22494 20215 0 -1 0 5812 0 1 0 23 5 0 0 18 0 9 0 632172497 887164928 5186 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22494/statm: 216593 5186 1953 9 0 211121 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866372
[startup+0.701279 s]
/proc/loadavg: 2.05 2.10 2.09 2/82 22494
/proc/meminfo: memFree=1662648/2055920 swapFree=4166000/4192956
[pid=22494] ppid=22492 vsize=866504 CPUtime=0.68
/proc/22494/stat : 22494 (java) S 22492 22494 20215 0 -1 0 13563 0 1 0 58 10 0 0 18 0 9 0 632172497 887300096 12923 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22494/statm: 216626 12923 1978 9 0 211154 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866504
[startup+1.50143 s]
/proc/loadavg: 2.05 2.10 2.09 3/91 22507
/proc/meminfo: memFree=1597424/2055920 swapFree=4166000/4192956
[pid=22494] ppid=22492 vsize=867240 CPUtime=1.46
/proc/22494/stat : 22494 (java) S 22492 22494 20215 0 -1 0 27189 280 1 0 130 15 0 1 18 0 9 0 632172497 888053760 18924 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22494/statm: 216810 18924 2631 9 0 211316 0
[pid=22494/tid=22496] ppid=22492 vsize=867240 CPUtime=1.17
/proc/22494/task/22496/stat : 22496 (java) R 22492 22494 20215 0 -1 64 19196 280 1 0 105 11 0 1 25 0 9 0 632172499 888053760 18924 996147200 134512640 134550740 4294955936 18446744073709551615 102816992 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22497] ppid=22492 vsize=867240 CPUtime=0.1
/proc/22494/task/22497/stat : 22497 (java) S 22492 22494 20215 0 -1 64 6620 280 0 0 8 1 0 1 18 0 9 0 632172500 888053760 18924 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22498] ppid=22492 vsize=867240 CPUtime=0.01
/proc/22494/task/22498/stat : 22498 (java) S 22492 22494 20215 0 -1 64 16 280 0 0 0 0 0 1 16 0 9 0 632172500 888053760 18924 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22499] ppid=22492 vsize=867240 CPUtime=0.01
/proc/22494/task/22499/stat : 22499 (java) S 22492 22494 20215 0 -1 64 9 280 0 0 0 0 0 1 16 0 9 0 632172500 888053760 18924 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22500] ppid=22492 vsize=867240 CPUtime=0.01
/proc/22494/task/22500/stat : 22500 (java) S 22492 22494 20215 0 -1 64 1 280 0 0 0 0 0 1 23 0 9 0 632172502 888053760 18924 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22501] ppid=22492 vsize=867240 CPUtime=0.17
/proc/22494/task/22501/stat : 22501 (java) S 22492 22494 20215 0 -1 64 534 280 0 0 16 0 0 1 15 0 9 0 632172503 888053760 18924 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22502] ppid=22492 vsize=867240 CPUtime=0.01
/proc/22494/task/22502/stat : 22502 (java) S 22492 22494 20215 0 -1 64 1 280 0 0 0 0 0 1 24 0 9 0 632172503 888053760 18924 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22503] ppid=22492 vsize=867240 CPUtime=0.01
/proc/22494/task/22503/stat : 22503 (java) S 22492 22494 20215 0 -1 64 3 280 0 0 0 0 0 1 15 0 9 0 632172503 888053760 18924 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867240
[startup+3.10269 s]
/proc/loadavg: 2.05 2.10 2.09 3/91 22507
/proc/meminfo: memFree=1596720/2055920 swapFree=4166000/4192956
[pid=22494] ppid=22492 vsize=867364 CPUtime=3.06
/proc/22494/stat : 22494 (java) S 22492 22494 20215 0 -1 0 27211 280 1 0 289 16 0 1 18 0 9 0 632172497 888180736 18939 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22494/statm: 216841 18939 2632 9 0 211347 0
[pid=22494/tid=22496] ppid=22492 vsize=867364 CPUtime=2.73
/proc/22494/task/22496/stat : 22496 (java) R 22492 22494 20215 0 -1 64 19209 280 1 0 261 11 0 1 25 0 9 0 632172499 888180736 18939 996147200 134512640 134550740 4294955936 18446744073709551615 4126808406 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22497] ppid=22492 vsize=867364 CPUtime=0.1
/proc/22494/task/22497/stat : 22497 (java) S 22492 22494 20215 0 -1 64 6620 280 0 0 8 1 0 1 17 0 9 0 632172500 888180736 18939 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22498] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22498/stat : 22498 (java) S 22492 22494 20215 0 -1 64 16 280 0 0 0 0 0 1 16 0 9 0 632172500 888180736 18939 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22499] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22499/stat : 22499 (java) S 22492 22494 20215 0 -1 64 9 280 0 0 0 0 0 1 16 0 9 0 632172500 888180736 18939 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22500] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22500/stat : 22500 (java) S 22492 22494 20215 0 -1 64 1 280 0 0 0 0 0 1 23 0 9 0 632172502 888180736 18939 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22501] ppid=22492 vsize=867364 CPUtime=0.19
/proc/22494/task/22501/stat : 22501 (java) S 22492 22494 20215 0 -1 64 543 280 0 0 18 0 0 1 16 0 9 0 632172503 888180736 18939 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22502] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22502/stat : 22502 (java) S 22492 22494 20215 0 -1 64 1 280 0 0 0 0 0 1 24 0 9 0 632172503 888180736 18939 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22503] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22503/stat : 22503 (java) S 22492 22494 20215 0 -1 64 3 280 0 0 0 0 0 1 15 0 9 0 632172503 888180736 18939 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867364
[startup+6.30132 s]
/proc/loadavg: 2.04 2.10 2.09 3/91 22507
/proc/meminfo: memFree=1596592/2055920 swapFree=4166000/4192956
[pid=22494] ppid=22492 vsize=867364 CPUtime=6.22
/proc/22494/stat : 22494 (java) S 22492 22494 20215 0 -1 0 27221 280 1 0 605 16 0 1 18 0 9 0 632172497 888180736 18942 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22494/statm: 216841 18942 2632 9 0 211347 0
[pid=22494/tid=22496] ppid=22492 vsize=867364 CPUtime=5.89
/proc/22494/task/22496/stat : 22496 (java) R 22492 22494 20215 0 -1 64 19216 280 1 0 577 11 0 1 25 0 9 0 632172499 888180736 18942 996147200 134512640 134550740 4294955936 18446744073709551615 4126808002 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22497] ppid=22492 vsize=867364 CPUtime=0.1
/proc/22494/task/22497/stat : 22497 (java) S 22492 22494 20215 0 -1 64 6620 280 0 0 8 1 0 1 17 0 9 0 632172500 888180736 18942 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22498] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22498/stat : 22498 (java) S 22492 22494 20215 0 -1 64 16 280 0 0 0 0 0 1 16 0 9 0 632172500 888180736 18942 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22499] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22499/stat : 22499 (java) S 22492 22494 20215 0 -1 64 9 280 0 0 0 0 0 1 16 0 9 0 632172500 888180736 18942 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22500] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22500/stat : 22500 (java) S 22492 22494 20215 0 -1 64 1 280 0 0 0 0 0 1 23 0 9 0 632172502 888180736 18942 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22501] ppid=22492 vsize=867364 CPUtime=0.2
/proc/22494/task/22501/stat : 22501 (java) S 22492 22494 20215 0 -1 64 546 280 0 0 19 0 0 1 15 0 9 0 632172503 888180736 18942 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22502] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22502/stat : 22502 (java) S 22492 22494 20215 0 -1 64 1 280 0 0 0 0 0 1 24 0 9 0 632172503 888180736 18942 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22503] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22503/stat : 22503 (java) S 22492 22494 20215 0 -1 64 3 280 0 0 0 0 0 1 15 0 9 0 632172503 888180736 18942 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867364
[startup+12.7026 s]
/proc/loadavg: 2.04 2.10 2.09 3/91 22507
/proc/meminfo: memFree=1596472/2055920 swapFree=4166000/4192956
[pid=22494] ppid=22492 vsize=867364 CPUtime=12.56
/proc/22494/stat : 22494 (java) S 22492 22494 20215 0 -1 0 27228 280 1 0 1238 17 0 1 18 0 9 0 632172497 888180736 18943 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22494/statm: 216841 18943 2632 9 0 211347 0
[pid=22494/tid=22496] ppid=22492 vsize=867364 CPUtime=12.23
/proc/22494/task/22496/stat : 22496 (java) R 22492 22494 20215 0 -1 64 19222 280 1 0 1210 12 0 1 25 0 9 0 632172499 888180736 18943 996147200 134512640 134550740 4294955936 18446744073709551615 4126807819 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22497] ppid=22492 vsize=867364 CPUtime=0.1
/proc/22494/task/22497/stat : 22497 (java) S 22492 22494 20215 0 -1 64 6620 280 0 0 8 1 0 1 16 0 9 0 632172500 888180736 18943 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22498] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22498/stat : 22498 (java) S 22492 22494 20215 0 -1 64 16 280 0 0 0 0 0 1 16 0 9 0 632172500 888180736 18943 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22499] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22499/stat : 22499 (java) S 22492 22494 20215 0 -1 64 9 280 0 0 0 0 0 1 16 0 9 0 632172500 888180736 18943 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22500] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22500/stat : 22500 (java) S 22492 22494 20215 0 -1 64 1 280 0 0 0 0 0 1 23 0 9 0 632172502 888180736 18943 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22501] ppid=22492 vsize=867364 CPUtime=0.2
/proc/22494/task/22501/stat : 22501 (java) S 22492 22494 20215 0 -1 64 547 280 0 0 19 0 0 1 15 0 9 0 632172503 888180736 18943 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22502] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22502/stat : 22502 (java) S 22492 22494 20215 0 -1 64 1 280 0 0 0 0 0 1 24 0 9 0 632172503 888180736 18943 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22503] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22503/stat : 22503 (java) S 22492 22494 20215 0 -1 64 3 280 0 0 0 0 0 1 15 0 9 0 632172503 888180736 18943 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867364
[startup+25.5011 s]
/proc/loadavg: 2.03 2.09 2.08 3/91 22507
/proc/meminfo: memFree=1596472/2055920 swapFree=4166000/4192956
[pid=22494] ppid=22492 vsize=867364 CPUtime=25.24
/proc/22494/stat : 22494 (java) S 22492 22494 20215 0 -1 0 27238 280 1 0 2505 18 0 1 18 0 9 0 632172497 888180736 18946 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22494/statm: 216841 18946 2632 9 0 211347 0
[pid=22494/tid=22496] ppid=22492 vsize=867364 CPUtime=24.9
/proc/22494/task/22496/stat : 22496 (java) R 22492 22494 20215 0 -1 64 19228 280 1 0 2476 13 0 1 25 0 9 0 632172499 888180736 18946 996147200 134512640 134550740 4294955936 18446744073709551615 4126807923 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22497] ppid=22492 vsize=867364 CPUtime=0.1
/proc/22494/task/22497/stat : 22497 (java) S 22492 22494 20215 0 -1 64 6620 280 0 0 8 1 0 1 16 0 9 0 632172500 888180736 18946 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22498] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22498/stat : 22498 (java) S 22492 22494 20215 0 -1 64 16 280 0 0 0 0 0 1 16 0 9 0 632172500 888180736 18946 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22499] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22499/stat : 22499 (java) S 22492 22494 20215 0 -1 64 9 280 0 0 0 0 0 1 16 0 9 0 632172500 888180736 18946 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22500] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22500/stat : 22500 (java) S 22492 22494 20215 0 -1 64 1 280 0 0 0 0 0 1 23 0 9 0 632172502 888180736 18946 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22501] ppid=22492 vsize=867364 CPUtime=0.2
/proc/22494/task/22501/stat : 22501 (java) S 22492 22494 20215 0 -1 64 551 280 0 0 19 0 0 1 15 0 9 0 632172503 888180736 18946 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22502] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22502/stat : 22502 (java) S 22492 22494 20215 0 -1 64 1 280 0 0 0 0 0 1 24 0 9 0 632172503 888180736 18946 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22503] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22503/stat : 22503 (java) S 22492 22494 20215 0 -1 64 3 280 0 0 0 0 0 1 15 0 9 0 632172503 888180736 18946 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 867364
[startup+51.1012 s]
/proc/loadavg: 2.02 2.08 2.08 3/91 22507
/proc/meminfo: memFree=1596408/2055920 swapFree=4166000/4192956
[pid=22494] ppid=22492 vsize=867364 CPUtime=50.59
/proc/22494/stat : 22494 (java) S 22492 22494 20215 0 -1 0 27530 280 1 0 5039 19 0 1 18 0 9 0 632172497 888180736 18959 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22494/statm: 216841 18959 2632 9 0 211347 0
[pid=22494/tid=22496] ppid=22492 vsize=867364 CPUtime=50.24
/proc/22494/task/22496/stat : 22496 (java) R 22492 22494 20215 0 -1 64 19509 280 1 0 5009 14 0 1 25 0 9 0 632172499 888180736 18959 996147200 134512640 134550740 4294955936 18446744073709551615 4126808243 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22497] ppid=22492 vsize=867364 CPUtime=0.1
/proc/22494/task/22497/stat : 22497 (java) S 22492 22494 20215 0 -1 64 6620 280 0 0 8 1 0 1 16 0 9 0 632172500 888180736 18959 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22498] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22498/stat : 22498 (java) S 22492 22494 20215 0 -1 64 16 280 0 0 0 0 0 1 16 0 9 0 632172500 888180736 18959 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22499] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22499/stat : 22499 (java) S 22492 22494 20215 0 -1 64 9 280 0 0 0 0 0 1 16 0 9 0 632172500 888180736 18959 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22500] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22500/stat : 22500 (java) S 22492 22494 20215 0 -1 64 1 280 0 0 0 0 0 1 23 0 9 0 632172502 888180736 18959 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22501] ppid=22492 vsize=867364 CPUtime=0.23
/proc/22494/task/22501/stat : 22501 (java) S 22492 22494 20215 0 -1 64 562 280 0 0 22 0 0 1 16 0 9 0 632172503 888180736 18959 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22502] ppid=22492 vsize=867364 CPUtime=0.01
################
# More data... #
################
/proc/22494/stat : 22494 (java) S 22492 22494 20215 0 -1 0 27544 280 1 0 7575 19 0 1 18 0 9 0 632172497 888180736 18960 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22494/statm: 216841 18960 2632 9 0 211347 0
[pid=22494/tid=22496] ppid=22492 vsize=867364 CPUtime=75.59
/proc/22494/task/22496/stat : 22496 (java) R 22492 22494 20215 0 -1 64 19521 280 1 0 7544 14 0 1 25 0 9 0 632172499 888180736 18960 996147200 134512640 134550740 4294955936 18446744073709551615 4126808002 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22497] ppid=22492 vsize=867364 CPUtime=0.1
/proc/22494/task/22497/stat : 22497 (java) S 22492 22494 20215 0 -1 64 6620 280 0 0 8 1 0 1 16 0 9 0 632172500 888180736 18960 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22498] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22498/stat : 22498 (java) S 22492 22494 20215 0 -1 64 16 280 0 0 0 0 0 1 16 0 9 0 632172500 888180736 18960 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22499] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22499/stat : 22499 (java) S 22492 22494 20215 0 -1 64 9 280 0 0 0 0 0 1 16 0 9 0 632172500 888180736 18960 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22500] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22500/stat : 22500 (java) S 22492 22494 20215 0 -1 64 1 280 0 0 0 0 0 1 23 0 9 0 632172502 888180736 18960 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22501] ppid=22492 vsize=867364 CPUtime=0.23
/proc/22494/task/22501/stat : 22501 (java) S 22492 22494 20215 0 -1 64 564 280 0 0 22 0 0 1 16 0 9 0 632172503 888180736 18960 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22502] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22502/stat : 22502 (java) S 22492 22494 20215 0 -1 64 1 280 0 0 0 0 0 1 24 0 9 0 632172503 888180736 18960 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22503] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22503/stat : 22503 (java) S 22492 22494 20215 0 -1 64 3 280 0 0 0 0 0 1 15 0 9 0 632172503 888180736 18960 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 75.95
Current children cumulated vsize (KiB) 867364
[startup+83.1015 s]
/proc/loadavg: 2.01 2.07 2.08 3/91 22507
/proc/meminfo: memFree=1596344/2055920 swapFree=4166000/4192956
[pid=22494] ppid=22492 vsize=867364 CPUtime=82.28
/proc/22494/stat : 22494 (java) S 22492 22494 20215 0 -1 0 27547 280 1 0 8208 19 0 1 18 0 9 0 632172497 888180736 18960 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22494/statm: 216841 18960 2632 9 0 211347 0
[pid=22494/tid=22496] ppid=22492 vsize=867364 CPUtime=81.92
/proc/22494/task/22496/stat : 22496 (java) R 22492 22494 20215 0 -1 64 19524 280 1 0 8177 14 0 1 25 0 9 0 632172499 888180736 18960 996147200 134512640 134550740 4294955936 18446744073709551615 4126808002 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22497] ppid=22492 vsize=867364 CPUtime=0.1
/proc/22494/task/22497/stat : 22497 (java) S 22492 22494 20215 0 -1 64 6620 280 0 0 8 1 0 1 16 0 9 0 632172500 888180736 18960 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22498] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22498/stat : 22498 (java) S 22492 22494 20215 0 -1 64 16 280 0 0 0 0 0 1 16 0 9 0 632172500 888180736 18960 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22499] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22499/stat : 22499 (java) S 22492 22494 20215 0 -1 64 9 280 0 0 0 0 0 1 16 0 9 0 632172500 888180736 18960 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22500] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22500/stat : 22500 (java) S 22492 22494 20215 0 -1 64 1 280 0 0 0 0 0 1 23 0 9 0 632172502 888180736 18960 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22501] ppid=22492 vsize=867364 CPUtime=0.23
/proc/22494/task/22501/stat : 22501 (java) S 22492 22494 20215 0 -1 64 564 280 0 0 22 0 0 1 17 0 9 0 632172503 888180736 18960 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22502] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22502/stat : 22502 (java) S 22492 22494 20215 0 -1 64 1 280 0 0 0 0 0 1 24 0 9 0 632172503 888180736 18960 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22503] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22503/stat : 22503 (java) S 22492 22494 20215 0 -1 64 3 280 0 0 0 0 0 1 15 0 9 0 632172503 888180736 18960 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 82.28
Current children cumulated vsize (KiB) 867364
[startup+89.5028 s]
/proc/loadavg: 2.01 2.07 2.08 3/91 22507
/proc/meminfo: memFree=1596344/2055920 swapFree=4166000/4192956
[pid=22494] ppid=22492 vsize=867364 CPUtime=88.62
/proc/22494/stat : 22494 (java) S 22492 22494 20215 0 -1 0 27549 280 1 0 8842 19 0 1 18 0 9 0 632172497 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22494/statm: 216841 18961 2632 9 0 211347 0
[pid=22494/tid=22496] ppid=22492 vsize=867364 CPUtime=88.26
/proc/22494/task/22496/stat : 22496 (java) R 22492 22494 20215 0 -1 64 19524 280 1 0 8811 14 0 1 25 0 9 0 632172499 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4126808002 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22497] ppid=22492 vsize=867364 CPUtime=0.1
/proc/22494/task/22497/stat : 22497 (java) S 22492 22494 20215 0 -1 64 6620 280 0 0 8 1 0 1 16 0 9 0 632172500 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22498] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22498/stat : 22498 (java) S 22492 22494 20215 0 -1 64 16 280 0 0 0 0 0 1 16 0 9 0 632172500 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22499] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22499/stat : 22499 (java) S 22492 22494 20215 0 -1 64 9 280 0 0 0 0 0 1 16 0 9 0 632172500 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22500] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22500/stat : 22500 (java) S 22492 22494 20215 0 -1 64 1 280 0 0 0 0 0 1 23 0 9 0 632172502 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22501] ppid=22492 vsize=867364 CPUtime=0.23
/proc/22494/task/22501/stat : 22501 (java) S 22492 22494 20215 0 -1 64 566 280 0 0 22 0 0 1 16 0 9 0 632172503 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22502] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22502/stat : 22502 (java) S 22492 22494 20215 0 -1 64 1 280 0 0 0 0 0 1 24 0 9 0 632172503 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22503] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22503/stat : 22503 (java) S 22492 22494 20215 0 -1 64 3 280 0 0 0 0 0 1 15 0 9 0 632172503 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 88.62
Current children cumulated vsize (KiB) 867364
[startup+92.7014 s]
/proc/loadavg: 2.01 2.07 2.08 4/91 22507
/proc/meminfo: memFree=1596344/2055920 swapFree=4166000/4192956
[pid=22494] ppid=22492 vsize=867364 CPUtime=91.79
/proc/22494/stat : 22494 (java) S 22492 22494 20215 0 -1 0 27550 280 1 0 9159 19 0 1 18 0 9 0 632172497 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22494/statm: 216841 18961 2632 9 0 211347 0
[pid=22494/tid=22496] ppid=22492 vsize=867364 CPUtime=91.43
/proc/22494/task/22496/stat : 22496 (java) R 22492 22494 20215 0 -1 64 19525 280 1 0 9128 14 0 1 25 0 9 0 632172499 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4126808080 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22497] ppid=22492 vsize=867364 CPUtime=0.1
/proc/22494/task/22497/stat : 22497 (java) S 22492 22494 20215 0 -1 64 6620 280 0 0 8 1 0 1 16 0 9 0 632172500 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22498] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22498/stat : 22498 (java) S 22492 22494 20215 0 -1 64 16 280 0 0 0 0 0 1 16 0 9 0 632172500 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22499] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22499/stat : 22499 (java) S 22492 22494 20215 0 -1 64 9 280 0 0 0 0 0 1 16 0 9 0 632172500 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22500] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22500/stat : 22500 (java) S 22492 22494 20215 0 -1 64 1 280 0 0 0 0 0 1 23 0 9 0 632172502 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22501] ppid=22492 vsize=867364 CPUtime=0.23
/proc/22494/task/22501/stat : 22501 (java) S 22492 22494 20215 0 -1 64 566 280 0 0 22 0 0 1 16 0 9 0 632172503 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22502] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22502/stat : 22502 (java) S 22492 22494 20215 0 -1 64 1 280 0 0 0 0 0 1 24 0 9 0 632172503 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22503] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22503/stat : 22503 (java) S 22492 22494 20215 0 -1 64 3 280 0 0 0 0 0 1 15 0 9 0 632172503 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 91.79
Current children cumulated vsize (KiB) 867364
[startup+93.5065 s]
/proc/loadavg: 2.01 2.07 2.08 3/91 22507
/proc/meminfo: memFree=1596344/2055920 swapFree=4166000/4192956
[pid=22494] ppid=22492 vsize=867364 CPUtime=92.58
/proc/22494/stat : 22494 (java) S 22492 22494 20215 0 -1 0 27550 280 1 0 9238 19 0 1 18 0 9 0 632172497 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22494/statm: 216841 18961 2632 9 0 211347 0
[pid=22494/tid=22496] ppid=22492 vsize=867364 CPUtime=92.22
/proc/22494/task/22496/stat : 22496 (java) R 22492 22494 20215 0 -1 64 19525 280 1 0 9207 14 0 1 25 0 9 0 632172499 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4126808012 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22497] ppid=22492 vsize=867364 CPUtime=0.1
/proc/22494/task/22497/stat : 22497 (java) S 22492 22494 20215 0 -1 64 6620 280 0 0 8 1 0 1 16 0 9 0 632172500 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22498] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22498/stat : 22498 (java) S 22492 22494 20215 0 -1 64 16 280 0 0 0 0 0 1 16 0 9 0 632172500 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22499] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22499/stat : 22499 (java) S 22492 22494 20215 0 -1 64 9 280 0 0 0 0 0 1 16 0 9 0 632172500 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22500] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22500/stat : 22500 (java) S 22492 22494 20215 0 -1 64 1 280 0 0 0 0 0 1 23 0 9 0 632172502 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22501] ppid=22492 vsize=867364 CPUtime=0.23
/proc/22494/task/22501/stat : 22501 (java) S 22492 22494 20215 0 -1 64 566 280 0 0 22 0 0 1 16 0 9 0 632172503 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22502] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22502/stat : 22502 (java) S 22492 22494 20215 0 -1 64 1 280 0 0 0 0 0 1 24 0 9 0 632172503 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22503] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22503/stat : 22503 (java) S 22492 22494 20215 0 -1 64 3 280 0 0 0 0 0 1 15 0 9 0 632172503 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 92.58
Current children cumulated vsize (KiB) 867364
[startup+93.9026 s]
/proc/loadavg: 2.01 2.07 2.08 3/91 22507
/proc/meminfo: memFree=1596344/2055920 swapFree=4166000/4192956
[pid=22494] ppid=22492 vsize=867364 CPUtime=92.98
/proc/22494/stat : 22494 (java) S 22492 22494 20215 0 -1 0 27550 280 1 0 9278 19 0 1 18 0 9 0 632172497 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22494/statm: 216841 18961 2632 9 0 211347 0
[pid=22494/tid=22496] ppid=22492 vsize=867364 CPUtime=92.62
/proc/22494/task/22496/stat : 22496 (java) R 22492 22494 20215 0 -1 64 19525 280 1 0 9247 14 0 1 25 0 9 0 632172499 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4126808237 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22497] ppid=22492 vsize=867364 CPUtime=0.1
/proc/22494/task/22497/stat : 22497 (java) S 22492 22494 20215 0 -1 64 6620 280 0 0 8 1 0 1 16 0 9 0 632172500 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22498] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22498/stat : 22498 (java) S 22492 22494 20215 0 -1 64 16 280 0 0 0 0 0 1 16 0 9 0 632172500 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22499] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22499/stat : 22499 (java) S 22492 22494 20215 0 -1 64 9 280 0 0 0 0 0 1 16 0 9 0 632172500 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22500] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22500/stat : 22500 (java) S 22492 22494 20215 0 -1 64 1 280 0 0 0 0 0 1 23 0 9 0 632172502 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22501] ppid=22492 vsize=867364 CPUtime=0.23
/proc/22494/task/22501/stat : 22501 (java) S 22492 22494 20215 0 -1 64 566 280 0 0 22 0 0 1 16 0 9 0 632172503 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22502] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22502/stat : 22502 (java) S 22492 22494 20215 0 -1 64 1 280 0 0 0 0 0 1 24 0 9 0 632172503 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22503] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22503/stat : 22503 (java) S 22492 22494 20215 0 -1 64 3 280 0 0 0 0 0 1 15 0 9 0 632172503 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 92.98
Current children cumulated vsize (KiB) 867364
[startup+94.3027 s]
/proc/loadavg: 2.01 2.07 2.08 3/91 22507
/proc/meminfo: memFree=1596344/2055920 swapFree=4166000/4192956
[pid=22494] ppid=22492 vsize=867364 CPUtime=93.38
/proc/22494/stat : 22494 (java) S 22492 22494 20215 0 -1 0 27550 280 1 0 9318 19 0 1 18 0 9 0 632172497 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/22494/statm: 216841 18961 2632 9 0 211347 0
[pid=22494/tid=22496] ppid=22492 vsize=867364 CPUtime=93.02
/proc/22494/task/22496/stat : 22496 (java) R 22492 22494 20215 0 -1 64 19525 280 1 0 9287 14 0 1 25 0 9 0 632172499 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4126808012 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22497] ppid=22492 vsize=867364 CPUtime=0.1
/proc/22494/task/22497/stat : 22497 (java) S 22492 22494 20215 0 -1 64 6620 280 0 0 8 1 0 1 16 0 9 0 632172500 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22498] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22498/stat : 22498 (java) S 22492 22494 20215 0 -1 64 16 280 0 0 0 0 0 1 16 0 9 0 632172500 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22499] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22499/stat : 22499 (java) S 22492 22494 20215 0 -1 64 9 280 0 0 0 0 0 1 16 0 9 0 632172500 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22500] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22500/stat : 22500 (java) S 22492 22494 20215 0 -1 64 1 280 0 0 0 0 0 1 23 0 9 0 632172502 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22501] ppid=22492 vsize=867364 CPUtime=0.23
/proc/22494/task/22501/stat : 22501 (java) S 22492 22494 20215 0 -1 64 566 280 0 0 22 0 0 1 16 0 9 0 632172503 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22502] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22502/stat : 22502 (java) S 22492 22494 20215 0 -1 64 1 280 0 0 0 0 0 1 24 0 9 0 632172503 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=22494/tid=22503] ppid=22492 vsize=867364 CPUtime=0.01
/proc/22494/task/22503/stat : 22503 (java) S 22492 22494 20215 0 -1 64 3 280 0 0 0 0 0 1 15 0 9 0 632172503 888180736 18961 996147200 134512640 134550740 4294955936 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 93.38
Current children cumulated vsize (KiB) 867364
Child status: 0
Real time (s): 94.3855
CPU time (s): 93.4358
CPU user time (s): 93.2138
CPU system time (s): 0.221966
CPU usage (%): 98.9938
Max. virtual memory (cumulated for all children) (KiB): 867364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 93.2138
system time used= 0.221966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27949
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= 3186
involuntary context switches= 5347
runsolver used 0.105983 second user time and 0.335948 second system time
The end
Begin job on node77 at 2008-07-04 18:39:07
IDJOB=1076683
IDBENCH=56597
IDSOLVER=364
FILE ID=node77/1076683-1215189547
PBS_JOBID= 7881564
Free space on /tmp= 66532 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/ogdVg/normalized-crossword-m1c-ogd-vg14-15_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-1076683-1215189547/watcher-1076683-1215189547 -o /tmp/evaluation-result-1076683-1215189547/solver-1076683-1215189547 -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-1076683-1215189547.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= f6ff1d037c8fd69bd364281e23912fb0
RANDOM SEED=1671996696
node77.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.274
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.274
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1663128 kB
Buffers: 41548 kB
Cached: 173048 kB
SwapCached: 20616 kB
Active: 280620 kB
Inactive: 55624 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1663128 kB
SwapTotal: 4192956 kB
SwapFree: 4166000 kB
Dirty: 3372 kB
Writeback: 0 kB
Mapped: 137976 kB
Slab: 41536 kB
Committed_AS: 1269036 kB
PageTables: 2028 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= 66532 MiB
End job on node77 at 2008-07-04 18:40:41