0.00/0.08
0.00/0.08 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=esac.xml
0.18/0.28
0.18/0.28 instance
0.18/0.28 name=HOME/instance-1044886-1215022770.xml
0.28/0.31
0.28/0.31 domains being loaded...
0.28/0.32
0.28/0.32 variables being loaded...
0.38/0.41 nbVariables=400 nbDomainTypes=21 minDomainSize=1 maxDomainSize=20 nbTotalValues=3953
0.38/0.41 => wckTime=0.161 cpuTime=0.13 mem=8M894
0.38/0.41
0.38/0.41 relations being loaded...
0.38/0.42
0.38/0.42 constraints being loaded...
0.96/1.07 nbConstraints=5563 nbRelationTypes=21 nbGlobalConstraints=23 nbSingletonDomainVariables=213
0.96/1.07 nbExtensionStructures=41 nbSharedExtensionStructures=5499 nbConflictsStructures=41
0.96/1.07 nbSharedConflictsStructures=5499 nbSharedBinaryRepresentations=858 minDegree=18 maxDegree=39 minArity=2
0.96/1.07 avgArity=2.03 maxArity=10 nbGenerators=0 nbFusions=0 symmetryWckTime=0.273 symmetryCpuTime=0.16 nbCliques=23
0.96/1.07 => wckTime=0.826 cpuTime=0.56 mem=42M142
1.07/1.19
1.07/1.19 solver IterativeSystematicSolver being built...
1.16/1.27
1.16/1.27 INFO : Forward propagation technique limited
1.27/1.35 => wckTime=1.101 cpuTime=0.68 mem=26M623
1.47/1.53
1.47/1.53 preprocessing
1.47/1.53 nbConstraintChecks=87938 nbPropagations=2291 nbRevisions=19808 nbUselessRevisions=15273 nbSingletonTests=439
1.47/1.53 nbEffectiveSingletonTests=0 nbACRemovals=2893 nbFoundSingletons=0 nbRemovedValues=2893 detectedInconsistency=no
1.47/1.53 => wckTime=0.18 cpuTime=0.15 mem=26M623
1.76/1.87
1.76/1.87 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=28M540)
611.74/614.91
611.74/614.91 search
611.74/614.91 run=24 nbConstraintChecks=534405497 minDepth=6 maxDepth=400 nbPropagations=60414719 nbRevisions=979924688
611.74/614.91 nbUselessRevisions=877461102 nbAssignments=2470597 nbFailedAssignments=490374 nbBacktracks=1977658
611.74/614.91 nbVisitedNodes=3429688 nbRestartNogoods=220 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=213
611.74/614.91 nbIEliminables=174.95 nbDEliminables=0 nbPEliminables=0
611.74/614.91 => wckTime=613.565 cpuTime=610.26 mem=13M569
611.74/614.91
611.74/614.92 global
611.74/614.92 nbConstraintChecks=534493435 nbPropagations=60417010 nbRevisions=979944496 nbUselessRevisions=877476375
611.74/614.92 nbRestartNogoods=220 solvingWckTime=613.568 solvingCpuTime=610.26 expiredTime=no totalExploration=no
611.74/614.92 nbFoundSolutions=1 firstSolutionCpuTime=610.93 globalCpuTime=610.98
611.74/614.92 => wckTime=614.671 cpuTime=610.94 mem=13M569
611.74/614.92
611.74/614.92 s SATISFIABLE
611.74/614.92 v 17 9 16 19 8 1 5 14 13 6 18 2 12 10 7 3 11 15 4 0 5 13 19 17 7 3 11 4 10 14 0 18 9 2 6 16 8 12 15 1 2 10 3 1 6 7 9 0 11 15 17 8 5 14 16 4 12 13 18 19 12 15 6 18 1 17 2 19 4 10 14 7 3 8 5 9 0 16 13 11 0 4 18 14 9 10 7 8 19 5 3 15 11 12 1 6 17 2 16 13 6 2 11 0 10 19 15 7 8 18 1 5 4 17 3 13 16 14 12 9 19 14 8 6 4 5 16 15 2 17 9 10 1 3 12 7 13 11 0 18 7 16 14 12 18 13 8 9 6 4 2 11 17 5 15 0 19 10 1 3 3 0 15 9 5 4 6 11 18 2 7 12 13 1 8 19 14 17 10 16 8 7 9 3 11 6 18 12 15 1 10 4 16 13 19 2 5 0 17 14 10 3 1 16 2 12 14 5 0 19 6 13 15 7 11 8 18 4 9 17 4 11 0 7 13 8 1 6 5 16 12 3 10 18 17 15 9 19 14 2 16 1 13 8 14 15 19 18 12 11 5 9 6 4 0 17 2 3 7 10 9 6 2 10 15 0 12 16 3 13 4 17 19 11 14 1 7 18 5 8 11 18 10 13 0 9 4 1 17 3 16 19 7 6 2 14 15 5 8 12 13 5 7 2 17 16 0 3 1 9 15 14 18 19 4 12 10 8 11 6 15 17 5 4 12 11 3 2 9 8 13 0 14 16 18 10 1 6 19 7 14 8 12 11 3 18 10 17 16 7 19 6 0 9 13 5 4 1 2 15 1 12 17 5 19 2 13 10 14 0 11 16 8 15 9 18 6 7 3 4 18 19 4 15 16 14 17 13 7 12 8 1 2 0 10 11 3 9 6 5
611.74/614.92 d NODES 2470597
611.74/614.92 d CHECKS 534493435
611.74/614.92
611.74/614.92 totalWckTime=614.738 totalCpuTime=610.99
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1044886-1215022770/watcher-1044886-1215022770 -o /tmp/evaluation-result-1044886-1215022770/solver-1044886-1215022770 -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-1044886-1215022770.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.91 4/73 25854
/proc/meminfo: memFree=1427936/2055920 swapFree=4179796/4192956
[pid=25854] ppid=25852 vsize=18572 CPUtime=0
/proc/25854/stat : 25854 (runsolver) R 25852 25854 25487 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 658004631 19017728 292 996147200 4194304 4296836 548682068352 18446744073709551615 249069890855 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/25854/statm: 4643 292 257 25 0 2626 0
[startup+0.00826193 s]
/proc/loadavg: 2.00 2.00 1.91 4/73 25854
/proc/meminfo: memFree=1427936/2055920 swapFree=4179796/4192956
[pid=25854] ppid=25852 vsize=272 CPUtime=0
/proc/25854/stat : 25854 (java) D 25852 25854 25487 0 -1 0 53 0 0 0 0 0 0 0 18 0 1 0 658004631 278528 37 996147200 134512640 134550740 4294956144 18446744073709551615 11920164 0 2147483391 4096 0 18446744072099855350 0 0 17 1 0 0
/proc/25854/statm: 68 37 28 9 0 6 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 272
[startup+0.101868 s]
/proc/loadavg: 2.00 2.00 1.91 4/73 25854
/proc/meminfo: memFree=1427936/2055920 swapFree=4179796/4192956
[pid=25854] ppid=25852 vsize=865884 CPUtime=0.08
/proc/25854/stat : 25854 (java) S 25852 25854 25487 0 -1 0 3697 0 1 0 7 1 0 0 18 0 9 0 658004631 886665216 3171 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25854/statm: 216471 3171 1685 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301892 s]
/proc/loadavg: 2.00 2.00 1.91 4/73 25854
/proc/meminfo: memFree=1427936/2055920 swapFree=4179796/4192956
[pid=25854] ppid=25852 vsize=866284 CPUtime=0.28
/proc/25854/stat : 25854 (java) S 25852 25854 25487 0 -1 0 5924 0 1 0 25 3 0 0 18 0 9 0 658004631 887074816 5298 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25854/statm: 216571 5298 1956 9 0 211099 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866284
[startup+0.701935 s]
/proc/loadavg: 2.00 2.00 1.91 4/73 25854
/proc/meminfo: memFree=1427936/2055920 swapFree=4179796/4192956
[pid=25854] ppid=25852 vsize=867432 CPUtime=0.68
/proc/25854/stat : 25854 (java) S 25852 25854 25487 0 -1 0 10005 0 1 0 62 6 0 0 18 0 9 0 658004631 888250368 9365 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25854/statm: 216858 9365 1983 9 0 211386 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867432
[startup+1.50301 s]
/proc/loadavg: 2.00 2.00 1.91 5/84 25867
/proc/meminfo: memFree=1379336/2055920 swapFree=4179796/4192956
[pid=25854] ppid=25852 vsize=868168 CPUtime=1.47
/proc/25854/stat : 25854 (java) S 25852 25854 25487 0 -1 0 26235 590 1 0 129 11 6 1 18 0 9 0 658004631 889004032 16670 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25854/statm: 217042 16670 2633 9 0 211548 0
[pid=25854/tid=25856] ppid=25852 vsize=868168 CPUtime=1.06
/proc/25854/task/25856/stat : 25856 (java) R 25852 25854 25487 0 -1 64 19913 590 1 0 91 8 6 1 20 0 9 0 658004632 889004032 16670 996147200 134512640 134550740 4294955968 18446744073709551615 4127005073 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25857] ppid=25852 vsize=868168 CPUtime=0.17
/proc/25854/task/25857/stat : 25857 (java) S 25852 25854 25487 0 -1 64 4615 590 0 0 10 0 6 1 17 0 9 0 658004634 889004032 16670 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25858] ppid=25852 vsize=868168 CPUtime=0.07
/proc/25854/task/25858/stat : 25858 (java) S 25852 25854 25487 0 -1 64 16 590 0 0 0 0 6 1 17 0 9 0 658004634 889004032 16670 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25859] ppid=25852 vsize=868168 CPUtime=0.07
/proc/25854/task/25859/stat : 25859 (java) S 25852 25854 25487 0 -1 64 9 590 0 0 0 0 6 1 16 0 9 0 658004634 889004032 16670 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25860] ppid=25852 vsize=868168 CPUtime=0.07
/proc/25854/task/25860/stat : 25860 (java) S 25852 25854 25487 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 658004636 889004032 16670 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25861] ppid=25852 vsize=868168 CPUtime=0.33
/proc/25854/task/25861/stat : 25861 (java) S 25852 25854 25487 0 -1 64 859 590 0 0 26 0 6 1 16 0 9 0 658004636 889004032 16670 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25862] ppid=25852 vsize=868168 CPUtime=0.07
/proc/25854/task/25862/stat : 25862 (java) S 25852 25854 25487 0 -1 64 1 590 0 0 0 0 6 1 19 0 9 0 658004636 889004032 16670 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25863] ppid=25852 vsize=868168 CPUtime=0.07
/proc/25854/task/25863/stat : 25863 (java) S 25852 25854 25487 0 -1 64 7 590 0 0 0 0 6 1 15 0 9 0 658004636 889004032 16670 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 868168
[startup+3.10217 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 25867
/proc/meminfo: memFree=1370960/2055920 swapFree=4179796/4192956
[pid=25854] ppid=25852 vsize=868300 CPUtime=3.05
/proc/25854/stat : 25854 (java) S 25852 25854 25487 0 -1 0 26291 590 1 0 286 12 6 1 18 0 9 0 658004631 889139200 16715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25854/statm: 217075 16715 2633 9 0 211581 0
[pid=25854/tid=25856] ppid=25852 vsize=868300 CPUtime=2.58
/proc/25854/task/25856/stat : 25856 (java) R 25852 25854 25487 0 -1 64 19932 590 1 0 242 9 6 1 25 0 9 0 658004632 889139200 16715 996147200 134512640 134550740 4294955968 18446744073709551615 4127106412 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25857] ppid=25852 vsize=868300 CPUtime=0.17
/proc/25854/task/25857/stat : 25857 (java) S 25852 25854 25487 0 -1 64 4615 590 0 0 10 0 6 1 17 0 9 0 658004634 889139200 16715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25858] ppid=25852 vsize=868300 CPUtime=0.07
/proc/25854/task/25858/stat : 25858 (java) S 25852 25854 25487 0 -1 64 16 590 0 0 0 0 6 1 17 0 9 0 658004634 889139200 16715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25859] ppid=25852 vsize=868300 CPUtime=0.07
/proc/25854/task/25859/stat : 25859 (java) S 25852 25854 25487 0 -1 64 9 590 0 0 0 0 6 1 16 0 9 0 658004634 889139200 16715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25860] ppid=25852 vsize=868300 CPUtime=0.07
/proc/25854/task/25860/stat : 25860 (java) S 25852 25854 25487 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 658004636 889139200 16715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25861] ppid=25852 vsize=868300 CPUtime=0.4
/proc/25854/task/25861/stat : 25861 (java) S 25852 25854 25487 0 -1 64 896 590 0 0 32 1 6 1 15 0 9 0 658004636 889139200 16715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25862] ppid=25852 vsize=868300 CPUtime=0.07
/proc/25854/task/25862/stat : 25862 (java) S 25852 25854 25487 0 -1 64 1 590 0 0 0 0 6 1 19 0 9 0 658004636 889139200 16715 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25863] ppid=25852 vsize=868300 CPUtime=0.07
/proc/25854/task/25863/stat : 25863 (java) S 25852 25854 25487 0 -1 64 7 590 0 0 0 0 6 1 15 0 9 0 658004636 889139200 16715 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) 868300
[startup+6.30149 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 25867
/proc/meminfo: memFree=1370576/2055920 swapFree=4179796/4192956
[pid=25854] ppid=25852 vsize=868300 CPUtime=6.22
/proc/25854/stat : 25854 (java) S 25852 25854 25487 0 -1 0 28133 590 1 0 603 12 6 1 18 0 9 0 658004631 889139200 16717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25854/statm: 217075 16717 2633 9 0 211581 0
[pid=25854/tid=25856] ppid=25852 vsize=868300 CPUtime=5.74
/proc/25854/task/25856/stat : 25856 (java) R 25852 25854 25487 0 -1 64 21748 590 1 0 558 9 6 1 25 0 9 0 658004632 889139200 16717 996147200 134512640 134550740 4294955968 18446744073709551615 4127086408 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25857] ppid=25852 vsize=868300 CPUtime=0.17
/proc/25854/task/25857/stat : 25857 (java) S 25852 25854 25487 0 -1 64 4615 590 0 0 10 0 6 1 17 0 9 0 658004634 889139200 16717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25858] ppid=25852 vsize=868300 CPUtime=0.07
/proc/25854/task/25858/stat : 25858 (java) S 25852 25854 25487 0 -1 64 16 590 0 0 0 0 6 1 17 0 9 0 658004634 889139200 16717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25859] ppid=25852 vsize=868300 CPUtime=0.07
/proc/25854/task/25859/stat : 25859 (java) S 25852 25854 25487 0 -1 64 9 590 0 0 0 0 6 1 16 0 9 0 658004634 889139200 16717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25860] ppid=25852 vsize=868300 CPUtime=0.07
/proc/25854/task/25860/stat : 25860 (java) S 25852 25854 25487 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 658004636 889139200 16717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25861] ppid=25852 vsize=868300 CPUtime=0.4
/proc/25854/task/25861/stat : 25861 (java) S 25852 25854 25487 0 -1 64 899 590 0 0 32 1 6 1 16 0 9 0 658004636 889139200 16717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25862] ppid=25852 vsize=868300 CPUtime=0.07
/proc/25854/task/25862/stat : 25862 (java) S 25852 25854 25487 0 -1 64 1 590 0 0 0 0 6 1 19 0 9 0 658004636 889139200 16717 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25863] ppid=25852 vsize=868300 CPUtime=0.07
/proc/25854/task/25863/stat : 25863 (java) S 25852 25854 25487 0 -1 64 30 590 0 0 0 0 6 1 15 0 9 0 658004636 889139200 16717 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) 868300
[startup+12.7021 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 25867
/proc/meminfo: memFree=1357200/2055920 swapFree=4179796/4192956
[pid=25854] ppid=25852 vsize=868212 CPUtime=12.57
/proc/25854/stat : 25854 (java) S 25852 25854 25487 0 -1 0 31776 590 1 0 1236 14 6 1 18 0 9 0 658004631 889049088 20023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25854/statm: 217053 20023 2615 9 0 211581 0
[pid=25854/tid=25856] ppid=25852 vsize=868212 CPUtime=12.08
/proc/25854/task/25856/stat : 25856 (java) R 25852 25854 25487 0 -1 64 24308 590 1 0 1191 10 6 1 25 0 9 0 658004632 889049088 20023 996147200 134512640 134550740 4294955968 18446744073709551615 4126375703 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25857] ppid=25852 vsize=868212 CPUtime=0.19
/proc/25854/task/25857/stat : 25857 (java) S 25852 25854 25487 0 -1 64 5697 590 0 0 11 1 6 1 16 0 9 0 658004634 889049088 20023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25858] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25858/stat : 25858 (java) S 25852 25854 25487 0 -1 64 16 590 0 0 0 0 6 1 16 0 9 0 658004634 889049088 20023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25859] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25859/stat : 25859 (java) S 25852 25854 25487 0 -1 64 9 590 0 0 0 0 6 1 16 0 9 0 658004634 889049088 20023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25860] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25860/stat : 25860 (java) S 25852 25854 25487 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 658004636 889049088 20023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25861] ppid=25852 vsize=868212 CPUtime=0.41
/proc/25854/task/25861/stat : 25861 (java) S 25852 25854 25487 0 -1 64 900 590 0 0 33 1 6 1 15 0 9 0 658004636 889049088 20023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25862] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25862/stat : 25862 (java) S 25852 25854 25487 0 -1 64 1 590 0 0 0 0 6 1 19 0 9 0 658004636 889049088 20023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25863] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25863/stat : 25863 (java) S 25852 25854 25487 0 -1 64 30 590 0 0 0 0 6 1 15 0 9 0 658004636 889049088 20023 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 868212
[startup+25.5014 s]
/proc/loadavg: 2.00 2.00 1.91 3/82 25867
/proc/meminfo: memFree=1357072/2055920 swapFree=4179796/4192956
[pid=25854] ppid=25852 vsize=868212 CPUtime=25.26
/proc/25854/stat : 25854 (java) S 25852 25854 25487 0 -1 0 31778 590 1 0 2504 15 6 1 18 0 9 0 658004631 889049088 20024 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25854/statm: 217053 20024 2615 9 0 211581 0
[pid=25854/tid=25856] ppid=25852 vsize=868212 CPUtime=24.77
/proc/25854/task/25856/stat : 25856 (java) R 25852 25854 25487 0 -1 64 24309 590 1 0 2459 11 6 1 25 0 9 0 658004632 889049088 20024 996147200 134512640 134550740 4294955968 18446744073709551615 4127093218 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25857] ppid=25852 vsize=868212 CPUtime=0.19
/proc/25854/task/25857/stat : 25857 (java) S 25852 25854 25487 0 -1 64 5697 590 0 0 11 1 6 1 16 0 9 0 658004634 889049088 20024 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25858] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25858/stat : 25858 (java) S 25852 25854 25487 0 -1 64 16 590 0 0 0 0 6 1 16 0 9 0 658004634 889049088 20024 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25859] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25859/stat : 25859 (java) S 25852 25854 25487 0 -1 64 9 590 0 0 0 0 6 1 16 0 9 0 658004634 889049088 20024 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25860] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25860/stat : 25860 (java) S 25852 25854 25487 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 658004636 889049088 20024 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25861] ppid=25852 vsize=868212 CPUtime=0.41
/proc/25854/task/25861/stat : 25861 (java) S 25852 25854 25487 0 -1 64 901 590 0 0 33 1 6 1 17 0 9 0 658004636 889049088 20024 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25862] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25862/stat : 25862 (java) S 25852 25854 25487 0 -1 64 1 590 0 0 0 0 6 1 19 0 9 0 658004636 889049088 20024 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25863] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25863/stat : 25863 (java) S 25852 25854 25487 0 -1 64 30 590 0 0 0 0 6 1 15 0 9 0 658004636 889049088 20024 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 868212
[startup+51.1019 s]
/proc/loadavg: 1.93 1.98 1.90 3/90 25907
/proc/meminfo: memFree=1288848/2055920 swapFree=4179796/4192956
[pid=25854] ppid=25852 vsize=868212 CPUtime=50.65
/proc/25854/stat : 25854 (java) S 25852 25854 25487 0 -1 0 32862 590 1 0 5043 15 6 1 18 0 9 0 658004631 889049088 21103 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25854/statm: 217053 21103 2615 9 0 211581 0
[pid=25854/tid=25856] ppid=25852 vsize=868212 CPUtime=50.15
/proc/25854/task/25856/stat : 25856 (java) R 25852 25854 25487 0 -1 64 24312 590 1 0 4997 11 6 1 25 0 9 0 658004632 889049088 21103 996147200 134512640 134550740 4294955968 18446744073709551615 4127128421 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25857] ppid=25852 vsize=868212 CPUtime=0.2
/proc/25854/task/25857/stat : 25857 (java) S 25852 25854 25487 0 -1 64 6777 590 0 0 12 1 6 1 16 0 9 0 658004634 889049088 21103 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25858] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25858/stat : 25858 (java) S 25852 25854 25487 0 -1 64 16 590 0 0 0 0 6 1 16 0 9 0 658004634 889049088 21103 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25859] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25859/stat : 25859 (java) S 25852 25854 25487 0 -1 64 9 590 0 0 0 0 6 1 16 0 9 0 658004634 889049088 21103 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25860] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25860/stat : 25860 (java) S 25852 25854 25487 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 658004636 889049088 21103 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25861] ppid=25852 vsize=868212 CPUtime=0.41
/proc/25854/task/25861/stat : 25861 (java) S 25852 25854 25487 0 -1 64 902 590 0 0 33 1 6 1 16 0 9 0 658004636 889049088 21103 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25862] ppid=25852 vsize=868212 CPUtime=0.07
################
# More data... #
################
/proc/25854/stat : 25854 (java) S 25852 25854 25487 0 -1 0 32909 590 1 0 59817 16 6 1 18 0 9 0 658004631 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25854/statm: 217053 21115 2615 9 0 211581 0
[pid=25854/tid=25856] ppid=25852 vsize=868212 CPUtime=597.85
/proc/25854/task/25856/stat : 25856 (java) R 25852 25854 25487 0 -1 64 24347 590 1 0 59766 12 6 1 25 0 9 0 658004632 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4127086292 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25857] ppid=25852 vsize=868212 CPUtime=0.25
/proc/25854/task/25857/stat : 25857 (java) S 25852 25854 25487 0 -1 64 6789 590 0 0 17 1 6 1 16 0 9 0 658004634 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25858] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25858/stat : 25858 (java) S 25852 25854 25487 0 -1 64 16 590 0 0 0 0 6 1 16 0 9 0 658004634 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25859] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25859/stat : 25859 (java) S 25852 25854 25487 0 -1 64 9 590 0 0 0 0 6 1 16 0 9 0 658004634 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25860] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25860/stat : 25860 (java) S 25852 25854 25487 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 658004636 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25861] ppid=25852 vsize=868212 CPUtime=0.41
/proc/25854/task/25861/stat : 25861 (java) S 25852 25854 25487 0 -1 64 902 590 0 0 33 1 6 1 16 0 9 0 658004636 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25862] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25862/stat : 25862 (java) S 25852 25854 25487 0 -1 64 1 590 0 0 0 0 6 1 19 0 9 0 658004636 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25863] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25863/stat : 25863 (java) S 25852 25854 25487 0 -1 64 30 590 0 0 0 0 6 1 15 0 9 0 658004636 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 598.4
Current children cumulated vsize (KiB) 868212
[startup+607.902 s]
/proc/loadavg: 1.99 1.98 1.91 3/90 25907
/proc/meminfo: memFree=1283984/2055920 swapFree=4179796/4192956
[pid=25854] ppid=25852 vsize=868212 CPUtime=604.77
/proc/25854/stat : 25854 (java) S 25852 25854 25487 0 -1 0 32909 590 1 0 60454 16 6 1 18 0 9 0 658004631 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25854/statm: 217053 21115 2615 9 0 211581 0
[pid=25854/tid=25856] ppid=25852 vsize=868212 CPUtime=604.22
/proc/25854/task/25856/stat : 25856 (java) R 25852 25854 25487 0 -1 64 24347 590 1 0 60403 12 6 1 25 0 9 0 658004632 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4127093174 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25857] ppid=25852 vsize=868212 CPUtime=0.25
/proc/25854/task/25857/stat : 25857 (java) S 25852 25854 25487 0 -1 64 6789 590 0 0 17 1 6 1 16 0 9 0 658004634 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25858] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25858/stat : 25858 (java) S 25852 25854 25487 0 -1 64 16 590 0 0 0 0 6 1 16 0 9 0 658004634 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25859] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25859/stat : 25859 (java) S 25852 25854 25487 0 -1 64 9 590 0 0 0 0 6 1 16 0 9 0 658004634 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25860] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25860/stat : 25860 (java) S 25852 25854 25487 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 658004636 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25861] ppid=25852 vsize=868212 CPUtime=0.41
/proc/25854/task/25861/stat : 25861 (java) S 25852 25854 25487 0 -1 64 902 590 0 0 33 1 6 1 16 0 9 0 658004636 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25862] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25862/stat : 25862 (java) S 25852 25854 25487 0 -1 64 1 590 0 0 0 0 6 1 19 0 9 0 658004636 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25863] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25863/stat : 25863 (java) S 25852 25854 25487 0 -1 64 30 590 0 0 0 0 6 1 15 0 9 0 658004636 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 604.77
Current children cumulated vsize (KiB) 868212
[startup+611.102 s]
/proc/loadavg: 1.99 1.98 1.91 3/90 25907
/proc/meminfo: memFree=1283984/2055920 swapFree=4179796/4192956
[pid=25854] ppid=25852 vsize=868212 CPUtime=607.95
/proc/25854/stat : 25854 (java) S 25852 25854 25487 0 -1 0 32909 590 1 0 60772 16 6 1 18 0 9 0 658004631 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25854/statm: 217053 21115 2615 9 0 211581 0
[pid=25854/tid=25856] ppid=25852 vsize=868212 CPUtime=607.4
/proc/25854/task/25856/stat : 25856 (java) R 25852 25854 25487 0 -1 64 24347 590 1 0 60721 12 6 1 25 0 9 0 658004632 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4127091153 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25857] ppid=25852 vsize=868212 CPUtime=0.25
/proc/25854/task/25857/stat : 25857 (java) S 25852 25854 25487 0 -1 64 6789 590 0 0 17 1 6 1 16 0 9 0 658004634 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25858] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25858/stat : 25858 (java) S 25852 25854 25487 0 -1 64 16 590 0 0 0 0 6 1 16 0 9 0 658004634 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25859] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25859/stat : 25859 (java) S 25852 25854 25487 0 -1 64 9 590 0 0 0 0 6 1 16 0 9 0 658004634 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25860] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25860/stat : 25860 (java) S 25852 25854 25487 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 658004636 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25861] ppid=25852 vsize=868212 CPUtime=0.41
/proc/25854/task/25861/stat : 25861 (java) S 25852 25854 25487 0 -1 64 902 590 0 0 33 1 6 1 16 0 9 0 658004636 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25862] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25862/stat : 25862 (java) S 25852 25854 25487 0 -1 64 1 590 0 0 0 0 6 1 19 0 9 0 658004636 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25863] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25863/stat : 25863 (java) S 25852 25854 25487 0 -1 64 30 590 0 0 0 0 6 1 15 0 9 0 658004636 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 607.95
Current children cumulated vsize (KiB) 868212
[startup+612.707 s]
/proc/loadavg: 1.99 1.98 1.91 3/90 25907
/proc/meminfo: memFree=1283984/2055920 swapFree=4179796/4192956
[pid=25854] ppid=25852 vsize=868212 CPUtime=609.55
/proc/25854/stat : 25854 (java) S 25852 25854 25487 0 -1 0 32909 590 1 0 60932 16 6 1 18 0 9 0 658004631 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25854/statm: 217053 21115 2615 9 0 211581 0
[pid=25854/tid=25856] ppid=25852 vsize=868212 CPUtime=608.99
/proc/25854/task/25856/stat : 25856 (java) R 25852 25854 25487 0 -1 64 24347 590 1 0 60880 12 6 1 25 0 9 0 658004632 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4127088252 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25857] ppid=25852 vsize=868212 CPUtime=0.25
/proc/25854/task/25857/stat : 25857 (java) S 25852 25854 25487 0 -1 64 6789 590 0 0 17 1 6 1 16 0 9 0 658004634 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25858] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25858/stat : 25858 (java) S 25852 25854 25487 0 -1 64 16 590 0 0 0 0 6 1 16 0 9 0 658004634 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25859] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25859/stat : 25859 (java) S 25852 25854 25487 0 -1 64 9 590 0 0 0 0 6 1 16 0 9 0 658004634 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25860] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25860/stat : 25860 (java) S 25852 25854 25487 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 658004636 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25861] ppid=25852 vsize=868212 CPUtime=0.41
/proc/25854/task/25861/stat : 25861 (java) S 25852 25854 25487 0 -1 64 902 590 0 0 33 1 6 1 16 0 9 0 658004636 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25862] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25862/stat : 25862 (java) S 25852 25854 25487 0 -1 64 1 590 0 0 0 0 6 1 19 0 9 0 658004636 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25863] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25863/stat : 25863 (java) S 25852 25854 25487 0 -1 64 30 590 0 0 0 0 6 1 15 0 9 0 658004636 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 609.55
Current children cumulated vsize (KiB) 868212
[startup+614.302 s]
/proc/loadavg: 1.99 1.98 1.91 3/90 25907
/proc/meminfo: memFree=1283984/2055920 swapFree=4179796/4192956
[pid=25854] ppid=25852 vsize=868212 CPUtime=611.14
/proc/25854/stat : 25854 (java) S 25852 25854 25487 0 -1 0 32910 590 1 0 61091 16 6 1 18 0 9 0 658004631 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25854/statm: 217053 21115 2615 9 0 211581 0
[pid=25854/tid=25856] ppid=25852 vsize=868212 CPUtime=610.58
/proc/25854/task/25856/stat : 25856 (java) R 25852 25854 25487 0 -1 64 24348 590 1 0 61039 12 6 1 25 0 9 0 658004632 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4127088371 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25857] ppid=25852 vsize=868212 CPUtime=0.25
/proc/25854/task/25857/stat : 25857 (java) S 25852 25854 25487 0 -1 64 6789 590 0 0 17 1 6 1 15 0 9 0 658004634 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25858] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25858/stat : 25858 (java) S 25852 25854 25487 0 -1 64 16 590 0 0 0 0 6 1 16 0 9 0 658004634 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25859] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25859/stat : 25859 (java) S 25852 25854 25487 0 -1 64 9 590 0 0 0 0 6 1 16 0 9 0 658004634 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25860] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25860/stat : 25860 (java) S 25852 25854 25487 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 658004636 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25861] ppid=25852 vsize=868212 CPUtime=0.41
/proc/25854/task/25861/stat : 25861 (java) S 25852 25854 25487 0 -1 64 902 590 0 0 33 1 6 1 16 0 9 0 658004636 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25862] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25862/stat : 25862 (java) S 25852 25854 25487 0 -1 64 1 590 0 0 0 0 6 1 19 0 9 0 658004636 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25863] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25863/stat : 25863 (java) S 25852 25854 25487 0 -1 64 30 590 0 0 0 0 6 1 15 0 9 0 658004636 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 611.14
Current children cumulated vsize (KiB) 868212
[startup+614.702 s]
/proc/loadavg: 1.99 1.98 1.91 3/90 25907
/proc/meminfo: memFree=1283984/2055920 swapFree=4179796/4192956
[pid=25854] ppid=25852 vsize=868212 CPUtime=611.54
/proc/25854/stat : 25854 (java) S 25852 25854 25487 0 -1 0 32910 590 1 0 61131 16 6 1 18 0 9 0 658004631 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25854/statm: 217053 21115 2615 9 0 211581 0
[pid=25854/tid=25856] ppid=25852 vsize=868212 CPUtime=610.98
/proc/25854/task/25856/stat : 25856 (java) R 25852 25854 25487 0 -1 64 24348 590 1 0 61079 12 6 1 25 0 9 0 658004632 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4127161474 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25857] ppid=25852 vsize=868212 CPUtime=0.25
/proc/25854/task/25857/stat : 25857 (java) S 25852 25854 25487 0 -1 64 6789 590 0 0 17 1 6 1 15 0 9 0 658004634 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25858] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25858/stat : 25858 (java) S 25852 25854 25487 0 -1 64 16 590 0 0 0 0 6 1 16 0 9 0 658004634 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25859] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25859/stat : 25859 (java) S 25852 25854 25487 0 -1 64 9 590 0 0 0 0 6 1 16 0 9 0 658004634 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25860] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25860/stat : 25860 (java) S 25852 25854 25487 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 658004636 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25861] ppid=25852 vsize=868212 CPUtime=0.41
/proc/25854/task/25861/stat : 25861 (java) S 25852 25854 25487 0 -1 64 902 590 0 0 33 1 6 1 16 0 9 0 658004636 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25862] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25862/stat : 25862 (java) S 25852 25854 25487 0 -1 64 1 590 0 0 0 0 6 1 19 0 9 0 658004636 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25863] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25863/stat : 25863 (java) S 25852 25854 25487 0 -1 64 30 590 0 0 0 0 6 1 15 0 9 0 658004636 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 611.54
Current children cumulated vsize (KiB) 868212
[startup+614.907 s]
/proc/loadavg: 1.99 1.98 1.91 3/90 25907
/proc/meminfo: memFree=1283984/2055920 swapFree=4179796/4192956
[pid=25854] ppid=25852 vsize=868212 CPUtime=611.74
/proc/25854/stat : 25854 (java) S 25852 25854 25487 0 -1 0 32910 590 1 0 61151 16 6 1 18 0 9 0 658004631 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25854/statm: 217053 21115 2615 9 0 211581 0
[pid=25854/tid=25856] ppid=25852 vsize=868212 CPUtime=611.18
/proc/25854/task/25856/stat : 25856 (java) R 25852 25854 25487 0 -1 64 24348 590 1 0 61099 12 6 1 25 0 9 0 658004632 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4126102478 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25857] ppid=25852 vsize=868212 CPUtime=0.25
/proc/25854/task/25857/stat : 25857 (java) S 25852 25854 25487 0 -1 64 6789 590 0 0 17 1 6 1 16 0 9 0 658004634 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25858] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25858/stat : 25858 (java) S 25852 25854 25487 0 -1 64 16 590 0 0 0 0 6 1 16 0 9 0 658004634 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25859] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25859/stat : 25859 (java) S 25852 25854 25487 0 -1 64 9 590 0 0 0 0 6 1 16 0 9 0 658004634 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25860] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25860/stat : 25860 (java) S 25852 25854 25487 0 -1 64 1 590 0 0 0 0 6 1 18 0 9 0 658004636 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25861] ppid=25852 vsize=868212 CPUtime=0.41
/proc/25854/task/25861/stat : 25861 (java) S 25852 25854 25487 0 -1 64 902 590 0 0 33 1 6 1 16 0 9 0 658004636 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25862] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25862/stat : 25862 (java) S 25852 25854 25487 0 -1 64 1 590 0 0 0 0 6 1 19 0 9 0 658004636 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25854/tid=25863] ppid=25852 vsize=868212 CPUtime=0.07
/proc/25854/task/25863/stat : 25863 (java) S 25852 25854 25487 0 -1 64 30 590 0 0 0 0 6 1 15 0 9 0 658004636 889049088 21115 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 611.74
Current children cumulated vsize (KiB) 868212
Child status: 0
Real time (s): 614.978
CPU time (s): 611.783
CPU user time (s): 611.59
CPU system time (s): 0.19297
CPU usage (%): 99.4804
Max. virtual memory (cumulated for all children) (KiB): 868300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 611.59
system time used= 0.19297
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33536
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= 14481
involuntary context switches= 22632
runsolver used 0.859869 second user time and 1.9467 second system time
The end
Begin job on node89 at 2008-07-02 20:19:30
IDJOB=1044886
IDBENCH=53525
IDSOLVER=364
FILE ID=node89/1044886-1215022770
PBS_JOBID= 7874293
Free space on /tmp= 66532 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/QCP-20/normalized-qcp-20-187-5_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-1044886-1215022770/watcher-1044886-1215022770 -o /tmp/evaluation-result-1044886-1215022770/solver-1044886-1215022770 -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-1044886-1215022770.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 5b2fe862187ed0ba199d823a817be31e
RANDOM SEED=996974437
node89.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.213
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.213
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1428416 kB
Buffers: 16504 kB
Cached: 539296 kB
SwapCached: 7240 kB
Active: 127788 kB
Inactive: 444316 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1428416 kB
SwapTotal: 4192956 kB
SwapFree: 4179796 kB
Dirty: 2408 kB
Writeback: 0 kB
Mapped: 23976 kB
Slab: 40844 kB
Committed_AS: 1805860 kB
PageTables: 1728 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= 66532 MiB
End job on node89 at 2008-07-02 20:29:45