0.05/0.08
0.05/0.08 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=mac.xml
0.18/0.27
0.18/0.27 instance
0.18/0.27 name=HOME/instance-2094625-1247404775.xml
0.28/0.31
0.28/0.31 domains being loaded...
0.28/0.32
0.28/0.32 variables being loaded...
0.28/0.36 nbVariables=120 nbDomainTypes=1 minDomainSize=3 maxDomainSize=3 nbTotalValues=360
0.28/0.36 => wckTime=0.115 cpuTime=0.1 mem=7M892
0.28/0.36
0.28/0.36 predicates being loaded...
0.38/0.42
0.38/0.42 constraints being loaded...
0.76/0.86 nbConstraints=575 nbGlobalConstraints=15 nbConflictsStructures=1 nbSharedConflictsStructures=559
0.76/0.87 nbSharedBinaryRepresentations=0 nbEvaluationManagers=1 nbSharedEvaluationManagers=559 minDegree=15 maxDegree=18
0.76/0.87 minArity=3 avgArity=3.65 maxArity=28 nbGenerators=15 nbFusions=0 symmetryWckTime=0.117 symmetryCpuTime=0.06
0.76/0.87 => wckTime=0.621 cpuTime=0.45 mem=23M569
0.86/0.94
0.86/0.94 solver IterativeSystematicSolver being built...
0.97/1.04
0.97/1.05 INFO : Forward propagation technique limited
1.06/1.11 => wckTime=0.872 cpuTime=0.6 mem=25M327
1.06/1.13
1.06/1.13 preprocessing
1.06/1.13 nbConstraintChecks=0 nbPropagations=120 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.06/1.13 detectedInconsistency=no
1.06/1.13 => wckTime=0.012 cpuTime=0.01 mem=25M327
1.16/1.30
1.25/1.30 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=26M335)
93.17/93.92
93.17/93.92 search
93.17/93.92 run=23 nbConstraintChecks=28276457 nbValidityChecks=30751264 minDepth=1 maxDepth=120 nbPropagations=15094810
93.17/93.92 nbRevisions=40862819 nbUselessRevisions=31413017 nbAssignments=918201 nbFailedAssignments=312365
93.17/93.92 nbBacktracks=605231 nbVisitedNodes=1438105 nbRestartNogoods=180 nbFoundSolutions=1 nbSEliminables=0
93.17/93.92 nbREliminables=72 nbIEliminables=23.22 nbDEliminables=0 nbPEliminables=0
93.17/93.92 => wckTime=92.799 cpuTime=92.01 mem=26M335
93.17/93.92
93.17/93.92 global
93.17/93.92 nbConstraintChecks=28276457 nbValidityChecks=30751264 nbPropagations=15094930 nbRevisions=40862819
93.17/93.92 nbUselessRevisions=31413017 nbRestartNogoods=180 solvingWckTime=92.801 solvingCpuTime=92.02 expiredTime=no
93.17/93.92 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=92.61 globalCpuTime=92.67
93.17/93.92 => wckTime=93.675 cpuTime=92.62 mem=26M335
93.17/93.92
93.17/93.92 s SATISFIABLE
93.17/93.92 v 0 0 0 0 0 1 1 1 1 1 2 2 2 2 2 1 1 2 2 0 0 1 1 2 0 0 1 2 2 2 1 2 0 1 0 2 1 1 2 0 0 2 2 1 1 0 2 0 1 2 1 0 2 0 1 1 2 1 0 0 0 2 2 0 1 2 1 0 1 0 2 0 2 1 0 2 2 0 0 1 2 1 2 0 0 2 0 2 1 1 0 2 0 2 0 1 2 1 2 2 1 0 2 2 1 2 2 0 1 1 1 0 1 0 0 0 1 1 1 0
93.17/93.92 d NODES 918201
93.17/93.92 d CHECKS 28276457
93.17/93.92
93.17/93.92 totalWckTime=93.741 totalCpuTime=92.67
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2094625-1247404775/watcher-2094625-1247404775 -o /tmp/evaluation-result-2094625-1247404775/solver-2094625-1247404775 -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-2094625-1247404775.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.97 2.04 1.94 4/80 28888
/proc/meminfo: memFree=1760224/2055920 swapFree=4192812/4192956
[pid=28888] ppid=28886 vsize=152 CPUtime=0
/proc/28888/stat : 28888 (java) R 28886 28888 27929 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 27544560 155648 26 996147200 134512640 134550932 4294956128 18446744073709551615 9696036 0 0 4096 0 0 0 0 17 0 0 0
/proc/28888/statm: 38 26 19 9 0 4 0
[startup+0.0745761 s]
/proc/loadavg: 1.97 2.04 1.94 4/80 28888
/proc/meminfo: memFree=1760224/2055920 swapFree=4192812/4192956
[pid=28888] ppid=28886 vsize=864144 CPUtime=0.05
/proc/28888/stat : 28888 (java) S 28886 28888 27929 0 -1 0 3125 0 1 0 4 1 0 0 18 0 9 0 27544560 884883456 2610 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28888/statm: 216036 2611 1241 9 0 210929 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864144
[startup+0.10158 s]
/proc/loadavg: 1.97 2.04 1.94 4/80 28888
/proc/meminfo: memFree=1760224/2055920 swapFree=4192812/4192956
[pid=28888] ppid=28886 vsize=865980 CPUtime=0.09
/proc/28888/stat : 28888 (java) S 28886 28888 27929 0 -1 0 3754 0 1 0 7 2 0 0 18 0 9 0 27544560 886763520 3218 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28888/statm: 216495 3219 1702 9 0 210980 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865980
[startup+0.301599 s]
/proc/loadavg: 1.97 2.04 1.94 4/80 28888
/proc/meminfo: memFree=1760224/2055920 swapFree=4192812/4192956
[pid=28888] ppid=28886 vsize=866380 CPUtime=0.28
/proc/28888/stat : 28888 (java) S 28886 28888 27929 0 -1 0 6075 0 1 0 24 4 0 0 18 0 9 0 27544560 887173120 5441 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28888/statm: 216595 5442 1986 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380
[startup+0.701639 s]
/proc/loadavg: 1.97 2.04 1.94 4/80 28888
/proc/meminfo: memFree=1760224/2055920 swapFree=4192812/4192956
[pid=28888] ppid=28886 vsize=867184 CPUtime=0.68
/proc/28888/stat : 28888 (java) S 28886 28888 27929 0 -1 0 9238 0 1 0 60 8 0 0 18 0 9 0 27544560 887996416 8592 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28888/statm: 216795 8592 2035 9 0 211231 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867184
[startup+1.50172 s]
/proc/loadavg: 1.97 2.04 1.94 6/91 28901
/proc/meminfo: memFree=1727032/2055920 swapFree=4192812/4192956
[pid=28888] ppid=28886 vsize=867640 CPUtime=1.45
/proc/28888/stat : 28888 (java) S 28886 28888 27929 0 -1 0 19056 356 1 0 131 12 2 0 18 0 9 0 27544560 888463360 11912 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28888/statm: 216910 11912 2658 9 0 211346 0
[pid=28888/tid=28890] ppid=28886 vsize=867640 CPUtime=1.11
/proc/28888/task/28890/stat : 28890 (java) R 28886 28888 27929 0 -1 64 13481 356 1 0 100 9 2 0 19 0 9 0 27544561 888463360 11912 996147200 134512640 134550932 4294955968 18446744073709551615 103875765 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28891] ppid=28886 vsize=867640 CPUtime=0.07
/proc/28888/task/28891/stat : 28891 (java) S 28886 28888 27929 0 -1 64 3948 356 0 0 5 0 2 0 17 0 9 0 27544563 888463360 11912 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28892] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28892/stat : 28892 (java) S 28886 28888 27929 0 -1 64 17 356 0 0 0 0 2 0 16 0 9 0 27544563 888463360 11912 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28893] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28893/stat : 28893 (java) S 28886 28888 27929 0 -1 64 10 356 0 0 0 0 2 0 16 0 9 0 27544563 888463360 11912 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28894] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28894/stat : 28894 (java) S 28886 28888 27929 0 -1 64 2 356 0 0 0 0 2 0 24 0 9 0 27544565 888463360 11912 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28895] ppid=28886 vsize=867640 CPUtime=0.28
/proc/28888/task/28895/stat : 28895 (java) S 28886 28888 27929 0 -1 64 792 356 0 0 26 0 2 0 16 0 9 0 27544565 888463360 11912 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28896] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28896/stat : 28896 (java) S 28886 28888 27929 0 -1 64 1 356 0 0 0 0 2 0 25 0 9 0 27544565 888463360 11912 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28897] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28897/stat : 28897 (java) S 28886 28888 27929 0 -1 64 6 356 0 0 0 0 2 0 15 0 9 0 27544565 888463360 11912 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 867640
[startup+3.10188 s]
/proc/loadavg: 1.97 2.04 1.94 3/89 28901
/proc/meminfo: memFree=1722688/2055920 swapFree=4192812/4192956
[pid=28888] ppid=28886 vsize=867640 CPUtime=3.03
/proc/28888/stat : 28888 (java) S 28886 28888 27929 0 -1 0 19072 356 1 0 289 12 2 0 18 0 9 0 27544560 888463360 11926 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28888/statm: 216910 11926 2658 9 0 211346 0
[pid=28888/tid=28890] ppid=28886 vsize=867640 CPUtime=2.69
/proc/28888/task/28890/stat : 28890 (java) R 28886 28888 27929 0 -1 64 13488 356 1 0 257 10 2 0 25 0 9 0 27544561 888463360 11926 996147200 134512640 134550932 4294955968 18446744073709551615 4127019283 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28891] ppid=28886 vsize=867640 CPUtime=0.07
/proc/28888/task/28891/stat : 28891 (java) S 28886 28888 27929 0 -1 64 3948 356 0 0 5 0 2 0 17 0 9 0 27544563 888463360 11926 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28892] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28892/stat : 28892 (java) S 28886 28888 27929 0 -1 64 17 356 0 0 0 0 2 0 16 0 9 0 27544563 888463360 11926 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28893] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28893/stat : 28893 (java) S 28886 28888 27929 0 -1 64 10 356 0 0 0 0 2 0 16 0 9 0 27544563 888463360 11926 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28894] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28894/stat : 28894 (java) S 28886 28888 27929 0 -1 64 2 356 0 0 0 0 2 0 24 0 9 0 27544565 888463360 11926 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28895] ppid=28886 vsize=867640 CPUtime=0.29
/proc/28888/task/28895/stat : 28895 (java) S 28886 28888 27929 0 -1 64 801 356 0 0 27 0 2 0 15 0 9 0 27544565 888463360 11926 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28896] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28896/stat : 28896 (java) S 28886 28888 27929 0 -1 64 1 356 0 0 0 0 2 0 25 0 9 0 27544565 888463360 11926 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28897] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28897/stat : 28897 (java) S 28886 28888 27929 0 -1 64 6 356 0 0 0 0 2 0 15 0 9 0 27544565 888463360 11926 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 867640
[startup+6.30219 s]
/proc/loadavg: 1.97 2.04 1.94 3/89 28901
/proc/meminfo: memFree=1722432/2055920 swapFree=4192812/4192956
[pid=28888] ppid=28886 vsize=867640 CPUtime=6.21
/proc/28888/stat : 28888 (java) S 28886 28888 27929 0 -1 0 19088 356 1 0 606 13 2 0 18 0 9 0 27544560 888463360 11932 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28888/statm: 216910 11932 2658 9 0 211346 0
[pid=28888/tid=28890] ppid=28886 vsize=867640 CPUtime=5.85
/proc/28888/task/28890/stat : 28890 (java) R 28886 28888 27929 0 -1 64 13492 356 1 0 573 10 2 0 25 0 9 0 27544561 888463360 11932 996147200 134512640 134550932 4294955968 18446744073709551615 4127002501 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28891] ppid=28886 vsize=867640 CPUtime=0.07
/proc/28888/task/28891/stat : 28891 (java) S 28886 28888 27929 0 -1 64 3948 356 0 0 5 0 2 0 16 0 9 0 27544563 888463360 11932 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28892] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28892/stat : 28892 (java) S 28886 28888 27929 0 -1 64 17 356 0 0 0 0 2 0 16 0 9 0 27544563 888463360 11932 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28893] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28893/stat : 28893 (java) S 28886 28888 27929 0 -1 64 10 356 0 0 0 0 2 0 16 0 9 0 27544563 888463360 11932 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28894] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28894/stat : 28894 (java) S 28886 28888 27929 0 -1 64 2 356 0 0 0 0 2 0 24 0 9 0 27544565 888463360 11932 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28895] ppid=28886 vsize=867640 CPUtime=0.3
/proc/28888/task/28895/stat : 28895 (java) S 28886 28888 27929 0 -1 64 804 356 0 0 27 1 2 0 15 0 9 0 27544565 888463360 11932 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28896] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28896/stat : 28896 (java) S 28886 28888 27929 0 -1 64 1 356 0 0 0 0 2 0 25 0 9 0 27544565 888463360 11932 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28897] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28897/stat : 28897 (java) S 28886 28888 27929 0 -1 64 15 356 0 0 0 0 2 0 15 0 9 0 27544565 888463360 11932 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) 867640
[startup+12.7028 s]
/proc/loadavg: 1.97 2.04 1.94 3/89 28901
/proc/meminfo: memFree=1722192/2055920 swapFree=4192812/4192956
[pid=28888] ppid=28886 vsize=867640 CPUtime=12.55
/proc/28888/stat : 28888 (java) S 28886 28888 27929 0 -1 0 19091 356 1 0 1240 13 2 0 18 0 9 0 27544560 888463360 11934 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28888/statm: 216910 11934 2658 9 0 211346 0
[pid=28888/tid=28890] ppid=28886 vsize=867640 CPUtime=12.19
/proc/28888/task/28890/stat : 28890 (java) R 28886 28888 27929 0 -1 64 13495 356 1 0 1207 10 2 0 20 0 9 0 27544561 888463360 11934 996147200 134512640 134550932 4294955968 18446744073709551615 4127105264 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28891] ppid=28886 vsize=867640 CPUtime=0.07
/proc/28888/task/28891/stat : 28891 (java) S 28886 28888 27929 0 -1 64 3948 356 0 0 5 0 2 0 16 0 9 0 27544563 888463360 11934 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28892] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28892/stat : 28892 (java) S 28886 28888 27929 0 -1 64 17 356 0 0 0 0 2 0 16 0 9 0 27544563 888463360 11934 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28893] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28893/stat : 28893 (java) S 28886 28888 27929 0 -1 64 10 356 0 0 0 0 2 0 16 0 9 0 27544563 888463360 11934 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28894] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28894/stat : 28894 (java) S 28886 28888 27929 0 -1 64 2 356 0 0 0 0 2 0 24 0 9 0 27544565 888463360 11934 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28895] ppid=28886 vsize=867640 CPUtime=0.3
/proc/28888/task/28895/stat : 28895 (java) S 28886 28888 27929 0 -1 64 804 356 0 0 27 1 2 0 16 0 9 0 27544565 888463360 11934 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28896] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28896/stat : 28896 (java) S 28886 28888 27929 0 -1 64 1 356 0 0 0 0 2 0 25 0 9 0 27544565 888463360 11934 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28897] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28897/stat : 28897 (java) S 28886 28888 27929 0 -1 64 15 356 0 0 0 0 2 0 15 0 9 0 27544565 888463360 11934 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) 867640
[startup+25.5011 s]
/proc/loadavg: 1.98 2.04 1.94 3/89 28901
/proc/meminfo: memFree=1722192/2055920 swapFree=4192812/4192956
[pid=28888] ppid=28886 vsize=867640 CPUtime=25.23
/proc/28888/stat : 28888 (java) S 28886 28888 27929 0 -1 0 19093 356 1 0 2508 13 2 0 18 0 9 0 27544560 888463360 11936 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28888/statm: 216910 11936 2658 9 0 211346 0
[pid=28888/tid=28890] ppid=28886 vsize=867640 CPUtime=24.87
/proc/28888/task/28890/stat : 28890 (java) R 28886 28888 27929 0 -1 64 13497 356 1 0 2475 10 2 0 25 0 9 0 27544561 888463360 11936 996147200 134512640 134550932 4294955968 18446744073709551615 4127089904 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28891] ppid=28886 vsize=867640 CPUtime=0.07
/proc/28888/task/28891/stat : 28891 (java) S 28886 28888 27929 0 -1 64 3948 356 0 0 5 0 2 0 16 0 9 0 27544563 888463360 11936 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28892] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28892/stat : 28892 (java) S 28886 28888 27929 0 -1 64 17 356 0 0 0 0 2 0 16 0 9 0 27544563 888463360 11936 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28893] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28893/stat : 28893 (java) S 28886 28888 27929 0 -1 64 10 356 0 0 0 0 2 0 16 0 9 0 27544563 888463360 11936 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28894] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28894/stat : 28894 (java) S 28886 28888 27929 0 -1 64 2 356 0 0 0 0 2 0 24 0 9 0 27544565 888463360 11936 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28895] ppid=28886 vsize=867640 CPUtime=0.3
/proc/28888/task/28895/stat : 28895 (java) S 28886 28888 27929 0 -1 64 804 356 0 0 27 1 2 0 16 0 9 0 27544565 888463360 11936 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28896] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28896/stat : 28896 (java) S 28886 28888 27929 0 -1 64 1 356 0 0 0 0 2 0 25 0 9 0 27544565 888463360 11936 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28897] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28897/stat : 28897 (java) S 28886 28888 27929 0 -1 64 15 356 0 0 0 0 2 0 15 0 9 0 27544565 888463360 11936 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 867640
[startup+51.1016 s]
/proc/loadavg: 1.99 2.03 1.94 3/89 28901
/proc/meminfo: memFree=1722128/2055920 swapFree=4192812/4192956
[pid=28888] ppid=28886 vsize=867640 CPUtime=50.59
/proc/28888/stat : 28888 (java) S 28886 28888 27929 0 -1 0 19097 356 1 0 5044 13 2 0 18 0 9 0 27544560 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28888/statm: 216910 11938 2658 9 0 211346 0
[pid=28888/tid=28890] ppid=28886 vsize=867640 CPUtime=50.23
/proc/28888/task/28890/stat : 28890 (java) R 28886 28888 27929 0 -1 64 13501 356 1 0 5011 10 2 0 25 0 9 0 27544561 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4127032407 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28891] ppid=28886 vsize=867640 CPUtime=0.07
/proc/28888/task/28891/stat : 28891 (java) S 28886 28888 27929 0 -1 64 3948 356 0 0 5 0 2 0 16 0 9 0 27544563 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28892] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28892/stat : 28892 (java) S 28886 28888 27929 0 -1 64 17 356 0 0 0 0 2 0 16 0 9 0 27544563 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28893] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28893/stat : 28893 (java) S 28886 28888 27929 0 -1 64 10 356 0 0 0 0 2 0 16 0 9 0 27544563 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28894] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28894/stat : 28894 (java) S 28886 28888 27929 0 -1 64 2 356 0 0 0 0 2 0 24 0 9 0 27544565 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28895] ppid=28886 vsize=867640 CPUtime=0.3
/proc/28888/task/28895/stat : 28895 (java) S 28886 28888 27929 0 -1 64 804 356 0 0 27 1 2 0 16 0 9 0 27544565 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28896] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28896/stat : 28896 (java) S 28886 28888 27929 0 -1 64 1 356 0 0 0 0 2 0 25 0 9 0 27544565 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/28888/stat : 28888 (java) S 28886 28888 27929 0 -1 0 19097 356 1 0 7582 14 2 0 18 0 9 0 27544560 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28888/statm: 216910 11938 2658 9 0 211346 0
[pid=28888/tid=28890] ppid=28886 vsize=867640 CPUtime=75.62
/proc/28888/task/28890/stat : 28890 (java) R 28886 28888 27929 0 -1 64 13501 356 1 0 7549 11 2 0 25 0 9 0 27544561 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4127032438 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28891] ppid=28886 vsize=867640 CPUtime=0.07
/proc/28888/task/28891/stat : 28891 (java) S 28886 28888 27929 0 -1 64 3948 356 0 0 5 0 2 0 16 0 9 0 27544563 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28892] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28892/stat : 28892 (java) S 28886 28888 27929 0 -1 64 17 356 0 0 0 0 2 0 16 0 9 0 27544563 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28893] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28893/stat : 28893 (java) S 28886 28888 27929 0 -1 64 10 356 0 0 0 0 2 0 16 0 9 0 27544563 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28894] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28894/stat : 28894 (java) S 28886 28888 27929 0 -1 64 2 356 0 0 0 0 2 0 24 0 9 0 27544565 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28895] ppid=28886 vsize=867640 CPUtime=0.3
/proc/28888/task/28895/stat : 28895 (java) S 28886 28888 27929 0 -1 64 804 356 0 0 27 1 2 0 16 0 9 0 27544565 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28896] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28896/stat : 28896 (java) S 28886 28888 27929 0 -1 64 1 356 0 0 0 0 2 0 25 0 9 0 27544565 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28897] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28897/stat : 28897 (java) S 28886 28888 27929 0 -1 64 15 356 0 0 0 0 2 0 15 0 9 0 27544565 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 75.98
Current children cumulated vsize (KiB) 867640
[startup+83.1028 s]
/proc/loadavg: 1.99 2.03 1.94 3/91 28938
/proc/meminfo: memFree=1666688/2055920 swapFree=4192812/4192956
[pid=28888] ppid=28886 vsize=867640 CPUtime=82.37
/proc/28888/stat : 28888 (java) S 28886 28888 27929 0 -1 0 19097 356 1 0 8221 14 2 0 18 0 9 0 27544560 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28888/statm: 216910 11938 2658 9 0 211346 0
[pid=28888/tid=28890] ppid=28886 vsize=867640 CPUtime=82.01
/proc/28888/task/28890/stat : 28890 (java) R 28886 28888 27929 0 -1 64 13501 356 1 0 8188 11 2 0 25 0 9 0 27544561 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4127007932 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28891] ppid=28886 vsize=867640 CPUtime=0.07
/proc/28888/task/28891/stat : 28891 (java) S 28886 28888 27929 0 -1 64 3948 356 0 0 5 0 2 0 16 0 9 0 27544563 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28892] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28892/stat : 28892 (java) S 28886 28888 27929 0 -1 64 17 356 0 0 0 0 2 0 16 0 9 0 27544563 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28893] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28893/stat : 28893 (java) S 28886 28888 27929 0 -1 64 10 356 0 0 0 0 2 0 16 0 9 0 27544563 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28894] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28894/stat : 28894 (java) S 28886 28888 27929 0 -1 64 2 356 0 0 0 0 2 0 24 0 9 0 27544565 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28895] ppid=28886 vsize=867640 CPUtime=0.3
/proc/28888/task/28895/stat : 28895 (java) S 28886 28888 27929 0 -1 64 804 356 0 0 27 1 2 0 16 0 9 0 27544565 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28896] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28896/stat : 28896 (java) S 28886 28888 27929 0 -1 64 1 356 0 0 0 0 2 0 25 0 9 0 27544565 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28897] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28897/stat : 28897 (java) S 28886 28888 27929 0 -1 64 15 356 0 0 0 0 2 0 15 0 9 0 27544565 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 82.37
Current children cumulated vsize (KiB) 867640
[startup+89.5024 s]
/proc/loadavg: 1.99 2.03 1.94 3/91 28938
/proc/meminfo: memFree=1666624/2055920 swapFree=4192812/4192956
[pid=28888] ppid=28886 vsize=867640 CPUtime=88.77
/proc/28888/stat : 28888 (java) S 28886 28888 27929 0 -1 0 19097 356 1 0 8861 14 2 0 18 0 9 0 27544560 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28888/statm: 216910 11938 2658 9 0 211346 0
[pid=28888/tid=28890] ppid=28886 vsize=867640 CPUtime=88.41
/proc/28888/task/28890/stat : 28890 (java) R 28886 28888 27929 0 -1 64 13501 356 1 0 8828 11 2 0 25 0 9 0 27544561 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4127048892 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28891] ppid=28886 vsize=867640 CPUtime=0.07
/proc/28888/task/28891/stat : 28891 (java) S 28886 28888 27929 0 -1 64 3948 356 0 0 5 0 2 0 16 0 9 0 27544563 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28892] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28892/stat : 28892 (java) S 28886 28888 27929 0 -1 64 17 356 0 0 0 0 2 0 16 0 9 0 27544563 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28893] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28893/stat : 28893 (java) S 28886 28888 27929 0 -1 64 10 356 0 0 0 0 2 0 16 0 9 0 27544563 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28894] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28894/stat : 28894 (java) S 28886 28888 27929 0 -1 64 2 356 0 0 0 0 2 0 24 0 9 0 27544565 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28895] ppid=28886 vsize=867640 CPUtime=0.3
/proc/28888/task/28895/stat : 28895 (java) S 28886 28888 27929 0 -1 64 804 356 0 0 27 1 2 0 16 0 9 0 27544565 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28896] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28896/stat : 28896 (java) S 28886 28888 27929 0 -1 64 1 356 0 0 0 0 2 0 25 0 9 0 27544565 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28897] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28897/stat : 28897 (java) S 28886 28888 27929 0 -1 64 15 356 0 0 0 0 2 0 15 0 9 0 27544565 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 88.77
Current children cumulated vsize (KiB) 867640
[startup+91.1026 s]
/proc/loadavg: 1.99 2.03 1.94 3/91 28938
/proc/meminfo: memFree=1666624/2055920 swapFree=4192812/4192956
[pid=28888] ppid=28886 vsize=867640 CPUtime=90.37
/proc/28888/stat : 28888 (java) S 28886 28888 27929 0 -1 0 19097 356 1 0 9021 14 2 0 18 0 9 0 27544560 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28888/statm: 216910 11938 2658 9 0 211346 0
[pid=28888/tid=28890] ppid=28886 vsize=867640 CPUtime=90.01
/proc/28888/task/28890/stat : 28890 (java) R 28886 28888 27929 0 -1 64 13501 356 1 0 8988 11 2 0 25 0 9 0 27544561 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4127007872 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28891] ppid=28886 vsize=867640 CPUtime=0.07
/proc/28888/task/28891/stat : 28891 (java) S 28886 28888 27929 0 -1 64 3948 356 0 0 5 0 2 0 16 0 9 0 27544563 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28892] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28892/stat : 28892 (java) S 28886 28888 27929 0 -1 64 17 356 0 0 0 0 2 0 16 0 9 0 27544563 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28893] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28893/stat : 28893 (java) S 28886 28888 27929 0 -1 64 10 356 0 0 0 0 2 0 16 0 9 0 27544563 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28894] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28894/stat : 28894 (java) S 28886 28888 27929 0 -1 64 2 356 0 0 0 0 2 0 24 0 9 0 27544565 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28895] ppid=28886 vsize=867640 CPUtime=0.3
/proc/28888/task/28895/stat : 28895 (java) S 28886 28888 27929 0 -1 64 804 356 0 0 27 1 2 0 16 0 9 0 27544565 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28896] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28896/stat : 28896 (java) S 28886 28888 27929 0 -1 64 1 356 0 0 0 0 2 0 25 0 9 0 27544565 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28897] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28897/stat : 28897 (java) S 28886 28888 27929 0 -1 64 15 356 0 0 0 0 2 0 15 0 9 0 27544565 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 90.37
Current children cumulated vsize (KiB) 867640
[startup+92.7028 s]
/proc/loadavg: 1.99 2.03 1.94 3/91 28938
/proc/meminfo: memFree=1666560/2055920 swapFree=4192812/4192956
[pid=28888] ppid=28886 vsize=867640 CPUtime=91.97
/proc/28888/stat : 28888 (java) S 28886 28888 27929 0 -1 0 19097 356 1 0 9181 14 2 0 18 0 9 0 27544560 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28888/statm: 216910 11938 2658 9 0 211346 0
[pid=28888/tid=28890] ppid=28886 vsize=867640 CPUtime=91.61
/proc/28888/task/28890/stat : 28890 (java) R 28886 28888 27929 0 -1 64 13501 356 1 0 9148 11 2 0 25 0 9 0 27544561 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4127048877 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28891] ppid=28886 vsize=867640 CPUtime=0.07
/proc/28888/task/28891/stat : 28891 (java) S 28886 28888 27929 0 -1 64 3948 356 0 0 5 0 2 0 16 0 9 0 27544563 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28892] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28892/stat : 28892 (java) S 28886 28888 27929 0 -1 64 17 356 0 0 0 0 2 0 16 0 9 0 27544563 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28893] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28893/stat : 28893 (java) S 28886 28888 27929 0 -1 64 10 356 0 0 0 0 2 0 16 0 9 0 27544563 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28894] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28894/stat : 28894 (java) S 28886 28888 27929 0 -1 64 2 356 0 0 0 0 2 0 24 0 9 0 27544565 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28895] ppid=28886 vsize=867640 CPUtime=0.3
/proc/28888/task/28895/stat : 28895 (java) S 28886 28888 27929 0 -1 64 804 356 0 0 27 1 2 0 16 0 9 0 27544565 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28896] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28896/stat : 28896 (java) S 28886 28888 27929 0 -1 64 1 356 0 0 0 0 2 0 25 0 9 0 27544565 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28897] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28897/stat : 28897 (java) S 28886 28888 27929 0 -1 64 15 356 0 0 0 0 2 0 15 0 9 0 27544565 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 91.97
Current children cumulated vsize (KiB) 867640
[startup+93.5078 s]
/proc/loadavg: 1.99 2.03 1.94 3/91 28938
/proc/meminfo: memFree=1666560/2055920 swapFree=4192812/4192956
[pid=28888] ppid=28886 vsize=867640 CPUtime=92.77
/proc/28888/stat : 28888 (java) S 28886 28888 27929 0 -1 0 19097 356 1 0 9261 14 2 0 18 0 9 0 27544560 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28888/statm: 216910 11938 2658 9 0 211346 0
[pid=28888/tid=28890] ppid=28886 vsize=867640 CPUtime=92.41
/proc/28888/task/28890/stat : 28890 (java) R 28886 28888 27929 0 -1 64 13501 356 1 0 9228 11 2 0 25 0 9 0 27544561 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4127002537 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28891] ppid=28886 vsize=867640 CPUtime=0.07
/proc/28888/task/28891/stat : 28891 (java) S 28886 28888 27929 0 -1 64 3948 356 0 0 5 0 2 0 16 0 9 0 27544563 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28892] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28892/stat : 28892 (java) S 28886 28888 27929 0 -1 64 17 356 0 0 0 0 2 0 16 0 9 0 27544563 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28893] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28893/stat : 28893 (java) S 28886 28888 27929 0 -1 64 10 356 0 0 0 0 2 0 16 0 9 0 27544563 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28894] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28894/stat : 28894 (java) S 28886 28888 27929 0 -1 64 2 356 0 0 0 0 2 0 24 0 9 0 27544565 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28895] ppid=28886 vsize=867640 CPUtime=0.3
/proc/28888/task/28895/stat : 28895 (java) S 28886 28888 27929 0 -1 64 804 356 0 0 27 1 2 0 16 0 9 0 27544565 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28896] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28896/stat : 28896 (java) S 28886 28888 27929 0 -1 64 1 356 0 0 0 0 2 0 25 0 9 0 27544565 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28897] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28897/stat : 28897 (java) S 28886 28888 27929 0 -1 64 15 356 0 0 0 0 2 0 15 0 9 0 27544565 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 92.77
Current children cumulated vsize (KiB) 867640
[startup+93.9019 s]
/proc/loadavg: 1.99 2.03 1.94 3/91 28938
/proc/meminfo: memFree=1666560/2055920 swapFree=4192812/4192956
[pid=28888] ppid=28886 vsize=867640 CPUtime=93.17
/proc/28888/stat : 28888 (java) S 28886 28888 27929 0 -1 0 19097 356 1 0 9301 14 2 0 18 0 9 0 27544560 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/28888/statm: 216910 11938 2658 9 0 211346 0
[pid=28888/tid=28890] ppid=28886 vsize=867640 CPUtime=92.81
/proc/28888/task/28890/stat : 28890 (java) R 28886 28888 27929 0 -1 64 13501 356 1 0 9268 11 2 0 25 0 9 0 27544561 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4127046900 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28891] ppid=28886 vsize=867640 CPUtime=0.07
/proc/28888/task/28891/stat : 28891 (java) S 28886 28888 27929 0 -1 64 3948 356 0 0 5 0 2 0 16 0 9 0 27544563 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28892] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28892/stat : 28892 (java) S 28886 28888 27929 0 -1 64 17 356 0 0 0 0 2 0 16 0 9 0 27544563 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28893] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28893/stat : 28893 (java) S 28886 28888 27929 0 -1 64 10 356 0 0 0 0 2 0 16 0 9 0 27544563 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28894] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28894/stat : 28894 (java) S 28886 28888 27929 0 -1 64 2 356 0 0 0 0 2 0 24 0 9 0 27544565 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28895] ppid=28886 vsize=867640 CPUtime=0.3
/proc/28888/task/28895/stat : 28895 (java) S 28886 28888 27929 0 -1 64 804 356 0 0 27 1 2 0 16 0 9 0 27544565 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28888/tid=28896] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28896/stat : 28896 (java) S 28886 28888 27929 0 -1 64 1 356 0 0 0 0 2 0 25 0 9 0 27544565 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28888/tid=28897] ppid=28886 vsize=867640 CPUtime=0.02
/proc/28888/task/28897/stat : 28897 (java) S 28886 28888 27929 0 -1 64 15 356 0 0 0 0 2 0 15 0 9 0 27544565 888463360 11938 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 93.17
Current children cumulated vsize (KiB) 867640
Child status: 0
Real time (s): 93.9538
CPU time (s): 93.2268
CPU user time (s): 93.0649
CPU system time (s): 0.161975
CPU usage (%): 99.2262
Max. virtual memory (cumulated for all children) (KiB): 867684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 93.0649
system time used= 0.161975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19584
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= 3305
involuntary context switches= 3528
runsolver used 0.165974 second user time and 0.278957 second system time
The end
Begin job on node12 at 2009-07-12 15:19:35
IDJOB=2094625
IDBENCH=54436
IDSOLVER=773
FILE ID=node12/2094625-1247404775
PBS_JOBID= 9510619
Free space on /tmp= 66216 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/ramsey3/normalized-ramsey-16-3.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-2094625-1247404775/watcher-2094625-1247404775 -o /tmp/evaluation-result-2094625-1247404775/solver-2094625-1247404775 -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-2094625-1247404775.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 697bc1dbc1f0be29d098ea0b924a5906
RANDOM SEED=35006939
node12.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.240
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.240
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: 1760704 kB
Buffers: 39408 kB
Cached: 138816 kB
SwapCached: 140 kB
Active: 136864 kB
Inactive: 89216 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1760704 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4404 kB
Writeback: 0 kB
Mapped: 68176 kB
Slab: 54376 kB
Committed_AS: 992720 kB
PageTables: 1828 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= 66212 MiB
End job on node12 at 2009-07-12 15:21:09