0.04/0.09
0.04/0.09 Abscon 112 (May, 2008)
0.18/0.26
0.18/0.26 configuration
0.18/0.26 name=mac.xml
0.18/0.29
0.18/0.29 instance
0.18/0.29 name=HOME/instance-1082798-1215224310.xml
0.28/0.33
0.28/0.33 domains being loaded...
0.28/0.34
0.28/0.34 variables being loaded...
0.28/0.37 nbVariables=32 nbDomainTypes=15 minDomainSize=202 maxDomainSize=270 nbTotalValues=7392
0.28/0.37 => wckTime=0.112 cpuTime=0.1 mem=7M919
0.28/0.37
0.28/0.37 predicates being loaded...
0.38/0.44
0.38/0.44 constraints being loaded...
1.46/1.52 nbConstraints=164 nbGlobalConstraints=4 nbConvertedConstraints=160 nbConvertConstraintsChecks=3244585
1.46/1.52 nbExtensionStructures=61 nbSharedExtensionStructures=99 nbConflictsStructures=61 nbSharedConflictsStructures=99
1.46/1.52 nbSharedBinaryRepresentations=13527 minDegree=7 maxDegree=14 minArity=2 avgArity=2.07 maxArity=5
1.46/1.52 nbGenerators=0 nbFusions=0 symmetryWckTime=0.059 symmetryCpuTime=0.03 nbCliques=4
1.46/1.52 => wckTime=1.261 cpuTime=1.12 mem=17M828
1.46/1.58
1.46/1.58 solver IterativeSystematicSolver being built...
1.56/1.64
1.56/1.64 INFO : Forward propagation technique limited
1.66/1.70 => wckTime=1.443 cpuTime=1.23 mem=20M869
1.66/1.71
1.66/1.71 preprocessing
1.66/1.71 nbConstraintChecks=0 nbPropagations=32 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.66/1.71 detectedInconsistency=no
1.66/1.71 => wckTime=0.0050 cpuTime=0.0 mem=21M877
5.03/5.10
5.03/5.10 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=36M591)
178.63/180.26
178.63/180.26 search
178.63/180.26 run=23 nbConstraintChecks=4793642870 minDepth=0 maxDepth=3 nbPropagations=11705054 nbRevisions=88010294
178.63/180.26 nbUselessRevisions=58414884 nbAssignments=241577 nbFailedAssignments=233859 nbInferredBacktracks=65
178.63/180.26 nbBacktracks=7665 nbVisitedNodes=482373 nbRestartNogoods=948 nbSEliminables=0 nbREliminables=2.45
178.63/180.26 nbIEliminables=24.39 nbDEliminables=0 nbPEliminables=0
178.63/180.26 => wckTime=178.556 cpuTime=176.84 mem=41M91
178.63/180.26
178.63/180.26 global
178.63/180.26 nbConstraintChecks=4793642870 nbPropagations=11705086 nbRevisions=88010294 nbUselessRevisions=58414884
178.63/180.26 nbRestartNogoods=948 solvingWckTime=178.558 solvingCpuTime=176.84 expiredTime=no totalExploration=yes
178.63/180.26 nbFoundSolutions=0 globalCpuTime=178.1
178.63/180.26 => wckTime=180.003 cpuTime=178.07 mem=41M91
178.63/180.27
178.63/180.27 s UNSATISFIABLE
178.63/180.27 d NODES 241577
178.63/180.27 d CHECKS 4793642870
178.63/180.27
178.63/180.27 totalWckTime=180.074 totalCpuTime=178.11
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1082798-1215224310/watcher-1082798-1215224310 -o /tmp/evaluation-result-1082798-1215224310/solver-1082798-1215224310 -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-1082798-1215224310.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.03 2.07 2.01 4/73 30641
/proc/meminfo: memFree=1809448/2055920 swapFree=4179916/4192956
[pid=30641] ppid=30639 vsize=18572 CPUtime=0
/proc/30641/stat : 30641 (runsolver) R 30639 30641 26762 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 2001404306 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 213116316967 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/30641/statm: 4643 292 257 25 0 2626 0
[startup+0.064644 s]
/proc/loadavg: 2.03 2.07 2.01 4/73 30641
/proc/meminfo: memFree=1809448/2055920 swapFree=4179916/4192956
[pid=30641] ppid=30639 vsize=864076 CPUtime=0.04
/proc/30641/stat : 30641 (java) S 30639 30641 26762 0 -1 0 2760 0 1 0 3 1 0 0 18 0 9 0 2001404306 884813824 2306 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30641/statm: 216019 2306 1103 9 0 210976 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 864076
[startup+0.102646 s]
/proc/loadavg: 2.03 2.07 2.01 4/73 30641
/proc/meminfo: memFree=1809448/2055920 swapFree=4179916/4192956
[pid=30641] ppid=30639 vsize=865884 CPUtime=0.08
/proc/30641/stat : 30641 (java) S 30639 30641 26762 0 -1 0 3686 0 1 0 7 1 0 0 18 0 9 0 2001404306 886665216 3161 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30641/statm: 216471 3161 1685 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301667 s]
/proc/loadavg: 2.03 2.07 2.01 4/73 30641
/proc/meminfo: memFree=1809448/2055920 swapFree=4179916/4192956
[pid=30641] ppid=30639 vsize=866284 CPUtime=0.28
/proc/30641/stat : 30641 (java) S 30639 30641 26762 0 -1 0 5782 0 1 0 25 3 0 0 18 0 9 0 2001404306 887074816 5156 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30641/statm: 216571 5156 1951 9 0 211099 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866284
[startup+0.70171 s]
/proc/loadavg: 2.03 2.07 2.01 4/73 30641
/proc/meminfo: memFree=1809448/2055920 swapFree=4179916/4192956
[pid=30641] ppid=30639 vsize=867080 CPUtime=0.68
/proc/30641/stat : 30641 (java) S 30639 30641 26762 0 -1 0 7853 0 1 0 63 5 0 0 18 0 9 0 2001404306 887889920 7211 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30641/statm: 216770 7211 2010 9 0 211276 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867080
[startup+1.50318 s]
/proc/loadavg: 2.03 2.07 2.01 3/82 30650
/proc/meminfo: memFree=1787232/2055920 swapFree=4179916/4192956
[pid=30641] ppid=30639 vsize=867404 CPUtime=1.46
/proc/30641/stat : 30641 (java) S 30639 30641 26762 0 -1 0 9301 276 1 0 139 7 0 0 18 0 9 0 2001404306 888221696 8184 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30641/statm: 216851 8184 2017 9 0 211357 0
[pid=30641/tid=30643] ppid=30639 vsize=867404 CPUtime=1.28
/proc/30641/task/30643/stat : 30643 (java) R 30639 30641 26762 0 -1 64 7935 276 1 0 123 5 0 0 25 0 9 0 2001404307 888221696 8184 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30644] ppid=30639 vsize=867404 CPUtime=0
/proc/30641/task/30644/stat : 30644 (java) S 30639 30641 26762 0 -1 64 4 276 0 0 0 0 0 0 17 0 9 0 2001404309 888221696 8184 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30645] ppid=30639 vsize=867404 CPUtime=0
/proc/30641/task/30645/stat : 30645 (java) S 30639 30641 26762 0 -1 64 9 276 0 0 0 0 0 0 19 0 9 0 2001404309 888221696 8184 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30646] ppid=30639 vsize=867404 CPUtime=0
/proc/30641/task/30646/stat : 30646 (java) S 30639 30641 26762 0 -1 64 4 276 0 0 0 0 0 0 20 0 9 0 2001404309 888221696 8184 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30647] ppid=30639 vsize=867404 CPUtime=0
/proc/30641/task/30647/stat : 30647 (java) S 30639 30641 26762 0 -1 64 1 276 0 0 0 0 0 0 18 0 9 0 2001404311 888221696 8184 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30648] ppid=30639 vsize=867404 CPUtime=0.15
/proc/30641/task/30648/stat : 30648 (java) S 30639 30641 26762 0 -1 64 535 276 0 0 15 0 0 0 15 0 9 0 2001404311 888221696 8184 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30649] ppid=30639 vsize=867404 CPUtime=0
/proc/30641/task/30649/stat : 30649 (java) S 30639 30641 26762 0 -1 64 2 276 0 0 0 0 0 0 19 0 9 0 2001404311 888221696 8184 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30650] ppid=30639 vsize=867404 CPUtime=0
/proc/30641/task/30650/stat : 30650 (java) S 30639 30641 26762 0 -1 64 1 276 0 0 0 0 0 0 15 0 9 0 2001404311 888221696 8184 996147200 134512640 134550740 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) 867404
[startup+3.10197 s]
/proc/loadavg: 2.03 2.07 2.01 4/82 30654
/proc/meminfo: memFree=1771424/2055920 swapFree=4179916/4192956
[pid=30641] ppid=30639 vsize=867536 CPUtime=3.05
/proc/30641/stat : 30641 (java) S 30639 30641 26762 0 -1 0 22713 276 1 0 291 14 0 0 18 0 9 0 2001404306 888356864 16725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30641/statm: 216884 16725 2632 9 0 211390 0
[pid=30641/tid=30643] ppid=30639 vsize=867536 CPUtime=2.74
/proc/30641/task/30643/stat : 30643 (java) R 30639 30641 26762 0 -1 64 18194 276 1 0 263 11 0 0 25 0 9 0 2001404307 888356864 16725 996147200 134512640 134550740 4294955968 18446744073709551615 4126918966 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30644] ppid=30639 vsize=867536 CPUtime=0.04
/proc/30641/task/30644/stat : 30644 (java) S 30639 30641 26762 0 -1 64 2953 276 0 0 4 0 0 0 17 0 9 0 2001404309 888356864 16725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30645] ppid=30639 vsize=867536 CPUtime=0
/proc/30641/task/30645/stat : 30645 (java) S 30639 30641 26762 0 -1 64 13 276 0 0 0 0 0 0 16 0 9 0 2001404309 888356864 16725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30646] ppid=30639 vsize=867536 CPUtime=0
/proc/30641/task/30646/stat : 30646 (java) S 30639 30641 26762 0 -1 64 13 276 0 0 0 0 0 0 16 0 9 0 2001404309 888356864 16725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30647] ppid=30639 vsize=867536 CPUtime=0
/proc/30641/task/30647/stat : 30647 (java) S 30639 30641 26762 0 -1 64 1 276 0 0 0 0 0 0 18 0 9 0 2001404311 888356864 16725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30648] ppid=30639 vsize=867536 CPUtime=0.23
/proc/30641/task/30648/stat : 30648 (java) S 30639 30641 26762 0 -1 64 724 276 0 0 23 0 0 0 15 0 9 0 2001404311 888356864 16725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30649] ppid=30639 vsize=867536 CPUtime=0
/proc/30641/task/30649/stat : 30649 (java) S 30639 30641 26762 0 -1 64 2 276 0 0 0 0 0 0 19 0 9 0 2001404311 888356864 16725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30650] ppid=30639 vsize=867536 CPUtime=0
/proc/30641/task/30650/stat : 30650 (java) S 30639 30641 26762 0 -1 64 3 276 0 0 0 0 0 0 15 0 9 0 2001404311 888356864 16725 996147200 134512640 134550740 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) 867536
[startup+6.30232 s]
/proc/loadavg: 2.03 2.07 2.01 3/82 30654
/proc/meminfo: memFree=1743776/2055920 swapFree=4179916/4192956
[pid=30641] ppid=30639 vsize=867448 CPUtime=6.22
/proc/30641/stat : 30641 (java) S 30639 30641 26762 0 -1 0 26089 276 1 0 607 15 0 0 18 0 9 0 2001404306 888266752 19931 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30641/statm: 216862 19931 2614 9 0 211390 0
[pid=30641/tid=30643] ppid=30639 vsize=867448 CPUtime=5.85
/proc/30641/task/30643/stat : 30643 (java) R 30639 30641 26762 0 -1 64 19378 276 1 0 574 11 0 0 25 0 9 0 2001404307 888266752 19931 996147200 134512640 134550740 4294955968 18446744073709551615 4126884640 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30644] ppid=30639 vsize=867448 CPUtime=0.06
/proc/30641/task/30644/stat : 30644 (java) S 30639 30641 26762 0 -1 64 5118 276 0 0 5 1 0 0 16 0 9 0 2001404309 888266752 19931 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30645] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30645/stat : 30645 (java) S 30639 30641 26762 0 -1 64 13 276 0 0 0 0 0 0 16 0 9 0 2001404309 888266752 19931 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30646] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30646/stat : 30646 (java) S 30639 30641 26762 0 -1 64 13 276 0 0 0 0 0 0 16 0 9 0 2001404309 888266752 19931 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30647] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30647/stat : 30647 (java) S 30639 30641 26762 0 -1 64 1 276 0 0 0 0 0 0 18 0 9 0 2001404311 888266752 19931 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30648] ppid=30639 vsize=867448 CPUtime=0.26
/proc/30641/task/30648/stat : 30648 (java) S 30639 30641 26762 0 -1 64 738 276 0 0 26 0 0 0 15 0 9 0 2001404311 888266752 19931 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30649] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30649/stat : 30649 (java) S 30639 30641 26762 0 -1 64 2 276 0 0 0 0 0 0 19 0 9 0 2001404311 888266752 19931 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30650] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30650/stat : 30650 (java) S 30639 30641 26762 0 -1 64 16 276 0 0 0 0 0 0 15 0 9 0 2001404311 888266752 19931 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867448
[startup+12.702 s]
/proc/loadavg: 2.03 2.07 2.01 3/82 30654
/proc/meminfo: memFree=1739296/2055920 swapFree=4179916/4192956
[pid=30641] ppid=30639 vsize=867448 CPUtime=12.56
/proc/30641/stat : 30641 (java) S 30639 30641 26762 0 -1 0 26100 276 1 0 1241 15 0 0 18 0 9 0 2001404306 888266752 19935 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30641/statm: 216862 19935 2614 9 0 211390 0
[pid=30641/tid=30643] ppid=30639 vsize=867448 CPUtime=12.19
/proc/30641/task/30643/stat : 30643 (java) R 30639 30641 26762 0 -1 64 19381 276 1 0 1208 11 0 0 25 0 9 0 2001404307 888266752 19935 996147200 134512640 134550740 4294955968 18446744073709551615 4126884764 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30644] ppid=30639 vsize=867448 CPUtime=0.06
/proc/30641/task/30644/stat : 30644 (java) S 30639 30641 26762 0 -1 64 5121 276 0 0 5 1 0 0 16 0 9 0 2001404309 888266752 19935 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30645] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30645/stat : 30645 (java) S 30639 30641 26762 0 -1 64 13 276 0 0 0 0 0 0 16 0 9 0 2001404309 888266752 19935 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30646] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30646/stat : 30646 (java) S 30639 30641 26762 0 -1 64 13 276 0 0 0 0 0 0 16 0 9 0 2001404309 888266752 19935 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30647] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30647/stat : 30647 (java) S 30639 30641 26762 0 -1 64 1 276 0 0 0 0 0 0 18 0 9 0 2001404311 888266752 19935 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30648] ppid=30639 vsize=867448 CPUtime=0.26
/proc/30641/task/30648/stat : 30648 (java) S 30639 30641 26762 0 -1 64 743 276 0 0 26 0 0 0 16 0 9 0 2001404311 888266752 19935 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30649] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30649/stat : 30649 (java) S 30639 30641 26762 0 -1 64 2 276 0 0 0 0 0 0 19 0 9 0 2001404311 888266752 19935 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30650] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30650/stat : 30650 (java) S 30639 30641 26762 0 -1 64 16 276 0 0 0 0 0 0 15 0 9 0 2001404311 888266752 19935 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 867448
[startup+25.5024 s]
/proc/loadavg: 2.02 2.06 2.01 3/82 30654
/proc/meminfo: memFree=1739296/2055920 swapFree=4179916/4192956
[pid=30641] ppid=30639 vsize=867448 CPUtime=25.25
/proc/30641/stat : 30641 (java) S 30639 30641 26762 0 -1 0 26113 276 1 0 2509 16 0 0 18 0 9 0 2001404306 888266752 19938 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30641/statm: 216862 19938 2614 9 0 211390 0
[pid=30641/tid=30643] ppid=30639 vsize=867448 CPUtime=24.88
/proc/30641/task/30643/stat : 30643 (java) R 30639 30641 26762 0 -1 64 19388 276 1 0 2476 12 0 0 25 0 9 0 2001404307 888266752 19938 996147200 134512640 134550740 4294955968 18446744073709551615 4126917778 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30644] ppid=30639 vsize=867448 CPUtime=0.07
/proc/30641/task/30644/stat : 30644 (java) S 30639 30641 26762 0 -1 64 5123 276 0 0 6 1 0 0 16 0 9 0 2001404309 888266752 19938 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30645] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30645/stat : 30645 (java) S 30639 30641 26762 0 -1 64 13 276 0 0 0 0 0 0 16 0 9 0 2001404309 888266752 19938 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30646] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30646/stat : 30646 (java) S 30639 30641 26762 0 -1 64 13 276 0 0 0 0 0 0 16 0 9 0 2001404309 888266752 19938 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30647] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30647/stat : 30647 (java) S 30639 30641 26762 0 -1 64 1 276 0 0 0 0 0 0 18 0 9 0 2001404311 888266752 19938 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30648] ppid=30639 vsize=867448 CPUtime=0.27
/proc/30641/task/30648/stat : 30648 (java) S 30639 30641 26762 0 -1 64 747 276 0 0 26 1 0 0 17 0 9 0 2001404311 888266752 19938 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30649] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30649/stat : 30649 (java) S 30639 30641 26762 0 -1 64 2 276 0 0 0 0 0 0 19 0 9 0 2001404311 888266752 19938 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30650] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30650/stat : 30650 (java) S 30639 30641 26762 0 -1 64 16 276 0 0 0 0 0 0 15 0 9 0 2001404311 888266752 19938 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 867448
[startup+51.1022 s]
/proc/loadavg: 2.01 2.06 2.01 3/82 30654
/proc/meminfo: memFree=1739360/2055920 swapFree=4179916/4192956
[pid=30641] ppid=30639 vsize=867448 CPUtime=50.63
/proc/30641/stat : 30641 (java) S 30639 30641 26762 0 -1 0 26146 276 1 0 5047 16 0 0 18 0 9 0 2001404306 888266752 19950 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30641/statm: 216862 19950 2614 9 0 211390 0
[pid=30641/tid=30643] ppid=30639 vsize=867448 CPUtime=50.24
/proc/30641/task/30643/stat : 30643 (java) R 30639 30641 26762 0 -1 64 19401 276 1 0 5012 12 0 0 25 0 9 0 2001404307 888266752 19950 996147200 134512640 134550740 4294955968 18446744073709551615 4126884659 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30644] ppid=30639 vsize=867448 CPUtime=0.08
/proc/30641/task/30644/stat : 30644 (java) S 30639 30641 26762 0 -1 64 5132 276 0 0 7 1 0 0 16 0 9 0 2001404309 888266752 19950 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30645] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30645/stat : 30645 (java) S 30639 30641 26762 0 -1 64 13 276 0 0 0 0 0 0 16 0 9 0 2001404309 888266752 19950 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30646] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30646/stat : 30646 (java) S 30639 30641 26762 0 -1 64 13 276 0 0 0 0 0 0 16 0 9 0 2001404309 888266752 19950 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30647] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30647/stat : 30647 (java) S 30639 30641 26762 0 -1 64 1 276 0 0 0 0 0 0 18 0 9 0 2001404311 888266752 19950 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30648] ppid=30639 vsize=867448 CPUtime=0.28
/proc/30641/task/30648/stat : 30648 (java) S 30639 30641 26762 0 -1 64 758 276 0 0 27 1 0 0 16 0 9 0 2001404311 888266752 19950 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30649] ppid=30639 vsize=867448 CPUtime=0
################
# More data... #
################
/proc/30641/stat : 30641 (java) S 30639 30641 26762 0 -1 0 26200 276 1 0 16468 17 0 0 18 0 9 0 2001404306 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30641/statm: 216862 19959 2614 9 0 211390 0
[pid=30641/tid=30643] ppid=30639 vsize=867448 CPUtime=164.41
/proc/30641/task/30643/stat : 30643 (java) R 30639 30641 26762 0 -1 64 19446 276 1 0 16429 12 0 0 25 0 9 0 2001404307 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4126688725 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30644] ppid=30639 vsize=867448 CPUtime=0.11
/proc/30641/task/30644/stat : 30644 (java) S 30639 30641 26762 0 -1 64 5141 276 0 0 10 1 0 0 16 0 9 0 2001404309 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30645] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30645/stat : 30645 (java) S 30639 30641 26762 0 -1 64 13 276 0 0 0 0 0 0 16 0 9 0 2001404309 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30646] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30646/stat : 30646 (java) S 30639 30641 26762 0 -1 64 13 276 0 0 0 0 0 0 16 0 9 0 2001404309 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30647] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30647/stat : 30647 (java) S 30639 30641 26762 0 -1 64 1 276 0 0 0 0 0 0 18 0 9 0 2001404311 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30648] ppid=30639 vsize=867448 CPUtime=0.28
/proc/30641/task/30648/stat : 30648 (java) S 30639 30641 26762 0 -1 64 758 276 0 0 27 1 0 0 16 0 9 0 2001404311 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30649] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30649/stat : 30649 (java) S 30639 30641 26762 0 -1 64 2 276 0 0 0 0 0 0 19 0 9 0 2001404311 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30650] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30650/stat : 30650 (java) S 30639 30641 26762 0 -1 64 16 276 0 0 0 0 0 0 15 0 9 0 2001404311 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 164.85
Current children cumulated vsize (KiB) 867448
[startup+172.707 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 30654
/proc/meminfo: memFree=1739040/2055920 swapFree=4179916/4192956
[pid=30641] ppid=30639 vsize=867448 CPUtime=171.2
/proc/30641/stat : 30641 (java) S 30639 30641 26762 0 -1 0 26203 276 1 0 17103 17 0 0 18 0 9 0 2001404306 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30641/statm: 216862 19959 2614 9 0 211390 0
[pid=30641/tid=30643] ppid=30639 vsize=867448 CPUtime=170.76
/proc/30641/task/30643/stat : 30643 (java) R 30639 30641 26762 0 -1 64 19449 276 1 0 17064 12 0 0 25 0 9 0 2001404307 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4126884764 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30644] ppid=30639 vsize=867448 CPUtime=0.11
/proc/30641/task/30644/stat : 30644 (java) S 30639 30641 26762 0 -1 64 5141 276 0 0 10 1 0 0 16 0 9 0 2001404309 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30645] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30645/stat : 30645 (java) S 30639 30641 26762 0 -1 64 13 276 0 0 0 0 0 0 16 0 9 0 2001404309 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30646] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30646/stat : 30646 (java) S 30639 30641 26762 0 -1 64 13 276 0 0 0 0 0 0 16 0 9 0 2001404309 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30647] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30647/stat : 30647 (java) S 30639 30641 26762 0 -1 64 1 276 0 0 0 0 0 0 18 0 9 0 2001404311 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30648] ppid=30639 vsize=867448 CPUtime=0.28
/proc/30641/task/30648/stat : 30648 (java) S 30639 30641 26762 0 -1 64 758 276 0 0 27 1 0 0 16 0 9 0 2001404311 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30649] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30649/stat : 30649 (java) S 30639 30641 26762 0 -1 64 2 276 0 0 0 0 0 0 19 0 9 0 2001404311 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30650] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30650/stat : 30650 (java) S 30639 30641 26762 0 -1 64 16 276 0 0 0 0 0 0 15 0 9 0 2001404311 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 171.2
Current children cumulated vsize (KiB) 867448
[startup+175.902 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 30654
/proc/meminfo: memFree=1739040/2055920 swapFree=4179916/4192956
[pid=30641] ppid=30639 vsize=867448 CPUtime=174.37
/proc/30641/stat : 30641 (java) S 30639 30641 26762 0 -1 0 26204 276 1 0 17420 17 0 0 18 0 9 0 2001404306 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30641/statm: 216862 19959 2614 9 0 211390 0
[pid=30641/tid=30643] ppid=30639 vsize=867448 CPUtime=173.93
/proc/30641/task/30643/stat : 30643 (java) R 30639 30641 26762 0 -1 64 19450 276 1 0 17381 12 0 0 25 0 9 0 2001404307 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4126917635 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30644] ppid=30639 vsize=867448 CPUtime=0.11
/proc/30641/task/30644/stat : 30644 (java) S 30639 30641 26762 0 -1 64 5141 276 0 0 10 1 0 0 16 0 9 0 2001404309 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30645] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30645/stat : 30645 (java) S 30639 30641 26762 0 -1 64 13 276 0 0 0 0 0 0 16 0 9 0 2001404309 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30646] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30646/stat : 30646 (java) S 30639 30641 26762 0 -1 64 13 276 0 0 0 0 0 0 16 0 9 0 2001404309 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30647] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30647/stat : 30647 (java) S 30639 30641 26762 0 -1 64 1 276 0 0 0 0 0 0 18 0 9 0 2001404311 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30648] ppid=30639 vsize=867448 CPUtime=0.28
/proc/30641/task/30648/stat : 30648 (java) S 30639 30641 26762 0 -1 64 758 276 0 0 27 1 0 0 16 0 9 0 2001404311 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30649] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30649/stat : 30649 (java) S 30639 30641 26762 0 -1 64 2 276 0 0 0 0 0 0 19 0 9 0 2001404311 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30650] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30650/stat : 30650 (java) S 30639 30641 26762 0 -1 64 16 276 0 0 0 0 0 0 15 0 9 0 2001404311 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 174.37
Current children cumulated vsize (KiB) 867448
[startup+177.503 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 30654
/proc/meminfo: memFree=1739040/2055920 swapFree=4179916/4192956
[pid=30641] ppid=30639 vsize=867448 CPUtime=175.96
/proc/30641/stat : 30641 (java) S 30639 30641 26762 0 -1 0 26204 276 1 0 17579 17 0 0 18 0 9 0 2001404306 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30641/statm: 216862 19959 2614 9 0 211390 0
[pid=30641/tid=30643] ppid=30639 vsize=867448 CPUtime=175.51
/proc/30641/task/30643/stat : 30643 (java) R 30639 30641 26762 0 -1 64 19450 276 1 0 17539 12 0 0 25 0 9 0 2001404307 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4126884701 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30644] ppid=30639 vsize=867448 CPUtime=0.11
/proc/30641/task/30644/stat : 30644 (java) S 30639 30641 26762 0 -1 64 5141 276 0 0 10 1 0 0 16 0 9 0 2001404309 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30645] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30645/stat : 30645 (java) S 30639 30641 26762 0 -1 64 13 276 0 0 0 0 0 0 16 0 9 0 2001404309 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30646] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30646/stat : 30646 (java) S 30639 30641 26762 0 -1 64 13 276 0 0 0 0 0 0 16 0 9 0 2001404309 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30647] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30647/stat : 30647 (java) S 30639 30641 26762 0 -1 64 1 276 0 0 0 0 0 0 18 0 9 0 2001404311 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30648] ppid=30639 vsize=867448 CPUtime=0.28
/proc/30641/task/30648/stat : 30648 (java) S 30639 30641 26762 0 -1 64 758 276 0 0 27 1 0 0 16 0 9 0 2001404311 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30649] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30649/stat : 30649 (java) S 30639 30641 26762 0 -1 64 2 276 0 0 0 0 0 0 19 0 9 0 2001404311 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30650] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30650/stat : 30650 (java) S 30639 30641 26762 0 -1 64 16 276 0 0 0 0 0 0 15 0 9 0 2001404311 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 175.96
Current children cumulated vsize (KiB) 867448
[startup+179.102 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 30654
/proc/meminfo: memFree=1739040/2055920 swapFree=4179916/4192956
[pid=30641] ppid=30639 vsize=867448 CPUtime=177.54
/proc/30641/stat : 30641 (java) S 30639 30641 26762 0 -1 0 26205 276 1 0 17737 17 0 0 18 0 9 0 2001404306 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30641/statm: 216862 19959 2614 9 0 211390 0
[pid=30641/tid=30643] ppid=30639 vsize=867448 CPUtime=177.1
/proc/30641/task/30643/stat : 30643 (java) R 30639 30641 26762 0 -1 64 19451 276 1 0 17698 12 0 0 25 0 9 0 2001404307 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4126902912 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30644] ppid=30639 vsize=867448 CPUtime=0.11
/proc/30641/task/30644/stat : 30644 (java) S 30639 30641 26762 0 -1 64 5141 276 0 0 10 1 0 0 16 0 9 0 2001404309 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30645] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30645/stat : 30645 (java) S 30639 30641 26762 0 -1 64 13 276 0 0 0 0 0 0 16 0 9 0 2001404309 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30646] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30646/stat : 30646 (java) S 30639 30641 26762 0 -1 64 13 276 0 0 0 0 0 0 16 0 9 0 2001404309 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30647] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30647/stat : 30647 (java) S 30639 30641 26762 0 -1 64 1 276 0 0 0 0 0 0 18 0 9 0 2001404311 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30648] ppid=30639 vsize=867448 CPUtime=0.28
/proc/30641/task/30648/stat : 30648 (java) S 30639 30641 26762 0 -1 64 758 276 0 0 27 1 0 0 16 0 9 0 2001404311 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30649] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30649/stat : 30649 (java) S 30639 30641 26762 0 -1 64 2 276 0 0 0 0 0 0 19 0 9 0 2001404311 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30650] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30650/stat : 30650 (java) S 30639 30641 26762 0 -1 64 16 276 0 0 0 0 0 0 15 0 9 0 2001404311 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 177.54
Current children cumulated vsize (KiB) 867448
[startup+179.902 s]
/proc/loadavg: 2.00 2.03 2.00 3/82 30654
/proc/meminfo: memFree=1739040/2055920 swapFree=4179916/4192956
[pid=30641] ppid=30639 vsize=867448 CPUtime=178.34
/proc/30641/stat : 30641 (java) S 30639 30641 26762 0 -1 0 26205 276 1 0 17817 17 0 0 18 0 9 0 2001404306 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30641/statm: 216862 19959 2614 9 0 211390 0
[pid=30641/tid=30643] ppid=30639 vsize=867448 CPUtime=177.89
/proc/30641/task/30643/stat : 30643 (java) R 30639 30641 26762 0 -1 64 19451 276 1 0 17777 12 0 0 25 0 9 0 2001404307 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4126095813 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30644] ppid=30639 vsize=867448 CPUtime=0.11
/proc/30641/task/30644/stat : 30644 (java) S 30639 30641 26762 0 -1 64 5141 276 0 0 10 1 0 0 16 0 9 0 2001404309 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30645] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30645/stat : 30645 (java) S 30639 30641 26762 0 -1 64 13 276 0 0 0 0 0 0 16 0 9 0 2001404309 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30646] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30646/stat : 30646 (java) S 30639 30641 26762 0 -1 64 13 276 0 0 0 0 0 0 16 0 9 0 2001404309 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30647] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30647/stat : 30647 (java) S 30639 30641 26762 0 -1 64 1 276 0 0 0 0 0 0 18 0 9 0 2001404311 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30648] ppid=30639 vsize=867448 CPUtime=0.28
/proc/30641/task/30648/stat : 30648 (java) S 30639 30641 26762 0 -1 64 758 276 0 0 27 1 0 0 16 0 9 0 2001404311 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30649] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30649/stat : 30649 (java) S 30639 30641 26762 0 -1 64 2 276 0 0 0 0 0 0 19 0 9 0 2001404311 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30650] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30650/stat : 30650 (java) S 30639 30641 26762 0 -1 64 16 276 0 0 0 0 0 0 15 0 9 0 2001404311 888266752 19959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 178.34
Current children cumulated vsize (KiB) 867448
[startup+180.302 s]
/proc/loadavg: 2.00 2.03 2.00 2/82 30654
/proc/meminfo: memFree=1738976/2055920 swapFree=4179916/4192956
[pid=30641] ppid=30639 vsize=867448 CPUtime=178.7
/proc/30641/stat : 30641 (java) S 30639 30641 26762 0 -1 0 26209 276 1 0 17853 17 0 0 18 0 9 0 2001404306 888266752 19961 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30641/statm: 216862 19961 2614 9 0 211390 0
[pid=30641/tid=30643] ppid=30639 vsize=867448 CPUtime=178.26
/proc/30641/task/30643/stat : 30643 (java) S 30639 30641 26762 0 -1 64 19455 276 1 0 17814 12 0 0 23 0 9 0 2001404307 888266752 19961 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30644] ppid=30639 vsize=867448 CPUtime=0.11
/proc/30641/task/30644/stat : 30644 (java) S 30639 30641 26762 0 -1 64 5141 276 0 0 10 1 0 0 16 0 9 0 2001404309 888266752 19961 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30645] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30645/stat : 30645 (java) S 30639 30641 26762 0 -1 64 13 276 0 0 0 0 0 0 16 0 9 0 2001404309 888266752 19961 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30646] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30646/stat : 30646 (java) S 30639 30641 26762 0 -1 64 13 276 0 0 0 0 0 0 16 0 9 0 2001404309 888266752 19961 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30647] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30647/stat : 30647 (java) S 30639 30641 26762 0 -1 64 1 276 0 0 0 0 0 0 18 0 9 0 2001404311 888266752 19961 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30648] ppid=30639 vsize=867448 CPUtime=0.28
/proc/30641/task/30648/stat : 30648 (java) S 30639 30641 26762 0 -1 64 758 276 0 0 27 1 0 0 16 0 9 0 2001404311 888266752 19961 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30649] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30649/stat : 30649 (java) S 30639 30641 26762 0 -1 64 2 276 0 0 0 0 0 0 19 0 9 0 2001404311 888266752 19961 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30641/tid=30650] ppid=30639 vsize=867448 CPUtime=0
/proc/30641/task/30650/stat : 30650 (java) S 30639 30641 26762 0 -1 64 16 276 0 0 0 0 0 0 15 0 9 0 2001404311 888266752 19961 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 178.7
Current children cumulated vsize (KiB) 867448
Child status: 0
Real time (s): 180.327
CPU time (s): 178.73
CPU user time (s): 178.536
CPU system time (s): 0.19397
CPU usage (%): 99.1144
Max. virtual memory (cumulated for all children) (KiB): 867536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 178.536
system time used= 0.19397
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26512
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= 5533
involuntary context switches= 9303
runsolver used 0.206968 second user time and 0.626904 second system time
The end
Begin job on node37 at 2008-07-05 04:18:31
IDJOB=1082798
IDBENCH=57374
IDSOLVER=363
FILE ID=node37/1082798-1215224310
PBS_JOBID= 7881711
Free space on /tmp= 66560 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/super-os/super-os-taillard-4/normalized-super-os-taillard-4-5.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-1082798-1215224310/watcher-1082798-1215224310 -o /tmp/evaluation-result-1082798-1215224310/solver-1082798-1215224310 -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-1082798-1215224310.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= bb0ccf1950bc9565f482a247e3babc50
RANDOM SEED=803138030
node37.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.236
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.236
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: 1809928 kB
Buffers: 21452 kB
Cached: 154300 kB
SwapCached: 6964 kB
Active: 131544 kB
Inactive: 58048 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1809928 kB
SwapTotal: 4192956 kB
SwapFree: 4179916 kB
Dirty: 2216 kB
Writeback: 0 kB
Mapped: 20460 kB
Slab: 41808 kB
Committed_AS: 3600852 kB
PageTables: 1752 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264884 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66556 MiB
End job on node37 at 2008-07-05 04:21:31