0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/234088-1168330393/unknown.xml
0.38
0.38 domains being loaded...
0.42
0.42 variables being loaded...
0.49 nbVariables=225 nbDomainTypes=225 minDomainSize=1087 maxDomainSize=1185
0.49 => wckTime=0.169 cpuTime=0.14 mem=13M758
0.49
0.49 predicates being loaded...
0.49
0.49 constraints being loaded...
205.02
205.02 INFO : Stopping converting binary constraints (cpu=200.2, mem = 276M7)
205.17 nbConstraints=1785 nbConvertedConstraints=621 nbConvertConstraintsChecks=804500661 nbExtensionStructures=621
205.17 nbSharedExtensionStructures=0 nbConflictsStructures=621 nbSharedConflictsStructures=0
205.17 nbSharedBinaryRepresentations=314359 nbEvaluationManagers=1164 nbSharedEvaluationManagers=0 maxDegree=16
205.17 maxArity=2
205.17 => wckTime=204.856 cpuTime=200.28 mem=283M553
206.02
206.02 solver IterativeSystematicSolver being built...
206.24 => wckTime=205.924 cpuTime=200.47 mem=280M845
291.46
291.46 INFO : Stopping ESAC
291.46
291.46 preprocessing
291.46 nbConstraintChecks=339685347 nbValidityChecks=30482823 nbPropagations=9139 nbRevisions=100478
291.46 nbUselessRevisions=88160 nbSingletonTests=173 nbEffectiveSingletonTests=0 nbESACBranches=18
291.46 nbRemovedValues=158914 detectedInconsistency=no
291.46 => wckTime=85.206 cpuTime=84.61 mem=280M845
299.32
299.32 search
299.32 run=0 nbConstraintChecks=27816390 nbValidityChecks=8110408 nbPropagations=12673 nbRevisions=145615
299.32 nbUselessRevisions=123936 nbAssignments=63 nbFailedAssignments=18 nbBacktracks=10 nbVisitedNodes=90
299.32 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
299.32 => wckTime=93.063 cpuTime=92.37 mem=282M929
315.90
315.90 search
315.90 run=1 nbConstraintChecks=89626479 nbValidityChecks=28025604 nbPropagations=34423 nbRevisions=405894
315.90 nbUselessRevisions=340838 nbAssignments=300 nbFailedAssignments=150 nbBacktracks=25 nbVisitedNodes=403
315.90 nbRestartNogoods=6 mapSize=20 nbInferences=0 nbTooLargeKeys=0
315.90 => wckTime=109.643 cpuTime=108.77 mem=283M506
479.36
479.36 search
479.36 run=2 nbConstraintChecks=706634086 nbValidityChecks=211867592 nbPropagations=120815 nbRevisions=1426958
479.36 nbUselessRevisions=1192910 nbAssignments=1588 nbFailedAssignments=595 nbBacktracks=47 nbVisitedNodes=1369
479.36 nbRestartNogoods=50 mapSize=42 nbInferences=0 nbTooLargeKeys=0
479.36 => wckTime=273.106 cpuTime=271.12 mem=285M414
711.24
711.24 search
711.24 run=3 nbConstraintChecks=1588216319 nbValidityChecks=496105204 nbPropagations=309917 nbRevisions=3596679
711.24 nbUselessRevisions=3017004 nbAssignments=4788 nbFailedAssignments=1047 nbBacktracks=80 nbVisitedNodes=2346
711.24 nbRestartNogoods=108 mapSize=61 nbInferences=1 nbTooLargeKeys=0
711.24 => wckTime=504.983 cpuTime=502.93 mem=287M323
958.84
958.84 search
958.84 run=4 nbConstraintChecks=2532759855 nbValidityChecks=724927970 nbPropagations=574963 nbRevisions=6656280
958.84 nbUselessRevisions=5596772 nbAssignments=6618 nbFailedAssignments=1620 nbBacktracks=130 nbVisitedNodes=3593
958.84 nbRestartNogoods=184 mapSize=106 nbInferences=1 nbTooLargeKeys=0
958.84 => wckTime=752.58 cpuTime=750.44 mem=288M933
1028.98
1028.98 search
1028.98 run=5 nbConstraintChecks=2789388162 nbValidityChecks=802753683 nbPropagations=872756 nbRevisions=10107467
1028.98 nbUselessRevisions=8512282 nbAssignments=7493 nbFailedAssignments=2157 nbBacktracks=205 nbVisitedNodes=4831
1028.98 nbRestartNogoods=216 mapSize=174 nbInferences=6 nbTooLargeKeys=0
1028.98 => wckTime=822.73 cpuTime=820.57 mem=291M930
1268.25
1268.26 search
1268.26 run=6 nbConstraintChecks=3613967612 nbValidityChecks=1080378468 nbPropagations=1305971 nbRevisions=15437196
1268.26 nbUselessRevisions=12959375 nbAssignments=10296 nbFailedAssignments=4595 nbBacktracks=318 nbVisitedNodes=9949
1268.26 nbRestartNogoods=236 mapSize=286 nbInferences=6 nbTooLargeKeys=0
1268.26 => wckTime=1062.0 cpuTime=1059.74 mem=273M608
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node44/watcher-234088-1168330393 -o ROOT/results/node44/solver-234088-1168330393 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/234088-1168330393/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.12 1.37 1.13 3/73 5813
/proc/meminfo: memFree=1072848/2055920 swapFree=4191892/4192956
[pid=5812] ppid=5810 vsize=18540 CPUtime=0
/proc/5812/stat : 5812 (runsolver) R 5810 5812 5494 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 181438349 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264840473895 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/5812/statm: 4635 279 244 17 0 2626 0
[startup+0.102799 s]
/proc/loadavg: 2.12 1.37 1.13 3/73 5813
/proc/meminfo: memFree=1072848/2055920 swapFree=4191892/4192956
[pid=5812] ppid=5810 vsize=914852 CPUtime=0.07
/proc/5812/stat : 5812 (java) R 5810 5812 5494 0 -1 0 2932 0 1 0 6 1 0 0 19 0 8 0 181438349 936808448 2678 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 11748309 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5812/statm: 228713 2678 1405 14 0 215208 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914852
[startup+0.512012 s]
/proc/loadavg: 2.12 1.37 1.13 3/73 5813
/proc/meminfo: memFree=1072848/2055920 swapFree=4191892/4192956
[pid=5812] ppid=5810 vsize=915328 CPUtime=0.49
/proc/5812/stat : 5812 (java) R 5810 5812 5494 0 -1 0 7824 0 1 0 44 5 0 0 18 0 8 0 181438349 937295872 7563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5812/statm: 228832 7563 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.34492 s]
/proc/loadavg: 2.11 1.38 1.13 3/80 5820
/proc/meminfo: memFree=1033752/2055920 swapFree=4191892/4192956
[pid=5812] ppid=5810 vsize=915632 CPUtime=1.3
/proc/5812/stat : 5812 (java) R 5810 5812 5494 0 -1 0 10795 0 1 0 124 6 0 0 25 0 8 0 181438349 937607168 10533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783847 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5812/statm: 228908 10533 2167 14 0 215378 0
[pid=5812/tid=5814] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5814/stat : 5814 (java) S 5810 5812 5494 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 181438354 937607168 10533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5815] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5815/stat : 5815 (java) S 5810 5812 5494 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181438354 937607168 10533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5816] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5816/stat : 5816 (java) S 5810 5812 5494 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181438354 937607168 10533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5817] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5817/stat : 5817 (java) S 5810 5812 5494 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181438357 937607168 10533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5818] ppid=5810 vsize=915632 CPUtime=0.16
/proc/5812/task/5818/stat : 5818 (java) S 5810 5812 5494 0 -1 64 409 0 0 0 15 1 0 0 16 0 8 0 181438357 937607168 10533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5819] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5819/stat : 5819 (java) S 5810 5812 5494 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 181438357 937607168 10533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5820] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5820/stat : 5820 (java) S 5810 5812 5494 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181438357 937607168 10533 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915632
[startup+2.98509 s]
/proc/loadavg: 2.11 1.38 1.13 3/80 5820
/proc/meminfo: memFree=1026840/2055920 swapFree=4191892/4192956
[pid=5812] ppid=5810 vsize=915632 CPUtime=2.94
/proc/5812/stat : 5812 (java) R 5810 5812 5494 0 -1 0 11456 0 1 0 287 7 0 0 25 0 8 0 181438349 937607168 11193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073798763 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5812/statm: 228908 11193 2167 14 0 215378 0
[pid=5812/tid=5814] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5814/stat : 5814 (java) S 5810 5812 5494 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 181438354 937607168 11193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5815] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5815/stat : 5815 (java) S 5810 5812 5494 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181438354 937607168 11193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5816] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5816/stat : 5816 (java) S 5810 5812 5494 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181438354 937607168 11193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5817] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5817/stat : 5817 (java) S 5810 5812 5494 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181438357 937607168 11193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5818] ppid=5810 vsize=915632 CPUtime=0.16
/proc/5812/task/5818/stat : 5818 (java) S 5810 5812 5494 0 -1 64 410 0 0 0 15 1 0 0 16 0 8 0 181438357 937607168 11193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5819] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5819/stat : 5819 (java) S 5810 5812 5494 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 181438357 937607168 11193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5820] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5820/stat : 5820 (java) S 5810 5812 5494 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181438357 937607168 11193 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915632
[startup+6.26443 s]
/proc/loadavg: 2.11 1.39 1.14 3/80 5820
/proc/meminfo: memFree=1005720/2055920 swapFree=4191892/4192956
[pid=5812] ppid=5810 vsize=915632 CPUtime=6.19
/proc/5812/stat : 5812 (java) R 5810 5812 5494 0 -1 0 12712 0 1 0 612 7 0 0 25 0 8 0 181438349 937607168 12448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782652 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5812/statm: 228908 12448 2167 14 0 215378 0
[pid=5812/tid=5814] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5814/stat : 5814 (java) S 5810 5812 5494 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 181438354 937607168 12448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5815] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5815/stat : 5815 (java) S 5810 5812 5494 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181438354 937607168 12448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5816] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5816/stat : 5816 (java) S 5810 5812 5494 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181438354 937607168 12448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5817] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5817/stat : 5817 (java) S 5810 5812 5494 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181438357 937607168 12448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5818] ppid=5810 vsize=915632 CPUtime=0.16
/proc/5812/task/5818/stat : 5818 (java) S 5810 5812 5494 0 -1 64 410 0 0 0 15 1 0 0 16 0 8 0 181438357 937607168 12448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5819] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5819/stat : 5819 (java) S 5810 5812 5494 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 181438357 937607168 12448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5820] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5820/stat : 5820 (java) S 5810 5812 5494 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181438357 937607168 12448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915632
[startup+12.7511 s]
/proc/loadavg: 2.10 1.40 1.14 3/80 5820
/proc/meminfo: memFree=964312/2055920 swapFree=4191892/4192956
[pid=5812] ppid=5810 vsize=915632 CPUtime=12.63
/proc/5812/stat : 5812 (java) R 5810 5812 5494 0 -1 0 15171 0 1 0 1255 8 0 0 25 0 8 0 181438349 937607168 14907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784992 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5812/statm: 228908 14907 2167 14 0 215378 0
[pid=5812/tid=5814] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5814/stat : 5814 (java) S 5810 5812 5494 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 181438354 937607168 14907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5815] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5815/stat : 5815 (java) S 5810 5812 5494 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181438354 937607168 14907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5816] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5816/stat : 5816 (java) S 5810 5812 5494 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181438354 937607168 14907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5817] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5817/stat : 5817 (java) S 5810 5812 5494 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181438357 937607168 14907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5818] ppid=5810 vsize=915632 CPUtime=0.16
/proc/5812/task/5818/stat : 5818 (java) S 5810 5812 5494 0 -1 64 411 0 0 0 15 1 0 0 16 0 8 0 181438357 937607168 14907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5819] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5819/stat : 5819 (java) S 5810 5812 5494 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 181438357 937607168 14907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5820] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5820/stat : 5820 (java) S 5810 5812 5494 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181438357 937607168 14907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915632
[startup+25.6024 s]
/proc/loadavg: 2.08 1.42 1.15 3/80 5820
/proc/meminfo: memFree=871320/2055920 swapFree=4191892/4192956
[pid=5812] ppid=5810 vsize=915632 CPUtime=25.38
/proc/5812/stat : 5812 (java) R 5810 5812 5494 0 -1 0 23372 0 1 0 2526 12 0 0 25 0 8 0 181438349 937607168 23107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785819 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5812/statm: 228908 23107 2178 14 0 215378 0
[pid=5812/tid=5814] ppid=5810 vsize=915632 CPUtime=0.18
/proc/5812/task/5814/stat : 5814 (java) S 5810 5812 5494 0 -1 64 7043 0 0 0 15 3 0 0 16 0 8 0 181438354 937607168 23107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5815] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5815/stat : 5815 (java) S 5810 5812 5494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181438354 937607168 23107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5816] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5816/stat : 5816 (java) S 5810 5812 5494 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181438354 937607168 23107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5817] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5817/stat : 5817 (java) S 5810 5812 5494 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181438357 937607168 23107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5818] ppid=5810 vsize=915632 CPUtime=0.16
/proc/5812/task/5818/stat : 5818 (java) S 5810 5812 5494 0 -1 64 412 0 0 0 15 1 0 0 16 0 8 0 181438357 937607168 23107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5819] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5819/stat : 5819 (java) S 5810 5812 5494 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 181438357 937607168 23107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5820] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5820/stat : 5820 (java) S 5810 5812 5494 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181438357 937607168 23107 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915632
[startup+51.21 s]
/proc/loadavg: 2.05 1.47 1.18 3/80 5820
/proc/meminfo: memFree=704472/2055920 swapFree=4191892/4192956
[pid=5812] ppid=5810 vsize=915632 CPUtime=50.75
/proc/5812/stat : 5812 (java) R 5810 5812 5494 0 -1 0 35763 0 1 0 5058 17 0 0 25 0 8 0 181438349 937607168 35497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073786923 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5812/statm: 228908 35497 2179 14 0 215378 0
[pid=5812/tid=5814] ppid=5810 vsize=915632 CPUtime=0.53
/proc/5812/task/5814/stat : 5814 (java) S 5810 5812 5494 0 -1 64 19147 0 0 0 46 7 0 0 16 0 8 0 181438354 937607168 35497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5815] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5815/stat : 5815 (java) S 5810 5812 5494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181438354 937607168 35497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5816] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5816/stat : 5816 (java) S 5810 5812 5494 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181438354 937607168 35497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5817] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5817/stat : 5817 (java) S 5810 5812 5494 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181438357 937607168 35497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5818] ppid=5810 vsize=915632 CPUtime=0.18
/proc/5812/task/5818/stat : 5818 (java) S 5810 5812 5494 0 -1 64 428 0 0 0 17 1 0 0 17 0 8 0 181438357 937607168 35497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5819] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5819/stat : 5819 (java) S 5810 5812 5494 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 181438357 937607168 35497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5820] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5820/stat : 5820 (java) S 5810 5812 5494 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181438357 937607168 35497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915632
[startup+102.414 s]
/proc/loadavg: 2.02 1.55 1.22 3/80 5820
/proc/meminfo: memFree=421592/2055920 swapFree=4191892/4192956
[pid=5812] ppid=5810 vsize=915632 CPUtime=101.53
/proc/5812/stat : 5812 (java) R 5810 5812 5494 0 -1 0 46517 0 1 0 10130 23 0 0 25 0 8 0 181438349 937607168 46249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783906 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5812/statm: 228908 46249 2179 14 0 215378 0
[pid=5812/tid=5814] ppid=5810 vsize=915632 CPUtime=0.93
/proc/5812/task/5814/stat : 5814 (java) S 5810 5812 5494 0 -1 64 29899 0 0 0 81 12 0 0 16 0 8 0 181438354 937607168 46249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5815] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5815/stat : 5815 (java) S 5810 5812 5494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181438354 937607168 46249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5816] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5816/stat : 5816 (java) S 5810 5812 5494 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181438354 937607168 46249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5817] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5817/stat : 5817 (java) S 5810 5812 5494 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181438357 937607168 46249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5818] ppid=5810 vsize=915632 CPUtime=0.18
/proc/5812/task/5818/stat : 5818 (java) S 5810 5812 5494 0 -1 64 428 0 0 0 17 1 0 0 17 0 8 0 181438357 937607168 46249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5819] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5819/stat : 5819 (java) S 5810 5812 5494 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 181438357 937607168 46249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5820] ppid=5810 vsize=915632 CPUtime=0
/proc/5812/task/5820/stat : 5820 (java) S 5810 5812 5494 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181438357 937607168 46249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.53
Current children cumulated vsize (KiB) 915632
[startup+162.448 s]
/proc/loadavg: 2.10 1.66 1.27 3/91 5943
/proc/meminfo: memFree=739832/2055920 swapFree=4191892/4192956
[pid=5812] ppid=5810 vsize=915632 CPUtime=160.98
/proc/5812/stat : 5812 (java) R 5810 5812 5494 0 -1 0 66062 0 1 0 16065 33 0 0 25 0 8 0 181438349 937607168 65792 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073784551 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1419.42
Current children cumulated vsize (KiB) 916656
[startup+1483.98 s]
/proc/loadavg: 1.00 1.02 1.17 2/72 6032
/proc/meminfo: memFree=1141936/2055920 swapFree=4191892/4192956
[pid=5812] ppid=5810 vsize=916656 CPUtime=1479.49
/proc/5812/stat : 5812 (java) R 5810 5812 5494 0 -1 0 84579 0 1 0 147902 47 0 0 25 0 8 0 181438349 938655744 84264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074038566 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5812/statm: 229164 84264 2548 14 0 215634 0
[pid=5812/tid=5814] ppid=5810 vsize=916656 CPUtime=2.97
/proc/5812/task/5814/stat : 5814 (java) S 5810 5812 5494 0 -1 64 67384 0 0 0 270 27 0 0 16 0 8 0 181438354 938655744 84264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5812/tid=5815] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5815/stat : 5815 (java) S 5810 5812 5494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181438354 938655744 84264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5812/tid=5816] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5816/stat : 5816 (java) S 5810 5812 5494 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181438354 938655744 84264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5812/tid=5817] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5817/stat : 5817 (java) S 5810 5812 5494 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181438357 938655744 84264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5818] ppid=5810 vsize=916656 CPUtime=0.35
/proc/5812/task/5818/stat : 5818 (java) S 5810 5812 5494 0 -1 64 533 0 0 0 33 2 0 0 16 0 8 0 181438357 938655744 84264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5812/tid=5819] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5819/stat : 5819 (java) S 5810 5812 5494 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 181438357 938655744 84264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5820] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5820/stat : 5820 (java) S 5810 5812 5494 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181438357 938655744 84264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1479.49
Current children cumulated vsize (KiB) 916656
[startup+1544.07 s]
/proc/loadavg: 1.05 1.03 1.16 2/72 6032
/proc/meminfo: memFree=1141936/2055920 swapFree=4191892/4192956
[pid=5812] ppid=5810 vsize=916656 CPUtime=1539.55
/proc/5812/stat : 5812 (java) R 5810 5812 5494 0 -1 0 84579 0 1 0 153908 47 0 0 25 0 8 0 181438349 938655744 84264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782684 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5812/statm: 229164 84264 2548 14 0 215634 0
[pid=5812/tid=5814] ppid=5810 vsize=916656 CPUtime=2.97
/proc/5812/task/5814/stat : 5814 (java) S 5810 5812 5494 0 -1 64 67384 0 0 0 270 27 0 0 16 0 8 0 181438354 938655744 84264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5812/tid=5815] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5815/stat : 5815 (java) S 5810 5812 5494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181438354 938655744 84264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5812/tid=5816] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5816/stat : 5816 (java) S 5810 5812 5494 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181438354 938655744 84264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5812/tid=5817] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5817/stat : 5817 (java) S 5810 5812 5494 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181438357 938655744 84264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5818] ppid=5810 vsize=916656 CPUtime=0.35
/proc/5812/task/5818/stat : 5818 (java) S 5810 5812 5494 0 -1 64 533 0 0 0 33 2 0 0 16 0 8 0 181438357 938655744 84264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5812/tid=5819] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5819/stat : 5819 (java) S 5810 5812 5494 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 181438357 938655744 84264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5820] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5820/stat : 5820 (java) S 5810 5812 5494 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181438357 938655744 84264 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1539.55
Current children cumulated vsize (KiB) 916656
[startup+1604.15 s]
/proc/loadavg: 1.02 1.02 1.15 2/72 6032
/proc/meminfo: memFree=1141936/2055920 swapFree=4191892/4192956
[pid=5812] ppid=5810 vsize=916656 CPUtime=1599.62
/proc/5812/stat : 5812 (java) R 5810 5812 5494 0 -1 0 84581 0 1 0 159915 47 0 0 25 0 8 0 181438349 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073785648 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5812/statm: 229164 84265 2548 14 0 215634 0
[pid=5812/tid=5814] ppid=5810 vsize=916656 CPUtime=2.97
/proc/5812/task/5814/stat : 5814 (java) S 5810 5812 5494 0 -1 64 67384 0 0 0 270 27 0 0 16 0 8 0 181438354 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5812/tid=5815] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5815/stat : 5815 (java) S 5810 5812 5494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181438354 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5812/tid=5816] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5816/stat : 5816 (java) S 5810 5812 5494 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181438354 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5812/tid=5817] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5817/stat : 5817 (java) S 5810 5812 5494 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181438357 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5818] ppid=5810 vsize=916656 CPUtime=0.35
/proc/5812/task/5818/stat : 5818 (java) S 5810 5812 5494 0 -1 64 534 0 0 0 33 2 0 0 16 0 8 0 181438357 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5812/tid=5819] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5819/stat : 5819 (java) S 5810 5812 5494 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 181438357 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5820] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5820/stat : 5820 (java) S 5810 5812 5494 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181438357 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1599.62
Current children cumulated vsize (KiB) 916656
[startup+1664.23 s]
/proc/loadavg: 1.00 1.02 1.14 2/72 6032
/proc/meminfo: memFree=1141936/2055920 swapFree=4191892/4192956
[pid=5812] ppid=5810 vsize=916656 CPUtime=1659.69
/proc/5812/stat : 5812 (java) R 5810 5812 5494 0 -1 0 84581 0 1 0 165922 47 0 0 25 0 8 0 181438349 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782498 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5812/statm: 229164 84265 2548 14 0 215634 0
[pid=5812/tid=5814] ppid=5810 vsize=916656 CPUtime=2.97
/proc/5812/task/5814/stat : 5814 (java) S 5810 5812 5494 0 -1 64 67384 0 0 0 270 27 0 0 16 0 8 0 181438354 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5812/tid=5815] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5815/stat : 5815 (java) S 5810 5812 5494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181438354 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5812/tid=5816] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5816/stat : 5816 (java) S 5810 5812 5494 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181438354 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5812/tid=5817] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5817/stat : 5817 (java) S 5810 5812 5494 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181438357 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5818] ppid=5810 vsize=916656 CPUtime=0.35
/proc/5812/task/5818/stat : 5818 (java) S 5810 5812 5494 0 -1 64 534 0 0 0 33 2 0 0 16 0 8 0 181438357 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5812/tid=5819] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5819/stat : 5819 (java) S 5810 5812 5494 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 181438357 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5820] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5820/stat : 5820 (java) S 5810 5812 5494 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181438357 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1659.69
Current children cumulated vsize (KiB) 916656
[startup+1724.31 s]
/proc/loadavg: 1.00 1.01 1.13 2/72 6032
/proc/meminfo: memFree=1141936/2055920 swapFree=4191892/4192956
[pid=5812] ppid=5810 vsize=916656 CPUtime=1719.75
/proc/5812/stat : 5812 (java) R 5810 5812 5494 0 -1 0 84581 0 1 0 171928 47 0 0 25 0 8 0 181438349 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074025112 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5812/statm: 229164 84265 2548 14 0 215634 0
[pid=5812/tid=5814] ppid=5810 vsize=916656 CPUtime=2.97
/proc/5812/task/5814/stat : 5814 (java) S 5810 5812 5494 0 -1 64 67384 0 0 0 270 27 0 0 16 0 8 0 181438354 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5812/tid=5815] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5815/stat : 5815 (java) S 5810 5812 5494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181438354 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5812/tid=5816] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5816/stat : 5816 (java) S 5810 5812 5494 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181438354 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5812/tid=5817] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5817/stat : 5817 (java) S 5810 5812 5494 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181438357 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5818] ppid=5810 vsize=916656 CPUtime=0.35
/proc/5812/task/5818/stat : 5818 (java) S 5810 5812 5494 0 -1 64 534 0 0 0 33 2 0 0 16 0 8 0 181438357 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5812/tid=5819] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5819/stat : 5819 (java) S 5810 5812 5494 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 181438357 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5820] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5820/stat : 5820 (java) S 5810 5812 5494 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181438357 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1719.75
Current children cumulated vsize (KiB) 916656
[startup+1784.39 s]
/proc/loadavg: 1.06 1.02 1.12 2/72 6032
/proc/meminfo: memFree=1141872/2055920 swapFree=4191892/4192956
[pid=5812] ppid=5810 vsize=916656 CPUtime=1779.82
/proc/5812/stat : 5812 (java) R 5810 5812 5494 0 -1 0 84581 0 1 0 177935 47 0 0 25 0 8 0 181438349 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074040674 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5812/statm: 229164 84265 2548 14 0 215634 0
[pid=5812/tid=5814] ppid=5810 vsize=916656 CPUtime=2.97
/proc/5812/task/5814/stat : 5814 (java) S 5810 5812 5494 0 -1 64 67384 0 0 0 270 27 0 0 16 0 8 0 181438354 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5812/tid=5815] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5815/stat : 5815 (java) S 5810 5812 5494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181438354 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5812/tid=5816] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5816/stat : 5816 (java) S 5810 5812 5494 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181438354 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5812/tid=5817] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5817/stat : 5817 (java) S 5810 5812 5494 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181438357 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5818] ppid=5810 vsize=916656 CPUtime=0.35
/proc/5812/task/5818/stat : 5818 (java) S 5810 5812 5494 0 -1 64 534 0 0 0 33 2 0 0 16 0 8 0 181438357 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5812/tid=5819] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5819/stat : 5819 (java) S 5810 5812 5494 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 181438357 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5820] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5820/stat : 5820 (java) S 5810 5812 5494 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181438357 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1779.82
Current children cumulated vsize (KiB) 916656
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1804.61 s]
/proc/loadavg: 1.04 1.02 1.12 2/72 6032
/proc/meminfo: memFree=1141872/2055920 swapFree=4191892/4192956
[pid=5812] ppid=5810 vsize=916656 CPUtime=1800.04
/proc/5812/stat : 5812 (java) R 5810 5812 5494 0 -1 0 84581 0 1 0 179957 47 0 0 25 0 8 0 181438349 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073782578 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5812/statm: 229164 84265 2548 14 0 215634 0
[pid=5812/tid=5814] ppid=5810 vsize=916656 CPUtime=2.97
/proc/5812/task/5814/stat : 5814 (java) S 5810 5812 5494 0 -1 64 67384 0 0 0 270 27 0 0 16 0 8 0 181438354 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5812/tid=5815] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5815/stat : 5815 (java) S 5810 5812 5494 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 181438354 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5812/tid=5816] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5816/stat : 5816 (java) S 5810 5812 5494 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181438354 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5812/tid=5817] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5817/stat : 5817 (java) S 5810 5812 5494 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181438357 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5818] ppid=5810 vsize=916656 CPUtime=0.35
/proc/5812/task/5818/stat : 5818 (java) S 5810 5812 5494 0 -1 64 534 0 0 0 33 2 0 0 16 0 8 0 181438357 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5812/tid=5819] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5819/stat : 5819 (java) S 5810 5812 5494 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 181438357 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=5812/tid=5820] ppid=5810 vsize=916656 CPUtime=0
/proc/5812/task/5820/stat : 5820 (java) S 5810 5812 5494 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 181438357 938655744 84265 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 916656
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1804.73
CPU time (s): 1800.16
CPU user time (s): 1799.63
CPU system time (s): 0.526919
CPU usage (%): 99.747
Max. virtual memory (cumulated for all children) (KiB): 916656
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.526919
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 84598
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= 38103
involuntary context switches= 41700
runsolver used 1.9707 s user time and 4.82727 s system time
The end
Begin job on node44 on Tue Jan 9 08:13:13 UTC 2007
IDJOB= 234088
IDBENCH= 6661
FILE ID= node44/234088-1168330393
PBS_JOBID= 3503269
Free space on /tmp= 66545 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/js-taillard-15/js-taillard-15-95-5.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/234088-1168330393/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-234088-1168330393 -o ROOT/results/node44/solver-234088-1168330393 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/234088-1168330393/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c769afca31f75a328b4702a35d1d4cfe
RANDOM SEED= 502737400
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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 : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1073328 kB
Buffers: 61288 kB
Cached: 451128 kB
SwapCached: 304 kB
Active: 618912 kB
Inactive: 304232 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1073328 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 1892 kB
Writeback: 0 kB
Mapped: 420460 kB
Slab: 44252 kB
Committed_AS: 4358020 kB
PageTables: 2468 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= 66545 MiB
End job on node44 on Tue Jan 9 08:43:18 UTC 2007