0.03/0.09
0.03/0.09 Abscon 112 (May, 2008)
0.18/0.26
0.18/0.26 configuration
0.18/0.26 name=mac.xml
0.27/0.30
0.27/0.30 instance
0.27/0.30 name=HOME/instance-1056542-1215063525.xml
0.27/0.33
0.27/0.33 domains being loaded...
0.27/0.34
0.27/0.34 variables being loaded...
0.27/0.39 nbVariables=101 nbDomainTypes=2 minDomainSize=1 maxDomainSize=1098 nbTotalValues=109801
0.27/0.39 => wckTime=0.131 cpuTime=0.11 mem=9M869
0.27/0.39
0.27/0.40 predicates being loaded...
0.38/0.46
0.38/0.46 constraints being loaded...
1.06/1.16 nbConstraints=1010 nbGlobalConstraints=910 nbSingletonDomainVariables=1 nbConvertedConstraints=100
1.06/1.16 nbConvertConstraintsChecks=60390 nbExtensionStructures=55 nbSharedExtensionStructures=45
1.06/1.16 nbConflictsStructures=55 nbSharedConflictsStructures=45 nbSharedBinaryRepresentations=60388 minDegree=20
1.06/1.16 maxDegree=101 minArity=2 avgArity=2.08 maxArity=11 nbGenerators=0 nbFusions=0 symmetryWckTime=0.228
1.06/1.16 symmetryCpuTime=0.17 nbCliques=10
1.06/1.16 => wckTime=0.897 cpuTime=0.67 mem=25M540
1.16/1.24
1.16/1.24 solver IterativeSystematicSolver being built...
1.25/1.30
1.25/1.30 INFO : Forward propagation technique limited
1.25/1.37 => wckTime=1.106 cpuTime=0.79 mem=26M794
1.35/1.41
1.35/1.41 preprocessing
1.35/1.41 nbConstraintChecks=109800 nbPropagations=108 nbRevisions=106 nbUselessRevisions=6 nbRemovedValues=17016
1.35/1.41 detectedInconsistency=no
1.35/1.41 => wckTime=0.037 cpuTime=0.02 mem=27M761
6.11/6.25
6.11/6.25 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=17M552)
171.53/173.25
171.53/173.25 search
171.53/173.25 run=18 nbConstraintChecks=4787478 minDepth=11 maxDepth=101 nbPropagations=4677526 nbRevisions=21014
171.53/173.25 nbUselessRevisions=19114 nbAssignments=31311 nbFailedAssignments=29536 nbBacktracks=1481 nbVisitedNodes=61904
171.53/173.25 nbRestartNogoods=2218 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=1 nbIEliminables=8.42
171.53/173.25 nbDEliminables=0 nbPEliminables=0
171.53/173.25 => wckTime=171.87 cpuTime=170.08 mem=55M64
171.53/173.25
171.53/173.25 global
171.53/173.25 nbConstraintChecks=4897278 nbPropagations=4677634 nbRevisions=21120 nbUselessRevisions=19120
171.53/173.25 nbRestartNogoods=2218 solvingWckTime=171.873 solvingCpuTime=170.08 expiredTime=no totalExploration=no
171.53/173.25 nbFoundSolutions=1 firstSolutionCpuTime=170.86 globalCpuTime=170.91
171.53/173.25 => wckTime=172.984 cpuTime=170.87 mem=55M64
171.53/173.25
171.53/173.25 s SATISFIABLE
171.53/173.25 v 1097 3 7 129 128 0 761 4 146 26 22 423 0 123 129 911 421 1059 1 945 1060 1 2 146 28 945 27 1052 119 790 1016 911 1016 1086 1 877 444 0 720 448 26 1009 300 1071 1059 1016 0 7 866 2 963 2 963 1068 421 1059 28 1 1071 0 851 1030 1086 0 123 1064 438 851 1061 128 476 4 1 819 1092 518 412 1068 0 1079 444 0 27 818 877 819 2 300 944 1061 1 1050 866 790 882 3 518 2 854 761 0
171.53/173.25 d NODES 31311
171.53/173.25 d CHECKS 4897278
171.53/173.25
171.53/173.25 totalWckTime=173.055 totalCpuTime=170.92
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056542-1215063525/watcher-1056542-1215063525 -o /tmp/evaluation-result-1056542-1215063525/solver-1056542-1215063525 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1056542-1215063525.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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/84 32170
/proc/meminfo: memFree=1571424/2055920 swapFree=4181476/4192956
[pid=32170] ppid=32168 vsize=18572 CPUtime=0
/proc/32170/stat : 32170 (runsolver) R 32168 32170 27576 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 1985322008 19017728 292 996147200 4194304 4296836 548682068352 18446744073709551615 271638392103 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/32170/statm: 4643 292 257 25 0 2626 0
[startup+0.052159 s]
/proc/loadavg: 2.00 2.00 2.00 4/84 32170
/proc/meminfo: memFree=1571424/2055920 swapFree=4181476/4192956
[pid=32170] ppid=32168 vsize=861876 CPUtime=0.03
/proc/32170/stat : 32170 (java) S 32168 32170 27576 0 -1 0 2361 0 1 0 2 1 0 0 18 0 5 0 1985322008 882561024 1948 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/32170/statm: 215469 1948 898 9 0 210448 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861876
[startup+0.102854 s]
/proc/loadavg: 2.00 2.00 2.00 4/84 32170
/proc/meminfo: memFree=1571424/2055920 swapFree=4181476/4192956
[pid=32170] ppid=32168 vsize=865884 CPUtime=0.08
/proc/32170/stat : 32170 (java) S 32168 32170 27576 0 -1 0 3673 0 1 0 6 2 0 0 18 0 9 0 1985322008 886665216 3148 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32170/statm: 216471 3148 1681 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301892 s]
/proc/loadavg: 2.00 2.00 2.00 4/84 32170
/proc/meminfo: memFree=1571424/2055920 swapFree=4181476/4192956
[pid=32170] ppid=32168 vsize=866284 CPUtime=0.27
/proc/32170/stat : 32170 (java) S 32168 32170 27576 0 -1 0 5740 0 1 0 24 3 0 0 18 0 9 0 1985322008 887074816 5121 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32170/statm: 216571 5121 1945 9 0 211099 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 866284
[startup+0.701967 s]
/proc/loadavg: 2.00 2.00 2.00 4/84 32170
/proc/meminfo: memFree=1571424/2055920 swapFree=4181476/4192956
[pid=32170] ppid=32168 vsize=867672 CPUtime=0.67
/proc/32170/stat : 32170 (java) S 32168 32170 27576 0 -1 0 8953 0 1 0 62 5 0 0 18 0 9 0 1985322008 888496128 8311 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32170/statm: 216918 8311 2012 9 0 211424 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867672
[startup+1.50211 s]
/proc/loadavg: 2.00 2.00 2.00 3/95 32183
/proc/meminfo: memFree=1538248/2055920 swapFree=4181476/4192956
[pid=32170] ppid=32168 vsize=868320 CPUtime=1.45
/proc/32170/stat : 32170 (java) S 32168 32170 27576 0 -1 0 20271 327 1 0 130 14 1 0 18 0 9 0 1985322008 889159680 12460 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32170/statm: 217080 12460 2632 9 0 211586 0
[pid=32170/tid=32172] ppid=32168 vsize=868320 CPUtime=1.1
/proc/32170/task/32172/stat : 32172 (java) R 32168 32170 27576 0 -1 64 14060 327 1 0 97 12 1 0 23 0 9 0 1985322009 889159680 12460 996147200 134512640 134550740 4294955984 18446744073709551615 4127123407 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32173] ppid=32168 vsize=868320 CPUtime=0.07
/proc/32170/task/32173/stat : 32173 (java) S 32168 32170 27576 0 -1 64 4468 327 0 0 6 0 1 0 16 0 9 0 1985322011 889159680 12460 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32174] ppid=32168 vsize=868320 CPUtime=0.01
/proc/32170/task/32174/stat : 32174 (java) S 32168 32170 27576 0 -1 64 16 327 0 0 0 0 1 0 16 0 9 0 1985322011 889159680 12460 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32175] ppid=32168 vsize=868320 CPUtime=0.01
/proc/32170/task/32175/stat : 32175 (java) S 32168 32170 27576 0 -1 64 11 327 0 0 0 0 1 0 16 0 9 0 1985322011 889159680 12460 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32176] ppid=32168 vsize=868320 CPUtime=0.01
/proc/32170/task/32176/stat : 32176 (java) S 32168 32170 27576 0 -1 64 0 327 0 0 0 0 1 0 18 0 9 0 1985322013 889159680 12460 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32177] ppid=32168 vsize=868320 CPUtime=0.27
/proc/32170/task/32177/stat : 32177 (java) S 32168 32170 27576 0 -1 64 900 327 0 0 26 0 1 0 15 0 9 0 1985322013 889159680 12460 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32178] ppid=32168 vsize=868320 CPUtime=0.01
/proc/32170/task/32178/stat : 32178 (java) S 32168 32170 27576 0 -1 64 2 327 0 0 0 0 1 0 19 0 9 0 1985322013 889159680 12460 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32179] ppid=32168 vsize=868320 CPUtime=0.01
/proc/32170/task/32179/stat : 32179 (java) S 32168 32170 27576 0 -1 64 7 327 0 0 0 0 1 0 15 0 9 0 1985322013 889159680 12460 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 868320
[startup+3.10141 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 32183
/proc/meminfo: memFree=1529744/2055920 swapFree=4181476/4192956
[pid=32170] ppid=32168 vsize=868452 CPUtime=3.04
/proc/32170/stat : 32170 (java) S 32168 32170 27576 0 -1 0 22378 327 1 0 288 15 1 0 18 0 9 0 1985322008 889294848 14558 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32170/statm: 217113 14558 2632 9 0 211619 0
[pid=32170/tid=32172] ppid=32168 vsize=868452 CPUtime=2.64
/proc/32170/task/32172/stat : 32172 (java) R 32168 32170 27576 0 -1 64 16146 327 1 0 251 12 1 0 25 0 9 0 1985322009 889294848 14558 996147200 134512640 134550740 4294955984 18446744073709551615 4125952094 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32173] ppid=32168 vsize=868452 CPUtime=0.07
/proc/32170/task/32173/stat : 32173 (java) S 32168 32170 27576 0 -1 64 4468 327 0 0 6 0 1 0 17 0 9 0 1985322011 889294848 14558 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32174] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32174/stat : 32174 (java) S 32168 32170 27576 0 -1 64 16 327 0 0 0 0 1 0 16 0 9 0 1985322011 889294848 14558 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32175] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32175/stat : 32175 (java) S 32168 32170 27576 0 -1 64 11 327 0 0 0 0 1 0 16 0 9 0 1985322011 889294848 14558 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32176] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32176/stat : 32176 (java) S 32168 32170 27576 0 -1 64 0 327 0 0 0 0 1 0 18 0 9 0 1985322013 889294848 14558 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32177] ppid=32168 vsize=868452 CPUtime=0.31
/proc/32170/task/32177/stat : 32177 (java) S 32168 32170 27576 0 -1 64 921 327 0 0 30 0 1 0 15 0 9 0 1985322013 889294848 14558 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32178] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32178/stat : 32178 (java) S 32168 32170 27576 0 -1 64 2 327 0 0 0 0 1 0 19 0 9 0 1985322013 889294848 14558 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32179] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32179/stat : 32179 (java) S 32168 32170 27576 0 -1 64 7 327 0 0 0 0 1 0 15 0 9 0 1985322013 889294848 14558 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 868452
[startup+6.30299 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 32183
/proc/meminfo: memFree=1507088/2055920 swapFree=4181476/4192956
[pid=32170] ppid=32168 vsize=868452 CPUtime=6.21
/proc/32170/stat : 32170 (java) S 32168 32170 27576 0 -1 0 28697 327 1 0 603 17 1 0 18 0 9 0 1985322008 889294848 20676 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32170/statm: 217113 20676 2636 9 0 211619 0
[pid=32170/tid=32172] ppid=32168 vsize=868452 CPUtime=5.77
/proc/32170/task/32172/stat : 32172 (java) R 32168 32170 27576 0 -1 64 20389 327 1 0 563 13 1 0 25 0 9 0 1985322009 889294848 20676 996147200 134512640 134550740 4294955984 18446744073709551615 4127094889 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32173] ppid=32168 vsize=868452 CPUtime=0.09
/proc/32170/task/32173/stat : 32173 (java) S 32168 32170 27576 0 -1 64 6468 327 0 0 7 1 1 0 16 0 9 0 1985322011 889294848 20676 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32174] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32174/stat : 32174 (java) S 32168 32170 27576 0 -1 64 16 327 0 0 0 0 1 0 16 0 9 0 1985322011 889294848 20676 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32175] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32175/stat : 32175 (java) S 32168 32170 27576 0 -1 64 11 327 0 0 0 0 1 0 16 0 9 0 1985322011 889294848 20676 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32176] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32176/stat : 32176 (java) S 32168 32170 27576 0 -1 64 0 327 0 0 0 0 1 0 18 0 9 0 1985322013 889294848 20676 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32177] ppid=32168 vsize=868452 CPUtime=0.32
/proc/32170/task/32177/stat : 32177 (java) S 32168 32170 27576 0 -1 64 967 327 0 0 31 0 1 0 16 0 9 0 1985322013 889294848 20676 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32178] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32178/stat : 32178 (java) S 32168 32170 27576 0 -1 64 2 327 0 0 0 0 1 0 19 0 9 0 1985322013 889294848 20676 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32179] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32179/stat : 32179 (java) S 32168 32170 27576 0 -1 64 37 327 0 0 0 0 1 0 15 0 9 0 1985322013 889294848 20676 996147200 134512640 134550740 4294955984 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) 868452
[startup+12.7012 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 32183
/proc/meminfo: memFree=1498064/2055920 swapFree=4181476/4192956
[pid=32170] ppid=32168 vsize=868452 CPUtime=12.55
/proc/32170/stat : 32170 (java) S 32168 32170 27576 0 -1 0 28719 327 1 0 1237 17 1 0 18 0 9 0 1985322008 889294848 20688 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32170/statm: 217113 20688 2636 9 0 211619 0
[pid=32170/tid=32172] ppid=32168 vsize=868452 CPUtime=12.09
/proc/32170/task/32172/stat : 32172 (java) R 32168 32170 27576 0 -1 64 20396 327 1 0 1195 13 1 0 25 0 9 0 1985322009 889294848 20688 996147200 134512640 134550740 4294955984 18446744073709551615 4127112821 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32173] ppid=32168 vsize=868452 CPUtime=0.09
/proc/32170/task/32173/stat : 32173 (java) S 32168 32170 27576 0 -1 64 6468 327 0 0 7 1 1 0 16 0 9 0 1985322011 889294848 20688 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32174] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32174/stat : 32174 (java) S 32168 32170 27576 0 -1 64 16 327 0 0 0 0 1 0 16 0 9 0 1985322011 889294848 20688 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32175] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32175/stat : 32175 (java) S 32168 32170 27576 0 -1 64 11 327 0 0 0 0 1 0 16 0 9 0 1985322011 889294848 20688 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32176] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32176/stat : 32176 (java) S 32168 32170 27576 0 -1 64 0 327 0 0 0 0 1 0 18 0 9 0 1985322013 889294848 20688 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32177] ppid=32168 vsize=868452 CPUtime=0.35
/proc/32170/task/32177/stat : 32177 (java) S 32168 32170 27576 0 -1 64 982 327 0 0 34 0 1 0 16 0 9 0 1985322013 889294848 20688 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32178] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32178/stat : 32178 (java) S 32168 32170 27576 0 -1 64 2 327 0 0 0 0 1 0 19 0 9 0 1985322013 889294848 20688 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32179] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32179/stat : 32179 (java) S 32168 32170 27576 0 -1 64 37 327 0 0 0 0 1 0 15 0 9 0 1985322013 889294848 20688 996147200 134512640 134550740 4294955984 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) 868452
[startup+25.5025 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 32184
/proc/meminfo: memFree=1491792/2055920 swapFree=4181476/4192956
[pid=32170] ppid=32168 vsize=868452 CPUtime=25.22
/proc/32170/stat : 32170 (java) S 32168 32170 27576 0 -1 0 30244 327 1 0 2504 17 1 0 18 0 9 0 1985322008 889294848 22209 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32170/statm: 217113 22209 2636 9 0 211619 0
[pid=32170/tid=32172] ppid=32168 vsize=868452 CPUtime=24.75
/proc/32170/task/32172/stat : 32172 (java) R 32168 32170 27576 0 -1 64 20399 327 1 0 2461 13 1 0 25 0 9 0 1985322009 889294848 22209 996147200 134512640 134550740 4294955984 18446744073709551615 4127099256 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32173] ppid=32168 vsize=868452 CPUtime=0.11
/proc/32170/task/32173/stat : 32173 (java) S 32168 32170 27576 0 -1 64 7990 327 0 0 8 2 1 0 16 0 9 0 1985322011 889294848 22209 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32174] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32174/stat : 32174 (java) S 32168 32170 27576 0 -1 64 16 327 0 0 0 0 1 0 16 0 9 0 1985322011 889294848 22209 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32175] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32175/stat : 32175 (java) S 32168 32170 27576 0 -1 64 11 327 0 0 0 0 1 0 16 0 9 0 1985322011 889294848 22209 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32176] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32176/stat : 32176 (java) S 32168 32170 27576 0 -1 64 0 327 0 0 0 0 1 0 18 0 9 0 1985322013 889294848 22209 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32177] ppid=32168 vsize=868452 CPUtime=0.35
/proc/32170/task/32177/stat : 32177 (java) S 32168 32170 27576 0 -1 64 982 327 0 0 34 0 1 0 16 0 9 0 1985322013 889294848 22209 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32178] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32178/stat : 32178 (java) S 32168 32170 27576 0 -1 64 2 327 0 0 0 0 1 0 19 0 9 0 1985322013 889294848 22209 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32179] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32179/stat : 32179 (java) S 32168 32170 27576 0 -1 64 37 327 0 0 0 0 1 0 15 0 9 0 1985322013 889294848 22209 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 868452
[startup+51.1022 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 32184
/proc/meminfo: memFree=1491792/2055920 swapFree=4181476/4192956
[pid=32170] ppid=32168 vsize=868452 CPUtime=50.58
/proc/32170/stat : 32170 (java) S 32168 32170 27576 0 -1 0 30261 327 1 0 5040 17 1 0 18 0 9 0 1985322008 889294848 22221 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32170/statm: 217113 22221 2636 9 0 211619 0
[pid=32170/tid=32172] ppid=32168 vsize=868452 CPUtime=50.11
/proc/32170/task/32172/stat : 32172 (java) R 32168 32170 27576 0 -1 64 20404 327 1 0 4996 14 1 0 25 0 9 0 1985322009 889294848 22221 996147200 134512640 134550740 4294955984 18446744073709551615 4126998832 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32173] ppid=32168 vsize=868452 CPUtime=0.12
/proc/32170/task/32173/stat : 32173 (java) S 32168 32170 27576 0 -1 64 8002 327 0 0 9 2 1 0 16 0 9 0 1985322011 889294848 22221 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32174] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32174/stat : 32174 (java) S 32168 32170 27576 0 -1 64 16 327 0 0 0 0 1 0 16 0 9 0 1985322011 889294848 22221 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32175] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32175/stat : 32175 (java) S 32168 32170 27576 0 -1 64 11 327 0 0 0 0 1 0 16 0 9 0 1985322011 889294848 22221 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32176] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32176/stat : 32176 (java) S 32168 32170 27576 0 -1 64 0 327 0 0 0 0 1 0 18 0 9 0 1985322013 889294848 22221 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32177] ppid=32168 vsize=868452 CPUtime=0.35
/proc/32170/task/32177/stat : 32177 (java) S 32168 32170 27576 0 -1 64 982 327 0 0 34 0 1 0 16 0 9 0 1985322013 889294848 22221 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32178] ppid=32168 vsize=868452 CPUtime=0.01
################
# More data... #
################
/proc/32170/stat : 32170 (java) S 32168 32170 27576 0 -1 0 30312 327 1 0 16451 17 1 0 18 0 9 0 1985322008 889294848 22259 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32170/statm: 217113 22259 2636 9 0 211619 0
[pid=32170/tid=32172] ppid=32168 vsize=868452 CPUtime=164.2
/proc/32170/task/32172/stat : 32172 (java) R 32168 32170 27576 0 -1 64 20417 327 1 0 16405 14 1 0 25 0 9 0 1985322009 889294848 22259 996147200 134512640 134550740 4294955984 18446744073709551615 4127134606 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32173] ppid=32168 vsize=868452 CPUtime=0.13
/proc/32170/task/32173/stat : 32173 (java) S 32168 32170 27576 0 -1 64 8039 327 0 0 10 2 1 0 16 0 9 0 1985322011 889294848 22259 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32174] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32174/stat : 32174 (java) S 32168 32170 27576 0 -1 64 16 327 0 0 0 0 1 0 16 0 9 0 1985322011 889294848 22259 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32175] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32175/stat : 32175 (java) S 32168 32170 27576 0 -1 64 11 327 0 0 0 0 1 0 16 0 9 0 1985322011 889294848 22259 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32176] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32176/stat : 32176 (java) S 32168 32170 27576 0 -1 64 0 327 0 0 0 0 1 0 18 0 9 0 1985322013 889294848 22259 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32177] ppid=32168 vsize=868452 CPUtime=0.35
/proc/32170/task/32177/stat : 32177 (java) S 32168 32170 27576 0 -1 64 983 327 0 0 34 0 1 0 17 0 9 0 1985322013 889294848 22259 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32178] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32178/stat : 32178 (java) S 32168 32170 27576 0 -1 64 2 327 0 0 0 0 1 0 19 0 9 0 1985322013 889294848 22259 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32179] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32179/stat : 32179 (java) S 32168 32170 27576 0 -1 64 37 327 0 0 0 0 1 0 15 0 9 0 1985322013 889294848 22259 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 164.69
Current children cumulated vsize (KiB) 868452
[startup+169.503 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 32184
/proc/meminfo: memFree=1491344/2055920 swapFree=4181476/4192956
[pid=32170] ppid=32168 vsize=868452 CPUtime=167.87
/proc/32170/stat : 32170 (java) S 32168 32170 27576 0 -1 0 30324 327 1 0 16768 18 1 0 18 0 9 0 1985322008 889294848 22270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32170/statm: 217113 22270 2636 9 0 211619 0
[pid=32170/tid=32172] ppid=32168 vsize=868452 CPUtime=167.37
/proc/32170/task/32172/stat : 32172 (java) R 32168 32170 27576 0 -1 64 20418 327 1 0 16722 14 1 0 25 0 9 0 1985322009 889294848 22270 996147200 134512640 134550740 4294955984 18446744073709551615 4127096552 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32173] ppid=32168 vsize=868452 CPUtime=0.13
/proc/32170/task/32173/stat : 32173 (java) S 32168 32170 27576 0 -1 64 8050 327 0 0 10 2 1 0 16 0 9 0 1985322011 889294848 22270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32174] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32174/stat : 32174 (java) S 32168 32170 27576 0 -1 64 16 327 0 0 0 0 1 0 16 0 9 0 1985322011 889294848 22270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32175] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32175/stat : 32175 (java) S 32168 32170 27576 0 -1 64 11 327 0 0 0 0 1 0 16 0 9 0 1985322011 889294848 22270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32176] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32176/stat : 32176 (java) S 32168 32170 27576 0 -1 64 0 327 0 0 0 0 1 0 18 0 9 0 1985322013 889294848 22270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32177] ppid=32168 vsize=868452 CPUtime=0.35
/proc/32170/task/32177/stat : 32177 (java) S 32168 32170 27576 0 -1 64 983 327 0 0 34 0 1 0 17 0 9 0 1985322013 889294848 22270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32178] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32178/stat : 32178 (java) S 32168 32170 27576 0 -1 64 2 327 0 0 0 0 1 0 19 0 9 0 1985322013 889294848 22270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32179] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32179/stat : 32179 (java) S 32168 32170 27576 0 -1 64 37 327 0 0 0 0 1 0 15 0 9 0 1985322013 889294848 22270 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 167.87
Current children cumulated vsize (KiB) 868452
[startup+171.101 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 32184
/proc/meminfo: memFree=1491344/2055920 swapFree=4181476/4192956
[pid=32170] ppid=32168 vsize=868452 CPUtime=169.45
/proc/32170/stat : 32170 (java) S 32168 32170 27576 0 -1 0 30325 327 1 0 16926 18 1 0 18 0 9 0 1985322008 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32170/statm: 217113 22271 2636 9 0 211619 0
[pid=32170/tid=32172] ppid=32168 vsize=868452 CPUtime=168.95
/proc/32170/task/32172/stat : 32172 (java) R 32168 32170 27576 0 -1 64 20418 327 1 0 16880 14 1 0 25 0 9 0 1985322009 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4127097415 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32173] ppid=32168 vsize=868452 CPUtime=0.13
/proc/32170/task/32173/stat : 32173 (java) S 32168 32170 27576 0 -1 64 8050 327 0 0 10 2 1 0 17 0 9 0 1985322011 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32174] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32174/stat : 32174 (java) S 32168 32170 27576 0 -1 64 16 327 0 0 0 0 1 0 16 0 9 0 1985322011 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32175] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32175/stat : 32175 (java) S 32168 32170 27576 0 -1 64 11 327 0 0 0 0 1 0 16 0 9 0 1985322011 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32176] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32176/stat : 32176 (java) S 32168 32170 27576 0 -1 64 0 327 0 0 0 0 1 0 18 0 9 0 1985322013 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32177] ppid=32168 vsize=868452 CPUtime=0.35
/proc/32170/task/32177/stat : 32177 (java) S 32168 32170 27576 0 -1 64 984 327 0 0 34 0 1 0 15 0 9 0 1985322013 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32178] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32178/stat : 32178 (java) S 32168 32170 27576 0 -1 64 2 327 0 0 0 0 1 0 19 0 9 0 1985322013 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32179] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32179/stat : 32179 (java) S 32168 32170 27576 0 -1 64 37 327 0 0 0 0 1 0 15 0 9 0 1985322013 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 169.45
Current children cumulated vsize (KiB) 868452
[startup+171.901 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 32184
/proc/meminfo: memFree=1491344/2055920 swapFree=4181476/4192956
[pid=32170] ppid=32168 vsize=868452 CPUtime=170.24
/proc/32170/stat : 32170 (java) S 32168 32170 27576 0 -1 0 30325 327 1 0 17005 18 1 0 18 0 9 0 1985322008 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32170/statm: 217113 22271 2636 9 0 211619 0
[pid=32170/tid=32172] ppid=32168 vsize=868452 CPUtime=169.74
/proc/32170/task/32172/stat : 32172 (java) R 32168 32170 27576 0 -1 64 20418 327 1 0 16959 14 1 0 25 0 9 0 1985322009 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4127094715 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32173] ppid=32168 vsize=868452 CPUtime=0.13
/proc/32170/task/32173/stat : 32173 (java) S 32168 32170 27576 0 -1 64 8050 327 0 0 10 2 1 0 16 0 9 0 1985322011 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32174] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32174/stat : 32174 (java) S 32168 32170 27576 0 -1 64 16 327 0 0 0 0 1 0 16 0 9 0 1985322011 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32175] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32175/stat : 32175 (java) S 32168 32170 27576 0 -1 64 11 327 0 0 0 0 1 0 16 0 9 0 1985322011 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32176] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32176/stat : 32176 (java) S 32168 32170 27576 0 -1 64 0 327 0 0 0 0 1 0 18 0 9 0 1985322013 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32177] ppid=32168 vsize=868452 CPUtime=0.35
/proc/32170/task/32177/stat : 32177 (java) S 32168 32170 27576 0 -1 64 984 327 0 0 34 0 1 0 15 0 9 0 1985322013 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32178] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32178/stat : 32178 (java) S 32168 32170 27576 0 -1 64 2 327 0 0 0 0 1 0 19 0 9 0 1985322013 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32179] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32179/stat : 32179 (java) S 32168 32170 27576 0 -1 64 37 327 0 0 0 0 1 0 15 0 9 0 1985322013 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 170.24
Current children cumulated vsize (KiB) 868452
[startup+172.707 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 32184
/proc/meminfo: memFree=1491344/2055920 swapFree=4181476/4192956
[pid=32170] ppid=32168 vsize=868452 CPUtime=171.04
/proc/32170/stat : 32170 (java) S 32168 32170 27576 0 -1 0 30325 327 1 0 17085 18 1 0 18 0 9 0 1985322008 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32170/statm: 217113 22271 2636 9 0 211619 0
[pid=32170/tid=32172] ppid=32168 vsize=868452 CPUtime=170.54
/proc/32170/task/32172/stat : 32172 (java) R 32168 32170 27576 0 -1 64 20418 327 1 0 17039 14 1 0 25 0 9 0 1985322009 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4127099256 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32173] ppid=32168 vsize=868452 CPUtime=0.13
/proc/32170/task/32173/stat : 32173 (java) S 32168 32170 27576 0 -1 64 8050 327 0 0 10 2 1 0 16 0 9 0 1985322011 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32174] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32174/stat : 32174 (java) S 32168 32170 27576 0 -1 64 16 327 0 0 0 0 1 0 16 0 9 0 1985322011 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32175] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32175/stat : 32175 (java) S 32168 32170 27576 0 -1 64 11 327 0 0 0 0 1 0 16 0 9 0 1985322011 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32176] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32176/stat : 32176 (java) S 32168 32170 27576 0 -1 64 0 327 0 0 0 0 1 0 18 0 9 0 1985322013 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32177] ppid=32168 vsize=868452 CPUtime=0.35
/proc/32170/task/32177/stat : 32177 (java) S 32168 32170 27576 0 -1 64 984 327 0 0 34 0 1 0 15 0 9 0 1985322013 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32178] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32178/stat : 32178 (java) S 32168 32170 27576 0 -1 64 2 327 0 0 0 0 1 0 19 0 9 0 1985322013 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32179] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32179/stat : 32179 (java) S 32168 32170 27576 0 -1 64 37 327 0 0 0 0 1 0 15 0 9 0 1985322013 889294848 22271 996147200 134512640 134550740 4294955984 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) 868452
[startup+173.102 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 32184
/proc/meminfo: memFree=1491344/2055920 swapFree=4181476/4192956
[pid=32170] ppid=32168 vsize=868452 CPUtime=171.43
/proc/32170/stat : 32170 (java) S 32168 32170 27576 0 -1 0 30325 327 1 0 17124 18 1 0 18 0 9 0 1985322008 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32170/statm: 217113 22271 2636 9 0 211619 0
[pid=32170/tid=32172] ppid=32168 vsize=868452 CPUtime=170.93
/proc/32170/task/32172/stat : 32172 (java) R 32168 32170 27576 0 -1 64 20418 327 1 0 17078 14 1 0 25 0 9 0 1985322009 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4127099501 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32173] ppid=32168 vsize=868452 CPUtime=0.13
/proc/32170/task/32173/stat : 32173 (java) S 32168 32170 27576 0 -1 64 8050 327 0 0 10 2 1 0 16 0 9 0 1985322011 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32174] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32174/stat : 32174 (java) S 32168 32170 27576 0 -1 64 16 327 0 0 0 0 1 0 16 0 9 0 1985322011 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32175] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32175/stat : 32175 (java) S 32168 32170 27576 0 -1 64 11 327 0 0 0 0 1 0 16 0 9 0 1985322011 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32176] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32176/stat : 32176 (java) S 32168 32170 27576 0 -1 64 0 327 0 0 0 0 1 0 18 0 9 0 1985322013 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32177] ppid=32168 vsize=868452 CPUtime=0.35
/proc/32170/task/32177/stat : 32177 (java) S 32168 32170 27576 0 -1 64 984 327 0 0 34 0 1 0 15 0 9 0 1985322013 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32178] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32178/stat : 32178 (java) S 32168 32170 27576 0 -1 64 2 327 0 0 0 0 1 0 19 0 9 0 1985322013 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32179] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32179/stat : 32179 (java) S 32168 32170 27576 0 -1 64 37 327 0 0 0 0 1 0 15 0 9 0 1985322013 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 171.43
Current children cumulated vsize (KiB) 868452
[startup+173.202 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 32184
/proc/meminfo: memFree=1491344/2055920 swapFree=4181476/4192956
[pid=32170] ppid=32168 vsize=868452 CPUtime=171.53
/proc/32170/stat : 32170 (java) S 32168 32170 27576 0 -1 0 30326 327 1 0 17134 18 1 0 18 0 9 0 1985322008 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32170/statm: 217113 22271 2636 9 0 211619 0
[pid=32170/tid=32172] ppid=32168 vsize=868452 CPUtime=171.03
/proc/32170/task/32172/stat : 32172 (java) R 32168 32170 27576 0 -1 64 20419 327 1 0 17088 14 1 0 25 0 9 0 1985322009 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4127096590 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32173] ppid=32168 vsize=868452 CPUtime=0.13
/proc/32170/task/32173/stat : 32173 (java) S 32168 32170 27576 0 -1 64 8050 327 0 0 10 2 1 0 16 0 9 0 1985322011 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32174] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32174/stat : 32174 (java) S 32168 32170 27576 0 -1 64 16 327 0 0 0 0 1 0 16 0 9 0 1985322011 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32175] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32175/stat : 32175 (java) S 32168 32170 27576 0 -1 64 11 327 0 0 0 0 1 0 16 0 9 0 1985322011 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32176] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32176/stat : 32176 (java) S 32168 32170 27576 0 -1 64 0 327 0 0 0 0 1 0 18 0 9 0 1985322013 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32177] ppid=32168 vsize=868452 CPUtime=0.35
/proc/32170/task/32177/stat : 32177 (java) S 32168 32170 27576 0 -1 64 984 327 0 0 34 0 1 0 15 0 9 0 1985322013 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32178] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32178/stat : 32178 (java) S 32168 32170 27576 0 -1 64 2 327 0 0 0 0 1 0 19 0 9 0 1985322013 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32170/tid=32179] ppid=32168 vsize=868452 CPUtime=0.01
/proc/32170/task/32179/stat : 32179 (java) S 32168 32170 27576 0 -1 64 37 327 0 0 0 0 1 0 15 0 9 0 1985322013 889294848 22271 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 171.53
Current children cumulated vsize (KiB) 868452
Child status: 0
Real time (s): 173.299
CPU time (s): 171.617
CPU user time (s): 171.413
CPU system time (s): 0.203968
CPU usage (%): 99.0296
Max. virtual memory (cumulated for all children) (KiB): 868452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 171.413
system time used= 0.203968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30687
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= 5410
involuntary context switches= 10935
runsolver used 0.172973 second user time and 0.630904 second system time
The end
Begin job on node67 at 2008-07-03 07:38:45
IDJOB=1056542
IDBENCH=57654
IDSOLVER=363
FILE ID=node67/1056542-1215063525
PBS_JOBID= 7875042
Free space on /tmp= 66504 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/os-gp/normalized-gp10-02-1097.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= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1056542-1215063525/watcher-1056542-1215063525 -o /tmp/evaluation-result-1056542-1215063525/solver-1056542-1215063525 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1056542-1215063525.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= db569eb1a10e368cbf1419b196a88571
RANDOM SEED=570952542
node67.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.281
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.281
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: 1571904 kB
Buffers: 52852 kB
Cached: 252708 kB
SwapCached: 5336 kB
Active: 294556 kB
Inactive: 124384 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1571904 kB
SwapTotal: 4192956 kB
SwapFree: 4181476 kB
Dirty: 2160 kB
Writeback: 0 kB
Mapped: 130580 kB
Slab: 49856 kB
Committed_AS: 4114076 kB
PageTables: 2132 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= 66504 MiB
End job on node67 at 2008-07-03 07:41:38