0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/209890-1168194789/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=66 nbDomainTypes=1 minDomainSize=4 maxDomainSize=4
0.42 => wckTime=0.104 cpuTime=0.1 mem=6M951
0.42
0.42 predicates being loaded...
0.42
0.42 constraints being loaded...
0.78 nbConstraints=1056 nbConflictsStructures=1 nbSharedConflictsStructures=1055 nbSharedBinaryRepresentations=0
0.78 nbEvaluationManagers=1 nbSharedEvaluationManagers=1055 maxDegree=64 maxArity=3
0.78 => wckTime=0.465 cpuTime=0.34 mem=15M728
0.82
0.82 solver IterativeSystematicSolver being built...
1.02 => wckTime=0.712 cpuTime=0.5 mem=20M676
1.10
1.10 preprocessing
1.10 nbConstraintChecks=3908 nbValidityChecks=902 nbPropagations=317 nbRevisions=1611 nbUselessRevisions=1395
1.10 nbSingletonTests=72 nbEffectiveSingletonTests=0 nbESACBranches=2 nbRemovedValues=0 detectedInconsistency=no
1.10 => wckTime=0.073 cpuTime=0.04 mem=20M676
1.14
1.14 search
1.14 run=0 nbConstraintChecks=4317 nbValidityChecks=3776 nbPropagations=538 nbRevisions=3322
1.14 nbUselessRevisions=2732 nbAssignments=51 nbFailedAssignments=8 nbBacktracks=12 nbVisitedNodes=64
1.14 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.119 cpuTime=0.07 mem=20M676
1.18
1.18 search
1.18 run=1 nbConstraintChecks=11194 nbValidityChecks=13108 nbPropagations=1501 nbRevisions=10309
1.18 nbUselessRevisions=8412 nbAssignments=138 nbFailedAssignments=18 nbBacktracks=28 nbVisitedNodes=127
1.18 nbRestartNogoods=4 mapSize=20 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.152 cpuTime=0.1 mem=20M676
1.20
1.20 search
1.20 run=2 nbConstraintChecks=18242 nbValidityChecks=22206 nbPropagations=2755 nbRevisions=20540
1.20 nbUselessRevisions=16693 nbAssignments=191 nbFailedAssignments=25 nbBacktracks=53 nbVisitedNodes=194
1.20 nbRestartNogoods=7 mapSize=32 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.175 cpuTime=0.12 mem=20M676
1.23
1.23 search
1.23 run=3 nbConstraintChecks=29734 nbValidityChecks=37342 nbPropagations=4383 nbRevisions=36117
1.23 nbUselessRevisions=29230 nbAssignments=261 nbFailedAssignments=40 nbBacktracks=91 nbVisitedNodes=288
1.23 nbRestartNogoods=9 mapSize=54 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.206 cpuTime=0.15 mem=20M676
1.27
1.27 search
1.27 run=4 nbConstraintChecks=43204 nbValidityChecks=55640 nbPropagations=6553 nbRevisions=58029
1.27 nbUselessRevisions=46834 nbAssignments=355 nbFailedAssignments=64 nbBacktracks=144 nbVisitedNodes=424
1.27 nbRestartNogoods=11 mapSize=94 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.239 cpuTime=0.18 mem=20M676
1.31
1.31 search
1.31 run=5 nbConstraintChecks=59744 nbValidityChecks=77583 nbPropagations=9345 nbRevisions=87560
1.31 nbUselessRevisions=70518 nbAssignments=471 nbFailedAssignments=89 nbBacktracks=219 nbVisitedNodes=584
1.31 nbRestartNogoods=13 mapSize=135 nbInferences=0 nbTooLargeKeys=0
1.31 => wckTime=0.283 cpuTime=0.23 mem=20M676
1.38
1.38 search
1.38 run=6 nbConstraintChecks=89145 nbValidityChecks=117712 nbPropagations=13208 nbRevisions=131101
1.38 nbUselessRevisions=105420 nbAssignments=639 nbFailedAssignments=127 nbBacktracks=332 nbVisitedNodes=833
1.38 nbRestartNogoods=16 mapSize=212 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.351 cpuTime=0.29 mem=20M676
1.49
1.49 search
1.49 run=7 nbConstraintChecks=140189 nbValidityChecks=189740 nbPropagations=18888 nbRevisions=200050
1.49 nbUselessRevisions=160563 nbAssignments=904 nbFailedAssignments=207 nbBacktracks=503 nbVisitedNodes=1241
1.49 nbRestartNogoods=20 mapSize=354 nbInferences=0 nbTooLargeKeys=0
1.49 => wckTime=0.461 cpuTime=0.4 mem=20M676
1.70
1.70 search
1.70 run=8 nbConstraintChecks=248590 nbValidityChecks=333437 nbPropagations=28377 nbRevisions=322000
1.70 nbUselessRevisions=258853 nbAssignments=1351 nbFailedAssignments=371 nbBacktracks=762 nbVisitedNodes=1984
1.70 nbRestartNogoods=21 mapSize=593 nbInferences=0 nbTooLargeKeys=0
1.70 => wckTime=0.674 cpuTime=0.61 mem=20M676
1.98
1.98 search
1.98 run=9 nbConstraintChecks=383084 nbValidityChecks=516274 nbPropagations=42813 nbRevisions=512269
1.98 nbUselessRevisions=413017 nbAssignments=1983 nbFailedAssignments=593 nbBacktracks=1152 nbVisitedNodes=2996
1.98 nbRestartNogoods=26 mapSize=921 nbInferences=0 nbTooLargeKeys=0
1.98 => wckTime=0.955 cpuTime=0.87 mem=20M676
2.04
2.04 INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=20M676)
2.24
2.24 search
2.24 run=10 nbConstraintChecks=521382 nbValidityChecks=713355 nbPropagations=62514 nbRevisions=772843
2.24 nbUselessRevisions=623759 nbAssignments=2829 nbFailedAssignments=843 nbBacktracks=1728 nbVisitedNodes=4279
2.24 nbRestartNogoods=30
2.24 => wckTime=1.217 cpuTime=1.12 mem=20M676
2.70
2.70 search
2.70 run=11 nbConstraintChecks=779818 nbValidityChecks=1066038 nbPropagations=91834 nbRevisions=1166377
2.70 nbUselessRevisions=942730 nbAssignments=4100 nbFailedAssignments=1229 nbBacktracks=2592 nbVisitedNodes=6255
2.70 nbRestartNogoods=35
2.70 => wckTime=1.677 cpuTime=1.57 mem=20M676
3.46
3.46 search
3.46 run=12 nbConstraintChecks=1222189 nbValidityChecks=1654069 nbPropagations=137330 nbRevisions=1772698
3.46 nbUselessRevisions=1433166 nbAssignments=6136 nbFailedAssignments=1948 nbBacktracks=3889 nbVisitedNodes=9576
3.46 nbRestartNogoods=42
3.46 => wckTime=2.437 cpuTime=2.31 mem=20M676
4.26
4.26 search
4.26 run=13 nbConstraintChecks=1688850 nbValidityChecks=2296296 nbPropagations=199878 nbRevisions=2602887
4.26 nbUselessRevisions=2102465 nbAssignments=8824 nbFailedAssignments=2671 nbBacktracks=5837 nbVisitedNodes=13625
4.26 nbRestartNogoods=46
4.26 => wckTime=3.239 cpuTime=3.11 mem=20M676
5.66
5.66 search
5.66 run=14 nbConstraintChecks=2481725 nbValidityChecks=3426016 nbPropagations=292374 nbRevisions=3860491
5.66 nbUselessRevisions=3120580 nbAssignments=13102 nbFailedAssignments=4007 nbBacktracks=8758 nbVisitedNodes=20233
5.66 nbRestartNogoods=54
5.66 => wckTime=4.634 cpuTime=4.49 mem=20M676
8.32
8.32 search
8.32 run=15 nbConstraintChecks=4075104 nbValidityChecks=5542936 nbPropagations=440800 nbRevisions=5907519
8.32 nbUselessRevisions=4781150 nbAssignments=19860 nbFailedAssignments=6366 nbBacktracks=13136 nbVisitedNodes=31282
8.32 nbRestartNogoods=58
8.32 => wckTime=7.294 cpuTime=7.13 mem=20M676
11.10
11.10 search
11.10 run=16 nbConstraintChecks=5642709 nbValidityChecks=7818536 nbPropagations=649373 nbRevisions=8786274
11.10 nbUselessRevisions=7111224 nbAssignments=29231 nbFailedAssignments=9152 nbBacktracks=19704 nbVisitedNodes=45693
11.10 nbRestartNogoods=64
11.10 => wckTime=10.079 cpuTime=9.89 mem=20M676
15.64
15.64 search
15.64 run=17 nbConstraintChecks=8309441 nbValidityChecks=11375350 nbPropagations=957433 nbRevisions=12928867
15.64 nbUselessRevisions=10449614 nbAssignments=43246 nbFailedAssignments=13298 nbBacktracks=29556
15.64 nbVisitedNodes=67809 nbRestartNogoods=72
15.64 => wckTime=14.617 cpuTime=14.38 mem=20M676
21.80
21.80 search
21.80 run=18 nbConstraintChecks=11871184 nbValidityChecks=16352217 nbPropagations=1397757 nbRevisions=18845764
21.80 nbUselessRevisions=15205477 nbAssignments=63274 nbFailedAssignments=18511 nbBacktracks=44338
21.80 nbVisitedNodes=97846 nbRestartNogoods=78
21.80 => wckTime=20.779 cpuTime=20.48 mem=20M676
31.39
31.39 search
31.39 run=19 nbConstraintChecks=17339302 nbValidityChecks=24005928 nbPropagations=2043072 nbRevisions=27492233
31.39 nbUselessRevisions=22141450 nbAssignments=93553 nbFailedAssignments=26601 nbBacktracks=66506
31.39 nbVisitedNodes=144011 nbRestartNogoods=84
31.39 => wckTime=30.364 cpuTime=29.98 mem=20M676
50.73
50.73 search
50.73 run=20 nbConstraintChecks=28822307 nbValidityChecks=39502891 nbPropagations=3096542 nbRevisions=42001488
50.73 nbUselessRevisions=33858130 nbAssignments=143991 nbFailedAssignments=43765 nbBacktracks=99760
50.73 nbVisitedNodes=225724 nbRestartNogoods=94
50.73 => wckTime=49.706 cpuTime=49.15 mem=20M676
72.98
72.98 search
72.98 run=21 nbConstraintChecks=41741068 nbValidityChecks=57609351 nbPropagations=4636135 nbRevisions=63076121
72.98 nbUselessRevisions=50844865 nbAssignments=215756 nbFailedAssignments=65635 nbBacktracks=149639
72.98 nbVisitedNodes=337469 nbRestartNogoods=101
72.98 => wckTime=71.959 cpuTime=71.2 mem=20M676
115.10
115.11 search
115.11 run=22 nbConstraintChecks=66908238 nbValidityChecks=91218942 nbPropagations=7067060 nbRevisions=96516789
115.11 nbUselessRevisions=77829740 nbAssignments=328647 nbFailedAssignments=103688 nbBacktracks=224458
115.11 nbVisitedNodes=520763 nbRestartNogoods=110
115.11 => wckTime=114.08 cpuTime=112.94 mem=20M676
160.97
160.98 search
160.98 run=23 nbConstraintChecks=93771473 nbValidityChecks=129140935 nbPropagations=10516042 nbRevisions=143741587
160.98 nbUselessRevisions=115859137 nbAssignments=487528 nbFailedAssignments=150318 nbBacktracks=336685
160.98 nbVisitedNodes=761686 nbRestartNogoods=120
160.98 => wckTime=159.95 cpuTime=158.38 mem=20M676
232.02
232.02 search
232.02 run=24 nbConstraintChecks=134312687 nbValidityChecks=186027707 nbPropagations=15502191 nbRevisions=211237283
232.02 nbUselessRevisions=170073295 nbAssignments=715024 nbFailedAssignments=209378 nbBacktracks=505026
232.02 nbVisitedNodes=1104617 nbRestartNogoods=132
232.02 => wckTime=230.997 cpuTime=228.79 mem=21M651
336.47
336.47 search
336.47 run=25 nbConstraintChecks=194533466 nbValidityChecks=270767023 nbPropagations=22783817 nbRevisions=309096212
336.47 nbUselessRevisions=248522253 nbAssignments=1062685 nbFailedAssignments=304511 nbBacktracks=757538
336.47 nbVisitedNodes=1630321 nbRestartNogoods=139
336.47 => wckTime=335.446 cpuTime=332.29 mem=21M651
496.78
496.78 search
496.78 run=26 nbConstraintChecks=286016943 nbValidityChecks=399278426 nbPropagations=33564738 nbRevisions=453456123
496.78 nbUselessRevisions=364151060 nbAssignments=1579056 nbFailedAssignments=442097 nbBacktracks=1136305
496.78 nbVisitedNodes=2411084 nbRestartNogoods=152
496.78 => wckTime=495.757 cpuTime=491.14 mem=21M651
733.79
733.79 search
733.79 run=27 nbConstraintChecks=421513807 nbValidityChecks=589155371 nbPropagations=49530179 nbRevisions=665686329
733.79 nbUselessRevisions=533896128 nbAssignments=2351628 nbFailedAssignments=646494 nbBacktracks=1704456
733.79 nbVisitedNodes=3581697 nbRestartNogoods=161
733.79 => wckTime=732.762 cpuTime=725.99 mem=21M651
1209.70
1209.70 search
1209.70 run=28 nbConstraintChecks=710789643 nbValidityChecks=970151854 nbPropagations=75682469 nbRevisions=1017382597
1209.70 nbUselessRevisions=816180444 nbAssignments=3632901 nbFailedAssignments=1075487 nbBacktracks=2556686
1209.70 nbVisitedNodes=5679000 nbRestartNogoods=178
1209.70 => wckTime=1208.677 cpuTime=1197.58 mem=21M651
1778.93
1778.93 search
1778.93 run=29 nbConstraintChecks=1064133880 nbValidityChecks=1452104769 nbPropagations=114777282
1778.93 nbRevisions=1541966176 nbUselessRevisions=1237053736 nbAssignments=5473748 nbFailedAssignments=1637975
1778.93 nbBacktracks=3835028 nbVisitedNodes=8587948 nbRestartNogoods=193
1778.93 => wckTime=1777.908 cpuTime=1763.85 mem=21M651
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-209890-1168194789 -o ROOT/results/node24/solver-209890-1168194789 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/209890-1168194789/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: 1.95 2.00 1.99 4/86 23826
/proc/meminfo: memFree=1321704/2055920 swapFree=4192812/4192956
[pid=23825] ppid=23823 vsize=9748 CPUtime=0
/proc/23825/stat : 23825 (java) D 23823 23825 23720 0 -1 0 637 0 0 0 0 0 0 0 18 0 1 0 167874285 9981952 412 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 2605860 0 2147483391 0 7368 18446744072099855350 0 0 17 1 0 0
/proc/23825/statm: 2487 472 386 14 0 1142 0
[startup+0.103342 s]
/proc/loadavg: 1.95 2.00 1.99 4/86 23826
/proc/meminfo: memFree=1321704/2055920 swapFree=4192812/4192956
[pid=23825] ppid=23823 vsize=914988 CPUtime=0.08
/proc/23825/stat : 23825 (java) R 23823 23825 23720 0 -1 0 2987 0 1 0 7 1 0 0 17 0 8 0 167874285 936947712 2733 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23825/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511378 s]
/proc/loadavg: 1.95 2.00 1.99 4/86 23826
/proc/meminfo: memFree=1321704/2055920 swapFree=4192812/4192956
[pid=23825] ppid=23823 vsize=915328 CPUtime=0.48
/proc/23825/stat : 23825 (java) R 23823 23825 23720 0 -1 0 6590 0 1 0 45 3 0 0 18 0 8 0 167874285 937295872 6329 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072941832 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23825/statm: 228832 6329 2145 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33446 s]
/proc/loadavg: 1.95 2.00 1.99 3/93 23833
/proc/meminfo: memFree=1292336/2055920 swapFree=4192812/4192956
[pid=23825] ppid=23823 vsize=915580 CPUtime=1.29
/proc/23825/stat : 23825 (java) R 23823 23825 23720 0 -1 0 10140 0 1 0 118 11 0 0 24 0 8 0 167874285 937553920 9878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073913026 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23825/statm: 228895 9878 2543 14 0 215365 0
[pid=23825/tid=23827] ppid=23823 vsize=915580 CPUtime=0.03
/proc/23825/task/23827/stat : 23827 (java) S 23823 23825 23720 0 -1 64 274 0 0 0 3 0 0 0 16 0 8 0 167874289 937553920 9878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23828] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23828/stat : 23828 (java) S 23823 23825 23720 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167874290 937553920 9878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23829] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23829/stat : 23829 (java) S 23823 23825 23720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167874290 937553920 9878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23830] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23830/stat : 23830 (java) S 23823 23825 23720 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167874293 937553920 9878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23831] ppid=23823 vsize=915580 CPUtime=0.26
/proc/23825/task/23831/stat : 23831 (java) S 23823 23825 23720 0 -1 64 419 0 0 0 25 1 0 0 15 0 8 0 167874293 937553920 9878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23832] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23832/stat : 23832 (java) S 23823 23825 23720 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167874293 937553920 9878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23833] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23833/stat : 23833 (java) S 23823 23825 23720 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167874293 937553920 9878 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915580
[startup+2.98818 s]
/proc/loadavg: 1.95 2.00 1.99 3/93 23833
/proc/meminfo: memFree=1291888/2055920 swapFree=4192812/4192956
[pid=23825] ppid=23823 vsize=915580 CPUtime=2.93
/proc/23825/stat : 23825 (java) R 23823 23825 23720 0 -1 0 10214 0 1 0 281 12 0 0 25 0 8 0 167874285 937553920 9950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23825/statm: 228895 9950 2543 14 0 215365 0
[pid=23825/tid=23827] ppid=23823 vsize=915580 CPUtime=0.03
/proc/23825/task/23827/stat : 23827 (java) S 23823 23825 23720 0 -1 64 274 0 0 0 3 0 0 0 17 0 8 0 167874289 937553920 9950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23828] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23828/stat : 23828 (java) S 23823 23825 23720 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167874290 937553920 9950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23829] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23829/stat : 23829 (java) S 23823 23825 23720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167874290 937553920 9950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23830] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23830/stat : 23830 (java) S 23823 23825 23720 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167874293 937553920 9950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23831] ppid=23823 vsize=915580 CPUtime=0.3
/proc/23825/task/23831/stat : 23831 (java) S 23823 23825 23720 0 -1 64 438 0 0 0 29 1 0 0 15 0 8 0 167874293 937553920 9950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23832] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23832/stat : 23832 (java) S 23823 23825 23720 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167874293 937553920 9950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23833] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23833/stat : 23833 (java) S 23823 23825 23720 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167874293 937553920 9950 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915580
[startup+6.283 s]
/proc/loadavg: 1.95 2.00 1.99 3/93 23833
/proc/meminfo: memFree=1291760/2055920 swapFree=4192812/4192956
[pid=23825] ppid=23823 vsize=915580 CPUtime=6.2
/proc/23825/stat : 23825 (java) R 23823 23825 23720 0 -1 0 10222 0 1 0 608 12 0 0 25 0 8 0 167874285 937553920 9958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073914436 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23825/statm: 228895 9958 2543 14 0 215365 0
[pid=23825/tid=23827] ppid=23823 vsize=915580 CPUtime=0.03
/proc/23825/task/23827/stat : 23827 (java) S 23823 23825 23720 0 -1 64 274 0 0 0 3 0 0 0 16 0 8 0 167874289 937553920 9958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23828] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23828/stat : 23828 (java) S 23823 23825 23720 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167874290 937553920 9958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23829] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23829/stat : 23829 (java) S 23823 23825 23720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167874290 937553920 9958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23830] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23830/stat : 23830 (java) S 23823 23825 23720 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167874293 937553920 9958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23831] ppid=23823 vsize=915580 CPUtime=0.3
/proc/23825/task/23831/stat : 23831 (java) S 23823 23825 23720 0 -1 64 438 0 0 0 29 1 0 0 15 0 8 0 167874293 937553920 9958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23832] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23832/stat : 23832 (java) S 23823 23825 23720 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167874293 937553920 9958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23833] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23833/stat : 23833 (java) S 23823 23825 23720 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167874293 937553920 9958 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915580
[startup+12.7797 s]
/proc/loadavg: 1.96 2.00 1.99 3/93 23833
/proc/meminfo: memFree=1291760/2055920 swapFree=4192812/4192956
[pid=23825] ppid=23823 vsize=915580 CPUtime=12.64
/proc/23825/stat : 23825 (java) R 23823 23825 23720 0 -1 0 10228 0 1 0 1252 12 0 0 25 0 8 0 167874285 937553920 9964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23825/statm: 228895 9964 2543 14 0 215365 0
[pid=23825/tid=23827] ppid=23823 vsize=915580 CPUtime=0.03
/proc/23825/task/23827/stat : 23827 (java) S 23823 23825 23720 0 -1 64 274 0 0 0 3 0 0 0 16 0 8 0 167874289 937553920 9964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23828] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23828/stat : 23828 (java) S 23823 23825 23720 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167874290 937553920 9964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23829] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23829/stat : 23829 (java) S 23823 23825 23720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167874290 937553920 9964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23830] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23830/stat : 23830 (java) S 23823 23825 23720 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167874293 937553920 9964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23831] ppid=23823 vsize=915580 CPUtime=0.3
/proc/23825/task/23831/stat : 23831 (java) S 23823 23825 23720 0 -1 64 439 0 0 0 29 1 0 0 16 0 8 0 167874293 937553920 9964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23832] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23832/stat : 23832 (java) S 23823 23825 23720 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167874293 937553920 9964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23833] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23833/stat : 23833 (java) S 23823 23825 23720 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167874293 937553920 9964 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915580
[startup+25.6341 s]
/proc/loadavg: 1.97 2.00 1.99 3/93 23833
/proc/meminfo: memFree=1291760/2055920 swapFree=4192812/4192956
[pid=23825] ppid=23823 vsize=915580 CPUtime=25.37
/proc/23825/stat : 23825 (java) R 23823 23825 23720 0 -1 0 10233 0 1 0 2525 12 0 0 25 0 8 0 167874285 937553920 9969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073933879 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23825/statm: 228895 9969 2543 14 0 215365 0
[pid=23825/tid=23827] ppid=23823 vsize=915580 CPUtime=0.03
/proc/23825/task/23827/stat : 23827 (java) S 23823 23825 23720 0 -1 64 274 0 0 0 3 0 0 0 16 0 8 0 167874289 937553920 9969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23828] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23828/stat : 23828 (java) S 23823 23825 23720 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167874290 937553920 9969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23829] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23829/stat : 23829 (java) S 23823 23825 23720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167874290 937553920 9969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23830] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23830/stat : 23830 (java) S 23823 23825 23720 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167874293 937553920 9969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23831] ppid=23823 vsize=915580 CPUtime=0.3
/proc/23825/task/23831/stat : 23831 (java) S 23823 23825 23720 0 -1 64 439 0 0 0 29 1 0 0 16 0 8 0 167874293 937553920 9969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23832] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23832/stat : 23832 (java) S 23823 23825 23720 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167874293 937553920 9969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23833] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23833/stat : 23833 (java) S 23823 23825 23720 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167874293 937553920 9969 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915580
[startup+51.2618 s]
/proc/loadavg: 1.98 2.00 1.99 3/93 23833
/proc/meminfo: memFree=1291824/2055920 swapFree=4192812/4192956
[pid=23825] ppid=23823 vsize=915580 CPUtime=50.76
/proc/23825/stat : 23825 (java) R 23823 23825 23720 0 -1 0 10239 0 1 0 5064 12 0 0 25 0 8 0 167874285 937553920 9975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073911855 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23825/statm: 228895 9975 2543 14 0 215365 0
[pid=23825/tid=23827] ppid=23823 vsize=915580 CPUtime=0.03
/proc/23825/task/23827/stat : 23827 (java) S 23823 23825 23720 0 -1 64 274 0 0 0 3 0 0 0 16 0 8 0 167874289 937553920 9975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23828] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23828/stat : 23828 (java) S 23823 23825 23720 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167874290 937553920 9975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23829] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23829/stat : 23829 (java) S 23823 23825 23720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167874290 937553920 9975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23830] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23830/stat : 23830 (java) S 23823 23825 23720 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167874293 937553920 9975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23831] ppid=23823 vsize=915580 CPUtime=0.3
/proc/23825/task/23831/stat : 23831 (java) S 23823 23825 23720 0 -1 64 439 0 0 0 29 1 0 0 16 0 8 0 167874293 937553920 9975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23832] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23832/stat : 23832 (java) S 23823 23825 23720 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167874293 937553920 9975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23833] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23833/stat : 23833 (java) S 23823 23825 23720 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167874293 937553920 9975 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915580
[startup+102.509 s]
/proc/loadavg: 2.07 2.01 2.00 3/93 23833
/proc/meminfo: memFree=1291760/2055920 swapFree=4192812/4192956
[pid=23825] ppid=23823 vsize=915580 CPUtime=101.55
/proc/23825/stat : 23825 (java) R 23823 23825 23720 0 -1 0 10241 0 1 0 10142 13 0 0 25 0 8 0 167874285 937553920 9977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073914411 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23825/statm: 228895 9977 2543 14 0 215365 0
[pid=23825/tid=23827] ppid=23823 vsize=915580 CPUtime=0.03
/proc/23825/task/23827/stat : 23827 (java) S 23823 23825 23720 0 -1 64 274 0 0 0 3 0 0 0 16 0 8 0 167874289 937553920 9977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23828] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23828/stat : 23828 (java) S 23823 23825 23720 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167874290 937553920 9977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23829] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23829/stat : 23829 (java) S 23823 23825 23720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167874290 937553920 9977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23830] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23830/stat : 23830 (java) S 23823 23825 23720 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167874293 937553920 9977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23831] ppid=23823 vsize=915580 CPUtime=0.3
/proc/23825/task/23831/stat : 23831 (java) S 23823 23825 23720 0 -1 64 439 0 0 0 29 1 0 0 16 0 8 0 167874293 937553920 9977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23832] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23832/stat : 23832 (java) S 23823 23825 23720 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167874293 937553920 9977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23833] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23833/stat : 23833 (java) S 23823 23825 23720 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167874293 937553920 9977 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 915580
[startup+162.513 s]
/proc/loadavg: 2.02 2.01 2.00 3/93 23833
/proc/meminfo: memFree=1291696/2055920 swapFree=4192812/4192956
[pid=23825] ppid=23823 vsize=915580 CPUtime=161
/proc/23825/stat : 23825 (java) R 23823 23825 23720 0 -1 0 10249 0 1 0 16087 13 0 0 25 0 8 0 167874285 937553920 9984 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073992571 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1410.74
Current children cumulated vsize (KiB) 915580
[startup+1483.75 s]
/proc/loadavg: 2.01 2.01 2.00 3/104 23887
/proc/meminfo: memFree=1275664/2055920 swapFree=4192812/4192956
[pid=23825] ppid=23823 vsize=915580 CPUtime=1470.75
/proc/23825/stat : 23825 (java) R 23823 23825 23720 0 -1 0 10265 0 1 0 147051 24 0 0 25 0 8 0 167874285 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073845968 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23825/statm: 228895 9999 2543 14 0 215365 0
[pid=23825/tid=23827] ppid=23823 vsize=915580 CPUtime=0.03
/proc/23825/task/23827/stat : 23827 (java) S 23823 23825 23720 0 -1 64 274 0 0 0 3 0 0 0 16 0 8 0 167874289 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23828] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23828/stat : 23828 (java) S 23823 23825 23720 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167874290 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23829] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23829/stat : 23829 (java) S 23823 23825 23720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167874290 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23830] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23830/stat : 23830 (java) S 23823 23825 23720 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167874293 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23831] ppid=23823 vsize=915580 CPUtime=0.31
/proc/23825/task/23831/stat : 23831 (java) S 23823 23825 23720 0 -1 64 441 0 0 0 30 1 0 0 16 0 8 0 167874293 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23832] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23832/stat : 23832 (java) S 23823 23825 23720 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167874293 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23833] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23833/stat : 23833 (java) S 23823 23825 23720 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167874293 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1470.75
Current children cumulated vsize (KiB) 915580
[startup+1543.76 s]
/proc/loadavg: 2.00 2.00 2.00 3/104 23887
/proc/meminfo: memFree=1275344/2055920 swapFree=4192812/4192956
[pid=23825] ppid=23823 vsize=915580 CPUtime=1530.69
/proc/23825/stat : 23825 (java) R 23823 23825 23720 0 -1 0 10265 0 1 0 153045 24 0 0 25 0 8 0 167874285 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073927967 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23825/statm: 228895 9999 2543 14 0 215365 0
[pid=23825/tid=23827] ppid=23823 vsize=915580 CPUtime=0.03
/proc/23825/task/23827/stat : 23827 (java) S 23823 23825 23720 0 -1 64 274 0 0 0 3 0 0 0 16 0 8 0 167874289 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23828] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23828/stat : 23828 (java) S 23823 23825 23720 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167874290 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23829] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23829/stat : 23829 (java) S 23823 23825 23720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167874290 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23830] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23830/stat : 23830 (java) S 23823 23825 23720 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167874293 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23831] ppid=23823 vsize=915580 CPUtime=0.31
/proc/23825/task/23831/stat : 23831 (java) S 23823 23825 23720 0 -1 64 441 0 0 0 30 1 0 0 16 0 8 0 167874293 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23832] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23832/stat : 23832 (java) S 23823 23825 23720 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167874293 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23833] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23833/stat : 23833 (java) S 23823 23825 23720 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167874293 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1530.69
Current children cumulated vsize (KiB) 915580
[startup+1603.79 s]
/proc/loadavg: 2.00 2.00 2.00 2/88 23901
/proc/meminfo: memFree=1358864/2055920 swapFree=4192812/4192956
[pid=23825] ppid=23823 vsize=915580 CPUtime=1590.66
/proc/23825/stat : 23825 (java) R 23823 23825 23720 0 -1 0 10265 0 1 0 159041 25 0 0 25 0 8 0 167874285 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23825/statm: 228895 9999 2543 14 0 215365 0
[pid=23825/tid=23827] ppid=23823 vsize=915580 CPUtime=0.03
/proc/23825/task/23827/stat : 23827 (java) S 23823 23825 23720 0 -1 64 274 0 0 0 3 0 0 0 16 0 8 0 167874289 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23828] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23828/stat : 23828 (java) S 23823 23825 23720 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167874290 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23829] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23829/stat : 23829 (java) S 23823 23825 23720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167874290 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23830] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23830/stat : 23830 (java) S 23823 23825 23720 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167874293 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23831] ppid=23823 vsize=915580 CPUtime=0.31
/proc/23825/task/23831/stat : 23831 (java) S 23823 23825 23720 0 -1 64 441 0 0 0 30 1 0 0 16 0 8 0 167874293 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23832] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23832/stat : 23832 (java) S 23823 23825 23720 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167874293 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23833] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23833/stat : 23833 (java) S 23823 23825 23720 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167874293 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1590.66
Current children cumulated vsize (KiB) 915580
[startup+1663.84 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 24116
/proc/meminfo: memFree=1353320/2055920 swapFree=4192812/4192956
[pid=23825] ppid=23823 vsize=915580 CPUtime=1650.54
/proc/23825/stat : 23825 (java) R 23823 23825 23720 0 -1 0 10265 0 1 0 165028 26 0 0 25 0 8 0 167874285 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336163 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23825/statm: 228895 9999 2543 14 0 215365 0
[pid=23825/tid=23827] ppid=23823 vsize=915580 CPUtime=0.03
/proc/23825/task/23827/stat : 23827 (java) S 23823 23825 23720 0 -1 64 274 0 0 0 3 0 0 0 16 0 8 0 167874289 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23828] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23828/stat : 23828 (java) S 23823 23825 23720 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167874290 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23829] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23829/stat : 23829 (java) S 23823 23825 23720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167874290 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23830] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23830/stat : 23830 (java) S 23823 23825 23720 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167874293 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23831] ppid=23823 vsize=915580 CPUtime=0.31
/proc/23825/task/23831/stat : 23831 (java) S 23823 23825 23720 0 -1 64 441 0 0 0 30 1 0 0 16 0 8 0 167874293 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23832] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23832/stat : 23832 (java) S 23823 23825 23720 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167874293 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23833] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23833/stat : 23833 (java) S 23823 23825 23720 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167874293 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1650.54
Current children cumulated vsize (KiB) 915580
[startup+1723.93 s]
/proc/loadavg: 2.00 2.00 2.00 3/99 24262
/proc/meminfo: memFree=1352160/2055920 swapFree=4192812/4192956
[pid=23825] ppid=23823 vsize=915580 CPUtime=1710.22
/proc/23825/stat : 23825 (java) R 23823 23825 23720 0 -1 0 10265 0 1 0 170986 36 0 0 25 0 8 0 167874285 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073911817 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23825/statm: 228895 9999 2543 14 0 215365 0
[pid=23825/tid=23827] ppid=23823 vsize=915580 CPUtime=0.03
/proc/23825/task/23827/stat : 23827 (java) S 23823 23825 23720 0 -1 64 274 0 0 0 3 0 0 0 16 0 8 0 167874289 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23828] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23828/stat : 23828 (java) S 23823 23825 23720 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167874290 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23829] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23829/stat : 23829 (java) S 23823 23825 23720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167874290 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23830] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23830/stat : 23830 (java) S 23823 23825 23720 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167874293 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23831] ppid=23823 vsize=915580 CPUtime=0.31
/proc/23825/task/23831/stat : 23831 (java) S 23823 23825 23720 0 -1 64 441 0 0 0 30 1 0 0 16 0 8 0 167874293 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23832] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23832/stat : 23832 (java) S 23823 23825 23720 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167874293 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23833] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23833/stat : 23833 (java) S 23823 23825 23720 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167874293 937553920 9999 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1710.22
Current children cumulated vsize (KiB) 915580
[startup+1784.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 24314
/proc/meminfo: memFree=1353064/2055920 swapFree=4192812/4192956
[pid=23825] ppid=23823 vsize=915580 CPUtime=1770
/proc/23825/stat : 23825 (java) R 23823 23825 23720 0 -1 0 10268 0 1 0 176959 41 0 0 25 0 8 0 167874285 937553920 10002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073930835 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23825/statm: 228895 10002 2543 14 0 215365 0
[pid=23825/tid=23827] ppid=23823 vsize=915580 CPUtime=0.03
/proc/23825/task/23827/stat : 23827 (java) S 23823 23825 23720 0 -1 64 274 0 0 0 3 0 0 0 16 0 8 0 167874289 937553920 10002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23828] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23828/stat : 23828 (java) S 23823 23825 23720 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167874290 937553920 10002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23829] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23829/stat : 23829 (java) S 23823 23825 23720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167874290 937553920 10002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23830] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23830/stat : 23830 (java) S 23823 23825 23720 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167874293 937553920 10002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23831] ppid=23823 vsize=915580 CPUtime=0.31
/proc/23825/task/23831/stat : 23831 (java) S 23823 23825 23720 0 -1 64 441 0 0 0 30 1 0 0 16 0 8 0 167874293 937553920 10002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23825/tid=23832] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23832/stat : 23832 (java) S 23823 23825 23720 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167874293 937553920 10002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23833] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23833/stat : 23833 (java) S 23823 23825 23720 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167874293 937553920 10002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1770
Current children cumulated vsize (KiB) 915580
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.23 s]
/proc/loadavg: 2.00 2.00 2.00 3/93 24314
/proc/meminfo: memFree=1353064/2055920 swapFree=4192812/4192956
[pid=23825] ppid=23823 vsize=915580 CPUtime=1800.08
/proc/23825/stat : 23825 (java) R 23823 23825 23720 0 -1 0 10268 0 1 0 179967 41 0 0 25 0 8 0 167874285 937553920 10002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073957208 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/23825/statm: 228895 10002 2543 14 0 215365 0
[pid=23825/tid=23827] ppid=23823 vsize=915580 CPUtime=0.03
/proc/23825/task/23827/stat : 23827 (java) S 23823 23825 23720 0 -1 64 274 0 0 0 3 0 0 0 16 0 8 0 167874289 937553920 10002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23828] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23828/stat : 23828 (java) S 23823 23825 23720 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 167874290 937553920 10002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23829] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23829/stat : 23829 (java) S 23823 23825 23720 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 167874290 937553920 10002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23830] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23830/stat : 23830 (java) S 23823 23825 23720 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 167874293 937553920 10002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23831] ppid=23823 vsize=915580 CPUtime=0.31
/proc/23825/task/23831/stat : 23831 (java) S 23823 23825 23720 0 -1 64 441 0 0 0 30 1 0 0 16 0 8 0 167874293 937553920 10002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=23825/tid=23832] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23832/stat : 23832 (java) S 23823 23825 23720 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 167874293 937553920 10002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23825/tid=23833] ppid=23823 vsize=915580 CPUtime=0
/proc/23825/task/23833/stat : 23833 (java) S 23823 23825 23720 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167874293 937553920 10002 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915580
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1814.28
CPU time (s): 1800.12
CPU user time (s): 1799.7
CPU system time (s): 0.418936
CPU usage (%): 99.2199
Max. virtual memory (cumulated for all children) (KiB): 915580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.7
system time used= 0.418936
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10288
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= 38034
involuntary context switches= 69282
runsolver used 2.40763 s user time and 5.66014 s system time
The end
Begin job on node24 on Sun Jan 7 18:33:10 UTC 2007
IDJOB= 209890
IDBENCH= 4578
FILE ID= node24/209890-1168194789
PBS_JOBID= 3479458
Free space on /tmp= 66468 MiB
BENCH NAME= HOME/pub/bench/CPAI06/schurrLemma/lemma-66-4.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/209890-1168194789/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-209890-1168194789 -o ROOT/results/node24/solver-209890-1168194789 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/209890-1168194789/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 3adc5d451750a5abf76d8b7099df28ec
RANDOM SEED= 290089670
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.234
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.234
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: 1322120 kB
Buffers: 59852 kB
Cached: 485848 kB
SwapCached: 0 kB
Active: 323216 kB
Inactive: 341044 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1322120 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1816 kB
Writeback: 0 kB
Mapped: 140988 kB
Slab: 53896 kB
Committed_AS: 3580208 kB
PageTables: 2552 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= 66471 MiB
End job on node24 on Sun Jan 7 19:03:27 UTC 2007