0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/217315-1168246104/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=50 nbDomainTypes=1 minDomainSize=23 maxDomainSize=23
0.43 => wckTime=0.104 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.58
0.58 constraints being loaded...
0.71 nbConstraints=456 nbRelationTypes=456 nbExtensionStructures=456 nbSharedExtensionStructures=0
0.72 nbConflictsStructures=456 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1647 maxDegree=24
0.72 maxArity=2
0.72 => wckTime=0.393 cpuTime=0.32 mem=17M695
0.76
0.76 solver IterativeSystematicSolver being built...
0.92 => wckTime=0.602 cpuTime=0.45 mem=15M575
0.99
0.99 preprocessing
0.99 nbConstraintChecks=120796 nbPropagations=1256 nbRevisions=10706 nbUselessRevisions=9079 nbSingletonTests=62
0.99 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
0.99 => wckTime=0.061 cpuTime=0.04 mem=15M575
1.02
1.02 search
1.02 run=0 nbConstraintChecks=45103 nbPropagations=1827 nbRevisions=17654 nbUselessRevisions=14846 nbAssignments=36
1.02 nbFailedAssignments=10 nbBacktracks=12 nbVisitedNodes=53 nbRestartNogoods=0 mapSize=7 nbInferences=0
1.02 nbTooLargeKeys=0
1.02 => wckTime=0.093 cpuTime=0.06 mem=15M575
1.04
1.04 search
1.04 run=1 nbConstraintChecks=104051 nbPropagations=4389 nbRevisions=45230 nbUselessRevisions=37934
1.04 nbAssignments=76 nbFailedAssignments=23 nbBacktracks=27 nbVisitedNodes=115 nbRestartNogoods=3 mapSize=20
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.114 cpuTime=0.07 mem=15M575
1.06
1.06 search
1.06 run=2 nbConstraintChecks=169815 nbPropagations=7731 nbRevisions=83126 nbUselessRevisions=69512
1.06 nbAssignments=118 nbFailedAssignments=33 nbBacktracks=50 nbVisitedNodes=178 nbRestartNogoods=6 mapSize=34
1.06 nbInferences=0 nbTooLargeKeys=0
1.06 => wckTime=0.128 cpuTime=0.09 mem=15M575
1.08
1.08 search
1.08 run=3 nbConstraintChecks=287015 nbPropagations=12360 nbRevisions=138569 nbUselessRevisions=115402
1.08 nbAssignments=184 nbFailedAssignments=54 nbBacktracks=83 nbVisitedNodes=281 nbRestartNogoods=8 mapSize=60
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.151 cpuTime=0.11 mem=15M575
1.10
1.10 search
1.10 run=4 nbConstraintChecks=397595 nbPropagations=18380 nbRevisions=213034 nbUselessRevisions=176923
1.10 nbAssignments=267 nbFailedAssignments=73 nbBacktracks=138 nbVisitedNodes=402 nbRestartNogoods=10 mapSize=93
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.174 cpuTime=0.13 mem=15M575
1.14
1.14 search
1.14 run=5 nbConstraintChecks=604825 nbPropagations=26903 nbRevisions=324718 nbUselessRevisions=269104
1.15 nbAssignments=398 nbFailedAssignments=116 nbBacktracks=213 nbVisitedNodes=615 nbRestartNogoods=13 mapSize=151
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.218 cpuTime=0.17 mem=15M575
1.20
1.20 search
1.20 run=6 nbConstraintChecks=906531 nbPropagations=38832 nbRevisions=485531 nbUselessRevisions=401166
1.20 nbAssignments=578 nbFailedAssignments=173 nbBacktracks=329 nbVisitedNodes=907 nbRestartNogoods=17 mapSize=241
1.20 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.271 cpuTime=0.22 mem=15M575
1.28
1.28 search
1.28 run=7 nbConstraintChecks=1337871 nbPropagations=56333 nbRevisions=730807 nbUselessRevisions=602899
1.28 nbAssignments=867 nbFailedAssignments=278 nbBacktracks=501 nbVisitedNodes=1409 nbRestartNogoods=21 mapSize=390
1.28 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.354 cpuTime=0.3 mem=15M575
1.40
1.40 search
1.40 run=8 nbConstraintChecks=1969759 nbPropagations=81568 nbRevisions=1093403 nbUselessRevisions=900798
1.40 nbAssignments=1288 nbFailedAssignments=433 nbBacktracks=758 nbVisitedNodes=2119 nbRestartNogoods=27
1.40 mapSize=596 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.472 cpuTime=0.41 mem=15M575
1.57
1.57 search
1.57 run=9 nbConstraintChecks=2856055 nbPropagations=118485 nbRevisions=1630390 nbUselessRevisions=1342193
1.57 nbAssignments=1923 nbFailedAssignments=671 nbBacktracks=1145 nbVisitedNodes=3203 nbRestartNogoods=30
1.57 mapSize=912 nbInferences=0 nbTooLargeKeys=0
1.57 => wckTime=0.644 cpuTime=0.57 mem=15M575
1.63
1.63 INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=15M575)
1.84
1.84 search
1.84 run=10 nbConstraintChecks=4596471 nbPropagations=174838 nbRevisions=2469467 nbUselessRevisions=2030998
1.84 nbAssignments=2891 nbFailedAssignments=1036 nbBacktracks=1721 nbVisitedNodes=4823 nbRestartNogoods=36
1.84 => wckTime=0.917 cpuTime=0.83 mem=15M575
2.18
2.18 search
2.18 run=11 nbConstraintChecks=6713204 nbPropagations=257597 nbRevisions=3707992 nbUselessRevisions=3047201
2.18 nbAssignments=4254 nbFailedAssignments=1527 nbBacktracks=2585 nbVisitedNodes=7128 nbRestartNogoods=44
2.18 => wckTime=1.249 cpuTime=1.16 mem=15M575
2.71
2.71 search
2.71 run=12 nbConstraintChecks=10231998 nbPropagations=381767 nbRevisions=5593202 nbUselessRevisions=4594490
2.71 nbAssignments=6349 nbFailedAssignments=2317 nbBacktracks=3882 nbVisitedNodes=10716 nbRestartNogoods=49
2.71 => wckTime=1.779 cpuTime=1.69 mem=15M575
3.45
3.45 search
3.45 run=13 nbConstraintChecks=15135374 nbPropagations=564058 nbRevisions=8375556 nbUselessRevisions=6876571
3.45 nbAssignments=9361 nbFailedAssignments=3372 nbBacktracks=5830 nbVisitedNodes=15817 nbRestartNogoods=55
3.45 => wckTime=2.519 cpuTime=2.43 mem=15M575
4.61
4.61 search
4.61 run=14 nbConstraintChecks=22862525 nbPropagations=840390 nbRevisions=12607915 nbUselessRevisions=10349757
4.61 nbAssignments=14216 nbFailedAssignments=5301 nbBacktracks=8750 nbVisitedNodes=24198 nbRestartNogoods=63
4.61 => wckTime=3.685 cpuTime=3.59 mem=15M575
6.30
6.30 search
6.30 run=15 nbConstraintChecks=34094079 nbPropagations=1250906 nbRevisions=18931997 nbUselessRevisions=15545161
6.30 nbAssignments=21124 nbFailedAssignments=7821 nbBacktracks=13128 nbVisitedNodes=35950 nbRestartNogoods=67
6.30 => wckTime=5.375 cpuTime=5.28 mem=15M575
8.83
8.83 search
8.83 run=16 nbConstraintChecks=51133912 nbPropagations=1862185 nbRevisions=28401095 nbUselessRevisions=23329136
8.83 nbAssignments=31644 nbFailedAssignments=11762 nbBacktracks=19696 nbVisitedNodes=53915 nbRestartNogoods=75
8.83 => wckTime=7.901 cpuTime=7.81 mem=16M550
12.68
12.68 search
12.68 run=17 nbConstraintChecks=76092235 nbPropagations=2784680 nbRevisions=42705640 nbUselessRevisions=35103997
12.68 nbAssignments=47729 nbFailedAssignments=17987 nbBacktracks=29548 nbVisitedNodes=81760 nbRestartNogoods=84
12.68 => wckTime=11.749 cpuTime=11.66 mem=16M550
18.01
18.02 search
18.02 run=18 nbConstraintChecks=110033143 nbPropagations=4136300 nbRevisions=63635754 nbUselessRevisions=52348822
18.02 nbAssignments=70715 nbFailedAssignments=26182 nbBacktracks=44327 nbVisitedNodes=120509 nbRestartNogoods=91
18.02 => wckTime=17.088 cpuTime=16.99 mem=16M550
26.56
26.56 search
26.56 run=19 nbConstraintChecks=166700755 nbPropagations=6167131 nbRevisions=94946811 nbUselessRevisions=78096870
26.56 nbAssignments=106064 nbFailedAssignments=39353 nbBacktracks=66496 nbVisitedNodes=180790 nbRestartNogoods=102
26.56 => wckTime=25.636 cpuTime=25.54 mem=16M550
39.58
39.58 search
39.58 run=20 nbConstraintChecks=249978209 nbPropagations=9246512 nbRevisions=142639232 nbUselessRevisions=117378579
39.58 nbAssignments=160692 nbFailedAssignments=60718 nbBacktracks=99752 nbVisitedNodes=275136 nbRestartNogoods=109
39.58 => wckTime=38.654 cpuTime=38.56 mem=16M550
58.97
58.97 search
58.97 run=21 nbConstraintChecks=380425155 nbPropagations=13847562 nbRevisions=213986395 nbUselessRevisions=176067924
58.97 nbAssignments=239034 nbFailedAssignments=89172 nbBacktracks=149632 nbVisitedNodes=407901 nbRestartNogoods=118
58.97 => wckTime=58.045 cpuTime=57.95 mem=16M550
86.73
86.73 search
86.73 run=22 nbConstraintChecks=561697308 nbPropagations=20674315 nbRevisions=319749267 nbUselessRevisions=263131465
86.73 nbAssignments=356578 nbFailedAssignments=131890 nbBacktracks=224450 nbVisitedNodes=607284 nbRestartNogoods=128
86.73 => wckTime=85.808 cpuTime=85.7 mem=16M550
128.89
128.89 search
128.89 run=23 nbConstraintChecks=837165578 nbPropagations=30855042 nbRevisions=477779669 nbUselessRevisions=393252799
128.89 nbAssignments=532933 nbFailedAssignments=196003 nbBacktracks=336681 nbVisitedNodes=906220 nbRestartNogoods=134
128.89 => wckTime=127.961 cpuTime=127.84 mem=16M550
195.84
195.84 search
195.84 run=24 nbConstraintChecks=1284573405 nbPropagations=46290636 nbRevisions=719010067 nbUselessRevisions=591939358
195.84 nbAssignments=803730 nbFailedAssignments=298447 nbBacktracks=505023 nbVisitedNodes=1368775 nbRestartNogoods=144
195.84 => wckTime=194.913 cpuTime=194.78 mem=16M550
293.13
293.13 search
293.13 run=25 nbConstraintChecks=1918235182 nbPropagations=69533457 nbRevisions=1081151558
293.13 nbUselessRevisions=890280777 nbAssignments=1208737 nbFailedAssignments=450934 nbBacktracks=757534
293.13 nbVisitedNodes=2063751 nbRestartNogoods=160
293.13 => wckTime=292.206 cpuTime=292.05 mem=16M550
438.68
438.68 search
438.68 run=26 nbConstraintChecks=2881922779 nbPropagations=104307389 nbRevisions=1622649404
438.68 nbUselessRevisions=1336269601 nbAssignments=1803654 nbFailedAssignments=667074 nbBacktracks=1136302
438.68 nbVisitedNodes=3072450 nbRestartNogoods=179
438.68 => wckTime=437.751 cpuTime=437.56 mem=16M550
664.70
664.70 search
664.70 run=27 nbConstraintChecks=4395851507 nbPropagations=156829191 nbRevisions=2442975221
664.70 nbUselessRevisions=2011720828 nbAssignments=2717870 nbFailedAssignments=1013132 nbBacktracks=1704453
664.70 nbVisitedNodes=4640300 nbRestartNogoods=193
664.70 => wckTime=663.774 cpuTime=663.54 mem=16M550
986.99
986.99 search
986.99 run=28 nbConstraintChecks=6513876963 nbPropagations=234922433 nbRevisions=3660884634
986.99 nbUselessRevisions=3014635951 nbAssignments=4049260 nbFailedAssignments=1492283 nbBacktracks=2556681
986.99 nbVisitedNodes=6895534 nbRestartNogoods=210
986.99 => wckTime=986.066 cpuTime=985.56 mem=16M550
1506.00
1506.00 search
1506.00 run=29 nbConstraintChecks=10019429740 nbPropagations=353627725 nbRevisions=5518712348
1506.00 nbUselessRevisions=4544076913 nbAssignments=6106520 nbFailedAssignments=2271190 nbBacktracks=3835022
1506.00 nbVisitedNodes=10418729 nbRestartNogoods=224
1506.00 => wckTime=1505.072 cpuTime=1504.45 mem=16M550
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node30/watcher-217315-1168246104 -o ROOT/results/node30/solver-217315-1168246104 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217315-1168246104/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: 0.92 0.98 1.04 4/84 8826
/proc/meminfo: memFree=915224/2055920 swapFree=4191880/4192956
[pid=8825] ppid=8820 vsize=168 CPUtime=0
/proc/8825/stat : 8825 (java) R 8820 8825 8684 0 -1 0 39 0 0 0 0 0 0 0 20 0 1 0 173004387 172032 23 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 7016747 0 0 4096 0 0 0 0 17 1 0 0
/proc/8825/statm: 42 23 18 14 0 2 0
[startup+0.102778 s]
/proc/loadavg: 0.92 0.98 1.04 4/84 8826
/proc/meminfo: memFree=915224/2055920 swapFree=4191880/4192956
[pid=8825] ppid=8820 vsize=913068 CPUtime=0.07
/proc/8825/stat : 8825 (java) S 8820 8825 8684 0 -1 0 2846 0 1 0 6 1 0 0 18 0 8 0 173004387 934981632 2592 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8825/statm: 228267 2593 1395 14 0 215168 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913068
[startup+0.510806 s]
/proc/loadavg: 0.92 0.98 1.04 4/84 8826
/proc/meminfo: memFree=915224/2055920 swapFree=4191880/4192956
[pid=8825] ppid=8820 vsize=915328 CPUtime=0.48
/proc/8825/stat : 8825 (java) R 8820 8825 8684 0 -1 0 6815 0 1 0 44 4 0 0 18 0 8 0 173004387 937295872 6554 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565086 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8825/statm: 228832 6555 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33185 s]
/proc/loadavg: 0.92 0.98 1.04 3/101 8849
/proc/meminfo: memFree=875472/2055920 swapFree=4191880/4192956
[pid=8825] ppid=8820 vsize=915460 CPUtime=1.3
/proc/8825/stat : 8825 (java) R 8820 8825 8684 0 -1 0 9641 0 1 0 124 6 0 0 24 0 8 0 173004387 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806043 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8825/statm: 228865 9379 2524 14 0 215335 0
[pid=8825/tid=8836] ppid=8820 vsize=915460 CPUtime=0.03
/proc/8825/task/8836/stat : 8836 (java) S 8820 8825 8684 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 173004391 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8837] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8837/stat : 8837 (java) S 8820 8825 8684 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173004392 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8838] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8838/stat : 8838 (java) S 8820 8825 8684 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173004392 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8842] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8842/stat : 8842 (java) S 8820 8825 8684 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173004395 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8843] ppid=8820 vsize=915460 CPUtime=0.2
/proc/8825/task/8843/stat : 8843 (java) S 8820 8825 8684 0 -1 64 380 0 0 0 20 0 0 0 15 0 8 0 173004395 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8844] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8844/stat : 8844 (java) S 8820 8825 8684 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173004395 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8845] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8845/stat : 8845 (java) S 8820 8825 8684 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173004395 937431040 9379 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.97497 s]
/proc/loadavg: 0.92 0.98 1.04 3/101 8849
/proc/meminfo: memFree=875280/2055920 swapFree=4191880/4192956
[pid=8825] ppid=8820 vsize=915460 CPUtime=2.94
/proc/8825/stat : 8825 (java) R 8820 8825 8684 0 -1 0 9658 0 1 0 288 6 0 0 25 0 8 0 173004387 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073806497 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8825/statm: 228865 9395 2524 14 0 215335 0
[pid=8825/tid=8836] ppid=8820 vsize=915460 CPUtime=0.03
/proc/8825/task/8836/stat : 8836 (java) S 8820 8825 8684 0 -1 64 406 0 0 0 3 0 0 0 17 0 8 0 173004391 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8837] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8837/stat : 8837 (java) S 8820 8825 8684 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173004392 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8838] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8838/stat : 8838 (java) S 8820 8825 8684 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173004392 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8842] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8842/stat : 8842 (java) S 8820 8825 8684 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173004395 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8843] ppid=8820 vsize=915460 CPUtime=0.24
/proc/8825/task/8843/stat : 8843 (java) S 8820 8825 8684 0 -1 64 396 0 0 0 24 0 0 0 15 0 8 0 173004395 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8844] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8844/stat : 8844 (java) S 8820 8825 8684 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173004395 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8845] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8845/stat : 8845 (java) S 8820 8825 8684 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173004395 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
[startup+6.17816 s]
/proc/loadavg: 1.01 1.00 1.04 4/101 8849
/proc/meminfo: memFree=875280/2055920 swapFree=4191880/4192956
[pid=8825] ppid=8820 vsize=915460 CPUtime=6.15
/proc/8825/stat : 8825 (java) R 8820 8825 8684 0 -1 0 9659 0 1 0 609 6 0 0 25 0 8 0 173004387 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804505 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8825/statm: 228865 9395 2524 14 0 215335 0
[pid=8825/tid=8836] ppid=8820 vsize=915460 CPUtime=0.03
/proc/8825/task/8836/stat : 8836 (java) S 8820 8825 8684 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 173004391 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8837] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8837/stat : 8837 (java) S 8820 8825 8684 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173004392 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8838] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8838/stat : 8838 (java) S 8820 8825 8684 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173004392 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8842] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8842/stat : 8842 (java) S 8820 8825 8684 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173004395 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8843] ppid=8820 vsize=915460 CPUtime=0.24
/proc/8825/task/8843/stat : 8843 (java) S 8820 8825 8684 0 -1 64 396 0 0 0 24 0 0 0 15 0 8 0 173004395 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8844] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8844/stat : 8844 (java) S 8820 8825 8684 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173004395 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8845] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8845/stat : 8845 (java) S 8820 8825 8684 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173004395 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915460
[startup+12.6496 s]
/proc/loadavg: 1.09 1.02 1.05 3/101 8849
/proc/meminfo: memFree=875288/2055920 swapFree=4191880/4192956
[pid=8825] ppid=8820 vsize=915460 CPUtime=12.62
/proc/8825/stat : 8825 (java) R 8820 8825 8684 0 -1 0 9659 0 1 0 1256 6 0 0 25 0 8 0 173004387 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803621 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8825/statm: 228865 9395 2524 14 0 215335 0
[pid=8825/tid=8836] ppid=8820 vsize=915460 CPUtime=0.03
/proc/8825/task/8836/stat : 8836 (java) S 8820 8825 8684 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 173004391 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8837] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8837/stat : 8837 (java) S 8820 8825 8684 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173004392 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8838] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8838/stat : 8838 (java) S 8820 8825 8684 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173004392 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8842] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8842/stat : 8842 (java) S 8820 8825 8684 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173004395 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8843] ppid=8820 vsize=915460 CPUtime=0.24
/proc/8825/task/8843/stat : 8843 (java) S 8820 8825 8684 0 -1 64 396 0 0 0 24 0 0 0 15 0 8 0 173004395 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8844] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8844/stat : 8844 (java) S 8820 8825 8684 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173004395 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8845] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8845/stat : 8845 (java) S 8820 8825 8684 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173004395 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915460
[startup+25.5034 s]
/proc/loadavg: 1.36 1.08 1.07 3/101 8849
/proc/meminfo: memFree=875288/2055920 swapFree=4191880/4192956
[pid=8825] ppid=8820 vsize=915460 CPUtime=25.47
/proc/8825/stat : 8825 (java) R 8820 8825 8684 0 -1 0 9659 0 1 0 2541 6 0 0 25 0 8 0 173004387 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810720 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8825/statm: 228865 9395 2524 14 0 215335 0
[pid=8825/tid=8836] ppid=8820 vsize=915460 CPUtime=0.03
/proc/8825/task/8836/stat : 8836 (java) S 8820 8825 8684 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 173004391 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8837] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8837/stat : 8837 (java) S 8820 8825 8684 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173004392 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8838] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8838/stat : 8838 (java) S 8820 8825 8684 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173004392 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8842] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8842/stat : 8842 (java) S 8820 8825 8684 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173004395 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8843] ppid=8820 vsize=915460 CPUtime=0.24
/proc/8825/task/8843/stat : 8843 (java) S 8820 8825 8684 0 -1 64 396 0 0 0 24 0 0 0 16 0 8 0 173004395 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8844] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8844/stat : 8844 (java) S 8820 8825 8684 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173004395 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8845] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8845/stat : 8845 (java) S 8820 8825 8684 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173004395 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915460
[startup+51.1301 s]
/proc/loadavg: 1.65 1.17 1.10 3/101 8849
/proc/meminfo: memFree=875352/2055920 swapFree=4191880/4192956
[pid=8825] ppid=8820 vsize=915460 CPUtime=51.08
/proc/8825/stat : 8825 (java) R 8820 8825 8684 0 -1 0 9659 0 1 0 5102 6 0 0 25 0 8 0 173004387 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8825/statm: 228865 9395 2524 14 0 215335 0
[pid=8825/tid=8836] ppid=8820 vsize=915460 CPUtime=0.03
/proc/8825/task/8836/stat : 8836 (java) S 8820 8825 8684 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 173004391 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8837] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8837/stat : 8837 (java) S 8820 8825 8684 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173004392 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8838] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8838/stat : 8838 (java) S 8820 8825 8684 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173004392 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8842] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8842/stat : 8842 (java) S 8820 8825 8684 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173004395 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8843] ppid=8820 vsize=915460 CPUtime=0.24
/proc/8825/task/8843/stat : 8843 (java) S 8820 8825 8684 0 -1 64 396 0 0 0 24 0 0 0 16 0 8 0 173004395 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8844] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8844/stat : 8844 (java) S 8820 8825 8684 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173004395 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8845] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8845/stat : 8845 (java) S 8820 8825 8684 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173004395 937431040 9395 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 915460
[startup+102.338 s]
/proc/loadavg: 1.85 1.29 1.14 3/101 8849
/proc/meminfo: memFree=875352/2055920 swapFree=4191880/4192956
[pid=8825] ppid=8820 vsize=915460 CPUtime=102.28
/proc/8825/stat : 8825 (java) R 8820 8825 8684 0 -1 0 9661 0 1 0 10222 6 0 0 25 0 8 0 173004387 937431040 9396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8825/statm: 228865 9396 2524 14 0 215335 0
[pid=8825/tid=8836] ppid=8820 vsize=915460 CPUtime=0.03
/proc/8825/task/8836/stat : 8836 (java) S 8820 8825 8684 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 173004391 937431040 9396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8837] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8837/stat : 8837 (java) S 8820 8825 8684 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173004392 937431040 9396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8838] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8838/stat : 8838 (java) S 8820 8825 8684 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173004392 937431040 9396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8842] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8842/stat : 8842 (java) S 8820 8825 8684 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173004395 937431040 9396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8843] ppid=8820 vsize=915460 CPUtime=0.24
/proc/8825/task/8843/stat : 8843 (java) S 8820 8825 8684 0 -1 64 397 0 0 0 24 0 0 0 16 0 8 0 173004395 937431040 9396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8844] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8844/stat : 8844 (java) S 8820 8825 8684 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173004395 937431040 9396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8845] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8845/stat : 8845 (java) S 8820 8825 8684 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173004395 937431040 9396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 915460
[startup+162.387 s]
/proc/loadavg: 1.99 1.44 1.20 4/101 8849
/proc/meminfo: memFree=875352/2055920 swapFree=4191880/4192956
[pid=8825] ppid=8820 vsize=915460 CPUtime=162.32
/proc/8825/stat : 8825 (java) R 8820 8825 8684 0 -1 0 9661 0 1 0 16225 7 0 0 25 0 8 0 173004387 937431040 9396 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804657 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1423.29
Current children cumulated vsize (KiB) 915460
[startup+1483.92 s]
/proc/loadavg: 2.01 2.00 1.79 3/101 9047
/proc/meminfo: memFree=874912/2055920 swapFree=4191880/4192956
[pid=8825] ppid=8820 vsize=915460 CPUtime=1483.36
/proc/8825/stat : 8825 (java) R 8820 8825 8684 0 -1 0 9662 0 1 0 148323 13 0 0 25 0 8 0 173004387 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073804512 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8825/statm: 228865 9397 2524 14 0 215335 0
[pid=8825/tid=8836] ppid=8820 vsize=915460 CPUtime=0.03
/proc/8825/task/8836/stat : 8836 (java) S 8820 8825 8684 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 173004391 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8837] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8837/stat : 8837 (java) S 8820 8825 8684 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173004392 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8838] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8838/stat : 8838 (java) S 8820 8825 8684 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173004392 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8842] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8842/stat : 8842 (java) S 8820 8825 8684 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173004395 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8843] ppid=8820 vsize=915460 CPUtime=0.24
/proc/8825/task/8843/stat : 8843 (java) S 8820 8825 8684 0 -1 64 398 0 0 0 24 0 0 0 16 0 8 0 173004395 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8844] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8844/stat : 8844 (java) S 8820 8825 8684 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173004395 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8845] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8845/stat : 8845 (java) S 8820 8825 8684 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173004395 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1483.36
Current children cumulated vsize (KiB) 915460
[startup+1544 s]
/proc/loadavg: 2.00 2.00 1.80 3/101 9047
/proc/meminfo: memFree=874912/2055920 swapFree=4191880/4192956
[pid=8825] ppid=8820 vsize=915460 CPUtime=1543.44
/proc/8825/stat : 8825 (java) R 8820 8825 8684 0 -1 0 9662 0 1 0 154330 14 0 0 25 0 8 0 173004387 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825046 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8825/statm: 228865 9397 2524 14 0 215335 0
[pid=8825/tid=8836] ppid=8820 vsize=915460 CPUtime=0.03
/proc/8825/task/8836/stat : 8836 (java) S 8820 8825 8684 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 173004391 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8837] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8837/stat : 8837 (java) S 8820 8825 8684 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173004392 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8838] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8838/stat : 8838 (java) S 8820 8825 8684 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173004392 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8842] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8842/stat : 8842 (java) S 8820 8825 8684 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173004395 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8843] ppid=8820 vsize=915460 CPUtime=0.24
/proc/8825/task/8843/stat : 8843 (java) S 8820 8825 8684 0 -1 64 398 0 0 0 24 0 0 0 16 0 8 0 173004395 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8844] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8844/stat : 8844 (java) S 8820 8825 8684 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173004395 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8845] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8845/stat : 8845 (java) S 8820 8825 8684 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173004395 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1543.44
Current children cumulated vsize (KiB) 915460
[startup+1604.09 s]
/proc/loadavg: 2.04 2.01 1.81 3/101 9047
/proc/meminfo: memFree=874912/2055920 swapFree=4191880/4192956
[pid=8825] ppid=8820 vsize=915460 CPUtime=1603.51
/proc/8825/stat : 8825 (java) R 8820 8825 8684 0 -1 0 9662 0 1 0 160337 14 0 0 25 0 8 0 173004387 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811625 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8825/statm: 228865 9397 2524 14 0 215335 0
[pid=8825/tid=8836] ppid=8820 vsize=915460 CPUtime=0.03
/proc/8825/task/8836/stat : 8836 (java) S 8820 8825 8684 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 173004391 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8837] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8837/stat : 8837 (java) S 8820 8825 8684 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173004392 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8838] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8838/stat : 8838 (java) S 8820 8825 8684 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173004392 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8842] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8842/stat : 8842 (java) S 8820 8825 8684 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173004395 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8843] ppid=8820 vsize=915460 CPUtime=0.24
/proc/8825/task/8843/stat : 8843 (java) S 8820 8825 8684 0 -1 64 398 0 0 0 24 0 0 0 16 0 8 0 173004395 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8844] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8844/stat : 8844 (java) S 8820 8825 8684 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173004395 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8845] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8845/stat : 8845 (java) S 8820 8825 8684 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173004395 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1603.51
Current children cumulated vsize (KiB) 915460
[startup+1664.18 s]
/proc/loadavg: 2.18 2.05 1.84 3/101 9047
/proc/meminfo: memFree=874976/2055920 swapFree=4191880/4192956
[pid=8825] ppid=8820 vsize=915460 CPUtime=1663.58
/proc/8825/stat : 8825 (java) R 8820 8825 8684 0 -1 0 9662 0 1 0 166344 14 0 0 25 0 8 0 173004387 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825091 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8825/statm: 228865 9397 2524 14 0 215335 0
[pid=8825/tid=8836] ppid=8820 vsize=915460 CPUtime=0.03
/proc/8825/task/8836/stat : 8836 (java) S 8820 8825 8684 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 173004391 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8837] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8837/stat : 8837 (java) S 8820 8825 8684 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173004392 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8838] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8838/stat : 8838 (java) S 8820 8825 8684 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173004392 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8842] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8842/stat : 8842 (java) S 8820 8825 8684 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173004395 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8843] ppid=8820 vsize=915460 CPUtime=0.24
/proc/8825/task/8843/stat : 8843 (java) S 8820 8825 8684 0 -1 64 398 0 0 0 24 0 0 0 16 0 8 0 173004395 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8844] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8844/stat : 8844 (java) S 8820 8825 8684 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173004395 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8845] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8845/stat : 8845 (java) S 8820 8825 8684 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173004395 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1663.58
Current children cumulated vsize (KiB) 915460
[startup+1724.27 s]
/proc/loadavg: 2.06 2.04 1.84 3/101 9047
/proc/meminfo: memFree=874912/2055920 swapFree=4191880/4192956
[pid=8825] ppid=8820 vsize=915460 CPUtime=1723.67
/proc/8825/stat : 8825 (java) R 8820 8825 8684 0 -1 0 9662 0 1 0 172352 15 0 0 25 0 8 0 173004387 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073843337 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8825/statm: 228865 9397 2524 14 0 215335 0
[pid=8825/tid=8836] ppid=8820 vsize=915460 CPUtime=0.03
/proc/8825/task/8836/stat : 8836 (java) S 8820 8825 8684 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 173004391 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8837] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8837/stat : 8837 (java) S 8820 8825 8684 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173004392 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8838] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8838/stat : 8838 (java) S 8820 8825 8684 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173004392 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8842] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8842/stat : 8842 (java) S 8820 8825 8684 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173004395 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8843] ppid=8820 vsize=915460 CPUtime=0.24
/proc/8825/task/8843/stat : 8843 (java) S 8820 8825 8684 0 -1 64 398 0 0 0 24 0 0 0 16 0 8 0 173004395 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8844] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8844/stat : 8844 (java) S 8820 8825 8684 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173004395 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8845] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8845/stat : 8845 (java) S 8820 8825 8684 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173004395 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1723.67
Current children cumulated vsize (KiB) 915460
[startup+1784.36 s]
/proc/loadavg: 2.05 2.05 1.85 3/101 9049
/proc/meminfo: memFree=874912/2055920 swapFree=4191880/4192956
[pid=8825] ppid=8820 vsize=915460 CPUtime=1783.74
/proc/8825/stat : 8825 (java) R 8820 8825 8684 0 -1 0 9662 0 1 0 178358 16 0 0 25 0 8 0 173004387 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073825022 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8825/statm: 228865 9397 2524 14 0 215335 0
[pid=8825/tid=8836] ppid=8820 vsize=915460 CPUtime=0.03
/proc/8825/task/8836/stat : 8836 (java) S 8820 8825 8684 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 173004391 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8837] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8837/stat : 8837 (java) S 8820 8825 8684 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173004392 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8838] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8838/stat : 8838 (java) S 8820 8825 8684 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173004392 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8842] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8842/stat : 8842 (java) S 8820 8825 8684 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173004395 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8843] ppid=8820 vsize=915460 CPUtime=0.24
/proc/8825/task/8843/stat : 8843 (java) S 8820 8825 8684 0 -1 64 398 0 0 0 24 0 0 0 16 0 8 0 173004395 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8844] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8844/stat : 8844 (java) S 8820 8825 8684 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173004395 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8845] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8845/stat : 8845 (java) S 8820 8825 8684 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173004395 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1783.74
Current children cumulated vsize (KiB) 915460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.71 s]
/proc/loadavg: 2.04 2.04 1.86 3/101 9049
/proc/meminfo: memFree=874848/2055920 swapFree=4191880/4192956
[pid=8825] ppid=8820 vsize=915460 CPUtime=1800.1
/proc/8825/stat : 8825 (java) R 8820 8825 8684 0 -1 0 9662 0 1 0 179994 16 0 0 25 0 8 0 173004387 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811528 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/8825/statm: 228865 9397 2524 14 0 215335 0
[pid=8825/tid=8836] ppid=8820 vsize=915460 CPUtime=0.03
/proc/8825/task/8836/stat : 8836 (java) S 8820 8825 8684 0 -1 64 406 0 0 0 3 0 0 0 16 0 8 0 173004391 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8837] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8837/stat : 8837 (java) S 8820 8825 8684 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 173004392 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8838] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8838/stat : 8838 (java) S 8820 8825 8684 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 173004392 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8842] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8842/stat : 8842 (java) S 8820 8825 8684 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 173004395 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8843] ppid=8820 vsize=915460 CPUtime=0.24
/proc/8825/task/8843/stat : 8843 (java) S 8820 8825 8684 0 -1 64 398 0 0 0 24 0 0 0 16 0 8 0 173004395 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8844] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8844/stat : 8844 (java) S 8820 8825 8684 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 173004395 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=8825/tid=8845] ppid=8820 vsize=915460 CPUtime=0
/proc/8825/task/8845/stat : 8845 (java) S 8820 8825 8684 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 173004395 937431040 9397 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 915460
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1800.78
CPU time (s): 1800.17
CPU user time (s): 1800
CPU system time (s): 0.165974
CPU usage (%): 99.966
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.165974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9680
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= 37601
involuntary context switches= 40132
runsolver used 2.20666 s user time and 5.80612 s system time
The end
Begin job on node30 on Mon Jan 8 08:48:24 UTC 2007
IDJOB= 217315
IDBENCH= 5129
FILE ID= node30/217315-1168246104
PBS_JOBID= 3481854
Free space on /tmp= 66493 MiB
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb50-23/frb50-23-3-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217315-1168246104/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-217315-1168246104 -o ROOT/results/node30/solver-217315-1168246104 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/217315-1168246104/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f6fd5de1819bdb3f6519fa77afbd22d4
RANDOM SEED= 995759115
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: 916040 kB
Buffers: 34340 kB
Cached: 995932 kB
SwapCached: 268 kB
Active: 408268 kB
Inactive: 678344 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 916040 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2884 kB
Writeback: 0 kB
Mapped: 74040 kB
Slab: 38320 kB
Committed_AS: 3713060 kB
PageTables: 2168 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= 66493 MiB
End job on node30 on Mon Jan 8 09:18:25 UTC 2007