0.34
0.34 Abscon 109 (November, 2006)
0.34
0.34 configuration
0.34 name=esac.xml
0.40
0.40 instance
0.40 name=/tmp/evaluation/237676-1168350048/unknown.xml
0.43
0.43 domains being loaded...
0.44
0.44 variables being loaded...
0.56 nbVariables=841 nbDomainTypes=1 minDomainSize=29 maxDomainSize=29
0.57 => wckTime=0.225 cpuTime=0.15 mem=8M838
0.57
0.57 predicates being loaded...
0.57
0.57 constraints being loaded...
2.16 nbConstraints=11802 nbConvertedConstraints=11802 nbConvertConstraintsChecks=3364 nbExtensionStructures=4
2.16 nbSharedExtensionStructures=11798 nbConflictsStructures=4 nbSharedConflictsStructures=11798
2.16 nbSharedBinaryRepresentations=173 maxDegree=29 maxArity=2
2.16 => wckTime=1.82 cpuTime=1.56 mem=28M787
2.29
2.29 solver IterativeSystematicSolver being built...
2.52 => wckTime=2.179 cpuTime=1.76 mem=24M444
2.97
2.97 preprocessing
2.97 nbConstraintChecks=344950 nbPropagations=17792 nbRevisions=18203 nbUselessRevisions=1993 nbSingletonTests=1026
2.97 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
2.97 => wckTime=0.438 cpuTime=0.41 mem=24M444
3.08
3.08 search
3.08 run=0 nbConstraintChecks=47431 nbPropagations=19908 nbRevisions=20365 nbUselessRevisions=2074 nbAssignments=99
3.08 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=120 nbRestartNogoods=0 mapSize=10 nbInferences=0
3.08 nbTooLargeKeys=0
3.08 => wckTime=0.557 cpuTime=0.51 mem=25M439
3.14
3.14 search
3.14 run=1 nbConstraintChecks=94674 nbPropagations=41976 nbRevisions=42930 nbUselessRevisions=4220
3.14 nbAssignments=208 nbFailedAssignments=24 nbBacktracks=25 nbVisitedNodes=257 nbRestartNogoods=4 mapSize=25
3.14 nbInferences=0 nbTooLargeKeys=0
3.14 => wckTime=0.617 cpuTime=0.57 mem=25M439
3.21
3.21 search
3.21 run=2 nbConstraintChecks=142137 nbPropagations=66269 nbRevisions=67771 nbUselessRevisions=6445
3.21 nbAssignments=330 nbFailedAssignments=44 nbBacktracks=47 nbVisitedNodes=419 nbRestartNogoods=7 mapSize=47
3.21 nbInferences=0 nbTooLargeKeys=0
3.21 => wckTime=0.686 cpuTime=0.63 mem=26M433
3.28
3.28 search
3.28 run=3 nbConstraintChecks=189898 nbPropagations=92869 nbRevisions=94968 nbUselessRevisions=8749
3.28 nbAssignments=471 nbFailedAssignments=71 nbBacktracks=80 nbVisitedNodes=615 nbRestartNogoods=12 mapSize=80
3.28 nbInferences=1 nbTooLargeKeys=0
3.28 => wckTime=0.756 cpuTime=0.7 mem=26M433
3.36
3.36 search
3.36 run=4 nbConstraintChecks=238056 nbPropagations=121902 nbRevisions=124645 nbUselessRevisions=11133
3.36 nbAssignments=640 nbFailedAssignments=108 nbBacktracks=131 nbVisitedNodes=861 nbRestartNogoods=16 mapSize=129
3.36 nbInferences=4 nbTooLargeKeys=0
3.36 => wckTime=0.839 cpuTime=0.78 mem=26M433
3.47
3.47 search
3.47 run=5 nbConstraintChecks=286883 nbPropagations=153605 nbRevisions=157013 nbUselessRevisions=13598
3.47 nbAssignments=860 nbFailedAssignments=157 nbBacktracks=208 nbVisitedNodes=1196 nbRestartNogoods=21 mapSize=204
3.47 nbInferences=21 nbTooLargeKeys=0
3.47 => wckTime=0.944 cpuTime=0.87 mem=27M428
3.59
3.59 search
3.59 run=6 nbConstraintChecks=336540 nbPropagations=188293 nbRevisions=192377 nbUselessRevisions=16146
3.59 nbAssignments=1148 nbFailedAssignments=231 nbBacktracks=321 nbVisitedNodes=1654 nbRestartNogoods=23
3.59 mapSize=316 nbInferences=43 nbTooLargeKeys=0
3.59 => wckTime=1.06 cpuTime=0.99 mem=28M423
3.75
3.75 search
3.75 run=7 nbConstraintChecks=387545 nbPropagations=226471 nbRevisions=231205 nbUselessRevisions=18780
3.75 nbAssignments=1546 nbFailedAssignments=338 nbBacktracks=491 nbVisitedNodes=2308 nbRestartNogoods=30
3.75 mapSize=486 nbInferences=85 nbTooLargeKeys=0
3.75 => wckTime=1.231 cpuTime=1.14 mem=29M417
3.96
3.96 search
3.96 run=8 nbConstraintChecks=440647 nbPropagations=268922 nbRevisions=274203 nbUselessRevisions=21504
3.96 nbAssignments=2114 nbFailedAssignments=489 nbBacktracks=747 nbVisitedNodes=3261 nbRestartNogoods=38
3.96 mapSize=742 nbInferences=168 nbTooLargeKeys=0
3.96 => wckTime=1.437 cpuTime=1.34 mem=31M407
4.25
4.25 search
4.25 run=9 nbConstraintChecks=497226 nbPropagations=316929 nbRevisions=322508 nbUselessRevisions=24319
4.25 nbAssignments=2951 nbFailedAssignments=707 nbBacktracks=1131 nbVisitedNodes=4690 nbRestartNogoods=45
4.25 mapSize=1126 nbInferences=324 nbTooLargeKeys=0
4.25 => wckTime=1.728 cpuTime=1.63 mem=33M396
4.56
4.56 search
4.56 run=10 nbConstraintChecks=563194 nbPropagations=371303 nbRevisions=377400 nbUselessRevisions=27390
4.56 nbAssignments=3964 nbFailedAssignments=1084 nbBacktracks=1707 nbVisitedNodes=6491 nbRestartNogoods=50
4.56 mapSize=1668 nbInferences=358 nbTooLargeKeys=0
4.56 => wckTime=2.036 cpuTime=1.92 mem=35M385
5.06
5.06 search
5.06 run=11 nbConstraintChecks=665313 nbPropagations=437254 nbRevisions=443244 nbUselessRevisions=30966
5.06 nbAssignments=5869 nbFailedAssignments=1503 nbBacktracks=2571 nbVisitedNodes=9778 nbRestartNogoods=57
5.06 mapSize=2496 nbInferences=929 nbTooLargeKeys=0
5.06 => wckTime=2.54 cpuTime=2.43 mem=36M380
5.89
5.89 search
5.89 run=12 nbConstraintChecks=838040 nbPropagations=521760 nbRevisions=526568 nbUselessRevisions=35148
5.89 nbAssignments=8801 nbFailedAssignments=2144 nbBacktracks=3869 nbVisitedNodes=14781 nbRestartNogoods=68
5.89 mapSize=3754 nbInferences=1768 nbTooLargeKeys=0
5.89 => wckTime=3.365 cpuTime=3.24 mem=40M359
7.18
7.18 search
7.18 run=13 nbConstraintChecks=1029949 nbPropagations=632196 nbRevisions=633737 nbUselessRevisions=40062
7.18 nbAssignments=13258 nbFailedAssignments=3069 nbBacktracks=5816 nbVisitedNodes=22462 nbRestartNogoods=78
7.18 mapSize=5663 nbInferences=3196 nbTooLargeKeys=0
7.18 => wckTime=4.655 cpuTime=4.52 mem=48M316
10.07
10.07 search
10.07 run=14 nbConstraintChecks=1350616 nbPropagations=792004 nbRevisions=783152 nbUselessRevisions=46002
10.07 nbAssignments=21462 nbFailedAssignments=4060 nbBacktracks=8735 nbVisitedNodes=36514 nbRestartNogoods=91
10.07 mapSize=8548 nbInferences=7225 nbTooLargeKeys=0
10.07 => wckTime=7.546 cpuTime=7.34 mem=51M45
14.76
14.76 search
14.76 run=15 nbConstraintChecks=1813748 nbPropagations=1031256 nbRevisions=999189 nbUselessRevisions=53558
14.76 nbAssignments=34626 nbFailedAssignments=5372 nbBacktracks=13114 nbVisitedNodes=59259 nbRestartNogoods=102
14.76 mapSize=12887 nbInferences=14388 nbTooLargeKeys=0
14.76 => wckTime=12.24 cpuTime=11.91 mem=72M187
20.69
20.69 search
20.70 run=16 nbConstraintChecks=2479920 nbPropagations=1377943 nbRevisions=1308203 nbUselessRevisions=63154
20.70 nbAssignments=52590 nbFailedAssignments=7955 nbBacktracks=19682 nbVisitedNodes=90038 nbRestartNogoods=121
20.70 mapSize=19426 nbInferences=22554 nbTooLargeKeys=0
20.70 => wckTime=18.172 cpuTime=17.7 mem=101M223
32.19
32.19 search
32.19 run=17 nbConstraintChecks=3561027 nbPropagations=1925194 nbRevisions=1782495 nbUselessRevisions=76844
32.19 nbAssignments=85356 nbFailedAssignments=10372 nbBacktracks=29535 nbVisitedNodes=146738 nbRestartNogoods=141
32.19 mapSize=29208 nbInferences=42287 nbTooLargeKeys=0
32.19 => wckTime=29.666 cpuTime=28.89 mem=129M993
49.25
49.25 search
49.25 run=18 nbConstraintChecks=4874852 nbPropagations=2757501 nbRevisions=2487684 nbUselessRevisions=94733
49.25 nbAssignments=133711 nbFailedAssignments=13956 nbBacktracks=44314 nbVisitedNodes=231080 nbRestartNogoods=155
49.25 mapSize=43920 nbInferences=71628 nbTooLargeKeys=0
49.25 => wckTime=46.731 cpuTime=45.52 mem=185M817
77.23
77.23 search
77.23 run=19 nbConstraintChecks=7007912 nbPropagations=4082001 nbRevisions=3588501 nbUselessRevisions=121559
77.23 nbAssignments=213956 nbFailedAssignments=18261 nbBacktracks=66483 nbVisitedNodes=372762 nbRestartNogoods=178
77.23 mapSize=66016 nbInferences=124850 nbTooLargeKeys=0
77.23 => wckTime=74.711 cpuTime=72.85 mem=288M699
122.12
122.12 search
122.12 run=20 nbConstraintChecks=10737168 nbPropagations=6214712 nbRevisions=5335151 nbUselessRevisions=161011
122.12 nbAssignments=341753 nbFailedAssignments=23581 nbBacktracks=99735 nbVisitedNodes=597481 nbRestartNogoods=199
122.12 mapSize=99191 nbInferences=212527 nbTooLargeKeys=0
122.12 => wckTime=119.595 cpuTime=116.71 mem=432M692
167.90
167.90 search
167.90 run=21 nbConstraintChecks=18133156 nbPropagations=9385542 nbRevisions=7991501 nbUselessRevisions=253074
167.90 nbAssignments=500121 nbFailedAssignments=37615 nbBacktracks=149613 nbVisitedNodes=875798 nbRestartNogoods=227
167.90 mapSize=148930 nbInferences=305713 nbTooLargeKeys=0
167.90 => wckTime=165.376 cpuTime=161.77 mem=525M928
183.84
183.84 INFO : Stopping hyperNogood (mapSize=163606, nbTooLargekeys=0, mem=600M134)
199.96
199.96 search
199.97 run=22 nbConstraintChecks=20933837 nbPropagations=13309523 nbRevisions=11420040 nbUselessRevisions=422915
199.97 nbAssignments=650880 nbFailedAssignments=82682 nbBacktracks=224431 nbVisitedNodes=1145075 nbRestartNogoods=250
199.97 => wckTime=197.442 cpuTime=193.52 mem=600M134
230.56
230.56 search
230.56 run=23 nbConstraintChecks=25524842 nbPropagations=18128528 nbRevisions=15808330 nbUselessRevisions=602850
230.56 nbAssignments=841665 nbFailedAssignments=160459 nbBacktracks=336658 nbVisitedNodes=1490561 nbRestartNogoods=279
230.56 => wckTime=228.033 cpuTime=223.97 mem=600M134
274.73
274.73 search
274.73 run=24 nbConstraintChecks=29904959 nbPropagations=24263866 nbRevisions=21540497 nbUselessRevisions=809163
274.73 nbAssignments=1127790 nbFailedAssignments=276881 nbBacktracks=504999 nbVisitedNodes=2008362
274.73 nbRestartNogoods=301
274.73 => wckTime=272.209 cpuTime=267.93 mem=600M134
340.39
340.39 search
340.39 run=25 nbConstraintChecks=35549264 nbPropagations=32331270 nbRevisions=29215427 nbUselessRevisions=1025034
340.39 nbAssignments=1554277 nbFailedAssignments=449900 nbBacktracks=757510 nbVisitedNodes=2780125
340.39 nbRestartNogoods=334
340.39 => wckTime=337.872 cpuTime=333.29 mem=600M134
434.25
434.25 search
434.25 run=26 nbConstraintChecks=43390718 nbPropagations=43275976 nbRevisions=39774599 nbUselessRevisions=1246825
434.25 nbAssignments=2194189 nbFailedAssignments=710372 nbBacktracks=1136277 nbVisitedNodes=3940494
434.25 nbRestartNogoods=367
434.25 => wckTime=431.731 cpuTime=426.62 mem=600M134
571.84
571.84 search
571.84 run=27 nbConstraintChecks=59839716 nbPropagations=58627547 nbRevisions=54892624 nbUselessRevisions=1494100
571.84 nbAssignments=3156714 nbFailedAssignments=1103751 nbBacktracks=1704428 nbVisitedNodes=5688378
571.84 nbRestartNogoods=398
571.84 => wckTime=569.313 cpuTime=563.5 mem=600M134
772.82
772.82 search
772.82 run=28 nbConstraintChecks=77326796 nbPropagations=80464946 nbRevisions=76514413 nbUselessRevisions=1756180
772.82 nbAssignments=4599964 nbFailedAssignments=1693768 nbBacktracks=2556655 nbVisitedNodes=8310830
772.82 nbRestartNogoods=428
772.82 => wckTime=770.299 cpuTime=763.47 mem=600M134
1072.15
1072.15 search
1072.15 run=29 nbConstraintChecks=103342248 nbPropagations=112010797 nbRevisions=107886736 nbUselessRevisions=2031719
1072.15 nbAssignments=6765641 nbFailedAssignments=2580157 nbBacktracks=3834995 nbVisitedNodes=12248431
1072.15 nbRestartNogoods=466
1072.15 => wckTime=1069.628 cpuTime=1061.25 mem=600M134
1500.69
1500.69 search
1500.69 run=30 nbConstraintChecks=141374397 nbPropagations=158107711 nbRevisions=153844234 nbUselessRevisions=2333362
1500.69 nbAssignments=10012976 nbFailedAssignments=3907996 nbBacktracks=5752505 nbVisitedNodes=18149547
1500.69 nbRestartNogoods=517
1500.69 => wckTime=1498.171 cpuTime=1487.43 mem=600M134
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node23/watcher-237676-1168350048 -o ROOT/results/node23/solver-237676-1168350048 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237676-1168350048/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.22 2.08 2.02 4/98 3057
/proc/meminfo: memFree=1309344/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=11820 CPUtime=0
/proc/3056/stat : 3056 (java) D 3054 3056 2866 0 -1 0 760 0 1 0 0 0 0 0 16 0 1 0 183399133 12103680 510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 2495268 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/3056/statm: 2955 510 421 14 0 1602 0
[startup+0.10323 s]
/proc/loadavg: 2.22 2.08 2.02 4/98 3057
/proc/meminfo: memFree=1309344/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=914988 CPUtime=0.09
/proc/3056/stat : 3056 (java) R 3054 3056 2866 0 -1 0 2966 0 1 0 7 2 0 0 17 0 8 0 183399133 936947712 2712 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4154038064 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3056/statm: 228747 2712 1418 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511308 s]
/proc/loadavg: 2.22 2.08 2.02 4/98 3057
/proc/meminfo: memFree=1309344/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=915328 CPUtime=0.44
/proc/3056/stat : 3056 (java) R 3054 3056 2866 0 -1 0 6180 0 10 0 40 4 0 0 18 0 8 0 183399133 937295872 5928 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155769995 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3056/statm: 228832 5928 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 915328
[startup+1.33347 s]
/proc/loadavg: 2.22 2.08 2.02 4/105 3064
/proc/meminfo: memFree=1246632/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=915628 CPUtime=1.26
/proc/3056/stat : 3056 (java) R 3054 3056 2866 0 -1 0 17817 0 10 0 109 17 0 0 24 0 8 0 183399133 937603072 17563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073637920 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3056/statm: 228907 17563 2180 14 0 215377 0
[pid=3056/tid=3058] ppid=3054 vsize=915628 CPUtime=0.05
/proc/3056/task/3058/stat : 3058 (java) S 3054 3056 2866 0 -1 64 1215 0 0 0 5 0 0 0 16 0 8 0 183399137 937603072 17563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3059] ppid=3054 vsize=915628 CPUtime=0
/proc/3056/task/3059/stat : 3059 (java) S 3054 3056 2866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183399137 937603072 17563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3060] ppid=3054 vsize=915628 CPUtime=0
/proc/3056/task/3060/stat : 3060 (java) S 3054 3056 2866 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183399137 937603072 17563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3061] ppid=3054 vsize=915628 CPUtime=0
/proc/3056/task/3061/stat : 3061 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183399141 937603072 17563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3062] ppid=3054 vsize=915628 CPUtime=0.17
/proc/3056/task/3062/stat : 3062 (java) S 3054 3056 2866 0 -1 64 418 0 0 0 17 0 0 0 15 0 8 0 183399141 937603072 17563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3063] ppid=3054 vsize=915628 CPUtime=0
/proc/3056/task/3063/stat : 3063 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183399141 937603072 17563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3064] ppid=3054 vsize=915628 CPUtime=0
/proc/3056/task/3064/stat : 3064 (java) R 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183399141 937603072 17563 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915628
[startup+2.98279 s]
/proc/loadavg: 2.20 2.08 2.02 4/105 3064
/proc/meminfo: memFree=1245032/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=915732 CPUtime=2.9
/proc/3056/stat : 3056 (java) R 3054 3056 2866 0 -1 0 20039 0 10 0 228 62 0 0 25 0 8 0 183399133 937709568 19783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074050737 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3056/statm: 228933 19783 2544 14 0 215403 0
[pid=3056/tid=3058] ppid=3054 vsize=915732 CPUtime=0.16
/proc/3056/task/3058/stat : 3058 (java) S 3054 3056 2866 0 -1 64 2942 0 0 0 15 1 0 0 17 0 8 0 183399137 937709568 19783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3059] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3059/stat : 3059 (java) S 3054 3056 2866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 19783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3060] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3060/stat : 3060 (java) S 3054 3056 2866 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 19783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3061] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3061/stat : 3061 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183399141 937709568 19783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3062] ppid=3054 vsize=915732 CPUtime=0.27
/proc/3056/task/3062/stat : 3062 (java) S 3054 3056 2866 0 -1 64 476 0 0 0 26 1 0 0 15 0 8 0 183399141 937709568 19783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3063] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3063/stat : 3063 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183399141 937709568 19783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3064] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3064/stat : 3064 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183399141 937709568 19783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915732
[startup+6.27142 s]
/proc/loadavg: 2.20 2.08 2.02 3/105 3064
/proc/meminfo: memFree=1237544/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=915732 CPUtime=6.15
/proc/3056/stat : 3056 (java) R 3054 3056 2866 0 -1 0 20068 0 10 0 552 63 0 0 25 0 8 0 183399133 937709568 19809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074057531 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3056/statm: 228933 19809 2545 14 0 215403 0
[pid=3056/tid=3058] ppid=3054 vsize=915732 CPUtime=0.16
/proc/3056/task/3058/stat : 3058 (java) S 3054 3056 2866 0 -1 64 2942 0 0 0 15 1 0 0 17 0 8 0 183399137 937709568 19809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3059] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3059/stat : 3059 (java) S 3054 3056 2866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 19809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3060] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3060/stat : 3060 (java) S 3054 3056 2866 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 19809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3061] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3061/stat : 3061 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183399141 937709568 19809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3062] ppid=3054 vsize=915732 CPUtime=0.33
/proc/3056/task/3062/stat : 3062 (java) S 3054 3056 2866 0 -1 64 499 0 0 0 32 1 0 0 15 0 8 0 183399141 937709568 19809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3063] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3063/stat : 3063 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183399141 937709568 19809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3064] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3064/stat : 3064 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183399141 937709568 19809 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915732
[startup+12.7704 s]
/proc/loadavg: 2.17 2.08 2.01 3/105 3064
/proc/meminfo: memFree=1217896/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=915732 CPUtime=12.57
/proc/3056/stat : 3056 (java) R 3054 3056 2866 0 -1 0 29942 0 10 0 1190 67 0 0 25 0 8 0 183399133 937709568 29680 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074057578 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3056/statm: 228933 29680 2545 14 0 215403 0
[pid=3056/tid=3058] ppid=3054 vsize=915732 CPUtime=0.26
/proc/3056/task/3058/stat : 3058 (java) S 3054 3056 2866 0 -1 64 12812 0 0 0 21 5 0 0 16 0 8 0 183399137 937709568 29680 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3059] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3059/stat : 3059 (java) S 3054 3056 2866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 29680 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3060] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3060/stat : 3060 (java) S 3054 3056 2866 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 29680 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3061] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3061/stat : 3061 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183399141 937709568 29680 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3062] ppid=3054 vsize=915732 CPUtime=0.33
/proc/3056/task/3062/stat : 3062 (java) S 3054 3056 2866 0 -1 64 500 0 0 0 32 1 0 0 16 0 8 0 183399141 937709568 29680 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3063] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3063/stat : 3063 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183399141 937709568 29680 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3064] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3064/stat : 3064 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183399141 937709568 29680 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 915732
[startup+25.6592 s]
/proc/loadavg: 2.14 2.07 2.01 3/105 3064
/proc/meminfo: memFree=1159976/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=915732 CPUtime=25.29
/proc/3056/stat : 3056 (java) R 3054 3056 2866 0 -1 0 39475 0 10 0 2458 71 0 0 25 0 8 0 183399133 937709568 39210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074058184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3056/statm: 228933 39210 2545 14 0 215403 0
[pid=3056/tid=3058] ppid=3054 vsize=915732 CPUtime=0.37
/proc/3056/task/3058/stat : 3058 (java) S 3054 3056 2866 0 -1 64 22340 0 0 0 28 9 0 0 16 0 8 0 183399137 937709568 39210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3059] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3059/stat : 3059 (java) S 3054 3056 2866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 39210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3060] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3060/stat : 3060 (java) S 3054 3056 2866 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 39210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3061] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3061/stat : 3061 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183399141 937709568 39210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3062] ppid=3054 vsize=915732 CPUtime=0.33
/proc/3056/task/3062/stat : 3062 (java) S 3054 3056 2866 0 -1 64 502 0 0 0 32 1 0 0 16 0 8 0 183399141 937709568 39210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3063] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3063/stat : 3063 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183399141 937709568 39210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3064] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3064/stat : 3064 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183399141 937709568 39210 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 915732
[startup+51.3451 s]
/proc/loadavg: 2.09 2.07 2.01 3/105 3064
/proc/meminfo: memFree=1067176/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=915732 CPUtime=50.61
/proc/3056/stat : 3056 (java) R 3054 3056 2866 0 -1 0 62629 0 10 0 4978 83 0 0 25 0 8 0 183399133 937709568 62358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074018415 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3056/statm: 228933 62358 2545 14 0 215403 0
[pid=3056/tid=3058] ppid=3054 vsize=915732 CPUtime=0.64
/proc/3056/task/3058/stat : 3058 (java) S 3054 3056 2866 0 -1 64 45488 0 0 0 44 20 0 0 16 0 8 0 183399137 937709568 62358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3059] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3059/stat : 3059 (java) S 3054 3056 2866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 62358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3060] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3060/stat : 3060 (java) S 3054 3056 2866 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 62358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3061] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3061/stat : 3061 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183399141 937709568 62358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3062] ppid=3054 vsize=915732 CPUtime=0.33
/proc/3056/task/3062/stat : 3062 (java) S 3054 3056 2866 0 -1 64 502 0 0 0 32 1 0 0 16 0 8 0 183399141 937709568 62358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3063] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3063/stat : 3063 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183399141 937709568 62358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3064] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3064/stat : 3064 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183399141 937709568 62358 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 915732
[startup+102.618 s]
/proc/loadavg: 2.04 2.05 2.01 3/105 3064
/proc/meminfo: memFree=869352/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=915732 CPUtime=101.15
/proc/3056/stat : 3056 (java) R 3054 3056 2866 0 -1 0 105066 0 10 0 10014 101 0 0 25 0 8 0 183399133 937709568 104783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074009444 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3056/statm: 228933 104783 2545 14 0 215403 0
[pid=3056/tid=3058] ppid=3054 vsize=915732 CPUtime=1.15
/proc/3056/task/3058/stat : 3058 (java) S 3054 3056 2866 0 -1 64 87913 0 0 0 77 38 0 0 16 0 8 0 183399137 937709568 104783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3059] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3059/stat : 3059 (java) S 3054 3056 2866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 104783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3060] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3060/stat : 3060 (java) S 3054 3056 2866 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 104783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3061] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3061/stat : 3061 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183399141 937709568 104783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3062] ppid=3054 vsize=915732 CPUtime=0.33
/proc/3056/task/3062/stat : 3062 (java) S 3054 3056 2866 0 -1 64 502 0 0 0 32 1 0 0 16 0 8 0 183399141 937709568 104783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3063] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3063/stat : 3063 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183399141 937709568 104783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3064] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3064/stat : 3064 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183399141 937709568 104783 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.15
Current children cumulated vsize (KiB) 915732
[startup+162.688 s]
/proc/loadavg: 2.01 2.04 2.00 4/105 3064
/proc/meminfo: memFree=718120/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=915732 CPUtime=160.62
/proc/3056/stat : 3056 (java) R 3054 3056 2866 0 -1 0 138898 0 10 0 15947 115 0 0 25 0 8 0 183399133 937709568 138606 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1414.9
Current children cumulated vsize (KiB) 915732
[startup+1483.62 s]
/proc/loadavg: 2.11 2.08 2.02 3/101 3335
/proc/meminfo: memFree=955584/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=915732 CPUtime=1474.62
/proc/3056/stat : 3056 (java) R 3054 3056 2866 0 -1 0 155238 0 10 0 147323 139 0 0 25 0 8 0 183399133 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074031367 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3056/statm: 228933 154941 2545 14 0 215403 0
[pid=3056/tid=3058] ppid=3054 vsize=915732 CPUtime=1.81
/proc/3056/task/3058/stat : 3058 (java) S 3054 3056 2866 0 -1 64 138071 0 0 0 124 57 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3059] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3059/stat : 3059 (java) S 3054 3056 2866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3060] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3060/stat : 3060 (java) S 3054 3056 2866 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3061] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3061/stat : 3061 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3062] ppid=3054 vsize=915732 CPUtime=0.33
/proc/3056/task/3062/stat : 3062 (java) S 3054 3056 2866 0 -1 64 502 0 0 0 32 1 0 0 16 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3063] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3063/stat : 3063 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3064] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3064/stat : 3064 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1474.62
Current children cumulated vsize (KiB) 915732
[startup+1543.65 s]
/proc/loadavg: 2.09 2.08 2.02 3/101 3335
/proc/meminfo: memFree=955584/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=915732 CPUtime=1534.34
/proc/3056/stat : 3056 (java) R 3054 3056 2866 0 -1 0 155238 0 10 0 153295 139 0 0 25 0 8 0 183399133 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074087550 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3056/statm: 228933 154941 2545 14 0 215403 0
[pid=3056/tid=3058] ppid=3054 vsize=915732 CPUtime=1.81
/proc/3056/task/3058/stat : 3058 (java) S 3054 3056 2866 0 -1 64 138071 0 0 0 124 57 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3059] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3059/stat : 3059 (java) S 3054 3056 2866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3060] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3060/stat : 3060 (java) S 3054 3056 2866 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3061] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3061/stat : 3061 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3062] ppid=3054 vsize=915732 CPUtime=0.33
/proc/3056/task/3062/stat : 3062 (java) S 3054 3056 2866 0 -1 64 502 0 0 0 32 1 0 0 16 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3063] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3063/stat : 3063 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3064] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3064/stat : 3064 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1534.34
Current children cumulated vsize (KiB) 915732
[startup+1603.67 s]
/proc/loadavg: 2.07 2.08 2.02 3/101 3335
/proc/meminfo: memFree=947648/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=915732 CPUtime=1594.03
/proc/3056/stat : 3056 (java) R 3054 3056 2866 0 -1 0 155238 0 10 0 159263 140 0 0 25 0 8 0 183399133 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074055964 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3056/statm: 228933 154941 2545 14 0 215403 0
[pid=3056/tid=3058] ppid=3054 vsize=915732 CPUtime=1.81
/proc/3056/task/3058/stat : 3058 (java) S 3054 3056 2866 0 -1 64 138071 0 0 0 124 57 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3059] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3059/stat : 3059 (java) S 3054 3056 2866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3060] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3060/stat : 3060 (java) S 3054 3056 2866 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3061] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3061/stat : 3061 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3062] ppid=3054 vsize=915732 CPUtime=0.33
/proc/3056/task/3062/stat : 3062 (java) S 3054 3056 2866 0 -1 64 502 0 0 0 32 1 0 0 16 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3063] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3063/stat : 3063 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3064] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3064/stat : 3064 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1594.03
Current children cumulated vsize (KiB) 915732
[startup+1663.7 s]
/proc/loadavg: 2.02 2.06 2.01 3/101 3335
/proc/meminfo: memFree=945984/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=915732 CPUtime=1653.76
/proc/3056/stat : 3056 (java) R 3054 3056 2866 0 -1 0 155238 0 10 0 165236 140 0 0 25 0 8 0 183399133 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074018377 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3056/statm: 228933 154941 2545 14 0 215403 0
[pid=3056/tid=3058] ppid=3054 vsize=915732 CPUtime=1.81
/proc/3056/task/3058/stat : 3058 (java) S 3054 3056 2866 0 -1 64 138071 0 0 0 124 57 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3059] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3059/stat : 3059 (java) S 3054 3056 2866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3060] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3060/stat : 3060 (java) S 3054 3056 2866 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3061] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3061/stat : 3061 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3062] ppid=3054 vsize=915732 CPUtime=0.33
/proc/3056/task/3062/stat : 3062 (java) S 3054 3056 2866 0 -1 64 502 0 0 0 32 1 0 0 16 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3063] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3063/stat : 3063 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3064] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3064/stat : 3064 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1653.76
Current children cumulated vsize (KiB) 915732
[startup+1723.75 s]
/proc/loadavg: 2.01 2.05 2.00 3/101 3335
/proc/meminfo: memFree=945920/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=915732 CPUtime=1713.47
/proc/3056/stat : 3056 (java) R 3054 3056 2866 0 -1 0 155238 0 10 0 171207 140 0 0 25 0 8 0 183399133 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074031322 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3056/statm: 228933 154941 2545 14 0 215403 0
[pid=3056/tid=3058] ppid=3054 vsize=915732 CPUtime=1.81
/proc/3056/task/3058/stat : 3058 (java) S 3054 3056 2866 0 -1 64 138071 0 0 0 124 57 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3059] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3059/stat : 3059 (java) S 3054 3056 2866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3060] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3060/stat : 3060 (java) S 3054 3056 2866 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3061] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3061/stat : 3061 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3062] ppid=3054 vsize=915732 CPUtime=0.33
/proc/3056/task/3062/stat : 3062 (java) S 3054 3056 2866 0 -1 64 502 0 0 0 32 1 0 0 16 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3063] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3063/stat : 3063 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3064] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3064/stat : 3064 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1713.47
Current children cumulated vsize (KiB) 915732
[startup+1783.8 s]
/proc/loadavg: 2.04 2.05 2.00 3/101 3335
/proc/meminfo: memFree=945856/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=915732 CPUtime=1773.19
/proc/3056/stat : 3056 (java) R 3054 3056 2866 0 -1 0 155238 0 10 0 177178 141 0 0 25 0 8 0 183399133 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480120 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3056/statm: 228933 154941 2545 14 0 215403 0
[pid=3056/tid=3058] ppid=3054 vsize=915732 CPUtime=1.81
/proc/3056/task/3058/stat : 3058 (java) S 3054 3056 2866 0 -1 64 138071 0 0 0 124 57 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3059] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3059/stat : 3059 (java) S 3054 3056 2866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3060] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3060/stat : 3060 (java) S 3054 3056 2866 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3061] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3061/stat : 3061 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3062] ppid=3054 vsize=915732 CPUtime=0.33
/proc/3056/task/3062/stat : 3062 (java) S 3054 3056 2866 0 -1 64 502 0 0 0 32 1 0 0 16 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3063] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3063/stat : 3063 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3064] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3064/stat : 3064 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1773.19
Current children cumulated vsize (KiB) 915732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.84 s]
/proc/loadavg: 2.02 2.05 2.00 3/101 3335
/proc/meminfo: memFree=945792/2055920 swapFree=4191880/4192956
[pid=3056] ppid=3054 vsize=915732 CPUtime=1800.08
/proc/3056/stat : 3056 (java) R 3054 3056 2866 0 -1 0 155238 0 10 0 179867 141 0 0 25 0 8 0 183399133 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074007848 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3056/statm: 228933 154941 2545 14 0 215403 0
[pid=3056/tid=3058] ppid=3054 vsize=915732 CPUtime=1.81
/proc/3056/task/3058/stat : 3058 (java) S 3054 3056 2866 0 -1 64 138071 0 0 0 124 57 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3059] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3059/stat : 3059 (java) S 3054 3056 2866 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3060] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3060/stat : 3060 (java) S 3054 3056 2866 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 183399137 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3061] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3061/stat : 3061 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3062] ppid=3054 vsize=915732 CPUtime=0.33
/proc/3056/task/3062/stat : 3062 (java) S 3054 3056 2866 0 -1 64 502 0 0 0 32 1 0 0 16 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3063] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3063/stat : 3063 (java) S 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 183399141 937709568 154941 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3056/tid=3064] ppid=3054 vsize=915732 CPUtime=0
/proc/3056/task/3064/stat : 3064 (java) R 3054 3056 2866 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 183399141 937709568 154941 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) 915732
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1810.98
CPU time (s): 1800.23
CPU user time (s): 1798.73
CPU system time (s): 1.50277
CPU usage (%): 99.4064
Max. virtual memory (cumulated for all children) (KiB): 915764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.73
system time used= 1.50277
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155254
page faults= 10
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38399
involuntary context switches= 86886
runsolver used 2.30465 s user time and 5.9201 s system time
The end
Begin job on node23 on Tue Jan 9 13:40:48 UTC 2007
IDJOB= 237676
IDBENCH= 6956
FILE ID= node23/237676-1168350048
PBS_JOBID= 3503660
Free space on /tmp= 66558 MiB
BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_29.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237676-1168350048/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-237676-1168350048 -o ROOT/results/node23/solver-237676-1168350048 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/237676-1168350048/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6ea2fd023b80d39fcc8c5d27a75b4ff2
RANDOM SEED= 535758657
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.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 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.265
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1309824 kB
Buffers: 14864 kB
Cached: 101100 kB
SwapCached: 316 kB
Active: 633380 kB
Inactive: 59040 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1309824 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 3076 kB
Writeback: 0 kB
Mapped: 604656 kB
Slab: 37324 kB
Committed_AS: 4652228 kB
PageTables: 3336 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= 66558 MiB
End job on node23 on Tue Jan 9 14:10:59 UTC 2007