0.01/0.09
0.01/0.09 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=esac.xml
0.27/0.30
0.27/0.30 instance
0.27/0.30 name=HOME/instance-2098630-1247416248.xml
0.27/0.34
0.27/0.34 domains being loaded...
0.27/0.35
0.27/0.35 variables being loaded...
0.27/0.38 nbVariables=23 nbDomainTypes=1 minDomainSize=3 maxDomainSize=3 nbTotalValues=69
0.27/0.38 => wckTime=0.138 cpuTime=0.12 mem=7M892
0.27/0.38
0.27/0.38 relations being loaded...
2.65/2.71
2.65/2.71 INFO : Contraction of relations, mem = 106M805
15.82/16.05
15.82/16.05 constraints being loaded...
23.73/24.08 nbConstraints=16 nbRelationTypes=16 nbGlobalConstraints=16 nbExtensionStructures=16
23.73/24.08 nbSharedExtensionStructures=0 nbConflictsStructures=16 nbSharedConflictsStructures=0
23.73/24.08 nbSharedBinaryRepresentations=0 minDegree=8 maxDegree=13 minArity=15 maxArity=15 nbGenerators=0 nbFusions=0
23.73/24.08 symmetryWckTime=0.145 symmetryCpuTime=0.03
23.73/24.08 => wckTime=23.839 cpuTime=18.22 mem=662M292
27.90/28.28
27.90/28.28 solver IterativeSystematicSolver being built...
28.00/28.35
28.00/28.35 INFO : Forward propagation technique limited
28.10/28.43 => wckTime=28.187 cpuTime=18.36 mem=533M681
29.59/29.94
29.59/29.94 preprocessing
29.59/29.94 nbConstraintChecks=0 nbValidityChecks=13188934 nbPropagations=61 nbRevisions=0 nbUselessRevisions=0
29.59/29.94 nbSingletonTests=34 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0
29.59/29.94 detectedInconsistency=no
29.59/29.94 => wckTime=1.506 cpuTime=1.48 mem=534M546
32.56/32.97
32.56/32.97 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=535M460)
197.00/198.90
197.00/198.90 search
197.00/198.91 run=19 nbConstraintChecks=681 nbValidityChecks=879730473 minDepth=0 maxDepth=11 nbPropagations=1118747
197.00/198.91 nbRevisions=0 nbUselessRevisions=0 nbAssignments=89295 nbFailedAssignments=44913 nbBacktracks=44221
197.00/198.91 nbVisitedNodes=163387 nbRestartNogoods=122 nbSEliminables=0 nbREliminables=14.66 nbIEliminables=0
197.00/198.91 nbDEliminables=0 nbPEliminables=0
197.00/198.91 => wckTime=170.472 cpuTime=168.76 mem=537M190
197.00/198.91
197.00/198.91 global
197.00/198.91 nbConstraintChecks=681 nbValidityChecks=892919407 nbPropagations=1118808 nbRestartNogoods=122
197.00/198.91 solvingWckTime=170.475 solvingCpuTime=168.77 expiredTime=no totalExploration=yes nbFoundSolutions=0
197.00/198.91 globalCpuTime=187.18
197.00/198.91 => wckTime=198.664 cpuTime=187.13 mem=537M190
197.00/198.91
197.00/198.91 s UNSATISFIABLE
197.00/198.91 d NODES 89295
197.00/198.91 d CHECKS 681
197.00/198.91
197.00/198.91 totalWckTime=198.721 totalCpuTime=187.19
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2098630-1247416248/watcher-2098630-1247416248 -o /tmp/evaluation-result-2098630-1247416248/solver-2098630-1247416248 -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-2098630-1247416248.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.98 2.03 2.00 3/80 30766
/proc/meminfo: memFree=1308304/2055920 swapFree=4192812/4192956
[pid=30766] ppid=30764 vsize=1616 CPUtime=0
/proc/30766/stat : 30766 (java) R 30764 30766 30729 0 -1 0 177 0 0 0 0 0 0 0 18 0 1 0 28689545 1654784 145 996147200 134512640 134550932 4294956128 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 0 0 0
/proc/30766/statm: 404 145 119 9 0 46 0
[startup+0.01657 s]
/proc/loadavg: 1.98 2.03 2.00 3/80 30766
/proc/meminfo: memFree=1308304/2055920 swapFree=4192812/4192956
[pid=30766] ppid=30764 vsize=10996 CPUtime=0.01
/proc/30766/stat : 30766 (java) S 30764 30766 30729 0 -1 0 853 0 1 0 0 1 0 0 18 0 2 0 28689545 11259904 607 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/30766/statm: 2749 607 309 9 0 1198 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10996
[startup+0.102074 s]
/proc/loadavg: 1.98 2.03 2.00 3/80 30766
/proc/meminfo: memFree=1308304/2055920 swapFree=4192812/4192956
[pid=30766] ppid=30764 vsize=865984 CPUtime=0.08
/proc/30766/stat : 30766 (java) S 30764 30766 30729 0 -1 0 3753 0 1 0 6 2 0 0 18 0 9 0 28689545 886767616 3213 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30766/statm: 216496 3213 1696 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.3021 s]
/proc/loadavg: 1.98 2.03 2.00 3/80 30766
/proc/meminfo: memFree=1308304/2055920 swapFree=4192812/4192956
[pid=30766] ppid=30764 vsize=866224 CPUtime=0.27
/proc/30766/stat : 30766 (java) S 30764 30766 30729 0 -1 0 5722 0 1 0 24 3 0 0 18 0 9 0 28689545 887013376 5108 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30766/statm: 216556 5108 1960 9 0 211014 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866224
[startup+0.702161 s]
/proc/loadavg: 1.98 2.03 2.00 3/80 30766
/proc/meminfo: memFree=1308304/2055920 swapFree=4192812/4192956
[pid=30766] ppid=30764 vsize=866508 CPUtime=0.68
/proc/30766/stat : 30766 (java) S 30764 30766 30729 0 -1 0 18704 0 1 0 58 10 0 0 18 0 9 0 28689545 887304192 18063 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30766/statm: 216627 18063 2010 9 0 211085 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866508
[startup+1.50124 s]
/proc/loadavg: 1.98 2.03 2.00 3/89 30775
/proc/meminfo: memFree=1236360/2055920 swapFree=4192812/4192956
[pid=30766] ppid=30764 vsize=866656 CPUtime=1.46
/proc/30766/stat : 30766 (java) S 30764 30766 30729 0 -1 0 31905 0 1 0 129 17 0 0 18 0 9 0 28689545 887455744 31262 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30766/statm: 216664 31262 2012 9 0 211122 0
[pid=30766/tid=30768] ppid=30764 vsize=866656 CPUtime=1.23
/proc/30766/task/30768/stat : 30768 (java) R 30764 30766 30729 0 -1 64 15714 0 1 0 114 9 0 0 25 0 9 0 28689546 887455744 31262 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30769] ppid=30764 vsize=866656 CPUtime=0.14
/proc/30766/task/30769/stat : 30769 (java) R 30764 30766 30729 0 -1 64 15148 0 0 0 7 7 0 0 16 0 9 0 28689548 887455744 31262 996147200 134512640 134550932 4294955968 18446744073709551615 102381475 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30770] ppid=30764 vsize=866656 CPUtime=0
/proc/30766/task/30770/stat : 30770 (java) S 30764 30766 30729 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28689548 887455744 31262 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30771] ppid=30764 vsize=866656 CPUtime=0
/proc/30766/task/30771/stat : 30771 (java) S 30764 30766 30729 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 28689548 887455744 31262 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30772] ppid=30764 vsize=866656 CPUtime=0
/proc/30766/task/30772/stat : 30772 (java) S 30764 30766 30729 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28689550 887455744 31262 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30773] ppid=30764 vsize=866656 CPUtime=0.07
/proc/30766/task/30773/stat : 30773 (java) S 30764 30766 30729 0 -1 64 342 0 0 0 7 0 0 0 16 0 9 0 28689550 887455744 31262 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30774] ppid=30764 vsize=866656 CPUtime=0
/proc/30766/task/30774/stat : 30774 (java) S 30764 30766 30729 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28689550 887455744 31262 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30775] ppid=30764 vsize=866656 CPUtime=0
/proc/30766/task/30775/stat : 30775 (java) S 30764 30766 30729 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28689550 887455744 31262 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 866656
[startup+3.10142 s]
/proc/loadavg: 1.98 2.03 2.00 3/89 30775
/proc/meminfo: memFree=1184136/2055920 swapFree=4192812/4192956
[pid=30766] ppid=30764 vsize=866656 CPUtime=3.05
/proc/30766/stat : 30766 (java) S 30764 30766 30729 0 -1 0 38285 0 1 0 283 22 0 0 18 0 9 0 28689545 887455744 37637 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30766/statm: 216664 37637 2014 9 0 211122 0
[pid=30766/tid=30768] ppid=30764 vsize=866656 CPUtime=2.62
/proc/30766/task/30768/stat : 30768 (java) R 30764 30766 30729 0 -1 64 15726 0 1 0 252 10 0 0 25 0 9 0 28689546 887455744 37637 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30769] ppid=30764 vsize=866656 CPUtime=0.31
/proc/30766/task/30769/stat : 30769 (java) R 30764 30766 30729 0 -1 64 21509 0 0 0 21 10 0 0 16 0 9 0 28689548 887455744 37637 996147200 134512640 134550932 4294955968 18446744073709551615 102549391 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30770] ppid=30764 vsize=866656 CPUtime=0
/proc/30766/task/30770/stat : 30770 (java) S 30764 30766 30729 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28689548 887455744 37637 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30771] ppid=30764 vsize=866656 CPUtime=0
/proc/30766/task/30771/stat : 30771 (java) S 30764 30766 30729 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 28689548 887455744 37637 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30772] ppid=30764 vsize=866656 CPUtime=0
/proc/30766/task/30772/stat : 30772 (java) S 30764 30766 30729 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28689550 887455744 37637 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30773] ppid=30764 vsize=866656 CPUtime=0.08
/proc/30766/task/30773/stat : 30773 (java) S 30764 30766 30729 0 -1 64 349 0 0 0 8 0 0 0 16 0 9 0 28689550 887455744 37637 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30774] ppid=30764 vsize=866656 CPUtime=0
/proc/30766/task/30774/stat : 30774 (java) S 30764 30766 30729 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28689550 887455744 37637 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30775] ppid=30764 vsize=866656 CPUtime=0
/proc/30766/task/30775/stat : 30775 (java) S 30764 30766 30729 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28689550 887455744 37637 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 866656
[startup+6.30277 s]
/proc/loadavg: 2.06 2.04 2.00 3/89 30775
/proc/meminfo: memFree=1100744/2055920 swapFree=4192812/4192956
[pid=30766] ppid=30764 vsize=866832 CPUtime=6.21
/proc/30766/stat : 30766 (java) S 30764 30766 30729 0 -1 0 63497 0 1 0 587 34 0 0 18 0 9 0 28689545 887635968 60644 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30766/statm: 216708 60644 2632 9 0 211166 0
[pid=30766/tid=30768] ppid=30764 vsize=866832 CPUtime=4.54
/proc/30766/task/30768/stat : 30768 (java) R 30764 30766 30729 0 -1 64 15736 0 1 0 442 12 0 0 25 0 9 0 28689546 887635968 60644 996147200 134512640 134550932 4294955968 18446744073709551615 4126628732 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30769] ppid=30764 vsize=866832 CPUtime=1.56
/proc/30766/task/30769/stat : 30769 (java) S 30764 30766 30729 0 -1 64 46636 0 0 0 135 21 0 0 17 0 9 0 28689548 887635968 60644 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30770] ppid=30764 vsize=866832 CPUtime=0
/proc/30766/task/30770/stat : 30770 (java) S 30764 30766 30729 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28689548 887635968 60644 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30771] ppid=30764 vsize=866832 CPUtime=0
/proc/30766/task/30771/stat : 30771 (java) S 30764 30766 30729 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 28689548 887635968 60644 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30772] ppid=30764 vsize=866832 CPUtime=0
/proc/30766/task/30772/stat : 30772 (java) S 30764 30766 30729 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28689550 887635968 60644 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30773] ppid=30764 vsize=866832 CPUtime=0.09
/proc/30766/task/30773/stat : 30773 (java) S 30764 30766 30729 0 -1 64 424 0 0 0 9 0 0 0 17 0 9 0 28689550 887635968 60644 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30774] ppid=30764 vsize=866832 CPUtime=0
/proc/30766/task/30774/stat : 30774 (java) S 30764 30766 30729 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28689550 887635968 60644 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30775] ppid=30764 vsize=866832 CPUtime=0
/proc/30766/task/30775/stat : 30775 (java) S 30764 30766 30729 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28689550 887635968 60644 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 866832
[startup+12.7015 s]
/proc/loadavg: 2.13 2.06 2.01 3/89 30775
/proc/meminfo: memFree=915528/2055920 swapFree=4192812/4192956
[pid=30766] ppid=30764 vsize=866832 CPUtime=12.55
/proc/30766/stat : 30766 (java) S 30764 30766 30729 0 -1 0 113169 0 1 0 1194 61 0 0 18 0 9 0 28689545 887635968 110304 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30766/statm: 216708 110304 2632 9 0 211166 0
[pid=30766/tid=30768] ppid=30764 vsize=866832 CPUtime=9.06
/proc/30766/task/30768/stat : 30768 (java) R 30764 30766 30729 0 -1 64 15748 0 1 0 891 15 0 0 25 0 9 0 28689546 887635968 110304 996147200 134512640 134550932 4294955968 18446744073709551615 4126588684 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30769] ppid=30764 vsize=866832 CPUtime=3.36
/proc/30766/task/30769/stat : 30769 (java) S 30764 30766 30729 0 -1 64 96296 0 0 0 292 44 0 0 18 0 9 0 28689548 887635968 110304 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30770] ppid=30764 vsize=866832 CPUtime=0
/proc/30766/task/30770/stat : 30770 (java) S 30764 30766 30729 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 28689548 887635968 110304 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30771] ppid=30764 vsize=866832 CPUtime=0
/proc/30766/task/30771/stat : 30771 (java) S 30764 30766 30729 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 28689548 887635968 110304 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30772] ppid=30764 vsize=866832 CPUtime=0
/proc/30766/task/30772/stat : 30772 (java) S 30764 30766 30729 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28689550 887635968 110304 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30773] ppid=30764 vsize=866832 CPUtime=0.09
/proc/30766/task/30773/stat : 30773 (java) S 30764 30766 30729 0 -1 64 424 0 0 0 9 0 0 0 16 0 9 0 28689550 887635968 110304 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30774] ppid=30764 vsize=866832 CPUtime=0
/proc/30766/task/30774/stat : 30774 (java) S 30764 30766 30729 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28689550 887635968 110304 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30775] ppid=30764 vsize=866832 CPUtime=0
/proc/30766/task/30775/stat : 30775 (java) S 30764 30766 30729 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 28689550 887635968 110304 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 866832
[startup+25.5029 s]
/proc/loadavg: 2.17 2.07 2.01 3/89 30779
/proc/meminfo: memFree=597256/2055920 swapFree=4192812/4192956
[pid=30766] ppid=30764 vsize=883448 CPUtime=25.23
/proc/30766/stat : 30766 (java) S 30764 30766 30729 0 -1 0 297891 270 1 0 2396 121 0 6 18 0 9 0 28689545 904650752 182736 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30766/statm: 220862 182736 2636 9 0 215320 0
[pid=30766/tid=30768] ppid=30764 vsize=883448 CPUtime=18.49
/proc/30766/task/30768/stat : 30768 (java) S 30764 30766 30729 0 -1 64 16435 270 1 0 1826 17 0 6 24 0 9 0 28689546 904650752 182736 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30769] ppid=30764 vsize=883448 CPUtime=6.58
/proc/30766/task/30769/stat : 30769 (java) R 30764 30766 30729 0 -1 64 280115 270 0 0 555 97 0 6 25 0 9 0 28689548 904650752 182736 996147200 134512640 134550932 4294955968 18446744073709551615 102758168 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30770] ppid=30764 vsize=883448 CPUtime=0.06
/proc/30766/task/30770/stat : 30770 (java) S 30764 30766 30729 0 -1 64 16 270 0 0 0 0 0 6 16 0 9 0 28689548 904650752 182736 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30771] ppid=30764 vsize=883448 CPUtime=0.06
/proc/30766/task/30771/stat : 30771 (java) S 30764 30766 30729 0 -1 64 5 270 0 0 0 0 0 6 15 0 9 0 28689548 904650752 182736 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30772] ppid=30764 vsize=883448 CPUtime=0.06
/proc/30766/task/30772/stat : 30772 (java) S 30764 30766 30729 0 -1 64 2 270 0 0 0 0 0 6 18 0 9 0 28689550 904650752 182736 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30773] ppid=30764 vsize=883448 CPUtime=0.2
/proc/30766/task/30773/stat : 30773 (java) S 30764 30766 30729 0 -1 64 499 270 0 0 14 0 0 6 16 0 9 0 28689550 904650752 182736 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30774] ppid=30764 vsize=883448 CPUtime=0.06
/proc/30766/task/30774/stat : 30774 (java) S 30764 30766 30729 0 -1 64 0 270 0 0 0 0 0 6 19 0 9 0 28689550 904650752 182736 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30775] ppid=30764 vsize=883448 CPUtime=0.06
/proc/30766/task/30775/stat : 30775 (java) S 30764 30766 30729 0 -1 64 14 270 0 0 0 0 0 6 15 0 9 0 28689550 904650752 182736 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 883448
[startup+51.1028 s]
/proc/loadavg: 2.19 2.08 2.01 3/89 30779
/proc/meminfo: memFree=604936/2055920 swapFree=4192812/4192956
[pid=30766] ppid=30764 vsize=867180 CPUtime=50.58
/proc/30766/stat : 30766 (java) S 30764 30766 30729 0 -1 0 344475 270 1 0 4922 130 0 6 18 0 9 0 28689545 887992320 178815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30766/statm: 216795 178815 2661 9 0 211231 0
[pid=30766/tid=30768] ppid=30764 vsize=867180 CPUtime=40.98
/proc/30766/task/30768/stat : 30768 (java) R 30764 30766 30729 0 -1 64 21279 270 1 0 4073 19 0 6 25 0 9 0 28689546 887992320 178815 996147200 134512640 134550932 4294955968 18446744073709551615 4126864261 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30769] ppid=30764 vsize=867180 CPUtime=9.31
/proc/30766/task/30769/stat : 30769 (java) S 30764 30766 30729 0 -1 64 321678 270 0 0 821 104 0 6 16 0 9 0 28689548 887992320 178815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30770] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30770/stat : 30770 (java) S 30764 30766 30729 0 -1 64 21 270 0 0 0 0 0 6 16 0 9 0 28689548 887992320 178815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30771] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30771/stat : 30771 (java) S 30764 30766 30729 0 -1 64 13 270 0 0 0 0 0 6 16 0 9 0 28689548 887992320 178815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30772] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30772/stat : 30772 (java) S 30764 30766 30729 0 -1 64 2 270 0 0 0 0 0 6 18 0 9 0 28689550 887992320 178815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30773] ppid=30764 vsize=867180 CPUtime=0.32
/proc/30766/task/30773/stat : 30773 (java) S 30764 30766 30729 0 -1 64 653 270 0 0 26 0 0 6 15 0 9 0 28689550 887992320 178815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30774] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30774/stat : 30774 (java) S 30764 30766 30729 0 -1 64 0 270 0 0 0 0 0 6 19 0 9 0 28689550 887992320 178815 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/30766/task/30771/stat : 30771 (java) S 30764 30766 30729 0 -1 64 13 270 0 0 0 0 0 6 16 0 9 0 28689548 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30772] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30772/stat : 30772 (java) S 30764 30766 30729 0 -1 64 2 270 0 0 0 0 0 6 18 0 9 0 28689550 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30773] ppid=30764 vsize=867180 CPUtime=0.33
/proc/30766/task/30773/stat : 30773 (java) S 30764 30766 30729 0 -1 64 654 270 0 0 27 0 0 6 16 0 9 0 28689550 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30774] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30774/stat : 30774 (java) S 30764 30766 30729 0 -1 64 0 270 0 0 0 0 0 6 19 0 9 0 28689550 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30775] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30775/stat : 30775 (java) S 30764 30766 30729 0 -1 64 24 270 0 0 0 0 0 6 15 0 9 0 28689550 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 177.38
Current children cumulated vsize (KiB) 867180
[startup+191.902 s]
/proc/loadavg: 2.15 2.10 2.02 3/89 30779
/proc/meminfo: memFree=604680/2055920 swapFree=4192812/4192956
[pid=30766] ppid=30764 vsize=867180 CPUtime=190.06
/proc/30766/stat : 30766 (java) S 30764 30766 30729 0 -1 0 344939 270 1 0 18869 131 0 6 18 0 9 0 28689545 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30766/statm: 216795 178816 2661 9 0 211231 0
[pid=30766/tid=30768] ppid=30764 vsize=867180 CPUtime=180.45
/proc/30766/task/30768/stat : 30768 (java) R 30764 30766 30729 0 -1 64 21742 270 1 0 18020 19 0 6 25 0 9 0 28689546 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4126864435 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30769] ppid=30764 vsize=867180 CPUtime=9.31
/proc/30766/task/30769/stat : 30769 (java) S 30764 30766 30729 0 -1 64 321678 270 0 0 821 104 0 6 16 0 9 0 28689548 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30770] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30770/stat : 30770 (java) S 30764 30766 30729 0 -1 64 21 270 0 0 0 0 0 6 16 0 9 0 28689548 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30771] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30771/stat : 30771 (java) S 30764 30766 30729 0 -1 64 13 270 0 0 0 0 0 6 16 0 9 0 28689548 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30772] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30772/stat : 30772 (java) S 30764 30766 30729 0 -1 64 2 270 0 0 0 0 0 6 18 0 9 0 28689550 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30773] ppid=30764 vsize=867180 CPUtime=0.33
/proc/30766/task/30773/stat : 30773 (java) S 30764 30766 30729 0 -1 64 654 270 0 0 27 0 0 6 16 0 9 0 28689550 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30774] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30774/stat : 30774 (java) S 30764 30766 30729 0 -1 64 0 270 0 0 0 0 0 6 19 0 9 0 28689550 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30775] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30775/stat : 30775 (java) S 30764 30766 30729 0 -1 64 24 270 0 0 0 0 0 6 15 0 9 0 28689550 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 190.06
Current children cumulated vsize (KiB) 867180
[startup+195.103 s]
/proc/loadavg: 2.14 2.10 2.02 3/89 30779
/proc/meminfo: memFree=604680/2055920 swapFree=4192812/4192956
[pid=30766] ppid=30764 vsize=867180 CPUtime=193.23
/proc/30766/stat : 30766 (java) S 30764 30766 30729 0 -1 0 344950 270 1 0 19186 131 0 6 18 0 9 0 28689545 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30766/statm: 216795 178816 2661 9 0 211231 0
[pid=30766/tid=30768] ppid=30764 vsize=867180 CPUtime=183.62
/proc/30766/task/30768/stat : 30768 (java) R 30764 30766 30729 0 -1 64 21753 270 1 0 18337 19 0 6 25 0 9 0 28689546 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4126864219 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30769] ppid=30764 vsize=867180 CPUtime=9.31
/proc/30766/task/30769/stat : 30769 (java) S 30764 30766 30729 0 -1 64 321678 270 0 0 821 104 0 6 16 0 9 0 28689548 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30770] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30770/stat : 30770 (java) S 30764 30766 30729 0 -1 64 21 270 0 0 0 0 0 6 16 0 9 0 28689548 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30771] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30771/stat : 30771 (java) S 30764 30766 30729 0 -1 64 13 270 0 0 0 0 0 6 16 0 9 0 28689548 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30772] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30772/stat : 30772 (java) S 30764 30766 30729 0 -1 64 2 270 0 0 0 0 0 6 18 0 9 0 28689550 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30773] ppid=30764 vsize=867180 CPUtime=0.33
/proc/30766/task/30773/stat : 30773 (java) S 30764 30766 30729 0 -1 64 654 270 0 0 27 0 0 6 16 0 9 0 28689550 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30774] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30774/stat : 30774 (java) S 30764 30766 30729 0 -1 64 0 270 0 0 0 0 0 6 19 0 9 0 28689550 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30775] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30775/stat : 30775 (java) S 30764 30766 30729 0 -1 64 24 270 0 0 0 0 0 6 15 0 9 0 28689550 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 193.23
Current children cumulated vsize (KiB) 867180
[startup+196.702 s]
/proc/loadavg: 2.14 2.10 2.02 3/89 30779
/proc/meminfo: memFree=604680/2055920 swapFree=4192812/4192956
[pid=30766] ppid=30764 vsize=867180 CPUtime=194.82
/proc/30766/stat : 30766 (java) S 30764 30766 30729 0 -1 0 344955 270 1 0 19345 131 0 6 18 0 9 0 28689545 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30766/statm: 216795 178816 2661 9 0 211231 0
[pid=30766/tid=30768] ppid=30764 vsize=867180 CPUtime=185.21
/proc/30766/task/30768/stat : 30768 (java) R 30764 30766 30729 0 -1 64 21758 270 1 0 18496 19 0 6 25 0 9 0 28689546 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4126864245 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30769] ppid=30764 vsize=867180 CPUtime=9.31
/proc/30766/task/30769/stat : 30769 (java) S 30764 30766 30729 0 -1 64 321678 270 0 0 821 104 0 6 16 0 9 0 28689548 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30770] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30770/stat : 30770 (java) S 30764 30766 30729 0 -1 64 21 270 0 0 0 0 0 6 16 0 9 0 28689548 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30771] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30771/stat : 30771 (java) S 30764 30766 30729 0 -1 64 13 270 0 0 0 0 0 6 16 0 9 0 28689548 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30772] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30772/stat : 30772 (java) S 30764 30766 30729 0 -1 64 2 270 0 0 0 0 0 6 18 0 9 0 28689550 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30773] ppid=30764 vsize=867180 CPUtime=0.33
/proc/30766/task/30773/stat : 30773 (java) S 30764 30766 30729 0 -1 64 654 270 0 0 27 0 0 6 16 0 9 0 28689550 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30774] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30774/stat : 30774 (java) S 30764 30766 30729 0 -1 64 0 270 0 0 0 0 0 6 19 0 9 0 28689550 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30775] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30775/stat : 30775 (java) S 30764 30766 30729 0 -1 64 24 270 0 0 0 0 0 6 15 0 9 0 28689550 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 194.82
Current children cumulated vsize (KiB) 867180
[startup+198.301 s]
/proc/loadavg: 2.13 2.10 2.02 3/89 30779
/proc/meminfo: memFree=604680/2055920 swapFree=4192812/4192956
[pid=30766] ppid=30764 vsize=867180 CPUtime=196.4
/proc/30766/stat : 30766 (java) S 30764 30766 30729 0 -1 0 344959 270 1 0 19503 131 0 6 18 0 9 0 28689545 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30766/statm: 216795 178816 2661 9 0 211231 0
[pid=30766/tid=30768] ppid=30764 vsize=867180 CPUtime=186.79
/proc/30766/task/30768/stat : 30768 (java) R 30764 30766 30729 0 -1 64 21762 270 1 0 18654 19 0 6 25 0 9 0 28689546 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4126864261 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30769] ppid=30764 vsize=867180 CPUtime=9.31
/proc/30766/task/30769/stat : 30769 (java) S 30764 30766 30729 0 -1 64 321678 270 0 0 821 104 0 6 16 0 9 0 28689548 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30770] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30770/stat : 30770 (java) S 30764 30766 30729 0 -1 64 21 270 0 0 0 0 0 6 16 0 9 0 28689548 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30771] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30771/stat : 30771 (java) S 30764 30766 30729 0 -1 64 13 270 0 0 0 0 0 6 16 0 9 0 28689548 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30772] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30772/stat : 30772 (java) S 30764 30766 30729 0 -1 64 2 270 0 0 0 0 0 6 18 0 9 0 28689550 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30773] ppid=30764 vsize=867180 CPUtime=0.33
/proc/30766/task/30773/stat : 30773 (java) S 30764 30766 30729 0 -1 64 654 270 0 0 27 0 0 6 16 0 9 0 28689550 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30774] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30774/stat : 30774 (java) S 30764 30766 30729 0 -1 64 0 270 0 0 0 0 0 6 19 0 9 0 28689550 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30775] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30775/stat : 30775 (java) S 30764 30766 30729 0 -1 64 24 270 0 0 0 0 0 6 15 0 9 0 28689550 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 196.4
Current children cumulated vsize (KiB) 867180
[startup+198.701 s]
/proc/loadavg: 2.13 2.10 2.02 3/89 30779
/proc/meminfo: memFree=604680/2055920 swapFree=4192812/4192956
[pid=30766] ppid=30764 vsize=867180 CPUtime=196.8
/proc/30766/stat : 30766 (java) S 30764 30766 30729 0 -1 0 344961 270 1 0 19543 131 0 6 18 0 9 0 28689545 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30766/statm: 216795 178816 2661 9 0 211231 0
[pid=30766/tid=30768] ppid=30764 vsize=867180 CPUtime=187.19
/proc/30766/task/30768/stat : 30768 (java) R 30764 30766 30729 0 -1 64 21764 270 1 0 18694 19 0 6 25 0 9 0 28689546 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4126864261 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30769] ppid=30764 vsize=867180 CPUtime=9.31
/proc/30766/task/30769/stat : 30769 (java) S 30764 30766 30729 0 -1 64 321678 270 0 0 821 104 0 6 16 0 9 0 28689548 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30770] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30770/stat : 30770 (java) S 30764 30766 30729 0 -1 64 21 270 0 0 0 0 0 6 16 0 9 0 28689548 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30771] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30771/stat : 30771 (java) S 30764 30766 30729 0 -1 64 13 270 0 0 0 0 0 6 16 0 9 0 28689548 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30772] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30772/stat : 30772 (java) S 30764 30766 30729 0 -1 64 2 270 0 0 0 0 0 6 18 0 9 0 28689550 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30773] ppid=30764 vsize=867180 CPUtime=0.33
/proc/30766/task/30773/stat : 30773 (java) S 30764 30766 30729 0 -1 64 654 270 0 0 27 0 0 6 16 0 9 0 28689550 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30774] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30774/stat : 30774 (java) S 30764 30766 30729 0 -1 64 0 270 0 0 0 0 0 6 19 0 9 0 28689550 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30775] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30775/stat : 30775 (java) S 30764 30766 30729 0 -1 64 24 270 0 0 0 0 0 6 15 0 9 0 28689550 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 196.8
Current children cumulated vsize (KiB) 867180
[startup+198.901 s]
/proc/loadavg: 2.13 2.10 2.02 3/89 30779
/proc/meminfo: memFree=604680/2055920 swapFree=4192812/4192956
[pid=30766] ppid=30764 vsize=867180 CPUtime=197
/proc/30766/stat : 30766 (java) S 30764 30766 30729 0 -1 0 344962 270 1 0 19563 131 0 6 18 0 9 0 28689545 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30766/statm: 216795 178816 2661 9 0 211231 0
[pid=30766/tid=30768] ppid=30764 vsize=867180 CPUtime=187.39
/proc/30766/task/30768/stat : 30768 (java) R 30764 30766 30729 0 -1 64 21765 270 1 0 18714 19 0 6 25 0 9 0 28689546 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4126864661 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30769] ppid=30764 vsize=867180 CPUtime=9.31
/proc/30766/task/30769/stat : 30769 (java) S 30764 30766 30729 0 -1 64 321678 270 0 0 821 104 0 6 16 0 9 0 28689548 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30770] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30770/stat : 30770 (java) S 30764 30766 30729 0 -1 64 21 270 0 0 0 0 0 6 16 0 9 0 28689548 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30771] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30771/stat : 30771 (java) S 30764 30766 30729 0 -1 64 13 270 0 0 0 0 0 6 16 0 9 0 28689548 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30772] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30772/stat : 30772 (java) S 30764 30766 30729 0 -1 64 2 270 0 0 0 0 0 6 18 0 9 0 28689550 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30773] ppid=30764 vsize=867180 CPUtime=0.33
/proc/30766/task/30773/stat : 30773 (java) S 30764 30766 30729 0 -1 64 654 270 0 0 27 0 0 6 16 0 9 0 28689550 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30774] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30774/stat : 30774 (java) S 30764 30766 30729 0 -1 64 0 270 0 0 0 0 0 6 19 0 9 0 28689550 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30766/tid=30775] ppid=30764 vsize=867180 CPUtime=0.06
/proc/30766/task/30775/stat : 30775 (java) S 30764 30766 30729 0 -1 64 24 270 0 0 0 0 0 6 15 0 9 0 28689550 887992320 178816 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 197
Current children cumulated vsize (KiB) 867180
[startup+199.002 s]
/proc/loadavg: 2.13 2.10 2.02 3/82 30779
/proc/meminfo: memFree=1058440/2055920 swapFree=4192812/4192956
[pid=30766] ppid=30764 vsize=0 CPUtime=197.07
/proc/30766/stat : 30766 (java) Z 30764 30766 30729 0 -1 12 345082 270 1 0 19564 137 0 6 16 0 2 0 28689545 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30766/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 197.07
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 199.043
CPU time (s): 197.122
CPU user time (s): 195.643
CPU system time (s): 1.47878
CPU usage (%): 99.0347
Max. virtual memory (cumulated for all children) (KiB): 884408
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 195.643
system time used= 1.47877
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 345352
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= 5569
involuntary context switches= 9924
runsolver used 0.288956 second user time and 0.634903 second system time
The end
Begin job on node38 at 2009-07-12 18:30:54
IDJOB=2098630
IDBENCH=58816
IDSOLVER=774
FILE ID=node38/2098630-1247416248
PBS_JOBID= 9510768
Free space on /tmp= 66344 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/dag-rand/normalized-rand-n23-d3-e16-r15-t150000-18.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-2098630-1247416248/watcher-2098630-1247416248 -o /tmp/evaluation-result-2098630-1247416248/solver-2098630-1247416248 -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-2098630-1247416248.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= fff07867ec5a7339c8c795771fe33eff
RANDOM SEED=1358162009
node38.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.229
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.229
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: 1308784 kB
Buffers: 73724 kB
Cached: 341348 kB
SwapCached: 0 kB
Active: 506828 kB
Inactive: 153720 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1308784 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 72644 kB
Writeback: 0 kB
Mapped: 266004 kB
Slab: 71212 kB
Committed_AS: 1013284 kB
PageTables: 2328 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= 66340 MiB
End job on node38 at 2009-07-12 18:34:14