0.07/0.09
0.07/0.09 Abscon 112 (May, 2008)
0.18/0.23
0.18/0.24 configuration
0.18/0.24 name=esac.xml
0.29/0.32
0.29/0.32 instance
0.29/0.32 name=HOME/instance-2097144-1247411765.xml
0.29/0.35
0.29/0.35 domains being loaded...
0.29/0.36
0.29/0.36 variables being loaded...
0.29/0.38 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20 nbTotalValues=400
0.29/0.38 => wckTime=0.145 cpuTime=0.11 mem=7M892
0.29/0.38
0.29/0.38 relations being loaded...
0.68/0.73
0.68/0.73 constraints being loaded...
0.87/0.97 nbConstraints=60 nbRelationTypes=60 nbGlobalConstraints=60 nbExtensionStructures=60
0.87/0.97 nbSharedExtensionStructures=0 nbConflictsStructures=60 nbSharedConflictsStructures=0
0.87/0.97 nbSharedBinaryRepresentations=0 minDegree=3 maxDegree=13 minArity=3 maxArity=3 nbGenerators=0 nbFusions=0
0.87/0.97 symmetryWckTime=0.044 symmetryCpuTime=0.03
0.87/0.97 => wckTime=0.732 cpuTime=0.62 mem=48M758
0.98/1.09
0.98/1.09 solver IterativeSystematicSolver being built...
1.07/1.17
1.07/1.17 INFO : Forward propagation technique limited
1.17/1.24 => wckTime=0.999 cpuTime=0.73 mem=29M974
1.27/1.37
1.27/1.37 preprocessing
1.27/1.37 nbConstraintChecks=0 nbValidityChecks=1329477 nbPropagations=159 nbRevisions=0 nbUselessRevisions=0
1.27/1.37 nbSingletonTests=28 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0
1.27/1.37 detectedInconsistency=no
1.27/1.37 => wckTime=0.128 cpuTime=0.11 mem=29M974
1.96/2.03
1.96/2.03 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=31M28)
339.27/339.81
339.27/339.81 search
339.27/339.81 run=21 nbConstraintChecks=2472970 nbValidityChecks=4620087593 minDepth=0 maxDepth=20 nbPropagations=7909346
339.27/339.81 nbRevisions=0 nbUselessRevisions=0 nbAssignments=233846 nbFailedAssignments=147789 nbBacktracks=85931
339.27/339.81 nbVisitedNodes=442909 nbRestartNogoods=260 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=3.54
339.27/339.82 nbIEliminables=11.38 nbDEliminables=0 nbPEliminables=0
339.27/339.82 => wckTime=338.572 cpuTime=337.96 mem=36M762
339.27/339.82
339.27/339.82 global
339.27/339.82 nbConstraintChecks=2472970 nbValidityChecks=4621417070 nbPropagations=7909505 nbRestartNogoods=260
339.27/339.82 solvingWckTime=338.576 solvingCpuTime=337.97 expiredTime=no totalExploration=no nbFoundSolutions=1
339.27/339.82 firstSolutionCpuTime=338.7 globalCpuTime=338.77
339.27/339.82 => wckTime=339.577 cpuTime=338.71 mem=36M762
339.27/339.82
339.27/339.82 s SATISFIABLE
339.27/339.82 v 18 4 0 13 18 1 0 8 10 9 17 8 6 0 15 18 4 11 10 10
339.27/339.82 d NODES 233846
339.27/339.82 d CHECKS 2472970
339.27/339.82
339.27/339.82 totalWckTime=339.634 totalCpuTime=338.77
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097144-1247411765/watcher-2097144-1247411765 -o /tmp/evaluation-result-2097144-1247411765/solver-2097144-1247411765 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097144-1247411765.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: 1.92 1.98 1.99 4/80 531
/proc/meminfo: memFree=1793144/2055920 swapFree=4192812/4192956
[pid=531] ppid=529 vsize=1616 CPUtime=0
/proc/531/stat : 531 (java) D 529 531 30423 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 28242956 1654784 148 996147200 134512640 134550932 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/531/statm: 68 37 28 9 0 6 0
[startup+0.078256 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 531
/proc/meminfo: memFree=1793144/2055920 swapFree=4192812/4192956
[pid=531] ppid=529 vsize=864148 CPUtime=0.07
/proc/531/stat : 531 (java) S 529 531 30423 0 -1 0 3080 0 1 0 5 2 0 0 18 0 9 0 28242956 884887552 2565 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/531/statm: 216037 2565 1222 9 0 210930 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 864148
[startup+0.102258 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 531
/proc/meminfo: memFree=1793144/2055920 swapFree=4192812/4192956
[pid=531] ppid=529 vsize=865984 CPUtime=0.08
/proc/531/stat : 531 (java) S 529 531 30423 0 -1 0 3788 0 1 0 6 2 0 0 18 0 9 0 28242956 886767616 3239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/531/statm: 216496 3239 1708 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.302299 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 531
/proc/meminfo: memFree=1793144/2055920 swapFree=4192812/4192956
[pid=531] ppid=529 vsize=866296 CPUtime=0.29
/proc/531/stat : 531 (java) S 529 531 30423 0 -1 0 5702 0 1 0 25 4 0 0 18 0 9 0 28242956 887087104 5105 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/531/statm: 216574 5105 1928 9 0 211052 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866296
[startup+0.701376 s]
/proc/loadavg: 1.92 1.98 1.99 4/80 531
/proc/meminfo: memFree=1793144/2055920 swapFree=4192812/4192956
[pid=531] ppid=529 vsize=866500 CPUtime=0.68
/proc/531/stat : 531 (java) S 529 531 30423 0 -1 0 10824 0 1 0 62 6 0 0 18 0 9 0 28242956 887296000 10186 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/531/statm: 216625 10186 1998 9 0 211083 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866500
[startup+1.50153 s]
/proc/loadavg: 1.92 1.98 1.99 4/89 544
/proc/meminfo: memFree=1738096/2055920 swapFree=4192812/4192956
[pid=531] ppid=529 vsize=867360 CPUtime=1.47
/proc/531/stat : 531 (java) S 529 531 30423 0 -1 0 28601 271 1 0 134 12 0 1 18 0 9 0 28242956 888176640 19397 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/531/statm: 216840 19397 2655 9 0 211276 0
[pid=531/tid=533] ppid=529 vsize=867360 CPUtime=1.19
/proc/531/task/533/stat : 533 (java) R 529 531 30423 0 -1 64 19645 271 1 0 109 9 0 1 25 0 9 0 28242957 888176640 19397 996147200 134512640 134550932 4294955968 18446744073709551615 4126769617 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=534] ppid=529 vsize=867360 CPUtime=0.11
/proc/531/task/534/stat : 534 (java) S 529 531 30423 0 -1 64 7590 271 0 0 9 1 0 1 17 0 9 0 28242959 888176640 19397 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=535] ppid=529 vsize=867360 CPUtime=0.01
/proc/531/task/535/stat : 535 (java) S 529 531 30423 0 -1 64 18 271 0 0 0 0 0 1 16 0 9 0 28242959 888176640 19397 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=536] ppid=529 vsize=867360 CPUtime=0.01
/proc/531/task/536/stat : 536 (java) S 529 531 30423 0 -1 64 8 271 0 0 0 0 0 1 16 0 9 0 28242959 888176640 19397 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=537] ppid=529 vsize=867360 CPUtime=0.01
/proc/531/task/537/stat : 537 (java) S 529 531 30423 0 -1 64 1 271 0 0 0 0 0 1 18 0 9 0 28242961 888176640 19397 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=538] ppid=529 vsize=867360 CPUtime=0.16
/proc/531/task/538/stat : 538 (java) S 529 531 30423 0 -1 64 516 271 0 0 15 0 0 1 15 0 9 0 28242961 888176640 19397 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=539] ppid=529 vsize=867360 CPUtime=0.01
/proc/531/task/539/stat : 539 (java) S 529 531 30423 0 -1 64 1 271 0 0 0 0 0 1 19 0 9 0 28242961 888176640 19397 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=540] ppid=529 vsize=867360 CPUtime=0.01
/proc/531/task/540/stat : 540 (java) S 529 531 30423 0 -1 64 12 271 0 0 0 0 0 1 15 0 9 0 28242961 888176640 19397 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867360
[startup+3.10284 s]
/proc/loadavg: 1.92 1.98 1.99 3/89 544
/proc/meminfo: memFree=1725680/2055920 swapFree=4192812/4192956
[pid=531] ppid=529 vsize=867360 CPUtime=3.05
/proc/531/stat : 531 (java) S 529 531 30423 0 -1 0 28637 271 1 0 292 12 0 1 18 0 9 0 28242956 888176640 19419 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/531/statm: 216840 19419 2656 9 0 211276 0
[pid=531/tid=533] ppid=529 vsize=867360 CPUtime=2.74
/proc/531/task/533/stat : 533 (java) R 529 531 30423 0 -1 64 19658 271 1 0 264 9 0 1 25 0 9 0 28242957 888176640 19419 996147200 134512640 134550932 4294955968 18446744073709551615 4126758634 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=534] ppid=529 vsize=867360 CPUtime=0.11
/proc/531/task/534/stat : 534 (java) S 529 531 30423 0 -1 64 7590 271 0 0 9 1 0 1 17 0 9 0 28242959 888176640 19419 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=535] ppid=529 vsize=867360 CPUtime=0.01
/proc/531/task/535/stat : 535 (java) S 529 531 30423 0 -1 64 18 271 0 0 0 0 0 1 16 0 9 0 28242959 888176640 19419 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=536] ppid=529 vsize=867360 CPUtime=0.01
/proc/531/task/536/stat : 536 (java) S 529 531 30423 0 -1 64 8 271 0 0 0 0 0 1 16 0 9 0 28242959 888176640 19419 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=537] ppid=529 vsize=867360 CPUtime=0.01
/proc/531/task/537/stat : 537 (java) S 529 531 30423 0 -1 64 1 271 0 0 0 0 0 1 18 0 9 0 28242961 888176640 19419 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=538] ppid=529 vsize=867360 CPUtime=0.19
/proc/531/task/538/stat : 538 (java) S 529 531 30423 0 -1 64 539 271 0 0 18 0 0 1 15 0 9 0 28242961 888176640 19419 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=539] ppid=529 vsize=867360 CPUtime=0.01
/proc/531/task/539/stat : 539 (java) S 529 531 30423 0 -1 64 1 271 0 0 0 0 0 1 19 0 9 0 28242961 888176640 19419 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=540] ppid=529 vsize=867360 CPUtime=0.01
/proc/531/task/540/stat : 540 (java) S 529 531 30423 0 -1 64 12 271 0 0 0 0 0 1 15 0 9 0 28242961 888176640 19419 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867360
[startup+6.30146 s]
/proc/loadavg: 1.93 1.98 1.99 3/89 544
/proc/meminfo: memFree=1725360/2055920 swapFree=4192812/4192956
[pid=531] ppid=529 vsize=867488 CPUtime=6.23
/proc/531/stat : 531 (java) S 529 531 30423 0 -1 0 28659 271 1 0 609 13 0 1 18 0 9 0 28242956 888307712 19433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/531/statm: 216872 19433 2656 9 0 211308 0
[pid=531/tid=533] ppid=529 vsize=867488 CPUtime=5.88
/proc/531/task/533/stat : 533 (java) R 529 531 30423 0 -1 64 19666 271 1 0 578 9 0 1 25 0 9 0 28242957 888307712 19433 996147200 134512640 134550932 4294955968 18446744073709551615 4126770284 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=534] ppid=529 vsize=867488 CPUtime=0.11
/proc/531/task/534/stat : 534 (java) S 529 531 30423 0 -1 64 7590 271 0 0 9 1 0 1 16 0 9 0 28242959 888307712 19433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=531/tid=535] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/535/stat : 535 (java) S 529 531 30423 0 -1 64 18 271 0 0 0 0 0 1 16 0 9 0 28242959 888307712 19433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=536] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/536/stat : 536 (java) S 529 531 30423 0 -1 64 8 271 0 0 0 0 0 1 16 0 9 0 28242959 888307712 19433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=537] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/537/stat : 537 (java) S 529 531 30423 0 -1 64 1 271 0 0 0 0 0 1 18 0 9 0 28242961 888307712 19433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=538] ppid=529 vsize=867488 CPUtime=0.21
/proc/531/task/538/stat : 538 (java) S 529 531 30423 0 -1 64 553 271 0 0 20 0 0 1 15 0 9 0 28242961 888307712 19433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=539] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/539/stat : 539 (java) S 529 531 30423 0 -1 64 1 271 0 0 0 0 0 1 19 0 9 0 28242961 888307712 19433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=540] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/540/stat : 540 (java) S 529 531 30423 0 -1 64 12 271 0 0 0 0 0 1 15 0 9 0 28242961 888307712 19433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 867488
[startup+12.7017 s]
/proc/loadavg: 1.93 1.98 1.99 3/89 544
/proc/meminfo: memFree=1725168/2055920 swapFree=4192812/4192956
[pid=531] ppid=529 vsize=867488 CPUtime=12.56
/proc/531/stat : 531 (java) S 529 531 30423 0 -1 0 28682 271 1 0 1242 13 0 1 18 0 9 0 28242956 888307712 19437 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/531/statm: 216872 19437 2656 9 0 211308 0
[pid=531/tid=533] ppid=529 vsize=867488 CPUtime=12.21
/proc/531/task/533/stat : 533 (java) R 529 531 30423 0 -1 64 19685 271 1 0 1211 9 0 1 25 0 9 0 28242957 888307712 19437 996147200 134512640 134550932 4294955968 18446744073709551615 4126769810 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=534] ppid=529 vsize=867488 CPUtime=0.11
/proc/531/task/534/stat : 534 (java) S 529 531 30423 0 -1 64 7590 271 0 0 9 1 0 1 16 0 9 0 28242959 888307712 19437 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=531/tid=535] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/535/stat : 535 (java) S 529 531 30423 0 -1 64 18 271 0 0 0 0 0 1 16 0 9 0 28242959 888307712 19437 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=536] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/536/stat : 536 (java) S 529 531 30423 0 -1 64 8 271 0 0 0 0 0 1 16 0 9 0 28242959 888307712 19437 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=537] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/537/stat : 537 (java) S 529 531 30423 0 -1 64 1 271 0 0 0 0 0 1 18 0 9 0 28242961 888307712 19437 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=538] ppid=529 vsize=867488 CPUtime=0.22
/proc/531/task/538/stat : 538 (java) S 529 531 30423 0 -1 64 557 271 0 0 21 0 0 1 16 0 9 0 28242961 888307712 19437 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=539] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/539/stat : 539 (java) S 529 531 30423 0 -1 64 1 271 0 0 0 0 0 1 19 0 9 0 28242961 888307712 19437 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=540] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/540/stat : 540 (java) S 529 531 30423 0 -1 64 12 271 0 0 0 0 0 1 15 0 9 0 28242961 888307712 19437 996147200 134512640 134550932 4294955968 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) 867488
[startup+25.5022 s]
/proc/loadavg: 1.95 1.98 1.99 3/89 544
/proc/meminfo: memFree=1725360/2055920 swapFree=4192812/4192956
[pid=531] ppid=529 vsize=867488 CPUtime=25.24
/proc/531/stat : 531 (java) S 529 531 30423 0 -1 0 28718 271 1 0 2510 13 0 1 18 0 9 0 28242956 888307712 19438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/531/statm: 216872 19438 2656 9 0 211308 0
[pid=531/tid=533] ppid=529 vsize=867488 CPUtime=24.88
/proc/531/task/533/stat : 533 (java) R 529 531 30423 0 -1 64 19720 271 1 0 2478 9 0 1 25 0 9 0 28242957 888307712 19438 996147200 134512640 134550932 4294955968 18446744073709551615 4126769627 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=534] ppid=529 vsize=867488 CPUtime=0.11
/proc/531/task/534/stat : 534 (java) S 529 531 30423 0 -1 64 7590 271 0 0 9 1 0 1 16 0 9 0 28242959 888307712 19438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=531/tid=535] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/535/stat : 535 (java) S 529 531 30423 0 -1 64 18 271 0 0 0 0 0 1 16 0 9 0 28242959 888307712 19438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=536] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/536/stat : 536 (java) S 529 531 30423 0 -1 64 8 271 0 0 0 0 0 1 16 0 9 0 28242959 888307712 19438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=537] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/537/stat : 537 (java) S 529 531 30423 0 -1 64 1 271 0 0 0 0 0 1 18 0 9 0 28242961 888307712 19438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=538] ppid=529 vsize=867488 CPUtime=0.22
/proc/531/task/538/stat : 538 (java) S 529 531 30423 0 -1 64 558 271 0 0 21 0 0 1 17 0 9 0 28242961 888307712 19438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=539] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/539/stat : 539 (java) S 529 531 30423 0 -1 64 1 271 0 0 0 0 0 1 19 0 9 0 28242961 888307712 19438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=540] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/540/stat : 540 (java) S 529 531 30423 0 -1 64 12 271 0 0 0 0 0 1 15 0 9 0 28242961 888307712 19438 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) 867488
[startup+51.1021 s]
/proc/loadavg: 1.90 1.97 1.99 3/89 585
/proc/meminfo: memFree=1688752/2055920 swapFree=4192812/4192956
[pid=531] ppid=529 vsize=867488 CPUtime=50.7
/proc/531/stat : 531 (java) S 529 531 30423 0 -1 0 28790 271 1 0 5055 14 0 1 18 0 9 0 28242956 888307712 19438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/531/statm: 216872 19438 2656 9 0 211308 0
[pid=531/tid=533] ppid=529 vsize=867488 CPUtime=50.35
/proc/531/task/533/stat : 533 (java) R 529 531 30423 0 -1 64 19792 271 1 0 5024 10 0 1 25 0 9 0 28242957 888307712 19438 996147200 134512640 134550932 4294955968 18446744073709551615 4126769810 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=531/tid=534] ppid=529 vsize=867488 CPUtime=0.11
/proc/531/task/534/stat : 534 (java) S 529 531 30423 0 -1 64 7590 271 0 0 9 1 0 1 16 0 9 0 28242959 888307712 19438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=531/tid=535] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/535/stat : 535 (java) S 529 531 30423 0 -1 64 18 271 0 0 0 0 0 1 16 0 9 0 28242959 888307712 19438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=536] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/536/stat : 536 (java) S 529 531 30423 0 -1 64 8 271 0 0 0 0 0 1 16 0 9 0 28242959 888307712 19438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=537] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/537/stat : 537 (java) S 529 531 30423 0 -1 64 1 271 0 0 0 0 0 1 18 0 9 0 28242961 888307712 19438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=538] ppid=529 vsize=867488 CPUtime=0.22
/proc/531/task/538/stat : 538 (java) S 529 531 30423 0 -1 64 558 271 0 0 21 0 0 1 16 0 9 0 28242961 888307712 19438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=539] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/539/stat : 539 (java) S 529 531 30423 0 -1 64 1 271 0 0 0 0 0 1 19 0 9 0 28242961 888307712 19438 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/531/stat : 531 (java) S 529 531 30423 0 -1 0 29647 271 1 0 33201 15 0 1 18 0 9 0 28242956 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/531/statm: 216872 19442 2656 9 0 211308 0
[pid=531/tid=533] ppid=529 vsize=867488 CPUtime=331.81
/proc/531/task/533/stat : 533 (java) R 529 531 30423 0 -1 64 20648 271 1 0 33169 11 0 1 25 0 9 0 28242957 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4126769810 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=531/tid=534] ppid=529 vsize=867488 CPUtime=0.11
/proc/531/task/534/stat : 534 (java) S 529 531 30423 0 -1 64 7590 271 0 0 9 1 0 1 16 0 9 0 28242959 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=531/tid=535] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/535/stat : 535 (java) S 529 531 30423 0 -1 64 18 271 0 0 0 0 0 1 16 0 9 0 28242959 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=536] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/536/stat : 536 (java) S 529 531 30423 0 -1 64 8 271 0 0 0 0 0 1 16 0 9 0 28242959 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=537] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/537/stat : 537 (java) S 529 531 30423 0 -1 64 1 271 0 0 0 0 0 1 18 0 9 0 28242961 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=538] ppid=529 vsize=867488 CPUtime=0.22
/proc/531/task/538/stat : 538 (java) S 529 531 30423 0 -1 64 559 271 0 0 21 0 0 1 16 0 9 0 28242961 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=531/tid=539] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/539/stat : 539 (java) S 529 531 30423 0 -1 64 1 271 0 0 0 0 0 1 19 0 9 0 28242961 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=540] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/540/stat : 540 (java) S 529 531 30423 0 -1 64 12 271 0 0 0 0 0 1 15 0 9 0 28242961 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 332.17
Current children cumulated vsize (KiB) 867488
[startup+335.901 s]
/proc/loadavg: 1.99 1.97 1.99 3/89 585
/proc/meminfo: memFree=1688432/2055920 swapFree=4192812/4192956
[pid=531] ppid=529 vsize=867488 CPUtime=335.37
/proc/531/stat : 531 (java) S 529 531 30423 0 -1 0 29654 271 1 0 33521 15 0 1 18 0 9 0 28242956 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/531/statm: 216872 19442 2656 9 0 211308 0
[pid=531/tid=533] ppid=529 vsize=867488 CPUtime=335.01
/proc/531/task/533/stat : 533 (java) R 529 531 30423 0 -1 64 20655 271 1 0 33489 11 0 1 25 0 9 0 28242957 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4126769596 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=531/tid=534] ppid=529 vsize=867488 CPUtime=0.11
/proc/531/task/534/stat : 534 (java) S 529 531 30423 0 -1 64 7590 271 0 0 9 1 0 1 16 0 9 0 28242959 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=531/tid=535] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/535/stat : 535 (java) S 529 531 30423 0 -1 64 18 271 0 0 0 0 0 1 16 0 9 0 28242959 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=536] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/536/stat : 536 (java) S 529 531 30423 0 -1 64 8 271 0 0 0 0 0 1 16 0 9 0 28242959 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=537] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/537/stat : 537 (java) S 529 531 30423 0 -1 64 1 271 0 0 0 0 0 1 18 0 9 0 28242961 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=538] ppid=529 vsize=867488 CPUtime=0.22
/proc/531/task/538/stat : 538 (java) S 529 531 30423 0 -1 64 559 271 0 0 21 0 0 1 16 0 9 0 28242961 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=531/tid=539] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/539/stat : 539 (java) S 529 531 30423 0 -1 64 1 271 0 0 0 0 0 1 19 0 9 0 28242961 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=540] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/540/stat : 540 (java) S 529 531 30423 0 -1 64 12 271 0 0 0 0 0 1 15 0 9 0 28242961 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 335.37
Current children cumulated vsize (KiB) 867488
[startup+337.502 s]
/proc/loadavg: 1.99 1.97 1.99 3/89 585
/proc/meminfo: memFree=1688432/2055920 swapFree=4192812/4192956
[pid=531] ppid=529 vsize=867488 CPUtime=336.96
/proc/531/stat : 531 (java) S 529 531 30423 0 -1 0 29661 271 1 0 33680 15 0 1 18 0 9 0 28242956 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/531/statm: 216872 19442 2656 9 0 211308 0
[pid=531/tid=533] ppid=529 vsize=867488 CPUtime=336.61
/proc/531/task/533/stat : 533 (java) R 529 531 30423 0 -1 64 20662 271 1 0 33649 11 0 1 25 0 9 0 28242957 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4126788498 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=531/tid=534] ppid=529 vsize=867488 CPUtime=0.11
/proc/531/task/534/stat : 534 (java) S 529 531 30423 0 -1 64 7590 271 0 0 9 1 0 1 16 0 9 0 28242959 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=531/tid=535] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/535/stat : 535 (java) S 529 531 30423 0 -1 64 18 271 0 0 0 0 0 1 16 0 9 0 28242959 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=536] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/536/stat : 536 (java) S 529 531 30423 0 -1 64 8 271 0 0 0 0 0 1 16 0 9 0 28242959 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=537] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/537/stat : 537 (java) S 529 531 30423 0 -1 64 1 271 0 0 0 0 0 1 18 0 9 0 28242961 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=538] ppid=529 vsize=867488 CPUtime=0.22
/proc/531/task/538/stat : 538 (java) S 529 531 30423 0 -1 64 559 271 0 0 21 0 0 1 16 0 9 0 28242961 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=531/tid=539] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/539/stat : 539 (java) S 529 531 30423 0 -1 64 1 271 0 0 0 0 0 1 19 0 9 0 28242961 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=540] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/540/stat : 540 (java) S 529 531 30423 0 -1 64 12 271 0 0 0 0 0 1 15 0 9 0 28242961 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 336.96
Current children cumulated vsize (KiB) 867488
[startup+339.103 s]
/proc/loadavg: 1.99 1.97 1.99 3/89 585
/proc/meminfo: memFree=1688432/2055920 swapFree=4192812/4192956
[pid=531] ppid=529 vsize=867488 CPUtime=338.56
/proc/531/stat : 531 (java) S 529 531 30423 0 -1 0 29667 271 1 0 33840 15 0 1 18 0 9 0 28242956 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/531/statm: 216872 19442 2656 9 0 211308 0
[pid=531/tid=533] ppid=529 vsize=867488 CPUtime=338.21
/proc/531/task/533/stat : 533 (java) R 529 531 30423 0 -1 64 20668 271 1 0 33809 11 0 1 25 0 9 0 28242957 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4126819917 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=531/tid=534] ppid=529 vsize=867488 CPUtime=0.11
/proc/531/task/534/stat : 534 (java) S 529 531 30423 0 -1 64 7590 271 0 0 9 1 0 1 16 0 9 0 28242959 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=531/tid=535] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/535/stat : 535 (java) S 529 531 30423 0 -1 64 18 271 0 0 0 0 0 1 16 0 9 0 28242959 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=536] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/536/stat : 536 (java) S 529 531 30423 0 -1 64 8 271 0 0 0 0 0 1 16 0 9 0 28242959 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=537] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/537/stat : 537 (java) S 529 531 30423 0 -1 64 1 271 0 0 0 0 0 1 18 0 9 0 28242961 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=538] ppid=529 vsize=867488 CPUtime=0.22
/proc/531/task/538/stat : 538 (java) S 529 531 30423 0 -1 64 559 271 0 0 21 0 0 1 16 0 9 0 28242961 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=531/tid=539] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/539/stat : 539 (java) S 529 531 30423 0 -1 64 1 271 0 0 0 0 0 1 19 0 9 0 28242961 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=540] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/540/stat : 540 (java) S 529 531 30423 0 -1 64 12 271 0 0 0 0 0 1 15 0 9 0 28242961 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 338.56
Current children cumulated vsize (KiB) 867488
[startup+339.502 s]
/proc/loadavg: 1.99 1.97 1.99 3/89 585
/proc/meminfo: memFree=1688432/2055920 swapFree=4192812/4192956
[pid=531] ppid=529 vsize=867488 CPUtime=338.96
/proc/531/stat : 531 (java) S 529 531 30423 0 -1 0 29668 271 1 0 33880 15 0 1 18 0 9 0 28242956 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/531/statm: 216872 19442 2656 9 0 211308 0
[pid=531/tid=533] ppid=529 vsize=867488 CPUtime=338.61
/proc/531/task/533/stat : 533 (java) R 529 531 30423 0 -1 64 20669 271 1 0 33849 11 0 1 25 0 9 0 28242957 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4126769840 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=531/tid=534] ppid=529 vsize=867488 CPUtime=0.11
/proc/531/task/534/stat : 534 (java) S 529 531 30423 0 -1 64 7590 271 0 0 9 1 0 1 16 0 9 0 28242959 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=531/tid=535] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/535/stat : 535 (java) S 529 531 30423 0 -1 64 18 271 0 0 0 0 0 1 16 0 9 0 28242959 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=536] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/536/stat : 536 (java) S 529 531 30423 0 -1 64 8 271 0 0 0 0 0 1 16 0 9 0 28242959 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=537] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/537/stat : 537 (java) S 529 531 30423 0 -1 64 1 271 0 0 0 0 0 1 18 0 9 0 28242961 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=538] ppid=529 vsize=867488 CPUtime=0.22
/proc/531/task/538/stat : 538 (java) S 529 531 30423 0 -1 64 559 271 0 0 21 0 0 1 16 0 9 0 28242961 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=531/tid=539] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/539/stat : 539 (java) S 529 531 30423 0 -1 64 1 271 0 0 0 0 0 1 19 0 9 0 28242961 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=540] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/540/stat : 540 (java) S 529 531 30423 0 -1 64 12 271 0 0 0 0 0 1 15 0 9 0 28242961 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 338.96
Current children cumulated vsize (KiB) 867488
[startup+339.702 s]
/proc/loadavg: 1.99 1.97 1.99 3/89 585
/proc/meminfo: memFree=1688432/2055920 swapFree=4192812/4192956
[pid=531] ppid=529 vsize=867488 CPUtime=339.16
/proc/531/stat : 531 (java) S 529 531 30423 0 -1 0 29669 271 1 0 33900 15 0 1 18 0 9 0 28242956 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/531/statm: 216872 19442 2656 9 0 211308 0
[pid=531/tid=533] ppid=529 vsize=867488 CPUtime=338.81
/proc/531/task/533/stat : 533 (java) R 529 531 30423 0 -1 64 20670 271 1 0 33869 11 0 1 25 0 9 0 28242957 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4126769820 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=531/tid=534] ppid=529 vsize=867488 CPUtime=0.11
/proc/531/task/534/stat : 534 (java) S 529 531 30423 0 -1 64 7590 271 0 0 9 1 0 1 16 0 9 0 28242959 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=531/tid=535] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/535/stat : 535 (java) S 529 531 30423 0 -1 64 18 271 0 0 0 0 0 1 16 0 9 0 28242959 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=536] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/536/stat : 536 (java) S 529 531 30423 0 -1 64 8 271 0 0 0 0 0 1 16 0 9 0 28242959 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=537] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/537/stat : 537 (java) S 529 531 30423 0 -1 64 1 271 0 0 0 0 0 1 18 0 9 0 28242961 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=538] ppid=529 vsize=867488 CPUtime=0.22
/proc/531/task/538/stat : 538 (java) S 529 531 30423 0 -1 64 559 271 0 0 21 0 0 1 16 0 9 0 28242961 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=531/tid=539] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/539/stat : 539 (java) S 529 531 30423 0 -1 64 1 271 0 0 0 0 0 1 19 0 9 0 28242961 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=540] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/540/stat : 540 (java) S 529 531 30423 0 -1 64 12 271 0 0 0 0 0 1 15 0 9 0 28242961 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 339.16
Current children cumulated vsize (KiB) 867488
[startup+339.802 s]
/proc/loadavg: 1.99 1.97 1.99 3/89 585
/proc/meminfo: memFree=1688432/2055920 swapFree=4192812/4192956
[pid=531] ppid=529 vsize=867488 CPUtime=339.27
/proc/531/stat : 531 (java) S 529 531 30423 0 -1 0 29669 271 1 0 33911 15 0 1 18 0 9 0 28242956 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/531/statm: 216872 19442 2656 9 0 211308 0
[pid=531/tid=533] ppid=529 vsize=867488 CPUtime=338.91
/proc/531/task/533/stat : 533 (java) R 529 531 30423 0 -1 64 20670 271 1 0 33879 11 0 1 25 0 9 0 28242957 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4126796729 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=531/tid=534] ppid=529 vsize=867488 CPUtime=0.11
/proc/531/task/534/stat : 534 (java) S 529 531 30423 0 -1 64 7590 271 0 0 9 1 0 1 16 0 9 0 28242959 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=531/tid=535] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/535/stat : 535 (java) S 529 531 30423 0 -1 64 18 271 0 0 0 0 0 1 16 0 9 0 28242959 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=536] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/536/stat : 536 (java) S 529 531 30423 0 -1 64 8 271 0 0 0 0 0 1 16 0 9 0 28242959 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=537] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/537/stat : 537 (java) S 529 531 30423 0 -1 64 1 271 0 0 0 0 0 1 18 0 9 0 28242961 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=538] ppid=529 vsize=867488 CPUtime=0.22
/proc/531/task/538/stat : 538 (java) S 529 531 30423 0 -1 64 559 271 0 0 21 0 0 1 16 0 9 0 28242961 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=531/tid=539] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/539/stat : 539 (java) S 529 531 30423 0 -1 64 1 271 0 0 0 0 0 1 19 0 9 0 28242961 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=531/tid=540] ppid=529 vsize=867488 CPUtime=0.01
/proc/531/task/540/stat : 540 (java) S 529 531 30423 0 -1 64 12 271 0 0 0 0 0 1 15 0 9 0 28242961 888307712 19442 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 339.27
Current children cumulated vsize (KiB) 867488
Child status: 0
Real time (s): 339.878
CPU time (s): 339.308
CPU user time (s): 339.129
CPU system time (s): 0.178972
CPU usage (%): 99.8324
Max. virtual memory (cumulated for all children) (KiB): 867488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 339.129
system time used= 0.178972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30041
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= 7898
involuntary context switches= 8936
runsolver used 0.500923 second user time and 1.05984 second system time
The end
Begin job on node23 at 2009-07-12 17:16:06
IDJOB=2097144
IDBENCH=56941
IDSOLVER=774
FILE ID=node23/2097144-1247411765
PBS_JOBID= 9510598
Free space on /tmp= 66360 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/rand-3-20-20/normalized-rand-3-20-20-60-632-41_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= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097144-1247411765/watcher-2097144-1247411765 -o /tmp/evaluation-result-2097144-1247411765/solver-2097144-1247411765 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097144-1247411765.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= b5cf0a5cebccc02723b1c0e25cb32a5b
RANDOM SEED=1910345122
node23.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.277
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.277
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: 1793624 kB
Buffers: 41092 kB
Cached: 114628 kB
SwapCached: 0 kB
Active: 144304 kB
Inactive: 60100 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1793624 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3324 kB
Writeback: 0 kB
Mapped: 69116 kB
Slab: 43064 kB
Committed_AS: 1011656 kB
PageTables: 1852 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= 66356 MiB
End job on node23 at 2009-07-12 17:21:46