0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/215263-1168078059/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.49 nbVariables=1044 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.49 => wckTime=0.18 cpuTime=0.14 mem=7M894
0.49
0.49 predicates being loaded...
0.50
0.50 constraints being loaded...
2.39 nbConstraints=12158 nbConvertedConstraints=11178 nbConvertConstraintsChecks=16 nbExtensionStructures=2
2.39 nbSharedExtensionStructures=11176 nbConflictsStructures=3 nbSharedConflictsStructures=11285
2.39 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=5 nbEvaluationManagers=2
2.39 nbSharedEvaluationManagers=978 maxDegree=181 maxArity=32
2.39 => wckTime=2.079 cpuTime=1.8 mem=23M948
2.50
2.50 solver IterativeSystematicSolver being built...
2.90 => wckTime=2.591 cpuTime=2.11 mem=44M930
2.96
2.96 preprocessing
2.96 nbConstraintChecks=0 nbPropagations=1044 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.96 detectedInconsistency=no
2.96 => wckTime=0.044 cpuTime=0.04 mem=48M964
3.68
3.68 search
3.68 run=0 nbConstraintChecks=96836 nbValidityChecks=338780 nbPropagations=3116 nbRevisions=221151
3.68 nbUselessRevisions=219182 nbAssignments=159 nbFailedAssignments=2 nbBacktracks=10 nbVisitedNodes=164
3.68 nbRestartNogoods=0 mapSize=3 nbInferences=0 nbTooLargeKeys=0
3.68 => wckTime=0.768 cpuTime=0.71 mem=48M964
4.32
4.32 search
4.32 run=1 nbConstraintChecks=283736 nbValidityChecks=721470 nbPropagations=10761 nbRevisions=736865
4.32 nbUselessRevisions=728379 nbAssignments=320 nbFailedAssignments=6 nbBacktracks=26 nbVisitedNodes=337
4.32 nbRestartNogoods=1 mapSize=14 nbInferences=0 nbTooLargeKeys=0
4.32 => wckTime=1.415 cpuTime=1.35 mem=48M964
5.24
5.24 search
5.24 run=2 nbConstraintChecks=606071 nbValidityChecks=1148485 nbPropagations=24858 nbRevisions=1627040
5.24 nbUselessRevisions=1605393 nbAssignments=488 nbFailedAssignments=13 nbBacktracks=49 nbVisitedNodes=528
5.24 nbRestartNogoods=2 mapSize=36 nbInferences=0 nbTooLargeKeys=0
5.24 => wckTime=2.334 cpuTime=2.27 mem=48M964
6.39
6.39 search
6.39 run=3 nbConstraintChecks=1051195 nbValidityChecks=1610339 nbPropagations=49005 nbRevisions=2981970
6.39 nbUselessRevisions=2936792 nbAssignments=664 nbFailedAssignments=23 nbBacktracks=84 nbVisitedNodes=732
6.39 nbRestartNogoods=3 mapSize=63 nbInferences=0 nbTooLargeKeys=0
6.39 => wckTime=3.48 cpuTime=3.39 mem=48M964
8.44
8.44 search
8.44 run=4 nbConstraintChecks=1876665 nbValidityChecks=2262726 nbPropagations=91279 nbRevisions=5083610
8.44 nbUselessRevisions=4995596 nbAssignments=840 nbFailedAssignments=42 nbBacktracks=141 nbVisitedNodes=957
8.44 nbRestartNogoods=4 mapSize=111 nbInferences=0 nbTooLargeKeys=0
8.44 => wckTime=5.529 cpuTime=5.42 mem=49M973
11.08
11.08 search
11.08 run=5 nbConstraintChecks=2824451 nbValidityChecks=3123561 nbPropagations=152754 nbRevisions=8070918
11.08 nbUselessRevisions=7919205 nbAssignments=1025 nbFailedAssignments=61 nbBacktracks=218 nbVisitedNodes=1198
11.08 nbRestartNogoods=5 mapSize=166 nbInferences=0 nbTooLargeKeys=0
11.08 => wckTime=8.168 cpuTime=8.04 mem=49M973
15.90
15.90 search
15.90 run=6 nbConstraintChecks=4503523 nbValidityChecks=4610895 nbPropagations=246608 nbRevisions=12612222
15.90 nbUselessRevisions=12361098 nbAssignments=1255 nbFailedAssignments=84 nbBacktracks=339 nbVisitedNodes=1532
15.90 nbRestartNogoods=6 mapSize=269 nbInferences=0 nbTooLargeKeys=0
15.90 => wckTime=12.996 cpuTime=12.84 mem=49M973
22.37
22.37 search
22.37 run=7 nbConstraintChecks=6832856 nbValidityChecks=6644430 nbPropagations=385402 nbRevisions=19284349
22.37 nbUselessRevisions=18884347 nbAssignments=1557 nbFailedAssignments=121 nbBacktracks=517 nbVisitedNodes=1984
22.37 nbRestartNogoods=7 mapSize=417 nbInferences=0 nbTooLargeKeys=0
22.37 => wckTime=19.461 cpuTime=19.26 mem=49M973
32.78
32.78 search
32.78 run=8 nbConstraintChecks=10216837 nbValidityChecks=9915562 nbPropagations=585194 nbRevisions=29126682
32.78 nbUselessRevisions=28509546 nbAssignments=1945 nbFailedAssignments=169 nbBacktracks=774 nbVisitedNodes=2586
32.78 nbRestartNogoods=9 mapSize=629 nbInferences=0 nbTooLargeKeys=0
32.78 => wckTime=29.876 cpuTime=29.63 mem=49M973
47.43
47.43 search
47.43 run=9 nbConstraintChecks=15482468 nbValidityChecks=14430904 nbPropagations=886241 nbRevisions=43774326
47.43 nbUselessRevisions=42827972 nbAssignments=2497 nbFailedAssignments=229 nbBacktracks=1159 nbVisitedNodes=3484
47.43 nbRestartNogoods=11 mapSize=973 nbInferences=0 nbTooLargeKeys=0
47.43 => wckTime=44.524 cpuTime=44.2 mem=49M973
49.13
49.13 INFO : Stopping hyperNogood (mapSize=1004, nbTooLargekeys=0, mem=49M973)
68.01
68.01 search
68.01 run=10 nbConstraintChecks=23093430 nbValidityChecks=20780585 nbPropagations=1331891 nbRevisions=65308660
68.01 nbUselessRevisions=63871812 nbAssignments=3236 nbFailedAssignments=307 nbBacktracks=1735 nbVisitedNodes=4734
68.01 nbRestartNogoods=13
68.01 => wckTime=65.106 cpuTime=64.67 mem=49M973
98.78
98.78 search
98.78 run=11 nbConstraintChecks=34258449 nbValidityChecks=30202579 nbPropagations=1992580 nbRevisions=97008190
98.78 nbUselessRevisions=94841956 nbAssignments=4315 nbFailedAssignments=431 nbBacktracks=2599 nbVisitedNodes=6565
98.78 nbRestartNogoods=15
98.79 => wckTime=95.878 cpuTime=95.3 mem=50M982
143.64
143.64 search
143.64 run=12 nbConstraintChecks=50730823 nbValidityChecks=43835644 nbPropagations=2976307 nbRevisions=143630732
143.64 nbUselessRevisions=140377383 nbAssignments=5903 nbFailedAssignments=635 nbBacktracks=3902 nbVisitedNodes=9257
143.64 nbRestartNogoods=18
143.64 => wckTime=140.737 cpuTime=139.95 mem=50M982
206.69
206.69 search
206.69 run=13 nbConstraintChecks=74923582 nbValidityChecks=62878216 nbPropagations=4436402 nbRevisions=211785682
206.69 nbUselessRevisions=206912326 nbAssignments=8244 nbFailedAssignments=940 nbBacktracks=5868 nbVisitedNodes=13292
206.69 nbRestartNogoods=22
206.69 => wckTime=203.781 cpuTime=202.69 mem=50M982
306.85
306.85 search
306.85 run=14 nbConstraintChecks=111820244 nbValidityChecks=93664800 nbPropagations=6621827 nbRevisions=313649696
306.85 nbUselessRevisions=306347954 nbAssignments=11687 nbFailedAssignments=1374 nbBacktracks=8793
306.85 nbVisitedNodes=19254 nbRestartNogoods=24
306.85 => wckTime=303.939 cpuTime=302.38 mem=50M982
450.38
450.38 search
450.38 run=15 nbConstraintChecks=167129168 nbValidityChecks=137903308 nbPropagations=9900199 nbRevisions=465484627
450.38 nbUselessRevisions=454535803 nbAssignments=16801 nbFailedAssignments=2029 nbBacktracks=13176
450.38 nbVisitedNodes=28260 nbRestartNogoods=28
450.38 => wckTime=447.475 cpuTime=445.23 mem=50M982
645.16
645.16 search
645.16 run=16 nbConstraintChecks=246214760 nbValidityChecks=199464126 nbPropagations=14802659 nbRevisions=688818747
645.16 nbUselessRevisions=672408614 nbAssignments=24586 nbFailedAssignments=3159 nbBacktracks=19754
645.16 nbVisitedNodes=41593 nbRestartNogoods=33
645.16 => wckTime=642.251 cpuTime=638.98 mem=50M982
971.94
971.94 search
971.94 run=17 nbConstraintChecks=367232442 nbValidityChecks=297415622 nbPropagations=22159023 nbRevisions=1022478244
971.94 nbUselessRevisions=997874703 nbAssignments=35966 nbFailedAssignments=4607 nbBacktracks=29609
971.94 nbVisitedNodes=61246 nbRestartNogoods=36
971.94 => wckTime=969.032 cpuTime=962.77 mem=50M982
1479.74
1479.74 search
1479.74 run=18 nbConstraintChecks=555642338 nbValidityChecks=444997061 nbPropagations=33364743 nbRevisions=1525912641
1479.74 nbUselessRevisions=1488825768 nbAssignments=52964 nbFailedAssignments=6740 nbBacktracks=44389
1479.74 nbVisitedNodes=91077 nbRestartNogoods=40
1479.74 => wckTime=1476.832 cpuTime=1465.93 mem=50M982
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node20/watcher-215263-1168078059 -o ROOT/results/node20/solver-215263-1168078059 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215263-1168078059/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.93 0.98 0.99 4/93 23189
/proc/meminfo: memFree=1681952/2055920 swapFree=4170284/4192956
[pid=23188] ppid=23186 vsize=906644 CPUtime=0.02
/proc/23188/stat : 23188 (java) S 23186 23188 22960 0 -1 0 2069 0 1 0 2 0 0 0 18 0 2 0 156200432 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 226661 1818 1036 14 0 214244 0
[pid=23188/tid=23190] ppid=23186 vsize=906644 CPUtime=0
/proc/23188/task/23190/stat : 23190 (java) R 23186 23188 22960 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 156200436 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.104838 s]
/proc/loadavg: 0.93 0.98 0.99 4/93 23189
/proc/meminfo: memFree=1681952/2055920 swapFree=4170284/4192956
[pid=23188] ppid=23186 vsize=914988 CPUtime=0.08
/proc/23188/stat : 23188 (java) R 23186 23188 22960 0 -1 0 2999 0 1 0 7 1 0 0 20 0 8 0 156200432 936947712 2745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072936459 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 228747 2745 1428 14 0 215242 0
[pid=23188/tid=23190] ppid=23186 vsize=914988 CPUtime=0
/proc/23188/task/23190/stat : 23190 (java) S 23186 23188 22960 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 156200436 936947712 2745 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.513888 s]
/proc/loadavg: 0.93 0.98 0.99 4/93 23189
/proc/meminfo: memFree=1681952/2055920 swapFree=4170284/4192956
[pid=23188] ppid=23186 vsize=915328 CPUtime=0.49
/proc/23188/stat : 23188 (java) R 23186 23188 22960 0 -1 0 6503 0 1 0 46 3 0 0 22 0 8 0 156200432 937295872 6242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072917370 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 228832 6242 2144 14 0 215302 0
[pid=23188/tid=23190] ppid=23186 vsize=915328 CPUtime=0
/proc/23188/task/23190/stat : 23190 (java) S 23186 23188 22960 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 156200436 937295872 6242 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.343 s]
/proc/loadavg: 0.93 0.98 0.99 3/100 23196
/proc/meminfo: memFree=1621544/2055920 swapFree=4170284/4192956
[pid=23188] ppid=23186 vsize=915640 CPUtime=1.31
/proc/23188/stat : 23188 (java) R 23186 23188 22960 0 -1 0 17471 0 1 0 116 15 0 0 25 0 8 0 156200432 937615360 17208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 228910 17208 2178 14 0 215380 0
[pid=23188/tid=23190] ppid=23186 vsize=915640 CPUtime=0.02
/proc/23188/task/23190/stat : 23190 (java) S 23186 23188 22960 0 -1 64 872 0 0 0 2 0 0 0 16 0 8 0 156200436 937615360 17208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23191] ppid=23186 vsize=915640 CPUtime=0
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22960 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156200437 937615360 17208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23192] ppid=23186 vsize=915640 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22960 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156200437 937615360 17208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23193] ppid=23186 vsize=915640 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22960 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156200440 937615360 17208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23194] ppid=23186 vsize=915640 CPUtime=0.15
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22960 0 -1 64 412 0 0 0 15 0 0 0 15 0 8 0 156200440 937615360 17208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=915640 CPUtime=0
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156200440 937615360 17208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23196] ppid=23186 vsize=915640 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156200440 937615360 17208 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915640
[startup+2.99719 s]
/proc/loadavg: 0.93 0.98 0.99 3/100 23196
/proc/meminfo: memFree=1610152/2055920 swapFree=4170284/4192956
[pid=23188] ppid=23186 vsize=915728 CPUtime=2.96
/proc/23188/stat : 23188 (java) R 23186 23188 22960 0 -1 0 23622 0 1 0 232 64 0 0 25 0 8 0 156200432 937705472 23347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074036918 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 228932 23347 2533 14 0 215402 0
[pid=23188/tid=23190] ppid=23186 vsize=915728 CPUtime=0.25
/proc/23188/task/23190/stat : 23190 (java) S 23186 23188 22960 0 -1 64 6542 0 0 0 23 2 0 0 16 0 8 0 156200436 937705472 23347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23191] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22960 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23192] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22960 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23193] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22960 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156200440 937705472 23347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23194] ppid=23186 vsize=915728 CPUtime=0.25
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22960 0 -1 64 472 0 0 0 25 0 0 0 15 0 8 0 156200440 937705472 23347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156200440 937705472 23347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23196] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156200440 937705472 23347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915728
[startup+6.27758 s]
/proc/loadavg: 1.02 1.00 1.00 3/100 23196
/proc/meminfo: memFree=1598256/2055920 swapFree=4170284/4192956
[pid=23188] ppid=23186 vsize=915728 CPUtime=6.2
/proc/23188/stat : 23188 (java) R 23186 23188 22960 0 -1 0 23649 0 1 0 555 65 0 0 25 0 8 0 156200432 937705472 23372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074046904 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 228932 23372 2537 14 0 215402 0
[pid=23188/tid=23190] ppid=23186 vsize=915728 CPUtime=0.25
/proc/23188/task/23190/stat : 23190 (java) S 23186 23188 22960 0 -1 64 6543 0 0 0 23 2 0 0 16 0 8 0 156200436 937705472 23372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23191] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22960 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23192] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22960 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23193] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22960 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156200440 937705472 23372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23194] ppid=23186 vsize=915728 CPUtime=0.29
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22960 0 -1 64 490 0 0 0 29 0 0 0 15 0 8 0 156200440 937705472 23372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156200440 937705472 23372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23196] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156200440 937705472 23372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915728
[startup+12.7754 s]
/proc/loadavg: 1.10 1.02 1.01 3/100 23196
/proc/meminfo: memFree=1598256/2055920 swapFree=4170284/4192956
[pid=23188] ppid=23186 vsize=915728 CPUtime=12.67
/proc/23188/stat : 23188 (java) R 23186 23188 22960 0 -1 0 23654 0 1 0 1202 65 0 0 25 0 8 0 156200432 937705472 23375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811104 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 228932 23375 2537 14 0 215402 0
[pid=23188/tid=23190] ppid=23186 vsize=915728 CPUtime=0.25
/proc/23188/task/23190/stat : 23190 (java) S 23186 23188 22960 0 -1 64 6543 0 0 0 23 2 0 0 16 0 8 0 156200436 937705472 23375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23191] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22960 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23192] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22960 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23193] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22960 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156200440 937705472 23375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23194] ppid=23186 vsize=915728 CPUtime=0.3
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22960 0 -1 64 493 0 0 0 30 0 0 0 16 0 8 0 156200440 937705472 23375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156200440 937705472 23375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23196] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156200440 937705472 23375 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 915728
[startup+25.6389 s]
/proc/loadavg: 1.30 1.06 1.02 3/100 23196
/proc/meminfo: memFree=1598320/2055920 swapFree=4170284/4192956
[pid=23188] ppid=23186 vsize=915728 CPUtime=25.47
/proc/23188/stat : 23188 (java) R 23186 23188 22960 0 -1 0 23665 0 1 0 2482 65 0 0 25 0 8 0 156200432 937705472 23382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074051517 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 228932 23382 2537 14 0 215402 0
[pid=23188/tid=23190] ppid=23186 vsize=915728 CPUtime=0.25
/proc/23188/task/23190/stat : 23190 (java) S 23186 23188 22960 0 -1 64 6543 0 0 0 23 2 0 0 16 0 8 0 156200436 937705472 23382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23191] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22960 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23192] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22960 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23193] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22960 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156200440 937705472 23382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23194] ppid=23186 vsize=915728 CPUtime=0.32
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22960 0 -1 64 500 0 0 0 31 1 0 0 16 0 8 0 156200440 937705472 23382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156200440 937705472 23382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23196] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156200440 937705472 23382 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915728
[startup+51.275 s]
/proc/loadavg: 1.54 1.14 1.04 3/100 23196
/proc/meminfo: memFree=1598384/2055920 swapFree=4170284/4192956
[pid=23188] ppid=23186 vsize=915728 CPUtime=50.98
/proc/23188/stat : 23188 (java) R 23186 23188 22960 0 -1 0 23670 0 1 0 5033 65 0 0 25 0 8 0 156200432 937705472 23385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074024343 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 228932 23385 2537 14 0 215402 0
[pid=23188/tid=23190] ppid=23186 vsize=915728 CPUtime=0.25
/proc/23188/task/23190/stat : 23190 (java) S 23186 23188 22960 0 -1 64 6543 0 0 0 23 2 0 0 16 0 8 0 156200436 937705472 23385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23191] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22960 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23192] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22960 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23193] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22960 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156200440 937705472 23385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23194] ppid=23186 vsize=915728 CPUtime=0.33
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22960 0 -1 64 504 0 0 0 32 1 0 0 15 0 8 0 156200440 937705472 23385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156200440 937705472 23385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23196] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156200440 937705472 23385 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 915728
[startup+102.539 s]
/proc/loadavg: 1.80 1.27 1.09 3/100 23196
/proc/meminfo: memFree=1598384/2055920 swapFree=4170284/4192956
[pid=23188] ppid=23186 vsize=915728 CPUtime=102.01
/proc/23188/stat : 23188 (java) R 23186 23188 22960 0 -1 0 23674 0 1 0 10135 66 0 0 25 0 8 0 156200432 937705472 23387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074005090 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 228932 23387 2537 14 0 215402 0
[pid=23188/tid=23190] ppid=23186 vsize=915728 CPUtime=0.25
/proc/23188/task/23190/stat : 23190 (java) S 23186 23188 22960 0 -1 64 6543 0 0 0 23 2 0 0 16 0 8 0 156200436 937705472 23387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23191] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22960 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23192] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22960 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23193] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22960 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156200440 937705472 23387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23194] ppid=23186 vsize=915728 CPUtime=0.34
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22960 0 -1 64 507 0 0 0 33 1 0 0 16 0 8 0 156200440 937705472 23387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156200440 937705472 23387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23196] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156200440 937705472 23387 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.01
Current children cumulated vsize (KiB) 915728
################
# More data... #
################
Current children cumulated CPU time (s) 1412.62
Current children cumulated vsize (KiB) 915728
[startup+1482.95 s]
/proc/loadavg: 2.00 1.98 1.77 3/100 23422
/proc/meminfo: memFree=1210304/2055920 swapFree=4170284/4192956
[pid=23188] ppid=23186 vsize=915728 CPUtime=1472.09
/proc/23188/stat : 23188 (java) R 23186 23188 22960 0 -1 0 23677 0 1 0 147128 81 0 0 25 0 8 0 156200432 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074049152 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 228932 23389 2537 14 0 215402 0
[pid=23188/tid=23190] ppid=23186 vsize=915728 CPUtime=0.25
/proc/23188/task/23190/stat : 23190 (java) S 23186 23188 22960 0 -1 64 6543 0 0 0 23 2 0 0 16 0 8 0 156200436 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23191] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22960 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23192] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22960 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23193] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22960 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23194] ppid=23186 vsize=915728 CPUtime=0.34
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22960 0 -1 64 510 0 0 0 33 1 0 0 16 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23196] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1472.09
Current children cumulated vsize (KiB) 915728
[startup+1542.97 s]
/proc/loadavg: 2.00 1.98 1.78 3/100 23422
/proc/meminfo: memFree=1173568/2055920 swapFree=4170284/4192956
[pid=23188] ppid=23186 vsize=915728 CPUtime=1531.56
/proc/23188/stat : 23188 (java) R 23186 23188 22960 0 -1 0 23677 0 1 0 153074 82 0 0 25 0 8 0 156200432 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074051534 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 228932 23389 2537 14 0 215402 0
[pid=23188/tid=23190] ppid=23186 vsize=915728 CPUtime=0.25
/proc/23188/task/23190/stat : 23190 (java) S 23186 23188 22960 0 -1 64 6543 0 0 0 23 2 0 0 16 0 8 0 156200436 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23191] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22960 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23192] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22960 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23193] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22960 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23194] ppid=23186 vsize=915728 CPUtime=0.34
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22960 0 -1 64 510 0 0 0 33 1 0 0 16 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23196] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1531.56
Current children cumulated vsize (KiB) 915728
[startup+1602.99 s]
/proc/loadavg: 2.00 1.98 1.79 3/100 23422
/proc/meminfo: memFree=1173504/2055920 swapFree=4170284/4192956
[pid=23188] ppid=23186 vsize=915728 CPUtime=1591.03
/proc/23188/stat : 23188 (java) R 23186 23188 22960 0 -1 0 23677 0 1 0 159021 82 0 0 25 0 8 0 156200432 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074054184 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 228932 23389 2537 14 0 215402 0
[pid=23188/tid=23190] ppid=23186 vsize=915728 CPUtime=0.25
/proc/23188/task/23190/stat : 23190 (java) S 23186 23188 22960 0 -1 64 6543 0 0 0 23 2 0 0 16 0 8 0 156200436 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23191] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22960 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23192] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22960 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23193] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22960 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23194] ppid=23186 vsize=915728 CPUtime=0.34
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22960 0 -1 64 510 0 0 0 33 1 0 0 16 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23196] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1591.03
Current children cumulated vsize (KiB) 915728
[startup+1663.01 s]
/proc/loadavg: 2.06 2.00 1.81 3/100 23422
/proc/meminfo: memFree=1132480/2055920 swapFree=4170284/4192956
[pid=23188] ppid=23186 vsize=915728 CPUtime=1650.49
/proc/23188/stat : 23188 (java) R 23186 23188 22960 0 -1 0 23677 0 1 0 164967 82 0 0 25 0 8 0 156200432 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074051739 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 228932 23389 2537 14 0 215402 0
[pid=23188/tid=23190] ppid=23186 vsize=915728 CPUtime=0.25
/proc/23188/task/23190/stat : 23190 (java) S 23186 23188 22960 0 -1 64 6543 0 0 0 23 2 0 0 16 0 8 0 156200436 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23191] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22960 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23192] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22960 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23193] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22960 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23194] ppid=23186 vsize=915728 CPUtime=0.34
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22960 0 -1 64 510 0 0 0 33 1 0 0 16 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23196] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1650.49
Current children cumulated vsize (KiB) 915728
[startup+1723.02 s]
/proc/loadavg: 2.12 2.03 1.83 3/100 23422
/proc/meminfo: memFree=1132480/2055920 swapFree=4170284/4192956
[pid=23188] ppid=23186 vsize=915728 CPUtime=1709.97
/proc/23188/stat : 23188 (java) R 23186 23188 22960 0 -1 0 23677 0 1 0 170914 83 0 0 25 0 8 0 156200432 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074051525 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 228932 23389 2537 14 0 215402 0
[pid=23188/tid=23190] ppid=23186 vsize=915728 CPUtime=0.25
/proc/23188/task/23190/stat : 23190 (java) S 23186 23188 22960 0 -1 64 6543 0 0 0 23 2 0 0 16 0 8 0 156200436 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23191] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22960 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23192] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22960 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23193] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22960 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23194] ppid=23186 vsize=915728 CPUtime=0.34
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22960 0 -1 64 510 0 0 0 33 1 0 0 16 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23196] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1709.97
Current children cumulated vsize (KiB) 915728
[startup+1783.03 s]
/proc/loadavg: 2.04 2.02 1.83 3/100 23422
/proc/meminfo: memFree=1132416/2055920 swapFree=4170284/4192956
[pid=23188] ppid=23186 vsize=915728 CPUtime=1769.42
/proc/23188/stat : 23188 (java) R 23186 23188 22960 0 -1 0 23677 0 1 0 176859 83 0 0 25 0 8 0 156200432 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074013429 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 228932 23389 2537 14 0 215402 0
[pid=23188/tid=23190] ppid=23186 vsize=915728 CPUtime=0.25
/proc/23188/task/23190/stat : 23190 (java) S 23186 23188 22960 0 -1 64 6543 0 0 0 23 2 0 0 16 0 8 0 156200436 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23191] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22960 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23192] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22960 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23193] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22960 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23194] ppid=23186 vsize=915728 CPUtime=0.34
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22960 0 -1 64 510 0 0 0 33 1 0 0 16 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23196] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1769.42
Current children cumulated vsize (KiB) 915728
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1813.9 s]
/proc/loadavg: 2.02 2.02 1.84 3/100 23422
/proc/meminfo: memFree=1132416/2055920 swapFree=4170284/4192956
[pid=23188] ppid=23186 vsize=915728 CPUtime=1800.02
/proc/23188/stat : 23188 (java) R 23186 23188 22960 0 -1 0 23677 0 1 0 179918 84 0 0 25 0 8 0 156200432 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074053617 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/23188/statm: 228932 23389 2537 14 0 215402 0
[pid=23188/tid=23190] ppid=23186 vsize=915728 CPUtime=0.25
/proc/23188/task/23190/stat : 23190 (java) S 23186 23188 22960 0 -1 64 6543 0 0 0 23 2 0 0 16 0 8 0 156200436 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23191] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23191/stat : 23191 (java) S 23186 23188 22960 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23192] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23192/stat : 23192 (java) S 23186 23188 22960 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156200437 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23193] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23193/stat : 23193 (java) S 23186 23188 22960 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23194] ppid=23186 vsize=915728 CPUtime=0.34
/proc/23188/task/23194/stat : 23194 (java) S 23186 23188 22960 0 -1 64 510 0 0 0 33 1 0 0 16 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23195] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23195/stat : 23195 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=23188/tid=23196] ppid=23186 vsize=915728 CPUtime=0
/proc/23188/task/23196/stat : 23196 (java) S 23186 23188 22960 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156200440 937705472 23389 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 915728
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1813.96
CPU time (s): 1800.08
CPU user time (s): 1799.22
CPU system time (s): 0.858869
CPU usage (%): 99.2347
Max. virtual memory (cumulated for all children) (KiB): 915824
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.22
system time used= 0.858869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23693
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= 38235
involuntary context switches= 77751
runsolver used 2.31465 s user time and 5.71513 s system time
The end
Begin job on node20 on Sat Jan 6 10:07:39 UTC 2007
IDJOB= 215263
IDBENCH= 4988
FILE ID= node20/215263-1168078059
PBS_JOBID= 3476079
Free space on /tmp= 66542 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/ii/ii-32e5.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215263-1168078059/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-215263-1168078059 -o ROOT/results/node20/solver-215263-1168078059 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/215263-1168078059/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e845ce6b023230549f1a878508493526
RANDOM SEED= 766302005
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.216
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.216
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: 1682432 kB
Buffers: 38920 kB
Cached: 157580 kB
SwapCached: 4236 kB
Active: 157644 kB
Inactive: 146212 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1682432 kB
SwapTotal: 4192956 kB
SwapFree: 4170284 kB
Dirty: 6332 kB
Writeback: 0 kB
Mapped: 131224 kB
Slab: 54088 kB
Committed_AS: 3659308 kB
PageTables: 2580 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= 66539 MiB
End job on node20 on Sat Jan 6 10:37:56 UTC 2007