0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.20/0.24
0.20/0.24 configuration
0.20/0.24 name=mac.xml
0.20/0.28
0.20/0.28 instance
0.20/0.28 name=HOME/instance-2096933-1247411218.xml
0.30/0.31
0.30/0.31 domains being loaded...
0.30/0.32
0.30/0.32 variables being loaded...
0.30/0.34 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20 nbTotalValues=400
0.30/0.34 => wckTime=0.102 cpuTime=0.09 mem=7M892
0.30/0.34
0.30/0.34 relations being loaded...
0.49/0.57
0.49/0.57 constraints being loaded...
0.70/0.79 nbConstraints=59 nbRelationTypes=59 nbGlobalConstraints=59 nbExtensionStructures=59
0.70/0.79 nbSharedExtensionStructures=0 nbConflictsStructures=59 nbSharedConflictsStructures=0
0.70/0.79 nbSharedBinaryRepresentations=0 minDegree=5 maxDegree=14 minArity=3 maxArity=3 nbGenerators=0 nbFusions=0
0.70/0.79 symmetryWckTime=0.04 symmetryCpuTime=0.02
0.70/0.79 => wckTime=0.546 cpuTime=0.48 mem=48M336
0.88/0.91
0.88/0.91 solver IterativeSystematicSolver being built...
0.88/0.98
0.88/0.99 INFO : Forward propagation technique limited
0.98/1.06 => wckTime=0.819 cpuTime=0.6 mem=29M773
0.98/1.10
0.98/1.10 preprocessing
0.98/1.10 nbConstraintChecks=0 nbValidityChecks=171891 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0
0.98/1.10 nbRemovedValues=0 detectedInconsistency=no
0.98/1.10 => wckTime=0.038 cpuTime=0.03 mem=29M773
1.77/1.81
1.77/1.81 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=30M788)
172.52/174.22
172.52/174.22 search
172.52/174.23 run=20 nbConstraintChecks=1080287 nbValidityChecks=2223404603 minDepth=0 maxDepth=20 nbPropagations=5619509
172.52/174.23 nbRevisions=0 nbUselessRevisions=0 nbAssignments=131116 nbFailedAssignments=81164 nbBacktracks=49827
172.52/174.23 nbVisitedNodes=247628 nbRestartNogoods=204 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=3.14
172.52/174.23 nbIEliminables=11.51 nbDEliminables=0 nbPEliminables=0
172.52/174.23 => wckTime=173.161 cpuTime=171.39 mem=33M638
172.52/174.23
172.52/174.23 global
172.52/174.23 nbConstraintChecks=1080287 nbValidityChecks=2223576494 nbPropagations=5619529 nbRestartNogoods=204
172.52/174.23 solvingWckTime=173.164 solvingCpuTime=171.4 expiredTime=no totalExploration=no nbFoundSolutions=1
172.52/174.23 firstSolutionCpuTime=171.99 globalCpuTime=172.04
172.52/174.23 => wckTime=173.985 cpuTime=172.0 mem=33M638
172.52/174.23
172.52/174.23 s SATISFIABLE
172.52/174.23 v 3 19 3 7 18 13 3 16 16 7 8 4 2 14 2 6 15 10 6 13
172.52/174.23 d NODES 131116
172.52/174.23 d CHECKS 1080287
172.52/174.23
172.52/174.23 totalWckTime=174.052 totalCpuTime=172.04
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2096933-1247411218/watcher-2096933-1247411218 -o /tmp/evaluation-result-2096933-1247411218/solver-2096933-1247411218 -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-2096933-1247411218.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.03 2.09 2.02 3/80 30734
/proc/meminfo: memFree=1715576/2055920 swapFree=4192812/4192956
[pid=30734] ppid=30732 vsize=1616 CPUtime=0
/proc/30734/stat : 30734 (java) D 30732 30734 27623 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 28185941 1654784 148 996147200 134512640 134550932 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/30734/statm: 404 148 122 9 0 46 0
[startup+0.095164 s]
/proc/loadavg: 2.03 2.09 2.02 3/80 30734
/proc/meminfo: memFree=1715576/2055920 swapFree=4192812/4192956
[pid=30734] ppid=30732 vsize=865984 CPUtime=0.08
/proc/30734/stat : 30734 (java) S 30732 30734 27623 0 -1 0 3712 0 1 0 6 2 0 0 18 0 9 0 28185941 886767616 3180 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30734/statm: 216496 3180 1690 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.101163 s]
/proc/loadavg: 2.03 2.09 2.02 3/80 30734
/proc/meminfo: memFree=1715576/2055920 swapFree=4192812/4192956
[pid=30734] ppid=30732 vsize=865984 CPUtime=0.1
/proc/30734/stat : 30734 (java) S 30732 30734 27623 0 -1 0 3766 0 1 0 7 3 0 0 18 0 9 0 28185941 886767616 3224 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30734/statm: 216496 3225 1702 9 0 210981 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 865984
[startup+0.30118 s]
/proc/loadavg: 2.03 2.09 2.02 3/80 30734
/proc/meminfo: memFree=1715576/2055920 swapFree=4192812/4192956
[pid=30734] ppid=30732 vsize=866384 CPUtime=0.3
/proc/30734/stat : 30734 (java) S 30732 30734 27623 0 -1 0 6005 0 1 0 25 5 0 0 18 0 9 0 28185941 887177216 5371 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30734/statm: 216596 5373 1986 9 0 211054 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 866384
[startup+0.701219 s]
/proc/loadavg: 2.03 2.09 2.02 3/80 30734
/proc/meminfo: memFree=1715576/2055920 swapFree=4192812/4192956
[pid=30734] ppid=30732 vsize=866616 CPUtime=0.7
/proc/30734/stat : 30734 (java) S 30732 30734 27623 0 -1 0 14245 0 1 0 61 9 0 0 18 0 9 0 28185941 887414784 13598 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30734/statm: 216654 13601 2007 9 0 211112 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 866616
[startup+1.5023 s]
/proc/loadavg: 2.03 2.09 2.02 4/89 30747
/proc/meminfo: memFree=1649704/2055920 swapFree=4192812/4192956
[pid=30734] ppid=30732 vsize=867028 CPUtime=1.47
/proc/30734/stat : 30734 (java) S 30732 30734 27623 0 -1 0 28183 268 1 0 133 14 0 0 18 0 9 0 28185941 887836672 19082 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30734/statm: 216757 19082 2656 9 0 211193 0
[pid=30734/tid=30736] ppid=30732 vsize=867028 CPUtime=1.17
/proc/30734/task/30736/stat : 30736 (java) R 30732 30734 27623 0 -1 64 19373 268 1 0 107 10 0 0 19 0 9 0 28185942 887836672 19082 996147200 134512640 134550932 4294955968 18446744073709551615 4126769454 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30737] ppid=30732 vsize=867028 CPUtime=0.1
/proc/30734/task/30737/stat : 30737 (java) S 30732 30734 27623 0 -1 64 7455 268 0 0 8 2 0 0 16 0 9 0 28185944 887836672 19082 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30738] ppid=30732 vsize=867028 CPUtime=0
/proc/30734/task/30738/stat : 30738 (java) S 30732 30734 27623 0 -1 64 19 268 0 0 0 0 0 0 16 0 9 0 28185944 887836672 19082 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30739] ppid=30732 vsize=867028 CPUtime=0
/proc/30734/task/30739/stat : 30739 (java) S 30732 30734 27623 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 28185944 887836672 19082 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30740] ppid=30732 vsize=867028 CPUtime=0
/proc/30734/task/30740/stat : 30740 (java) S 30732 30734 27623 0 -1 64 2 268 0 0 0 0 0 0 18 0 9 0 28185946 887836672 19082 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30741] ppid=30732 vsize=867028 CPUtime=0.17
/proc/30734/task/30741/stat : 30741 (java) S 30732 30734 27623 0 -1 64 518 268 0 0 17 0 0 0 16 0 9 0 28185946 887836672 19082 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30742] ppid=30732 vsize=867028 CPUtime=0
/proc/30734/task/30742/stat : 30742 (java) S 30732 30734 27623 0 -1 64 0 268 0 0 0 0 0 0 19 0 9 0 28185946 887836672 19082 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30743] ppid=30732 vsize=867028 CPUtime=0
/proc/30734/task/30743/stat : 30743 (java) S 30732 30734 27623 0 -1 64 5 268 0 0 0 0 0 0 15 0 9 0 28185946 887836672 19082 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 867028
[startup+3.10245 s]
/proc/loadavg: 2.03 2.09 2.02 3/89 30747
/proc/meminfo: memFree=1649256/2055920 swapFree=4192812/4192956
[pid=30734] ppid=30732 vsize=867028 CPUtime=3.06
/proc/30734/stat : 30734 (java) S 30732 30734 27623 0 -1 0 28197 268 1 0 291 15 0 0 18 0 9 0 28185941 887836672 19095 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30734/statm: 216757 19095 2656 9 0 211193 0
[pid=30734/tid=30736] ppid=30732 vsize=867028 CPUtime=2.73
/proc/30734/task/30736/stat : 30736 (java) R 30732 30734 27623 0 -1 64 19375 268 1 0 263 10 0 0 25 0 9 0 28185942 887836672 19095 996147200 134512640 134550932 4294955968 18446744073709551615 4126769608 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30737] ppid=30732 vsize=867028 CPUtime=0.1
/proc/30734/task/30737/stat : 30737 (java) S 30732 30734 27623 0 -1 64 7455 268 0 0 8 2 0 0 17 0 9 0 28185944 887836672 19095 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30738] ppid=30732 vsize=867028 CPUtime=0
/proc/30734/task/30738/stat : 30738 (java) S 30732 30734 27623 0 -1 64 19 268 0 0 0 0 0 0 16 0 9 0 28185944 887836672 19095 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30739] ppid=30732 vsize=867028 CPUtime=0
/proc/30734/task/30739/stat : 30739 (java) S 30732 30734 27623 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 28185944 887836672 19095 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30740] ppid=30732 vsize=867028 CPUtime=0
/proc/30734/task/30740/stat : 30740 (java) S 30732 30734 27623 0 -1 64 2 268 0 0 0 0 0 0 18 0 9 0 28185946 887836672 19095 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30741] ppid=30732 vsize=867028 CPUtime=0.19
/proc/30734/task/30741/stat : 30741 (java) S 30732 30734 27623 0 -1 64 530 268 0 0 19 0 0 0 15 0 9 0 28185946 887836672 19095 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30742] ppid=30732 vsize=867028 CPUtime=0
/proc/30734/task/30742/stat : 30742 (java) S 30732 30734 27623 0 -1 64 0 268 0 0 0 0 0 0 19 0 9 0 28185946 887836672 19095 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30743] ppid=30732 vsize=867028 CPUtime=0
/proc/30734/task/30743/stat : 30743 (java) S 30732 30734 27623 0 -1 64 5 268 0 0 0 0 0 0 15 0 9 0 28185946 887836672 19095 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867028
[startup+6.30319 s]
/proc/loadavg: 2.03 2.09 2.02 3/89 30747
/proc/meminfo: memFree=1648944/2055920 swapFree=4192812/4192956
[pid=30734] ppid=30732 vsize=867160 CPUtime=6.23
/proc/30734/stat : 30734 (java) S 30732 30734 27623 0 -1 0 28221 268 1 0 608 15 0 0 18 0 9 0 28185941 887971840 19108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30734/statm: 216790 19108 2656 9 0 211226 0
[pid=30734/tid=30736] ppid=30732 vsize=867160 CPUtime=5.88
/proc/30734/task/30736/stat : 30736 (java) R 30732 30734 27623 0 -1 64 19384 268 1 0 577 11 0 0 25 0 9 0 28185942 887971840 19108 996147200 134512640 134550932 4294955968 18446744073709551615 4126769830 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30737] ppid=30732 vsize=867160 CPUtime=0.1
/proc/30734/task/30737/stat : 30737 (java) S 30732 30734 27623 0 -1 64 7455 268 0 0 8 2 0 0 16 0 9 0 28185944 887971840 19108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30738] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30738/stat : 30738 (java) S 30732 30734 27623 0 -1 64 19 268 0 0 0 0 0 0 16 0 9 0 28185944 887971840 19108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30739] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30739/stat : 30739 (java) S 30732 30734 27623 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 28185944 887971840 19108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30740] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30740/stat : 30740 (java) S 30732 30734 27623 0 -1 64 2 268 0 0 0 0 0 0 18 0 9 0 28185946 887971840 19108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30741] ppid=30732 vsize=867160 CPUtime=0.21
/proc/30734/task/30741/stat : 30741 (java) S 30732 30734 27623 0 -1 64 545 268 0 0 21 0 0 0 16 0 9 0 28185946 887971840 19108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30742] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30742/stat : 30742 (java) S 30732 30734 27623 0 -1 64 0 268 0 0 0 0 0 0 19 0 9 0 28185946 887971840 19108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30743] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30743/stat : 30743 (java) S 30732 30734 27623 0 -1 64 5 268 0 0 0 0 0 0 15 0 9 0 28185946 887971840 19108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 867160
[startup+12.7023 s]
/proc/loadavg: 2.02 2.09 2.02 3/89 30747
/proc/meminfo: memFree=1648824/2055920 swapFree=4192812/4192956
[pid=30734] ppid=30732 vsize=867160 CPUtime=12.57
/proc/30734/stat : 30734 (java) S 30732 30734 27623 0 -1 0 28258 268 1 0 1242 15 0 0 18 0 9 0 28185941 887971840 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30734/statm: 216790 19112 2656 9 0 211226 0
[pid=30734/tid=30736] ppid=30732 vsize=867160 CPUtime=12.21
/proc/30734/task/30736/stat : 30736 (java) R 30732 30734 27623 0 -1 64 19416 268 1 0 1210 11 0 0 25 0 9 0 28185942 887971840 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4126768813 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30737] ppid=30732 vsize=867160 CPUtime=0.1
/proc/30734/task/30737/stat : 30737 (java) S 30732 30734 27623 0 -1 64 7455 268 0 0 8 2 0 0 16 0 9 0 28185944 887971840 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30738] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30738/stat : 30738 (java) S 30732 30734 27623 0 -1 64 19 268 0 0 0 0 0 0 16 0 9 0 28185944 887971840 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30739] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30739/stat : 30739 (java) S 30732 30734 27623 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 28185944 887971840 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30740] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30740/stat : 30740 (java) S 30732 30734 27623 0 -1 64 2 268 0 0 0 0 0 0 18 0 9 0 28185946 887971840 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30741] ppid=30732 vsize=867160 CPUtime=0.22
/proc/30734/task/30741/stat : 30741 (java) S 30732 30734 27623 0 -1 64 550 268 0 0 22 0 0 0 16 0 9 0 28185946 887971840 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30742] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30742/stat : 30742 (java) S 30732 30734 27623 0 -1 64 0 268 0 0 0 0 0 0 19 0 9 0 28185946 887971840 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30743] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30743/stat : 30743 (java) S 30732 30734 27623 0 -1 64 5 268 0 0 0 0 0 0 15 0 9 0 28185946 887971840 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 867160
[startup+25.5015 s]
/proc/loadavg: 2.02 2.08 2.02 3/89 30747
/proc/meminfo: memFree=1648888/2055920 swapFree=4192812/4192956
[pid=30734] ppid=30732 vsize=867160 CPUtime=25.24
/proc/30734/stat : 30734 (java) S 30732 30734 27623 0 -1 0 28298 268 1 0 2509 15 0 0 18 0 9 0 28185941 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30734/statm: 216790 19113 2656 9 0 211226 0
[pid=30734/tid=30736] ppid=30732 vsize=867160 CPUtime=24.88
/proc/30734/task/30736/stat : 30736 (java) R 30732 30734 27623 0 -1 64 19455 268 1 0 2477 11 0 0 25 0 9 0 28185942 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4126795653 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30737] ppid=30732 vsize=867160 CPUtime=0.1
/proc/30734/task/30737/stat : 30737 (java) S 30732 30734 27623 0 -1 64 7455 268 0 0 8 2 0 0 16 0 9 0 28185944 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30738] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30738/stat : 30738 (java) S 30732 30734 27623 0 -1 64 19 268 0 0 0 0 0 0 16 0 9 0 28185944 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30739] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30739/stat : 30739 (java) S 30732 30734 27623 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 28185944 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30740] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30740/stat : 30740 (java) S 30732 30734 27623 0 -1 64 2 268 0 0 0 0 0 0 18 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30741] ppid=30732 vsize=867160 CPUtime=0.22
/proc/30734/task/30741/stat : 30741 (java) S 30732 30734 27623 0 -1 64 551 268 0 0 22 0 0 0 16 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30742] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30742/stat : 30742 (java) S 30732 30734 27623 0 -1 64 0 268 0 0 0 0 0 0 19 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30743] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30743/stat : 30743 (java) S 30732 30734 27623 0 -1 64 5 268 0 0 0 0 0 0 15 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.24
Current children cumulated vsize (KiB) 867160
[startup+51.1019 s]
/proc/loadavg: 2.01 2.07 2.02 3/89 30747
/proc/meminfo: memFree=1648952/2055920 swapFree=4192812/4192956
[pid=30734] ppid=30732 vsize=867160 CPUtime=50.59
/proc/30734/stat : 30734 (java) S 30732 30734 27623 0 -1 0 28392 268 1 0 5044 15 0 0 18 0 9 0 28185941 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30734/statm: 216790 19113 2656 9 0 211226 0
[pid=30734/tid=30736] ppid=30732 vsize=867160 CPUtime=50.24
/proc/30734/task/30736/stat : 30736 (java) R 30732 30734 27623 0 -1 64 19549 268 1 0 5013 11 0 0 25 0 9 0 28185942 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4126769333 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30737] ppid=30732 vsize=867160 CPUtime=0.1
/proc/30734/task/30737/stat : 30737 (java) S 30732 30734 27623 0 -1 64 7455 268 0 0 8 2 0 0 16 0 9 0 28185944 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30738] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30738/stat : 30738 (java) S 30732 30734 27623 0 -1 64 19 268 0 0 0 0 0 0 16 0 9 0 28185944 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30739] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30739/stat : 30739 (java) S 30732 30734 27623 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 28185944 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30740] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30740/stat : 30740 (java) S 30732 30734 27623 0 -1 64 2 268 0 0 0 0 0 0 18 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30741] ppid=30732 vsize=867160 CPUtime=0.22
/proc/30734/task/30741/stat : 30741 (java) S 30732 30734 27623 0 -1 64 551 268 0 0 22 0 0 0 16 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30742] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30742/stat : 30742 (java) S 30732 30734 27623 0 -1 64 0 268 0 0 0 0 0 0 19 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/30734/stat : 30734 (java) S 30732 30734 27623 0 -1 0 28766 268 1 0 16454 16 0 0 18 0 9 0 28185941 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30734/statm: 216790 19113 2656 9 0 211226 0
[pid=30734/tid=30736] ppid=30732 vsize=867160 CPUtime=164.33
/proc/30734/task/30736/stat : 30736 (java) R 30732 30734 27623 0 -1 64 19923 268 1 0 16422 11 0 0 25 0 9 0 28185942 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4126769441 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30737] ppid=30732 vsize=867160 CPUtime=0.1
/proc/30734/task/30737/stat : 30737 (java) S 30732 30734 27623 0 -1 64 7455 268 0 0 8 2 0 0 16 0 9 0 28185944 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30738] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30738/stat : 30738 (java) S 30732 30734 27623 0 -1 64 19 268 0 0 0 0 0 0 16 0 9 0 28185944 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30739] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30739/stat : 30739 (java) S 30732 30734 27623 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 28185944 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30740] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30740/stat : 30740 (java) S 30732 30734 27623 0 -1 64 2 268 0 0 0 0 0 0 18 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30741] ppid=30732 vsize=867160 CPUtime=0.22
/proc/30734/task/30741/stat : 30741 (java) S 30732 30734 27623 0 -1 64 551 268 0 0 22 0 0 0 16 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30742] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30742/stat : 30742 (java) S 30732 30734 27623 0 -1 64 0 268 0 0 0 0 0 0 19 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30743] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30743/stat : 30743 (java) S 30732 30734 27623 0 -1 64 5 268 0 0 0 0 0 0 15 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 164.7
Current children cumulated vsize (KiB) 867160
[startup+169.501 s]
/proc/loadavg: 2.00 2.04 2.01 3/89 30747
/proc/meminfo: memFree=1648632/2055920 swapFree=4192812/4192956
[pid=30734] ppid=30732 vsize=867160 CPUtime=167.86
/proc/30734/stat : 30734 (java) S 30732 30734 27623 0 -1 0 28766 268 1 0 16770 16 0 0 18 0 9 0 28185941 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30734/statm: 216790 19113 2656 9 0 211226 0
[pid=30734/tid=30736] ppid=30732 vsize=867160 CPUtime=167.5
/proc/30734/task/30736/stat : 30736 (java) R 30732 30734 27623 0 -1 64 19923 268 1 0 16738 12 0 0 25 0 9 0 28185942 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4126827055 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30737] ppid=30732 vsize=867160 CPUtime=0.1
/proc/30734/task/30737/stat : 30737 (java) S 30732 30734 27623 0 -1 64 7455 268 0 0 8 2 0 0 16 0 9 0 28185944 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30738] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30738/stat : 30738 (java) S 30732 30734 27623 0 -1 64 19 268 0 0 0 0 0 0 16 0 9 0 28185944 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30739] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30739/stat : 30739 (java) S 30732 30734 27623 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 28185944 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30740] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30740/stat : 30740 (java) S 30732 30734 27623 0 -1 64 2 268 0 0 0 0 0 0 18 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30741] ppid=30732 vsize=867160 CPUtime=0.22
/proc/30734/task/30741/stat : 30741 (java) S 30732 30734 27623 0 -1 64 551 268 0 0 22 0 0 0 16 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30742] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30742/stat : 30742 (java) S 30732 30734 27623 0 -1 64 0 268 0 0 0 0 0 0 19 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30743] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30743/stat : 30743 (java) S 30732 30734 27623 0 -1 64 5 268 0 0 0 0 0 0 15 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 167.86
Current children cumulated vsize (KiB) 867160
[startup+172.707 s]
/proc/loadavg: 2.00 2.04 2.01 3/89 30747
/proc/meminfo: memFree=1648632/2055920 swapFree=4192812/4192956
[pid=30734] ppid=30732 vsize=867160 CPUtime=171.04
/proc/30734/stat : 30734 (java) S 30732 30734 27623 0 -1 0 28778 268 1 0 17088 16 0 0 18 0 9 0 28185941 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30734/statm: 216790 19113 2656 9 0 211226 0
[pid=30734/tid=30736] ppid=30732 vsize=867160 CPUtime=170.68
/proc/30734/task/30736/stat : 30736 (java) R 30732 30734 27623 0 -1 64 19935 268 1 0 17056 12 0 0 25 0 9 0 28185942 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4126757854 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30737] ppid=30732 vsize=867160 CPUtime=0.1
/proc/30734/task/30737/stat : 30737 (java) S 30732 30734 27623 0 -1 64 7455 268 0 0 8 2 0 0 16 0 9 0 28185944 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30738] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30738/stat : 30738 (java) S 30732 30734 27623 0 -1 64 19 268 0 0 0 0 0 0 16 0 9 0 28185944 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30739] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30739/stat : 30739 (java) S 30732 30734 27623 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 28185944 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30740] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30740/stat : 30740 (java) S 30732 30734 27623 0 -1 64 2 268 0 0 0 0 0 0 18 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30741] ppid=30732 vsize=867160 CPUtime=0.22
/proc/30734/task/30741/stat : 30741 (java) S 30732 30734 27623 0 -1 64 551 268 0 0 22 0 0 0 16 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30742] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30742/stat : 30742 (java) S 30732 30734 27623 0 -1 64 0 268 0 0 0 0 0 0 19 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30743] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30743/stat : 30743 (java) S 30732 30734 27623 0 -1 64 5 268 0 0 0 0 0 0 15 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 171.04
Current children cumulated vsize (KiB) 867160
[startup+173.505 s]
/proc/loadavg: 2.00 2.04 2.01 3/89 30747
/proc/meminfo: memFree=1648632/2055920 swapFree=4192812/4192956
[pid=30734] ppid=30732 vsize=867160 CPUtime=171.83
/proc/30734/stat : 30734 (java) S 30732 30734 27623 0 -1 0 28781 268 1 0 17167 16 0 0 18 0 9 0 28185941 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30734/statm: 216790 19113 2656 9 0 211226 0
[pid=30734/tid=30736] ppid=30732 vsize=867160 CPUtime=171.47
/proc/30734/task/30736/stat : 30736 (java) R 30732 30734 27623 0 -1 64 19938 268 1 0 17135 12 0 0 25 0 9 0 28185942 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4126769337 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30737] ppid=30732 vsize=867160 CPUtime=0.1
/proc/30734/task/30737/stat : 30737 (java) S 30732 30734 27623 0 -1 64 7455 268 0 0 8 2 0 0 16 0 9 0 28185944 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30738] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30738/stat : 30738 (java) S 30732 30734 27623 0 -1 64 19 268 0 0 0 0 0 0 16 0 9 0 28185944 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30739] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30739/stat : 30739 (java) S 30732 30734 27623 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 28185944 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30740] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30740/stat : 30740 (java) S 30732 30734 27623 0 -1 64 2 268 0 0 0 0 0 0 18 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30741] ppid=30732 vsize=867160 CPUtime=0.22
/proc/30734/task/30741/stat : 30741 (java) S 30732 30734 27623 0 -1 64 551 268 0 0 22 0 0 0 16 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30742] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30742/stat : 30742 (java) S 30732 30734 27623 0 -1 64 0 268 0 0 0 0 0 0 19 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30743] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30743/stat : 30743 (java) S 30732 30734 27623 0 -1 64 5 268 0 0 0 0 0 0 15 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 171.83
Current children cumulated vsize (KiB) 867160
[startup+173.902 s]
/proc/loadavg: 2.00 2.04 2.01 3/89 30747
/proc/meminfo: memFree=1648632/2055920 swapFree=4192812/4192956
[pid=30734] ppid=30732 vsize=867160 CPUtime=172.22
/proc/30734/stat : 30734 (java) S 30732 30734 27623 0 -1 0 28783 268 1 0 17206 16 0 0 18 0 9 0 28185941 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30734/statm: 216790 19113 2656 9 0 211226 0
[pid=30734/tid=30736] ppid=30732 vsize=867160 CPUtime=171.86
/proc/30734/task/30736/stat : 30736 (java) R 30732 30734 27623 0 -1 64 19940 268 1 0 17174 12 0 0 25 0 9 0 28185942 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4126757827 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30737] ppid=30732 vsize=867160 CPUtime=0.1
/proc/30734/task/30737/stat : 30737 (java) S 30732 30734 27623 0 -1 64 7455 268 0 0 8 2 0 0 16 0 9 0 28185944 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30738] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30738/stat : 30738 (java) S 30732 30734 27623 0 -1 64 19 268 0 0 0 0 0 0 16 0 9 0 28185944 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30739] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30739/stat : 30739 (java) S 30732 30734 27623 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 28185944 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30740] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30740/stat : 30740 (java) S 30732 30734 27623 0 -1 64 2 268 0 0 0 0 0 0 18 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30741] ppid=30732 vsize=867160 CPUtime=0.22
/proc/30734/task/30741/stat : 30741 (java) S 30732 30734 27623 0 -1 64 551 268 0 0 22 0 0 0 16 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30742] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30742/stat : 30742 (java) S 30732 30734 27623 0 -1 64 0 268 0 0 0 0 0 0 19 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30743] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30743/stat : 30743 (java) S 30732 30734 27623 0 -1 64 5 268 0 0 0 0 0 0 15 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 172.22
Current children cumulated vsize (KiB) 867160
[startup+174.102 s]
/proc/loadavg: 2.00 2.04 2.01 3/89 30747
/proc/meminfo: memFree=1648632/2055920 swapFree=4192812/4192956
[pid=30734] ppid=30732 vsize=867160 CPUtime=172.42
/proc/30734/stat : 30734 (java) S 30732 30734 27623 0 -1 0 28784 268 1 0 17226 16 0 0 18 0 9 0 28185941 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30734/statm: 216790 19113 2656 9 0 211226 0
[pid=30734/tid=30736] ppid=30732 vsize=867160 CPUtime=172.06
/proc/30734/task/30736/stat : 30736 (java) R 30732 30734 27623 0 -1 64 19941 268 1 0 17194 12 0 0 25 0 9 0 28185942 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4126769329 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30737] ppid=30732 vsize=867160 CPUtime=0.1
/proc/30734/task/30737/stat : 30737 (java) S 30732 30734 27623 0 -1 64 7455 268 0 0 8 2 0 0 16 0 9 0 28185944 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30738] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30738/stat : 30738 (java) S 30732 30734 27623 0 -1 64 19 268 0 0 0 0 0 0 16 0 9 0 28185944 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30739] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30739/stat : 30739 (java) S 30732 30734 27623 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 28185944 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30740] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30740/stat : 30740 (java) S 30732 30734 27623 0 -1 64 2 268 0 0 0 0 0 0 18 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30741] ppid=30732 vsize=867160 CPUtime=0.22
/proc/30734/task/30741/stat : 30741 (java) S 30732 30734 27623 0 -1 64 551 268 0 0 22 0 0 0 16 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30742] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30742/stat : 30742 (java) S 30732 30734 27623 0 -1 64 0 268 0 0 0 0 0 0 19 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30743] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30743/stat : 30743 (java) S 30732 30734 27623 0 -1 64 5 268 0 0 0 0 0 0 15 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 172.42
Current children cumulated vsize (KiB) 867160
[startup+174.202 s]
/proc/loadavg: 2.00 2.04 2.01 3/89 30747
/proc/meminfo: memFree=1648632/2055920 swapFree=4192812/4192956
[pid=30734] ppid=30732 vsize=867160 CPUtime=172.52
/proc/30734/stat : 30734 (java) S 30732 30734 27623 0 -1 0 28784 268 1 0 17236 16 0 0 18 0 9 0 28185941 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30734/statm: 216790 19113 2656 9 0 211226 0
[pid=30734/tid=30736] ppid=30732 vsize=867160 CPUtime=172.16
/proc/30734/task/30736/stat : 30736 (java) R 30732 30734 27623 0 -1 64 19941 268 1 0 17204 12 0 0 25 0 9 0 28185942 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4126769507 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30737] ppid=30732 vsize=867160 CPUtime=0.1
/proc/30734/task/30737/stat : 30737 (java) S 30732 30734 27623 0 -1 64 7455 268 0 0 8 2 0 0 16 0 9 0 28185944 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30738] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30738/stat : 30738 (java) S 30732 30734 27623 0 -1 64 19 268 0 0 0 0 0 0 16 0 9 0 28185944 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30739] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30739/stat : 30739 (java) S 30732 30734 27623 0 -1 64 9 268 0 0 0 0 0 0 16 0 9 0 28185944 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30740] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30740/stat : 30740 (java) S 30732 30734 27623 0 -1 64 2 268 0 0 0 0 0 0 18 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30741] ppid=30732 vsize=867160 CPUtime=0.22
/proc/30734/task/30741/stat : 30741 (java) S 30732 30734 27623 0 -1 64 551 268 0 0 22 0 0 0 16 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30742] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30742/stat : 30742 (java) S 30732 30734 27623 0 -1 64 0 268 0 0 0 0 0 0 19 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30734/tid=30743] ppid=30732 vsize=867160 CPUtime=0
/proc/30734/task/30743/stat : 30743 (java) S 30732 30734 27623 0 -1 64 5 268 0 0 0 0 0 0 15 0 9 0 28185946 887971840 19113 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 172.52
Current children cumulated vsize (KiB) 867160
Child status: 0
Real time (s): 174.26
CPU time (s): 172.587
CPU user time (s): 172.4
CPU system time (s): 0.186971
CPU usage (%): 99.0395
Max. virtual memory (cumulated for all children) (KiB): 867160
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 172.4
system time used= 0.186971
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29155
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= 4611
involuntary context switches= 8159
runsolver used 0.25996 second user time and 0.579911 second system time
The end
Begin job on node48 at 2009-07-12 17:06:58
IDJOB=2096933
IDBENCH=56776
IDSOLVER=773
FILE ID=node48/2096933-1247411218
PBS_JOBID= 9510550
Free space on /tmp= 66464 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-33_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-2096933-1247411218/watcher-2096933-1247411218 -o /tmp/evaluation-result-2096933-1247411218/solver-2096933-1247411218 -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-2096933-1247411218.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e841dd70b15a05b93c7551d2b9a5cabb
RANDOM SEED=898397769
node48.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.237
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.237
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: 1716056 kB
Buffers: 44524 kB
Cached: 134112 kB
SwapCached: 0 kB
Active: 201252 kB
Inactive: 80800 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1716056 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3316 kB
Writeback: 0 kB
Mapped: 123884 kB
Slab: 42876 kB
Committed_AS: 1016088 kB
PageTables: 1924 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= 66460 MiB
End job on node48 at 2009-07-12 17:09:52