0.03/0.09
0.03/0.09 Abscon 112 (May, 2008)
0.19/0.25
0.19/0.25 configuration
0.19/0.25 name=mac.xml
0.19/0.28
0.19/0.28 instance
0.19/0.28 name=HOME/instance-2098989-1247417461.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.36 nbVariables=40 nbDomainTypes=1 minDomainSize=19 maxDomainSize=19 nbTotalValues=760
0.28/0.36 => wckTime=0.108 cpuTime=0.1 mem=7M892
0.28/0.36
0.28/0.36 relations being loaded...
0.38/0.46
0.38/0.46 constraints being loaded...
0.58/0.65 nbConstraints=325 nbRelationTypes=325 nbExtensionStructures=325 nbSharedExtensionStructures=0
0.58/0.66 nbConflictsStructures=325 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=2585 minDegree=11
0.58/0.66 maxDegree=22 minArity=2 maxArity=2 nbGenerators=0 nbFusions=0 symmetryWckTime=0.054 symmetryCpuTime=0.04
0.58/0.66 => wckTime=0.403 cpuTime=0.29 mem=18M630
0.67/0.74
0.67/0.74 solver IterativeSystematicSolver being built...
0.77/0.87 => wckTime=0.619 cpuTime=0.42 mem=21M151
0.77/0.88
0.77/0.88 preprocessing
0.77/0.88 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.77/0.88 detectedInconsistency=no
0.77/0.88 => wckTime=0.0080 cpuTime=0.0 mem=21M151
0.97/1.04
0.97/1.04 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=22M143)
317.96/318.96
317.96/318.96 search
317.96/318.96 run=25 nbConstraintChecks=1862914745 minDepth=0 maxDepth=16 nbPropagations=96085703 nbRevisions=1286874144
317.96/318.96 nbUselessRevisions=1033283358 nbAssignments=1328088 nbFailedAssignments=538405 nbInferredBacktracks=10
317.96/318.96 nbBacktracks=789490 nbVisitedNodes=2320739 nbRestartNogoods=243 nbSEliminables=8.37 nbREliminables=1.33
317.96/318.96 nbIEliminables=0.35 nbDEliminables=0 nbPEliminables=0
317.96/318.96 => wckTime=318.086 cpuTime=317.07 mem=22M143
317.96/318.96
317.96/318.96 global
317.96/318.96 nbConstraintChecks=1862914745 nbPropagations=96085743 nbRevisions=1286874144 nbUselessRevisions=1033283358
317.96/318.96 nbRestartNogoods=243 solvingWckTime=318.089 solvingCpuTime=317.07 expiredTime=no totalExploration=yes
317.96/318.96 nbFoundSolutions=0 globalCpuTime=317.52
317.96/318.96 => wckTime=318.71 cpuTime=317.49 mem=22M143
317.96/318.96
317.96/318.96 s UNSATISFIABLE
317.96/318.96 d NODES 1328088
317.96/318.96 d CHECKS 1862914745
317.96/318.96
317.96/318.96 totalWckTime=318.777 totalCpuTime=317.52
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2098989-1247417461/watcher-2098989-1247417461 -o /tmp/evaluation-result-2098989-1247417461/solver-2098989-1247417461 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2098989-1247417461.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): 2000 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.20 2.10 2.15 3/80 28377
/proc/meminfo: memFree=1706688/2055920 swapFree=4192812/4192956
[pid=28377] ppid=28375 vsize=1616 CPUtime=0
/proc/28377/stat : 28377 (java) R 28375 28377 28223 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 28812724 1654784 148 996147200 134512640 134550932 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/28377/statm: 68 37 28 9 0 6 0
[startup+0.041405 s]
/proc/loadavg: 2.20 2.10 2.15 3/80 28377
/proc/meminfo: memFree=1706688/2055920 swapFree=4192812/4192956
[pid=28377] ppid=28375 vsize=861936 CPUtime=0.03
/proc/28377/stat : 28377 (java) S 28375 28377 28223 0 -1 0 2278 0 1 0 2 1 0 0 18 0 5 0 28812724 882622464 1880 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0
/proc/28377/statm: 215484 1880 863 9 0 210399 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861936
[startup+0.102409 s]
/proc/loadavg: 2.20 2.10 2.15 3/80 28377
/proc/meminfo: memFree=1706688/2055920 swapFree=4192812/4192956
[pid=28377] ppid=28375 vsize=865980 CPUtime=0.08
/proc/28377/stat : 28377 (java) S 28375 28377 28223 0 -1 0 3737 0 1 0 7 1 0 0 18 0 9 0 28812724 886763520 3205 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28377/statm: 216495 3205 1700 9 0 210980 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865980
[startup+0.301436 s]
/proc/loadavg: 2.20 2.10 2.15 3/80 28377
/proc/meminfo: memFree=1706688/2055920 swapFree=4192812/4192956
[pid=28377] ppid=28375 vsize=866380 CPUtime=0.28
/proc/28377/stat : 28377 (java) S 28375 28377 28223 0 -1 0 5938 0 1 0 26 2 0 0 18 0 9 0 28812724 887173120 5305 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28377/statm: 216595 5305 1983 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380
[startup+0.701483 s]
/proc/loadavg: 2.20 2.10 2.15 3/80 28377
/proc/meminfo: memFree=1706688/2055920 swapFree=4192812/4192956
[pid=28377] ppid=28375 vsize=867752 CPUtime=0.67
/proc/28377/stat : 28377 (java) S 28375 28377 28223 0 -1 0 12417 165 1 0 61 6 0 0 18 0 11 0 28812724 888578048 8630 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28377/statm: 216938 8630 2083 9 0 211396 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867752
[startup+1.50257 s]
/proc/loadavg: 2.20 2.10 2.15 4/90 28390
/proc/meminfo: memFree=1674024/2055920 swapFree=4192812/4192956
[pid=28377] ppid=28375 vsize=867960 CPUtime=1.46
/proc/28377/stat : 28377 (java) S 28375 28377 28223 0 -1 0 17078 289 1 0 139 7 0 0 18 0 9 0 28812724 888791040 10741 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28377/statm: 216990 10741 2656 9 0 211426 0
[pid=28377/tid=28379] ppid=28375 vsize=867960 CPUtime=1.14
/proc/28377/task/28379/stat : 28379 (java) R 28375 28377 28223 0 -1 64 11923 289 1 0 109 5 0 0 21 0 9 0 28812725 888791040 10741 996147200 134512640 134550932 4294955968 18446744073709551615 4126891980 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28380] ppid=28375 vsize=867960 CPUtime=0.05
/proc/28377/task/28380/stat : 28380 (java) S 28375 28377 28223 0 -1 64 3609 289 0 0 5 0 0 0 17 0 9 0 28812727 888791040 10741 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28381] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28381/stat : 28381 (java) S 28375 28377 28223 0 -1 64 16 289 0 0 0 0 0 0 16 0 9 0 28812727 888791040 10741 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28382] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28382/stat : 28382 (java) S 28375 28377 28223 0 -1 64 8 289 0 0 0 0 0 0 16 0 9 0 28812727 888791040 10741 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28383] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28383/stat : 28383 (java) S 28375 28377 28223 0 -1 64 2 289 0 0 0 0 0 0 23 0 9 0 28812729 888791040 10741 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28384] ppid=28375 vsize=867960 CPUtime=0.23
/proc/28377/task/28384/stat : 28384 (java) S 28375 28377 28223 0 -1 64 714 289 0 0 23 0 0 0 15 0 9 0 28812729 888791040 10741 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28385] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28385/stat : 28385 (java) S 28375 28377 28223 0 -1 64 1 289 0 0 0 0 0 0 24 0 9 0 28812729 888791040 10741 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28386] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28386/stat : 28386 (java) S 28375 28377 28223 0 -1 64 5 289 0 0 0 0 0 0 15 0 9 0 28812729 888791040 10741 996147200 134512640 134550932 4294955968 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) 867960
[startup+3.10175 s]
/proc/loadavg: 2.20 2.10 2.15 3/89 28390
/proc/meminfo: memFree=1673704/2055920 swapFree=4192812/4192956
[pid=28377] ppid=28375 vsize=867960 CPUtime=3.04
/proc/28377/stat : 28377 (java) S 28375 28377 28223 0 -1 0 17092 289 1 0 297 7 0 0 18 0 9 0 28812724 888791040 10753 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28377/statm: 216990 10753 2656 9 0 211426 0
[pid=28377/tid=28379] ppid=28375 vsize=867960 CPUtime=2.71
/proc/28377/task/28379/stat : 28379 (java) R 28375 28377 28223 0 -1 64 11927 289 1 0 266 5 0 0 25 0 9 0 28812725 888791040 10753 996147200 134512640 134550932 4294955968 18446744073709551615 4126902550 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28380] ppid=28375 vsize=867960 CPUtime=0.05
/proc/28377/task/28380/stat : 28380 (java) S 28375 28377 28223 0 -1 64 3609 289 0 0 5 0 0 0 17 0 9 0 28812727 888791040 10753 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28381] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28381/stat : 28381 (java) S 28375 28377 28223 0 -1 64 16 289 0 0 0 0 0 0 16 0 9 0 28812727 888791040 10753 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28382] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28382/stat : 28382 (java) S 28375 28377 28223 0 -1 64 8 289 0 0 0 0 0 0 16 0 9 0 28812727 888791040 10753 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28383] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28383/stat : 28383 (java) S 28375 28377 28223 0 -1 64 2 289 0 0 0 0 0 0 23 0 9 0 28812729 888791040 10753 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28384] ppid=28375 vsize=867960 CPUtime=0.25
/proc/28377/task/28384/stat : 28384 (java) S 28375 28377 28223 0 -1 64 724 289 0 0 25 0 0 0 16 0 9 0 28812729 888791040 10753 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28385] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28385/stat : 28385 (java) S 28375 28377 28223 0 -1 64 1 289 0 0 0 0 0 0 24 0 9 0 28812729 888791040 10753 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28386] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28386/stat : 28386 (java) S 28375 28377 28223 0 -1 64 5 289 0 0 0 0 0 0 15 0 9 0 28812729 888791040 10753 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 867960
[startup+6.30112 s]
/proc/loadavg: 2.19 2.09 2.15 3/89 28390
/proc/meminfo: memFree=1673448/2055920 swapFree=4192812/4192956
[pid=28377] ppid=28375 vsize=867960 CPUtime=6.21
/proc/28377/stat : 28377 (java) S 28375 28377 28223 0 -1 0 17108 289 1 0 614 7 0 0 18 0 9 0 28812724 888791040 10754 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28377/statm: 216990 10754 2656 9 0 211426 0
[pid=28377/tid=28379] ppid=28375 vsize=867960 CPUtime=5.88
/proc/28377/task/28379/stat : 28379 (java) R 28375 28377 28223 0 -1 64 11929 289 1 0 583 5 0 0 25 0 9 0 28812725 888791040 10754 996147200 134512640 134550932 4294955968 18446744073709551615 4126905069 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28380] ppid=28375 vsize=867960 CPUtime=0.05
/proc/28377/task/28380/stat : 28380 (java) S 28375 28377 28223 0 -1 64 3609 289 0 0 5 0 0 0 16 0 9 0 28812727 888791040 10754 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28381] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28381/stat : 28381 (java) S 28375 28377 28223 0 -1 64 16 289 0 0 0 0 0 0 16 0 9 0 28812727 888791040 10754 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28382] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28382/stat : 28382 (java) S 28375 28377 28223 0 -1 64 8 289 0 0 0 0 0 0 16 0 9 0 28812727 888791040 10754 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28383] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28383/stat : 28383 (java) S 28375 28377 28223 0 -1 64 2 289 0 0 0 0 0 0 23 0 9 0 28812729 888791040 10754 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28384] ppid=28375 vsize=867960 CPUtime=0.25
/proc/28377/task/28384/stat : 28384 (java) S 28375 28377 28223 0 -1 64 724 289 0 0 25 0 0 0 16 0 9 0 28812729 888791040 10754 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28385] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28385/stat : 28385 (java) S 28375 28377 28223 0 -1 64 1 289 0 0 0 0 0 0 24 0 9 0 28812729 888791040 10754 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28386] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28386/stat : 28386 (java) S 28375 28377 28223 0 -1 64 19 289 0 0 0 0 0 0 15 0 9 0 28812729 888791040 10754 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867960
[startup+12.7019 s]
/proc/loadavg: 2.17 2.09 2.15 3/89 28390
/proc/meminfo: memFree=1673264/2055920 swapFree=4192812/4192956
[pid=28377] ppid=28375 vsize=867960 CPUtime=12.55
/proc/28377/stat : 28377 (java) S 28375 28377 28223 0 -1 0 17111 289 1 0 1248 7 0 0 18 0 9 0 28812724 888791040 10756 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28377/statm: 216990 10756 2656 9 0 211426 0
[pid=28377/tid=28379] ppid=28375 vsize=867960 CPUtime=12.22
/proc/28377/task/28379/stat : 28379 (java) R 28375 28377 28223 0 -1 64 11932 289 1 0 1217 5 0 0 25 0 9 0 28812725 888791040 10756 996147200 134512640 134550932 4294955968 18446744073709551615 4126893838 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28380] ppid=28375 vsize=867960 CPUtime=0.05
/proc/28377/task/28380/stat : 28380 (java) S 28375 28377 28223 0 -1 64 3609 289 0 0 5 0 0 0 16 0 9 0 28812727 888791040 10756 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28381] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28381/stat : 28381 (java) S 28375 28377 28223 0 -1 64 16 289 0 0 0 0 0 0 16 0 9 0 28812727 888791040 10756 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28382] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28382/stat : 28382 (java) S 28375 28377 28223 0 -1 64 8 289 0 0 0 0 0 0 16 0 9 0 28812727 888791040 10756 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28383] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28383/stat : 28383 (java) S 28375 28377 28223 0 -1 64 2 289 0 0 0 0 0 0 23 0 9 0 28812729 888791040 10756 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28384] ppid=28375 vsize=867960 CPUtime=0.25
/proc/28377/task/28384/stat : 28384 (java) S 28375 28377 28223 0 -1 64 724 289 0 0 25 0 0 0 16 0 9 0 28812729 888791040 10756 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28385] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28385/stat : 28385 (java) S 28375 28377 28223 0 -1 64 1 289 0 0 0 0 0 0 24 0 9 0 28812729 888791040 10756 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28386] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28386/stat : 28386 (java) S 28375 28377 28223 0 -1 64 19 289 0 0 0 0 0 0 15 0 9 0 28812729 888791040 10756 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 867960
[startup+25.5024 s]
/proc/loadavg: 2.13 2.09 2.14 3/89 28390
/proc/meminfo: memFree=1673392/2055920 swapFree=4192812/4192956
[pid=28377] ppid=28375 vsize=867960 CPUtime=25.24
/proc/28377/stat : 28377 (java) S 28375 28377 28223 0 -1 0 17112 289 1 0 2516 8 0 0 18 0 9 0 28812724 888791040 10757 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28377/statm: 216990 10757 2656 9 0 211426 0
[pid=28377/tid=28379] ppid=28375 vsize=867960 CPUtime=24.89
/proc/28377/task/28379/stat : 28379 (java) R 28375 28377 28223 0 -1 64 11933 289 1 0 2484 5 0 0 25 0 9 0 28812725 888791040 10757 996147200 134512640 134550932 4294955968 18446744073709551615 4126919782 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28380] ppid=28375 vsize=867960 CPUtime=0.05
/proc/28377/task/28380/stat : 28380 (java) S 28375 28377 28223 0 -1 64 3609 289 0 0 5 0 0 0 16 0 9 0 28812727 888791040 10757 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28381] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28381/stat : 28381 (java) S 28375 28377 28223 0 -1 64 16 289 0 0 0 0 0 0 16 0 9 0 28812727 888791040 10757 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28382] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28382/stat : 28382 (java) S 28375 28377 28223 0 -1 64 8 289 0 0 0 0 0 0 16 0 9 0 28812727 888791040 10757 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28383] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28383/stat : 28383 (java) S 28375 28377 28223 0 -1 64 2 289 0 0 0 0 0 0 23 0 9 0 28812729 888791040 10757 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28384] ppid=28375 vsize=867960 CPUtime=0.25
/proc/28377/task/28384/stat : 28384 (java) S 28375 28377 28223 0 -1 64 724 289 0 0 25 0 0 0 16 0 9 0 28812729 888791040 10757 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28385] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28385/stat : 28385 (java) S 28375 28377 28223 0 -1 64 1 289 0 0 0 0 0 0 24 0 9 0 28812729 888791040 10757 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28386] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28386/stat : 28386 (java) S 28375 28377 28223 0 -1 64 19 289 0 0 0 0 0 0 15 0 9 0 28812729 888791040 10757 996147200 134512640 134550932 4294955968 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) 867960
[startup+51.1023 s]
/proc/loadavg: 2.09 2.08 2.14 3/89 28390
/proc/meminfo: memFree=1673328/2055920 swapFree=4192812/4192956
[pid=28377] ppid=28375 vsize=867960 CPUtime=50.6
/proc/28377/stat : 28377 (java) S 28375 28377 28223 0 -1 0 17114 289 1 0 5052 8 0 0 18 0 9 0 28812724 888791040 10759 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28377/statm: 216990 10759 2656 9 0 211426 0
[pid=28377/tid=28379] ppid=28375 vsize=867960 CPUtime=50.26
/proc/28377/task/28379/stat : 28379 (java) R 28375 28377 28223 0 -1 64 11935 289 1 0 5021 5 0 0 25 0 9 0 28812725 888791040 10759 996147200 134512640 134550932 4294955968 18446744073709551615 4125952192 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28380] ppid=28375 vsize=867960 CPUtime=0.05
/proc/28377/task/28380/stat : 28380 (java) S 28375 28377 28223 0 -1 64 3609 289 0 0 5 0 0 0 16 0 9 0 28812727 888791040 10759 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28381] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28381/stat : 28381 (java) S 28375 28377 28223 0 -1 64 16 289 0 0 0 0 0 0 16 0 9 0 28812727 888791040 10759 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28382] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28382/stat : 28382 (java) S 28375 28377 28223 0 -1 64 8 289 0 0 0 0 0 0 16 0 9 0 28812727 888791040 10759 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28383] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28383/stat : 28383 (java) S 28375 28377 28223 0 -1 64 2 289 0 0 0 0 0 0 23 0 9 0 28812729 888791040 10759 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28384] ppid=28375 vsize=867960 CPUtime=0.25
/proc/28377/task/28384/stat : 28384 (java) S 28375 28377 28223 0 -1 64 724 289 0 0 25 0 0 0 16 0 9 0 28812729 888791040 10759 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28385] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28385/stat : 28385 (java) S 28375 28377 28223 0 -1 64 1 289 0 0 0 0 0 0 24 0 9 0 28812729 888791040 10759 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/28377/stat : 28377 (java) S 28375 28377 28223 0 -1 0 17119 289 1 0 30604 12 0 0 18 0 9 0 28812724 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28377/statm: 216990 10764 2656 9 0 211426 0
[pid=28377/tid=28379] ppid=28375 vsize=867960 CPUtime=305.82
/proc/28377/task/28379/stat : 28379 (java) R 28375 28377 28223 0 -1 64 11940 289 1 0 30573 9 0 0 25 0 9 0 28812725 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4126906456 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28380] ppid=28375 vsize=867960 CPUtime=0.05
/proc/28377/task/28380/stat : 28380 (java) S 28375 28377 28223 0 -1 64 3609 289 0 0 5 0 0 0 16 0 9 0 28812727 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28381] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28381/stat : 28381 (java) S 28375 28377 28223 0 -1 64 16 289 0 0 0 0 0 0 16 0 9 0 28812727 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28382] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28382/stat : 28382 (java) S 28375 28377 28223 0 -1 64 8 289 0 0 0 0 0 0 16 0 9 0 28812727 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28383] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28383/stat : 28383 (java) S 28375 28377 28223 0 -1 64 2 289 0 0 0 0 0 0 23 0 9 0 28812729 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28384] ppid=28375 vsize=867960 CPUtime=0.25
/proc/28377/task/28384/stat : 28384 (java) S 28375 28377 28223 0 -1 64 724 289 0 0 25 0 0 0 16 0 9 0 28812729 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28385] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28385/stat : 28385 (java) S 28375 28377 28223 0 -1 64 1 289 0 0 0 0 0 0 24 0 9 0 28812729 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28386] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28386/stat : 28386 (java) S 28375 28377 28223 0 -1 64 19 289 0 0 0 0 0 0 15 0 9 0 28812729 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 306.16
Current children cumulated vsize (KiB) 867960
[startup+313.507 s]
/proc/loadavg: 2.00 2.03 2.09 3/89 28782
/proc/meminfo: memFree=1716088/2055920 swapFree=4192812/4192956
[pid=28377] ppid=28375 vsize=867960 CPUtime=312.56
/proc/28377/stat : 28377 (java) S 28375 28377 28223 0 -1 0 17119 289 1 0 31244 12 0 0 18 0 9 0 28812724 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28377/statm: 216990 10764 2656 9 0 211426 0
[pid=28377/tid=28379] ppid=28375 vsize=867960 CPUtime=312.22
/proc/28377/task/28379/stat : 28379 (java) R 28375 28377 28223 0 -1 64 11940 289 1 0 31213 9 0 0 25 0 9 0 28812725 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4126911980 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28380] ppid=28375 vsize=867960 CPUtime=0.05
/proc/28377/task/28380/stat : 28380 (java) S 28375 28377 28223 0 -1 64 3609 289 0 0 5 0 0 0 16 0 9 0 28812727 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28381] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28381/stat : 28381 (java) S 28375 28377 28223 0 -1 64 16 289 0 0 0 0 0 0 16 0 9 0 28812727 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28382] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28382/stat : 28382 (java) S 28375 28377 28223 0 -1 64 8 289 0 0 0 0 0 0 16 0 9 0 28812727 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28383] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28383/stat : 28383 (java) S 28375 28377 28223 0 -1 64 2 289 0 0 0 0 0 0 23 0 9 0 28812729 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28384] ppid=28375 vsize=867960 CPUtime=0.25
/proc/28377/task/28384/stat : 28384 (java) S 28375 28377 28223 0 -1 64 724 289 0 0 25 0 0 0 16 0 9 0 28812729 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28385] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28385/stat : 28385 (java) S 28375 28377 28223 0 -1 64 1 289 0 0 0 0 0 0 24 0 9 0 28812729 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28386] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28386/stat : 28386 (java) S 28375 28377 28223 0 -1 64 19 289 0 0 0 0 0 0 15 0 9 0 28812729 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 312.56
Current children cumulated vsize (KiB) 867960
[startup+316.702 s]
/proc/loadavg: 2.00 2.03 2.09 3/89 28782
/proc/meminfo: memFree=1716088/2055920 swapFree=4192812/4192956
[pid=28377] ppid=28375 vsize=867960 CPUtime=315.76
/proc/28377/stat : 28377 (java) S 28375 28377 28223 0 -1 0 17119 289 1 0 31564 12 0 0 18 0 9 0 28812724 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28377/statm: 216990 10764 2656 9 0 211426 0
[pid=28377/tid=28379] ppid=28375 vsize=867960 CPUtime=315.42
/proc/28377/task/28379/stat : 28379 (java) R 28375 28377 28223 0 -1 64 11940 289 1 0 31533 9 0 0 25 0 9 0 28812725 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4126943870 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28380] ppid=28375 vsize=867960 CPUtime=0.05
/proc/28377/task/28380/stat : 28380 (java) S 28375 28377 28223 0 -1 64 3609 289 0 0 5 0 0 0 16 0 9 0 28812727 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28381] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28381/stat : 28381 (java) S 28375 28377 28223 0 -1 64 16 289 0 0 0 0 0 0 16 0 9 0 28812727 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28382] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28382/stat : 28382 (java) S 28375 28377 28223 0 -1 64 8 289 0 0 0 0 0 0 16 0 9 0 28812727 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28383] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28383/stat : 28383 (java) S 28375 28377 28223 0 -1 64 2 289 0 0 0 0 0 0 23 0 9 0 28812729 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28384] ppid=28375 vsize=867960 CPUtime=0.25
/proc/28377/task/28384/stat : 28384 (java) S 28375 28377 28223 0 -1 64 724 289 0 0 25 0 0 0 16 0 9 0 28812729 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28385] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28385/stat : 28385 (java) S 28375 28377 28223 0 -1 64 1 289 0 0 0 0 0 0 24 0 9 0 28812729 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28386] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28386/stat : 28386 (java) S 28375 28377 28223 0 -1 64 19 289 0 0 0 0 0 0 15 0 9 0 28812729 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 315.76
Current children cumulated vsize (KiB) 867960
[startup+318.302 s]
/proc/loadavg: 2.00 2.03 2.09 3/89 28782
/proc/meminfo: memFree=1716088/2055920 swapFree=4192812/4192956
[pid=28377] ppid=28375 vsize=867960 CPUtime=317.36
/proc/28377/stat : 28377 (java) S 28375 28377 28223 0 -1 0 17119 289 1 0 31724 12 0 0 18 0 9 0 28812724 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28377/statm: 216990 10764 2656 9 0 211426 0
[pid=28377/tid=28379] ppid=28375 vsize=867960 CPUtime=317.01
/proc/28377/task/28379/stat : 28379 (java) R 28375 28377 28223 0 -1 64 11940 289 1 0 31692 9 0 0 25 0 9 0 28812725 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4126890173 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28380] ppid=28375 vsize=867960 CPUtime=0.05
/proc/28377/task/28380/stat : 28380 (java) S 28375 28377 28223 0 -1 64 3609 289 0 0 5 0 0 0 16 0 9 0 28812727 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28381] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28381/stat : 28381 (java) S 28375 28377 28223 0 -1 64 16 289 0 0 0 0 0 0 16 0 9 0 28812727 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28382] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28382/stat : 28382 (java) S 28375 28377 28223 0 -1 64 8 289 0 0 0 0 0 0 16 0 9 0 28812727 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28383] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28383/stat : 28383 (java) S 28375 28377 28223 0 -1 64 2 289 0 0 0 0 0 0 23 0 9 0 28812729 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28384] ppid=28375 vsize=867960 CPUtime=0.25
/proc/28377/task/28384/stat : 28384 (java) S 28375 28377 28223 0 -1 64 724 289 0 0 25 0 0 0 16 0 9 0 28812729 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28385] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28385/stat : 28385 (java) S 28375 28377 28223 0 -1 64 1 289 0 0 0 0 0 0 24 0 9 0 28812729 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28386] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28386/stat : 28386 (java) S 28375 28377 28223 0 -1 64 19 289 0 0 0 0 0 0 15 0 9 0 28812729 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 317.36
Current children cumulated vsize (KiB) 867960
[startup+318.702 s]
/proc/loadavg: 2.00 2.03 2.09 3/89 28782
/proc/meminfo: memFree=1716088/2055920 swapFree=4192812/4192956
[pid=28377] ppid=28375 vsize=867960 CPUtime=317.76
/proc/28377/stat : 28377 (java) S 28375 28377 28223 0 -1 0 17119 289 1 0 31764 12 0 0 18 0 9 0 28812724 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28377/statm: 216990 10764 2656 9 0 211426 0
[pid=28377/tid=28379] ppid=28375 vsize=867960 CPUtime=317.41
/proc/28377/task/28379/stat : 28379 (java) R 28375 28377 28223 0 -1 64 11940 289 1 0 31732 9 0 0 25 0 9 0 28812725 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4126095866 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28380] ppid=28375 vsize=867960 CPUtime=0.05
/proc/28377/task/28380/stat : 28380 (java) S 28375 28377 28223 0 -1 64 3609 289 0 0 5 0 0 0 16 0 9 0 28812727 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28381] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28381/stat : 28381 (java) S 28375 28377 28223 0 -1 64 16 289 0 0 0 0 0 0 16 0 9 0 28812727 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28382] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28382/stat : 28382 (java) S 28375 28377 28223 0 -1 64 8 289 0 0 0 0 0 0 16 0 9 0 28812727 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28383] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28383/stat : 28383 (java) S 28375 28377 28223 0 -1 64 2 289 0 0 0 0 0 0 23 0 9 0 28812729 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28384] ppid=28375 vsize=867960 CPUtime=0.25
/proc/28377/task/28384/stat : 28384 (java) S 28375 28377 28223 0 -1 64 724 289 0 0 25 0 0 0 16 0 9 0 28812729 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28385] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28385/stat : 28385 (java) S 28375 28377 28223 0 -1 64 1 289 0 0 0 0 0 0 24 0 9 0 28812729 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28386] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28386/stat : 28386 (java) S 28375 28377 28223 0 -1 64 19 289 0 0 0 0 0 0 15 0 9 0 28812729 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 317.76
Current children cumulated vsize (KiB) 867960
[startup+318.901 s]
/proc/loadavg: 2.00 2.03 2.09 3/89 28782
/proc/meminfo: memFree=1716088/2055920 swapFree=4192812/4192956
[pid=28377] ppid=28375 vsize=867960 CPUtime=317.96
/proc/28377/stat : 28377 (java) S 28375 28377 28223 0 -1 0 17119 289 1 0 31784 12 0 0 18 0 9 0 28812724 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28377/statm: 216990 10764 2656 9 0 211426 0
[pid=28377/tid=28379] ppid=28375 vsize=867960 CPUtime=317.62
/proc/28377/task/28379/stat : 28379 (java) R 28375 28377 28223 0 -1 64 11940 289 1 0 31753 9 0 0 25 0 9 0 28812725 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4126906460 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28380] ppid=28375 vsize=867960 CPUtime=0.05
/proc/28377/task/28380/stat : 28380 (java) S 28375 28377 28223 0 -1 64 3609 289 0 0 5 0 0 0 16 0 9 0 28812727 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28381] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28381/stat : 28381 (java) S 28375 28377 28223 0 -1 64 16 289 0 0 0 0 0 0 16 0 9 0 28812727 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28382] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28382/stat : 28382 (java) S 28375 28377 28223 0 -1 64 8 289 0 0 0 0 0 0 16 0 9 0 28812727 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28383] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28383/stat : 28383 (java) S 28375 28377 28223 0 -1 64 2 289 0 0 0 0 0 0 23 0 9 0 28812729 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28384] ppid=28375 vsize=867960 CPUtime=0.25
/proc/28377/task/28384/stat : 28384 (java) S 28375 28377 28223 0 -1 64 724 289 0 0 25 0 0 0 16 0 9 0 28812729 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28385] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28385/stat : 28385 (java) S 28375 28377 28223 0 -1 64 1 289 0 0 0 0 0 0 24 0 9 0 28812729 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28386] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28386/stat : 28386 (java) S 28375 28377 28223 0 -1 64 19 289 0 0 0 0 0 0 15 0 9 0 28812729 888791040 10764 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 317.96
Current children cumulated vsize (KiB) 867960
[startup+319.007 s]
/proc/loadavg: 2.00 2.03 2.09 3/89 28782
/proc/meminfo: memFree=1716088/2055920 swapFree=4192812/4192956
[pid=28377] ppid=28375 vsize=867960 CPUtime=318.02
/proc/28377/stat : 28377 (java) S 28375 28377 28223 0 -1 0 17208 289 1 0 31790 12 0 0 18 0 9 0 28812724 888791040 10852 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28377/statm: 216990 10852 2656 9 0 211426 0
[pid=28377/tid=28379] ppid=28375 vsize=867960 CPUtime=317.67
/proc/28377/task/28379/stat : 28379 (java) S 28375 28377 28223 0 -1 64 12028 289 1 0 31758 9 0 0 25 0 9 0 28812725 888791040 10852 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28380] ppid=28375 vsize=867960 CPUtime=0.05
/proc/28377/task/28380/stat : 28380 (java) S 28375 28377 28223 0 -1 64 3609 289 0 0 5 0 0 0 16 0 9 0 28812727 888791040 10852 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28381] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28381/stat : 28381 (java) S 28375 28377 28223 0 -1 64 16 289 0 0 0 0 0 0 16 0 9 0 28812727 888791040 10852 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28382] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28382/stat : 28382 (java) S 28375 28377 28223 0 -1 64 8 289 0 0 0 0 0 0 16 0 9 0 28812727 888791040 10852 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28377/tid=28383] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28383/stat : 28383 (java) S 28375 28377 28223 0 -1 64 2 289 0 0 0 0 0 0 23 0 9 0 28812729 888791040 10852 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28384] ppid=28375 vsize=867960 CPUtime=0.25
/proc/28377/task/28384/stat : 28384 (java) S 28375 28377 28223 0 -1 64 725 289 0 0 25 0 0 0 16 0 9 0 28812729 888791040 10852 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28385] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28385/stat : 28385 (java) S 28375 28377 28223 0 -1 64 1 289 0 0 0 0 0 0 24 0 9 0 28812729 888791040 10852 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28377/tid=28386] ppid=28375 vsize=867960 CPUtime=0
/proc/28377/task/28386/stat : 28386 (java) S 28375 28377 28223 0 -1 64 19 289 0 0 0 0 0 0 15 0 9 0 28812729 888791040 10852 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 318.02
Current children cumulated vsize (KiB) 867960
Child status: 0
Real time (s): 319.022
CPU time (s): 318.044
CPU user time (s): 317.907
CPU system time (s): 0.136979
CPU usage (%): 99.6934
Max. virtual memory (cumulated for all children) (KiB): 867960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 317.907
system time used= 0.136979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17525
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= 7669
involuntary context switches= 12773
runsolver used 0.409937 second user time and 1.05484 second system time
The end
Begin job on node20 at 2009-07-12 18:51:01
IDJOB=2098989
IDBENCH=59640
IDSOLVER=773
FILE ID=node20/2098989-1247417461
PBS_JOBID= 9510666
Free space on /tmp= 66304 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/rand-2-40-19/normalized-rand-2-40-19-443-230-20_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2098989-1247417461/watcher-2098989-1247417461 -o /tmp/evaluation-result-2098989-1247417461/solver-2098989-1247417461 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2098989-1247417461.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 5b05a39c23d0bd62d5f22e103d794b92
RANDOM SEED=1303586842
node20.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.236
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.236
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: 1707168 kB
Buffers: 39424 kB
Cached: 134384 kB
SwapCached: 0 kB
Active: 187224 kB
Inactive: 106140 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1707168 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2268 kB
Writeback: 0 kB
Mapped: 140064 kB
Slab: 40536 kB
Committed_AS: 998040 kB
PageTables: 2012 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= 66300 MiB
End job on node20 at 2009-07-12 18:56:21