0.05/0.08
0.05/0.08 Abscon 112 (May, 2008)
0.16/0.27
0.16/0.27 configuration
0.16/0.27 name=esac.xml
0.26/0.33
0.26/0.33 instance
0.26/0.33 name=HOME/instance-1078271-1215206210.xml
0.26/0.37
0.26/0.37 domains being loaded...
0.26/0.38
0.26/0.38 variables being loaded...
0.33/0.40 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20 nbTotalValues=400
0.33/0.40 => wckTime=0.128 cpuTime=0.09 mem=7M919
0.33/0.40
0.33/0.40 relations being loaded...
0.52/0.62
0.52/0.62 constraints being loaded...
0.72/0.85 nbConstraints=58 nbRelationTypes=58 nbGlobalConstraints=58 nbExtensionStructures=58
0.72/0.85 nbSharedExtensionStructures=0 nbConflictsStructures=58 nbSharedConflictsStructures=0
0.72/0.85 nbSharedBinaryRepresentations=0 minDegree=5 maxDegree=13 minArity=3 maxArity=3 nbGenerators=0 nbFusions=0
0.72/0.85 symmetryWckTime=0.043 symmetryCpuTime=0.02
0.72/0.85 => wckTime=0.576 cpuTime=0.45 mem=47M196
0.81/0.96
0.81/0.96 solver IterativeSystematicSolver being built...
0.92/1.01
0.92/1.02 INFO : Forward propagation technique limited
0.92/1.07 => wckTime=0.797 cpuTime=0.57 mem=29M354
1.04/1.19
1.04/1.19 preprocessing
1.04/1.19 nbConstraintChecks=0 nbValidityChecks=1191372 nbPropagations=175 nbRevisions=0 nbUselessRevisions=0
1.04/1.19 nbSingletonTests=29 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0
1.04/1.19 detectedInconsistency=no
1.04/1.19 => wckTime=0.116 cpuTime=0.1 mem=29M354
1.74/1.81
1.74/1.81 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=30M321)
664.60/665.37
664.60/665.37 search
664.60/665.37 run=23 nbConstraintChecks=4602104 nbValidityChecks=9080580836 minDepth=0 maxDepth=20 nbPropagations=19663366
664.60/665.37 nbRevisions=0 nbUselessRevisions=0 nbAssignments=479606 nbFailedAssignments=300076 nbBacktracks=179390
664.60/665.37 nbVisitedNodes=908463 nbRestartNogoods=312 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=3.25
664.60/665.37 nbIEliminables=11.62 nbDEliminables=0 nbPEliminables=0
664.60/665.37 => wckTime=664.297 cpuTime=663.57 mem=42M692
664.60/665.37
664.60/665.37 global
664.60/665.37 nbConstraintChecks=4602104 nbValidityChecks=9081772208 nbPropagations=19663541 nbRestartNogoods=312
664.60/665.37 solvingWckTime=664.3 solvingCpuTime=663.57 expiredTime=no totalExploration=no nbFoundSolutions=1
664.60/665.37 firstSolutionCpuTime=664.14 globalCpuTime=664.19
664.60/665.37 => wckTime=665.099 cpuTime=664.14 mem=42M692
664.60/665.37
664.60/665.37 s SATISFIABLE
664.60/665.37 v 5 3 10 18 10 6 2 13 19 0 3 6 1 11 9 14 8 11 8 0
664.60/665.37 d NODES 479606
664.60/665.37 d CHECKS 4602104
664.60/665.38
664.60/665.38 totalWckTime=665.165 totalCpuTime=664.19
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1078271-1215206210/watcher-1078271-1215206210 -o /tmp/evaluation-result-1078271-1215206210/solver-1078271-1215206210 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1078271-1215206210.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.01 2.02 1.94 3/73 32647
/proc/meminfo: memFree=1666992/2055920 swapFree=4114092/4192956
[pid=32647] ppid=32645 vsize=1616 CPUtime=0
/proc/32647/stat : 32647 (java) R 32645 32647 30024 0 -1 0 180 0 0 0 0 0 0 0 18 0 1 0 1550297226 1654784 148 996147200 134512640 134550740 4294956128 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/32647/statm: 404 148 122 9 0 46 0
[startup+0.0589561 s]
/proc/loadavg: 2.01 2.02 1.94 3/73 32647
/proc/meminfo: memFree=1666992/2055920 swapFree=4114092/4192956
[pid=32647] ppid=32645 vsize=864076 CPUtime=0.05
/proc/32647/stat : 32647 (java) S 32645 32647 30024 0 -1 0 2797 0 1 0 3 2 0 0 18 0 9 0 1550297226 884813824 2336 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32647/statm: 216019 2336 1118 9 0 210976 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864076
[startup+0.101961 s]
/proc/loadavg: 2.01 2.02 1.94 3/73 32647
/proc/meminfo: memFree=1666992/2055920 swapFree=4114092/4192956
[pid=32647] ppid=32645 vsize=865884 CPUtime=0.08
/proc/32647/stat : 32647 (java) S 32645 32647 30024 0 -1 0 3725 0 1 0 6 2 0 0 18 0 9 0 1550297226 886665216 3191 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32647/statm: 216471 3191 1690 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301999 s]
/proc/loadavg: 2.01 2.02 1.94 3/73 32647
/proc/meminfo: memFree=1666992/2055920 swapFree=4114092/4192956
[pid=32647] ppid=32645 vsize=866204 CPUtime=0.26
/proc/32647/stat : 32647 (java) S 32645 32647 30024 0 -1 0 5598 0 1 0 22 4 0 0 18 0 9 0 1550297226 886992896 5021 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32647/statm: 216551 5022 1890 9 0 211099 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 866204
[startup+0.701077 s]
/proc/loadavg: 2.01 2.02 1.94 3/73 32647
/proc/meminfo: memFree=1666992/2055920 swapFree=4114092/4192956
[pid=32647] ppid=32645 vsize=866520 CPUtime=0.62
/proc/32647/stat : 32647 (java) S 32645 32647 30024 0 -1 0 12132 0 4 0 55 7 0 0 18 0 9 0 1550297226 887316480 11495 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32647/statm: 216630 11495 1977 9 0 211158 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 866520
[startup+1.50223 s]
/proc/loadavg: 2.01 2.02 1.94 7/84 32660
/proc/meminfo: memFree=1601368/2055920 swapFree=4114092/4192956
[pid=32647] ppid=32645 vsize=868280 CPUtime=1.44
/proc/32647/stat : 32647 (java) S 32645 32647 30024 0 -1 0 27694 268 4 1 130 13 0 1 18 0 9 0 1550297226 889118720 18696 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32647/statm: 217070 18696 2631 9 0 211576 0
[pid=32647/tid=32649] ppid=32645 vsize=868280 CPUtime=1.16
/proc/32647/task/32649/stat : 32649 (java) R 32645 32647 30024 0 -1 64 19056 268 4 1 106 9 0 1 20 0 9 0 1550297227 889118720 18696 996147200 134512640 134550740 4294955968 18446744073709551615 4126734944 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32650] ppid=32645 vsize=868280 CPUtime=0.1
/proc/32647/task/32650/stat : 32650 (java) S 32645 32647 30024 0 -1 64 7295 268 0 1 8 1 0 1 18 0 9 0 1550297229 889118720 18696 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32651] ppid=32645 vsize=868280 CPUtime=0.01
/proc/32647/task/32651/stat : 32651 (java) S 32645 32647 30024 0 -1 64 16 268 0 1 0 0 0 1 16 0 9 0 1550297229 889118720 18696 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32652] ppid=32645 vsize=868280 CPUtime=0.01
/proc/32647/task/32652/stat : 32652 (java) S 32645 32647 30024 0 -1 64 9 268 0 1 0 0 0 1 16 0 9 0 1550297229 889118720 18696 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32653] ppid=32645 vsize=868280 CPUtime=0.01
/proc/32647/task/32653/stat : 32653 (java) S 32645 32647 30024 0 -1 64 1 268 0 1 0 0 0 1 23 0 9 0 1550297231 889118720 18696 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32654] ppid=32645 vsize=868280 CPUtime=0.17
/proc/32647/task/32654/stat : 32654 (java) S 32645 32647 30024 0 -1 64 502 268 0 1 16 0 0 1 15 0 9 0 1550297231 889118720 18696 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32655] ppid=32645 vsize=868280 CPUtime=0.01
/proc/32647/task/32655/stat : 32655 (java) S 32645 32647 30024 0 -1 64 1 268 0 1 0 0 0 1 24 0 9 0 1550297231 889118720 18696 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32656] ppid=32645 vsize=868280 CPUtime=0.01
/proc/32647/task/32656/stat : 32656 (java) S 32645 32647 30024 0 -1 64 5 268 0 1 0 0 0 1 15 0 9 0 1550297231 889118720 18696 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 868280
[startup+3.10154 s]
/proc/loadavg: 2.01 2.02 1.94 3/82 32660
/proc/meminfo: memFree=1600736/2055920 swapFree=4114092/4192956
[pid=32647] ppid=32645 vsize=868280 CPUtime=3.04
/proc/32647/stat : 32647 (java) S 32645 32647 30024 0 -1 0 27719 268 4 1 290 13 0 1 18 0 9 0 1550297226 889118720 18707 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32647/statm: 217070 18707 2631 9 0 211576 0
[pid=32647/tid=32649] ppid=32645 vsize=868280 CPUtime=2.73
/proc/32647/task/32649/stat : 32649 (java) R 32645 32647 30024 0 -1 64 19069 268 4 1 263 9 0 1 25 0 9 0 1550297227 889118720 18707 996147200 134512640 134550740 4294955968 18446744073709551615 4126746242 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32650] ppid=32645 vsize=868280 CPUtime=0.1
/proc/32647/task/32650/stat : 32650 (java) S 32645 32647 30024 0 -1 64 7295 268 0 1 8 1 0 1 17 0 9 0 1550297229 889118720 18707 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32651] ppid=32645 vsize=868280 CPUtime=0.01
/proc/32647/task/32651/stat : 32651 (java) S 32645 32647 30024 0 -1 64 16 268 0 1 0 0 0 1 16 0 9 0 1550297229 889118720 18707 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32652] ppid=32645 vsize=868280 CPUtime=0.01
/proc/32647/task/32652/stat : 32652 (java) S 32645 32647 30024 0 -1 64 9 268 0 1 0 0 0 1 16 0 9 0 1550297229 889118720 18707 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32653] ppid=32645 vsize=868280 CPUtime=0.01
/proc/32647/task/32653/stat : 32653 (java) S 32645 32647 30024 0 -1 64 1 268 0 1 0 0 0 1 23 0 9 0 1550297231 889118720 18707 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32654] ppid=32645 vsize=868280 CPUtime=0.18
/proc/32647/task/32654/stat : 32654 (java) S 32645 32647 30024 0 -1 64 514 268 0 1 17 0 0 1 15 0 9 0 1550297231 889118720 18707 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32655] ppid=32645 vsize=868280 CPUtime=0.01
/proc/32647/task/32655/stat : 32655 (java) S 32645 32647 30024 0 -1 64 1 268 0 1 0 0 0 1 24 0 9 0 1550297231 889118720 18707 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32656] ppid=32645 vsize=868280 CPUtime=0.01
/proc/32647/task/32656/stat : 32656 (java) S 32645 32647 30024 0 -1 64 5 268 0 1 0 0 0 1 15 0 9 0 1550297231 889118720 18707 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 868280
[startup+6.30215 s]
/proc/loadavg: 2.01 2.01 1.94 3/82 32660
/proc/meminfo: memFree=1600480/2055920 swapFree=4114092/4192956
[pid=32647] ppid=32645 vsize=868412 CPUtime=6.23
/proc/32647/stat : 32647 (java) S 32645 32647 30024 0 -1 0 27753 268 4 1 609 13 0 1 18 0 9 0 1550297226 889253888 18722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32647/statm: 217103 18722 2631 9 0 211609 0
[pid=32647/tid=32649] ppid=32645 vsize=868412 CPUtime=5.9
/proc/32647/task/32649/stat : 32649 (java) R 32645 32647 30024 0 -1 64 19087 268 4 1 580 9 0 1 25 0 9 0 1550297227 889253888 18722 996147200 134512640 134550740 4294955968 18446744073709551615 4126746425 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32650] ppid=32645 vsize=868412 CPUtime=0.1
/proc/32647/task/32650/stat : 32650 (java) S 32645 32647 30024 0 -1 64 7295 268 0 1 8 1 0 1 17 0 9 0 1550297229 889253888 18722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32651] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32651/stat : 32651 (java) S 32645 32647 30024 0 -1 64 16 268 0 1 0 0 0 1 16 0 9 0 1550297229 889253888 18722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32652] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32652/stat : 32652 (java) S 32645 32647 30024 0 -1 64 9 268 0 1 0 0 0 1 16 0 9 0 1550297229 889253888 18722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32653] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32653/stat : 32653 (java) S 32645 32647 30024 0 -1 64 1 268 0 1 0 0 0 1 23 0 9 0 1550297231 889253888 18722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32654] ppid=32645 vsize=868412 CPUtime=0.21
/proc/32647/task/32654/stat : 32654 (java) S 32645 32647 30024 0 -1 64 530 268 0 1 20 0 0 1 16 0 9 0 1550297231 889253888 18722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32655] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32655/stat : 32655 (java) S 32645 32647 30024 0 -1 64 1 268 0 1 0 0 0 1 24 0 9 0 1550297231 889253888 18722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32656] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32656/stat : 32656 (java) S 32645 32647 30024 0 -1 64 5 268 0 1 0 0 0 1 15 0 9 0 1550297231 889253888 18722 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 868412
[startup+12.7014 s]
/proc/loadavg: 2.09 2.03 1.95 3/82 32660
/proc/meminfo: memFree=1600352/2055920 swapFree=4114092/4192956
[pid=32647] ppid=32645 vsize=868412 CPUtime=12.64
/proc/32647/stat : 32647 (java) S 32645 32647 30024 0 -1 0 27766 268 4 1 1249 14 0 1 18 0 9 0 1550297226 889253888 18723 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32647/statm: 217103 18723 2631 9 0 211609 0
[pid=32647/tid=32649] ppid=32645 vsize=868412 CPUtime=12.3
/proc/32647/task/32649/stat : 32649 (java) R 32645 32647 30024 0 -1 64 19098 268 4 1 1219 10 0 1 25 0 9 0 1550297227 889253888 18723 996147200 134512640 134550740 4294955968 18446744073709551615 4126746075 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32650] ppid=32645 vsize=868412 CPUtime=0.1
/proc/32647/task/32650/stat : 32650 (java) S 32645 32647 30024 0 -1 64 7295 268 0 1 8 1 0 1 16 0 9 0 1550297229 889253888 18723 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32651] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32651/stat : 32651 (java) S 32645 32647 30024 0 -1 64 16 268 0 1 0 0 0 1 16 0 9 0 1550297229 889253888 18723 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32652] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32652/stat : 32652 (java) S 32645 32647 30024 0 -1 64 9 268 0 1 0 0 0 1 16 0 9 0 1550297229 889253888 18723 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32653] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32653/stat : 32653 (java) S 32645 32647 30024 0 -1 64 1 268 0 1 0 0 0 1 23 0 9 0 1550297231 889253888 18723 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32654] ppid=32645 vsize=868412 CPUtime=0.21
/proc/32647/task/32654/stat : 32654 (java) S 32645 32647 30024 0 -1 64 532 268 0 1 20 0 0 1 16 0 9 0 1550297231 889253888 18723 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32655] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32655/stat : 32655 (java) S 32645 32647 30024 0 -1 64 1 268 0 1 0 0 0 1 24 0 9 0 1550297231 889253888 18723 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32656] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32656/stat : 32656 (java) S 32645 32647 30024 0 -1 64 5 268 0 1 0 0 0 1 15 0 9 0 1550297231 889253888 18723 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 868412
[startup+25.5028 s]
/proc/loadavg: 2.07 2.03 1.95 3/82 32660
/proc/meminfo: memFree=1600480/2055920 swapFree=4114092/4192956
[pid=32647] ppid=32645 vsize=868412 CPUtime=25.43
/proc/32647/stat : 32647 (java) S 32645 32647 30024 0 -1 0 27827 268 4 1 2528 14 0 1 18 0 9 0 1550297226 889253888 18724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32647/statm: 217103 18724 2631 9 0 211609 0
[pid=32647/tid=32649] ppid=32645 vsize=868412 CPUtime=25.09
/proc/32647/task/32649/stat : 32649 (java) R 32645 32647 30024 0 -1 64 19157 268 4 1 2498 10 0 1 25 0 9 0 1550297227 889253888 18724 996147200 134512640 134550740 4294955968 18446744073709551615 4126746242 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32650] ppid=32645 vsize=868412 CPUtime=0.1
/proc/32647/task/32650/stat : 32650 (java) S 32645 32647 30024 0 -1 64 7295 268 0 1 8 1 0 1 16 0 9 0 1550297229 889253888 18724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32651] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32651/stat : 32651 (java) S 32645 32647 30024 0 -1 64 16 268 0 1 0 0 0 1 16 0 9 0 1550297229 889253888 18724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32652] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32652/stat : 32652 (java) S 32645 32647 30024 0 -1 64 9 268 0 1 0 0 0 1 16 0 9 0 1550297229 889253888 18724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32653] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32653/stat : 32653 (java) S 32645 32647 30024 0 -1 64 1 268 0 1 0 0 0 1 23 0 9 0 1550297231 889253888 18724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32654] ppid=32645 vsize=868412 CPUtime=0.21
/proc/32647/task/32654/stat : 32654 (java) S 32645 32647 30024 0 -1 64 534 268 0 1 20 0 0 1 17 0 9 0 1550297231 889253888 18724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32655] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32655/stat : 32655 (java) S 32645 32647 30024 0 -1 64 1 268 0 1 0 0 0 1 24 0 9 0 1550297231 889253888 18724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32656] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32656/stat : 32656 (java) S 32645 32647 30024 0 -1 64 5 268 0 1 0 0 0 1 15 0 9 0 1550297231 889253888 18724 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 868412
[startup+51.1028 s]
/proc/loadavg: 2.04 2.03 1.95 3/82 32660
/proc/meminfo: memFree=1600544/2055920 swapFree=4114092/4192956
[pid=32647] ppid=32645 vsize=868412 CPUtime=51
/proc/32647/stat : 32647 (java) S 32645 32647 30024 0 -1 0 27915 268 4 1 5085 14 0 1 18 0 9 0 1550297226 889253888 18725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32647/statm: 217103 18725 2631 9 0 211609 0
[pid=32647/tid=32649] ppid=32645 vsize=868412 CPUtime=50.67
/proc/32647/task/32649/stat : 32649 (java) R 32645 32647 30024 0 -1 64 19244 268 4 1 5056 10 0 1 25 0 9 0 1550297227 889253888 18725 996147200 134512640 134550740 4294955968 18446744073709551615 4126746252 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32650] ppid=32645 vsize=868412 CPUtime=0.1
/proc/32647/task/32650/stat : 32650 (java) S 32645 32647 30024 0 -1 64 7295 268 0 1 8 1 0 1 16 0 9 0 1550297229 889253888 18725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32651] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32651/stat : 32651 (java) S 32645 32647 30024 0 -1 64 16 268 0 1 0 0 0 1 16 0 9 0 1550297229 889253888 18725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32652] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32652/stat : 32652 (java) S 32645 32647 30024 0 -1 64 9 268 0 1 0 0 0 1 16 0 9 0 1550297229 889253888 18725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32653] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32653/stat : 32653 (java) S 32645 32647 30024 0 -1 64 1 268 0 1 0 0 0 1 23 0 9 0 1550297231 889253888 18725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32654] ppid=32645 vsize=868412 CPUtime=0.22
/proc/32647/task/32654/stat : 32654 (java) S 32645 32647 30024 0 -1 64 535 268 0 1 21 0 0 1 16 0 9 0 1550297231 889253888 18725 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32655] ppid=32645 vsize=868412 CPUtime=0.01
################
# More data... #
################
/proc/32647/stat : 32647 (java) S 32645 32647 30024 0 -1 0 29794 268 4 1 65822 18 0 1 18 0 9 0 1550297226 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32647/statm: 217103 18729 2631 9 0 211609 0
[pid=32647/tid=32649] ppid=32645 vsize=868412 CPUtime=658.08
/proc/32647/task/32649/stat : 32649 (java) R 32645 32647 30024 0 -1 64 21123 268 4 1 65793 14 0 1 25 0 9 0 1550297227 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4126784382 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32650] ppid=32645 vsize=868412 CPUtime=0.1
/proc/32647/task/32650/stat : 32650 (java) S 32645 32647 30024 0 -1 64 7295 268 0 1 8 1 0 1 16 0 9 0 1550297229 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32651] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32651/stat : 32651 (java) S 32645 32647 30024 0 -1 64 16 268 0 1 0 0 0 1 16 0 9 0 1550297229 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32652] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32652/stat : 32652 (java) S 32645 32647 30024 0 -1 64 9 268 0 1 0 0 0 1 16 0 9 0 1550297229 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32653] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32653/stat : 32653 (java) S 32645 32647 30024 0 -1 64 1 268 0 1 0 0 0 1 23 0 9 0 1550297231 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32654] ppid=32645 vsize=868412 CPUtime=0.22
/proc/32647/task/32654/stat : 32654 (java) S 32645 32647 30024 0 -1 64 535 268 0 1 21 0 0 1 16 0 9 0 1550297231 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32655] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32655/stat : 32655 (java) S 32645 32647 30024 0 -1 64 1 268 0 1 0 0 0 1 24 0 9 0 1550297231 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32656] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32656/stat : 32656 (java) S 32645 32647 30024 0 -1 64 5 268 0 1 0 0 0 1 15 0 9 0 1550297231 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 658.41
Current children cumulated vsize (KiB) 868412
[startup+662.302 s]
/proc/loadavg: 2.36 2.28 2.09 3/83 330
/proc/meminfo: memFree=1688344/2055920 swapFree=4114092/4192956
[pid=32647] ppid=32645 vsize=868412 CPUtime=661.6
/proc/32647/stat : 32647 (java) S 32645 32647 30024 0 -1 0 29804 268 4 1 66141 18 0 1 18 0 9 0 1550297226 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32647/statm: 217103 18729 2631 9 0 211609 0
[pid=32647/tid=32649] ppid=32645 vsize=868412 CPUtime=661.27
/proc/32647/task/32649/stat : 32649 (java) R 32645 32647 30024 0 -1 64 21133 268 4 1 66112 14 0 1 25 0 9 0 1550297227 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4126734928 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32650] ppid=32645 vsize=868412 CPUtime=0.1
/proc/32647/task/32650/stat : 32650 (java) S 32645 32647 30024 0 -1 64 7295 268 0 1 8 1 0 1 16 0 9 0 1550297229 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32651] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32651/stat : 32651 (java) S 32645 32647 30024 0 -1 64 16 268 0 1 0 0 0 1 16 0 9 0 1550297229 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32652] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32652/stat : 32652 (java) S 32645 32647 30024 0 -1 64 9 268 0 1 0 0 0 1 16 0 9 0 1550297229 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32653] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32653/stat : 32653 (java) S 32645 32647 30024 0 -1 64 1 268 0 1 0 0 0 1 23 0 9 0 1550297231 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32654] ppid=32645 vsize=868412 CPUtime=0.22
/proc/32647/task/32654/stat : 32654 (java) S 32645 32647 30024 0 -1 64 535 268 0 1 21 0 0 1 16 0 9 0 1550297231 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32655] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32655/stat : 32655 (java) S 32645 32647 30024 0 -1 64 1 268 0 1 0 0 0 1 24 0 9 0 1550297231 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32656] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32656/stat : 32656 (java) S 32645 32647 30024 0 -1 64 5 268 0 1 0 0 0 1 15 0 9 0 1550297231 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 661.6
Current children cumulated vsize (KiB) 868412
[startup+663.901 s]
/proc/loadavg: 2.36 2.28 2.09 3/83 330
/proc/meminfo: memFree=1688216/2055920 swapFree=4114092/4192956
[pid=32647] ppid=32645 vsize=868412 CPUtime=663.2
/proc/32647/stat : 32647 (java) S 32645 32647 30024 0 -1 0 29804 268 4 1 66301 18 0 1 18 0 9 0 1550297226 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32647/statm: 217103 18729 2631 9 0 211609 0
[pid=32647/tid=32649] ppid=32645 vsize=868412 CPUtime=662.87
/proc/32647/task/32649/stat : 32649 (java) R 32645 32647 30024 0 -1 64 21133 268 4 1 66272 14 0 1 25 0 9 0 1550297227 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4126734987 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32650] ppid=32645 vsize=868412 CPUtime=0.1
/proc/32647/task/32650/stat : 32650 (java) S 32645 32647 30024 0 -1 64 7295 268 0 1 8 1 0 1 16 0 9 0 1550297229 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32651] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32651/stat : 32651 (java) S 32645 32647 30024 0 -1 64 16 268 0 1 0 0 0 1 16 0 9 0 1550297229 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32652] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32652/stat : 32652 (java) S 32645 32647 30024 0 -1 64 9 268 0 1 0 0 0 1 16 0 9 0 1550297229 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32653] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32653/stat : 32653 (java) S 32645 32647 30024 0 -1 64 1 268 0 1 0 0 0 1 23 0 9 0 1550297231 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32654] ppid=32645 vsize=868412 CPUtime=0.22
/proc/32647/task/32654/stat : 32654 (java) S 32645 32647 30024 0 -1 64 535 268 0 1 21 0 0 1 16 0 9 0 1550297231 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32655] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32655/stat : 32655 (java) S 32645 32647 30024 0 -1 64 1 268 0 1 0 0 0 1 24 0 9 0 1550297231 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32656] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32656/stat : 32656 (java) S 32645 32647 30024 0 -1 64 5 268 0 1 0 0 0 1 15 0 9 0 1550297231 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 663.2
Current children cumulated vsize (KiB) 868412
[startup+664.703 s]
/proc/loadavg: 2.36 2.28 2.09 3/83 330
/proc/meminfo: memFree=1688152/2055920 swapFree=4114092/4192956
[pid=32647] ppid=32645 vsize=868412 CPUtime=664
/proc/32647/stat : 32647 (java) S 32645 32647 30024 0 -1 0 29804 268 4 1 66381 18 0 1 18 0 9 0 1550297226 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32647/statm: 217103 18729 2631 9 0 211609 0
[pid=32647/tid=32649] ppid=32645 vsize=868412 CPUtime=663.67
/proc/32647/task/32649/stat : 32649 (java) R 32645 32647 30024 0 -1 64 21133 268 4 1 66352 14 0 1 25 0 9 0 1550297227 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4126746447 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32650] ppid=32645 vsize=868412 CPUtime=0.1
/proc/32647/task/32650/stat : 32650 (java) S 32645 32647 30024 0 -1 64 7295 268 0 1 8 1 0 1 16 0 9 0 1550297229 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32651] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32651/stat : 32651 (java) S 32645 32647 30024 0 -1 64 16 268 0 1 0 0 0 1 16 0 9 0 1550297229 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32652] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32652/stat : 32652 (java) S 32645 32647 30024 0 -1 64 9 268 0 1 0 0 0 1 16 0 9 0 1550297229 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32653] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32653/stat : 32653 (java) S 32645 32647 30024 0 -1 64 1 268 0 1 0 0 0 1 23 0 9 0 1550297231 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32654] ppid=32645 vsize=868412 CPUtime=0.22
/proc/32647/task/32654/stat : 32654 (java) S 32645 32647 30024 0 -1 64 535 268 0 1 21 0 0 1 16 0 9 0 1550297231 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32655] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32655/stat : 32655 (java) S 32645 32647 30024 0 -1 64 1 268 0 1 0 0 0 1 24 0 9 0 1550297231 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32656] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32656/stat : 32656 (java) S 32645 32647 30024 0 -1 64 5 268 0 1 0 0 0 1 15 0 9 0 1550297231 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 664
Current children cumulated vsize (KiB) 868412
[startup+665.103 s]
/proc/loadavg: 2.36 2.28 2.09 3/83 330
/proc/meminfo: memFree=1688152/2055920 swapFree=4114092/4192956
[pid=32647] ppid=32645 vsize=868412 CPUtime=664.4
/proc/32647/stat : 32647 (java) S 32645 32647 30024 0 -1 0 29804 268 4 1 66421 18 0 1 18 0 9 0 1550297226 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32647/statm: 217103 18729 2631 9 0 211609 0
[pid=32647/tid=32649] ppid=32645 vsize=868412 CPUtime=664.07
/proc/32647/task/32649/stat : 32649 (java) R 32645 32647 30024 0 -1 64 21133 268 4 1 66392 14 0 1 25 0 9 0 1550297227 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4126746085 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32650] ppid=32645 vsize=868412 CPUtime=0.1
/proc/32647/task/32650/stat : 32650 (java) S 32645 32647 30024 0 -1 64 7295 268 0 1 8 1 0 1 16 0 9 0 1550297229 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32651] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32651/stat : 32651 (java) S 32645 32647 30024 0 -1 64 16 268 0 1 0 0 0 1 16 0 9 0 1550297229 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32652] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32652/stat : 32652 (java) S 32645 32647 30024 0 -1 64 9 268 0 1 0 0 0 1 16 0 9 0 1550297229 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32653] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32653/stat : 32653 (java) S 32645 32647 30024 0 -1 64 1 268 0 1 0 0 0 1 23 0 9 0 1550297231 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32654] ppid=32645 vsize=868412 CPUtime=0.22
/proc/32647/task/32654/stat : 32654 (java) S 32645 32647 30024 0 -1 64 535 268 0 1 21 0 0 1 16 0 9 0 1550297231 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32655] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32655/stat : 32655 (java) S 32645 32647 30024 0 -1 64 1 268 0 1 0 0 0 1 24 0 9 0 1550297231 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32656] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32656/stat : 32656 (java) S 32645 32647 30024 0 -1 64 5 268 0 1 0 0 0 1 15 0 9 0 1550297231 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 664.4
Current children cumulated vsize (KiB) 868412
[startup+665.303 s]
/proc/loadavg: 2.36 2.28 2.09 3/83 330
/proc/meminfo: memFree=1688152/2055920 swapFree=4114092/4192956
[pid=32647] ppid=32645 vsize=868412 CPUtime=664.6
/proc/32647/stat : 32647 (java) S 32645 32647 30024 0 -1 0 29804 268 4 1 66441 18 0 1 18 0 9 0 1550297226 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32647/statm: 217103 18729 2631 9 0 211609 0
[pid=32647/tid=32649] ppid=32645 vsize=868412 CPUtime=664.27
/proc/32647/task/32649/stat : 32649 (java) R 32645 32647 30024 0 -1 64 21133 268 4 1 66412 14 0 1 25 0 9 0 1550297227 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4126746447 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32650] ppid=32645 vsize=868412 CPUtime=0.1
/proc/32647/task/32650/stat : 32650 (java) S 32645 32647 30024 0 -1 64 7295 268 0 1 8 1 0 1 16 0 9 0 1550297229 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32651] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32651/stat : 32651 (java) S 32645 32647 30024 0 -1 64 16 268 0 1 0 0 0 1 16 0 9 0 1550297229 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32652] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32652/stat : 32652 (java) S 32645 32647 30024 0 -1 64 9 268 0 1 0 0 0 1 16 0 9 0 1550297229 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32653] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32653/stat : 32653 (java) S 32645 32647 30024 0 -1 64 1 268 0 1 0 0 0 1 23 0 9 0 1550297231 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32654] ppid=32645 vsize=868412 CPUtime=0.22
/proc/32647/task/32654/stat : 32654 (java) S 32645 32647 30024 0 -1 64 535 268 0 1 21 0 0 1 16 0 9 0 1550297231 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32655] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32655/stat : 32655 (java) S 32645 32647 30024 0 -1 64 1 268 0 1 0 0 0 1 24 0 9 0 1550297231 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32656] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32656/stat : 32656 (java) S 32645 32647 30024 0 -1 64 5 268 0 1 0 0 0 1 15 0 9 0 1550297231 889253888 18729 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 664.6
Current children cumulated vsize (KiB) 868412
[startup+665.403 s]
/proc/loadavg: 2.33 2.27 2.09 2/83 330
/proc/meminfo: memFree=1688024/2055920 swapFree=4114092/4192956
[pid=32647] ppid=32645 vsize=868412 CPUtime=664.68
/proc/32647/stat : 32647 (java) S 32645 32647 30024 0 -1 0 29874 268 4 1 66449 18 0 1 18 0 9 0 1550297226 889253888 18734 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/32647/statm: 217103 18734 2631 9 0 211609 0
[pid=32647/tid=32649] ppid=32645 vsize=868412 CPUtime=664.34
/proc/32647/task/32649/stat : 32649 (java) S 32645 32647 30024 0 -1 64 21203 268 4 1 66419 14 0 1 25 0 9 0 1550297227 889253888 18734 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32650] ppid=32645 vsize=868412 CPUtime=0.1
/proc/32647/task/32650/stat : 32650 (java) S 32645 32647 30024 0 -1 64 7295 268 0 1 8 1 0 1 16 0 9 0 1550297229 889253888 18734 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32651] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32651/stat : 32651 (java) S 32645 32647 30024 0 -1 64 16 268 0 1 0 0 0 1 16 0 9 0 1550297229 889253888 18734 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32652] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32652/stat : 32652 (java) S 32645 32647 30024 0 -1 64 9 268 0 1 0 0 0 1 16 0 9 0 1550297229 889253888 18734 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32653] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32653/stat : 32653 (java) S 32645 32647 30024 0 -1 64 1 268 0 1 0 0 0 1 23 0 9 0 1550297231 889253888 18734 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32654] ppid=32645 vsize=868412 CPUtime=0.22
/proc/32647/task/32654/stat : 32654 (java) S 32645 32647 30024 0 -1 64 535 268 0 1 21 0 0 1 16 0 9 0 1550297231 889253888 18734 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32655] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32655/stat : 32655 (java) S 32645 32647 30024 0 -1 64 1 268 0 1 0 0 0 1 24 0 9 0 1550297231 889253888 18734 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32647/tid=32656] ppid=32645 vsize=868412 CPUtime=0.01
/proc/32647/task/32656/stat : 32656 (java) S 32645 32647 30024 0 -1 64 5 268 0 1 0 0 0 1 15 0 9 0 1550297231 889253888 18734 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 664.68
Current children cumulated vsize (KiB) 868412
Child status: 0
Real time (s): 665.426
CPU time (s): 664.704
CPU user time (s): 664.493
CPU system time (s): 0.210967
CPU usage (%): 99.8915
Max. virtual memory (cumulated for all children) (KiB): 868424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 664.493
system time used= 0.210967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30169
page faults= 5
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14744
involuntary context switches= 16415
runsolver used 1.08583 second user time and 1.9557 second system time
The end
Begin job on node9 at 2008-07-04 23:16:50
IDJOB=1078271
IDBENCH=56774
IDSOLVER=364
FILE ID=node9/1078271-1215206210
PBS_JOBID= 7881612
Free space on /tmp= 66516 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-37_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1078271-1215206210/watcher-1078271-1215206210 -o /tmp/evaluation-result-1078271-1215206210/solver-1078271-1215206210 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1078271-1215206210.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 9c07a26c3915f8e4fb3dd975de327ea6
RANDOM SEED=673154379
node9.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.265
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 : 5931.00
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.265
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: 1667472 kB
Buffers: 16044 kB
Cached: 134516 kB
SwapCached: 73024 kB
Active: 294004 kB
Inactive: 40760 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1667472 kB
SwapTotal: 4192956 kB
SwapFree: 4114092 kB
Dirty: 3280 kB
Writeback: 0 kB
Mapped: 191260 kB
Slab: 38696 kB
Committed_AS: 3083512 kB
PageTables: 2204 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= 66540 MiB
End job on node9 at 2008-07-04 23:27:55