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/206722-1168177171/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.42 => wckTime=0.101 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
1.57
1.57 constraints being loaded...
2.34 nbConstraints=92 nbRelationTypes=93 nbMergedConstraints=1 nbExtensionStructures=92
2.34 nbSharedExtensionStructures=0 nbConflictsStructures=92 nbSharedConflictsStructures=0
2.34 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
2.34 => wckTime=2.021 cpuTime=1.62 mem=58M5
2.50
2.50 solver IterativeSystematicSolver being built...
2.68 => wckTime=2.357 cpuTime=1.76 mem=65M620
2.80
2.80 preprocessing
2.80 nbConstraintChecks=39960 nbValidityChecks=63738 nbPropagations=210 nbRevisions=2224 nbUselessRevisions=1989
2.80 nbSingletonTests=33 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
2.80 => wckTime=0.123 cpuTime=0.09 mem=65M620
2.91
2.91 search
2.91 run=0 nbConstraintChecks=50309 nbValidityChecks=93965 nbPropagations=612 nbRevisions=7177
2.91 nbUselessRevisions=6011 nbAssignments=32 nbFailedAssignments=14 nbBacktracks=10 nbVisitedNodes=55
2.91 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
2.91 => wckTime=0.228 cpuTime=0.19 mem=66M628
3.02
3.02 search
3.02 run=1 nbConstraintChecks=110783 nbValidityChecks=211811 nbPropagations=1756 nbRevisions=21351
3.02 nbUselessRevisions=17757 nbAssignments=78 nbFailedAssignments=38 nbBacktracks=25 nbVisitedNodes=134
3.02 nbRestartNogoods=2 mapSize=23 nbInferences=0 nbTooLargeKeys=0
3.02 => wckTime=0.345 cpuTime=0.3 mem=66M628
3.17
3.17 search
3.17 run=2 nbConstraintChecks=184101 nbValidityChecks=359139 nbPropagations=3690 nbRevisions=45467
3.17 nbUselessRevisions=37443 nbAssignments=143 nbFailedAssignments=73 nbBacktracks=47 nbVisitedNodes=248
3.17 nbRestartNogoods=6 mapSize=43 nbInferences=0 nbTooLargeKeys=0
3.17 => wckTime=0.49 cpuTime=0.43 mem=66M628
3.35
3.35 search
3.35 run=3 nbConstraintChecks=284116 nbValidityChecks=564337 nbPropagations=6701 nbRevisions=82139
3.35 nbUselessRevisions=67024 nbAssignments=231 nbFailedAssignments=120 nbBacktracks=80 nbVisitedNodes=405
3.35 nbRestartNogoods=9 mapSize=72 nbInferences=0 nbTooLargeKeys=0
3.35 => wckTime=0.668 cpuTime=0.6 mem=66M628
3.57
3.57 search
3.57 run=4 nbConstraintChecks=411824 nbValidityChecks=812182 nbPropagations=10971 nbRevisions=135071
3.57 nbUselessRevisions=109663 nbAssignments=333 nbFailedAssignments=164 nbBacktracks=130 nbVisitedNodes=579
3.57 nbRestartNogoods=14 mapSize=109 nbInferences=0 nbTooLargeKeys=0
3.57 => wckTime=0.893 cpuTime=0.82 mem=66M628
4.10
4.10 search
4.10 run=5 nbConstraintChecks=728166 nbValidityChecks=1441738 nbPropagations=18228 nbRevisions=223702
4.10 nbUselessRevisions=180065 nbAssignments=541 nbFailedAssignments=290 nbBacktracks=206 nbVisitedNodes=970
4.10 nbRestartNogoods=16 mapSize=182 nbInferences=0 nbTooLargeKeys=0
4.10 => wckTime=1.418 cpuTime=1.34 mem=66M628
4.65
4.65 search
4.65 run=6 nbConstraintChecks=1066657 nbValidityChecks=2080629 nbPropagations=28589 nbRevisions=351785
4.65 nbUselessRevisions=282054 nbAssignments=789 nbFailedAssignments=418 nbBacktracks=319 nbVisitedNodes=1419
4.65 nbRestartNogoods=18 mapSize=283 nbInferences=0 nbTooLargeKeys=0
4.65 => wckTime=1.972 cpuTime=1.89 mem=66M628
5.38
5.38 search
5.38 run=7 nbConstraintChecks=1509739 nbValidityChecks=2958846 nbPropagations=43499 nbRevisions=535397
5.38 nbUselessRevisions=428227 nbAssignments=1189 nbFailedAssignments=640 nbBacktracks=490 nbVisitedNodes=2140
5.38 nbRestartNogoods=22 mapSize=427 nbInferences=0 nbTooLargeKeys=0
5.38 => wckTime=2.703 cpuTime=2.62 mem=66M628
7.06
7.06 search
7.06 run=8 nbConstraintChecks=2505562 nbValidityChecks=4856588 nbPropagations=66303 nbRevisions=824222
7.06 nbUselessRevisions=658157 nbAssignments=1757 nbFailedAssignments=943 nbBacktracks=747 nbVisitedNodes=3172
7.06 nbRestartNogoods=27 mapSize=660 nbInferences=0 nbTooLargeKeys=0
7.06 => wckTime=4.384 cpuTime=4.26 mem=66M628
8.95
8.95 search
8.95 run=9 nbConstraintChecks=3667813 nbValidityChecks=7156362 nbPropagations=100998 nbRevisions=1260073
8.95 nbUselessRevisions=1004420 nbAssignments=2750 nbFailedAssignments=1545 nbBacktracks=1131 nbVisitedNodes=5022
8.95 nbRestartNogoods=35 mapSize=1009 nbInferences=0 nbTooLargeKeys=0
8.95 => wckTime=6.27 cpuTime=6.11 mem=66M628
9.08
9.08 INFO : Stopping hyperNogood (mapSize=1026, nbTooLargekeys=0, mem=66M628)
12.59
12.60 search
12.60 run=10 nbConstraintChecks=5903166 nbValidityChecks=11443872 nbPropagations=153921 nbRevisions=1934752
12.60 nbUselessRevisions=1540771 nbAssignments=4041 nbFailedAssignments=2253 nbBacktracks=1707 nbVisitedNodes=7388
12.60 nbRestartNogoods=40
12.60 => wckTime=9.916 cpuTime=9.72 mem=66M628
16.33
16.33 search
16.33 run=11 nbConstraintChecks=8238867 nbValidityChecks=16044257 nbPropagations=232989 nbRevisions=2959564
16.33 nbUselessRevisions=2362825 nbAssignments=5988 nbFailedAssignments=3328 nbBacktracks=2571 nbVisitedNodes=10990
16.33 nbRestartNogoods=46
16.33 => wckTime=13.649 cpuTime=13.42 mem=66M628
22.58
22.58 search
22.58 run=12 nbConstraintChecks=12124225 nbValidityChecks=23631903 nbPropagations=351362 nbRevisions=4470443
22.58 nbUselessRevisions=3569492 nbAssignments=8961 nbFailedAssignments=4978 nbBacktracks=3868 nbVisitedNodes=16433
22.58 nbRestartNogoods=50
22.58 => wckTime=19.901 cpuTime=19.61 mem=66M628
34.66
34.66 search
34.66 run=13 nbConstraintChecks=19603420 nbValidityChecks=38252558 nbPropagations=537073 nbRevisions=6793536
34.66 nbUselessRevisions=5411172 nbAssignments=13555 nbFailedAssignments=7619 nbBacktracks=5814 nbVisitedNodes=24960
34.66 nbRestartNogoods=54
34.66 => wckTime=31.98 cpuTime=31.58 mem=66M628
48.05
48.05 search
48.05 run=14 nbConstraintChecks=27908303 nbValidityChecks=54498297 nbPropagations=808443 nbRevisions=10153973
48.05 nbUselessRevisions=8072861 nbAssignments=19884 nbFailedAssignments=11020 nbBacktracks=8733 nbVisitedNodes=36553
48.05 nbRestartNogoods=66
48.05 => wckTime=45.369 cpuTime=44.84 mem=66M628
68.74
68.74 search
68.74 run=15 nbConstraintChecks=40641038 nbValidityChecks=79753948 nbPropagations=1211439 nbRevisions=15100548
68.74 nbUselessRevisions=11987809 nbAssignments=29427 nbFailedAssignments=16176 nbBacktracks=13112
68.74 nbVisitedNodes=54183 nbRestartNogoods=75
68.74 => wckTime=66.066 cpuTime=65.35 mem=66M628
105.33
105.33 search
105.33 run=16 nbConstraintChecks=63393551 nbValidityChecks=123877234 nbPropagations=1818299 nbRevisions=22501037
105.33 nbUselessRevisions=17828689 nbAssignments=43378 nbFailedAssignments=23550 nbBacktracks=19681
105.33 nbVisitedNodes=79647 nbRestartNogoods=89
105.33 => wckTime=102.655 cpuTime=101.6 mem=66M628
162.20
162.20 search
162.20 run=17 nbConstraintChecks=99074182 nbValidityChecks=195496750 nbPropagations=2785126 nbRevisions=34564266
162.20 nbUselessRevisions=27368186 nbAssignments=70267 nbFailedAssignments=40579 nbBacktracks=29533
162.20 nbVisitedNodes=130394 nbRestartNogoods=96
162.20 => wckTime=159.525 cpuTime=157.95 mem=66M628
233.30
233.30 search
233.30 run=18 nbConstraintChecks=142787673 nbValidityChecks=281135467 nbPropagations=4190375 nbRevisions=51883641
233.30 nbUselessRevisions=41055762 nbAssignments=102421 nbFailedAssignments=57947 nbBacktracks=44311
233.30 nbVisitedNodes=189347 nbRestartNogoods=114
233.30 => wckTime=230.624 cpuTime=228.39 mem=66M628
362.69
362.69 search
362.69 run=19 nbConstraintChecks=220602099 nbValidityChecks=440907059 nbPropagations=6359748 nbRevisions=79212855
362.69 nbUselessRevisions=62765835 nbAssignments=154891 nbFailedAssignments=88240 nbBacktracks=66481
362.69 nbVisitedNodes=287384 nbRestartNogoods=126
362.69 => wckTime=360.012 cpuTime=356.95 mem=66M628
550.54
550.54 search
550.54 run=20 nbConstraintChecks=338726856 nbValidityChecks=671412455 nbPropagations=9618873 nbRevisions=119737180
550.54 nbUselessRevisions=94840101 nbAssignments=232069 nbFailedAssignments=132161 nbBacktracks=99735
550.54 nbVisitedNodes=430276 nbRestartNogoods=149
550.54 => wckTime=547.859 cpuTime=543.9 mem=66M628
792.90
792.90 search
792.90 run=21 nbConstraintChecks=489729701 nbValidityChecks=972112939 nbPropagations=14460878 nbRevisions=179897581
792.90 nbUselessRevisions=142469462 nbAssignments=349504 nbFailedAssignments=199711 nbBacktracks=149614
792.90 nbVisitedNodes=647800 nbRestartNogoods=164
792.90 => wckTime=790.221 cpuTime=785.11 mem=66M628
1249.56
1249.56 search
1249.56 run=22 nbConstraintChecks=773926075 nbValidityChecks=1534630076 nbPropagations=21915672 nbRevisions=272002488
1249.56 nbUselessRevisions=215158286 nbAssignments=524947 nbFailedAssignments=300329 nbBacktracks=224432
1249.56 nbVisitedNodes=975958 nbRestartNogoods=190
1249.56 => wckTime=1246.879 cpuTime=1239.59 mem=66M628
1801.63
1801.63 search
1801.63 run=23 nbConstraintChecks=1121674600 nbValidityChecks=2216729758 nbPropagations=32941420 nbRevisions=407651224
1801.63 nbUselessRevisions=322198139 nbAssignments=783189 nbFailedAssignments=446324 nbBacktracks=336659
1801.63 nbVisitedNodes=1457002 nbRestartNogoods=222
1801.63 => wckTime=1798.95 cpuTime=1787.51 mem=66M628
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-206722-1168177171 -o ROOT/results/node43/solver-206722-1168177171 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206722-1168177171/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
/proc/loadavg: 2.00 2.01 1.95 4/80 10865
/proc/meminfo: memFree=1309528/2055920 swapFree=4192812/4192956
[pid=10864] ppid=10862 vsize=18540 CPUtime=0
/proc/10864/stat : 10864 (runsolver) R 10862 10176 10176 0 -1 4194368 13 0 0 0 0 0 0 0 20 0 1 0 166116215 18984960 277 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 239173429431 0 0 4096 24578 0 0 0 17 1 0 0
/proc/10864/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.10736 s]
/proc/loadavg: 2.00 2.01 1.95 4/80 10865
/proc/meminfo: memFree=1309528/2055920 swapFree=4192812/4192956
[pid=10864] ppid=10862 vsize=914988 CPUtime=0.08
/proc/10864/stat : 10864 (java) R 10862 10864 10176 0 -1 0 2980 0 1 0 6 2 0 0 17 0 8 0 166116215 936947712 2726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072943017 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10864/statm: 228747 2726 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515425 s]
/proc/loadavg: 2.00 2.01 1.95 4/80 10865
/proc/meminfo: memFree=1309528/2055920 swapFree=4192812/4192956
[pid=10864] ppid=10862 vsize=915328 CPUtime=0.49
/proc/10864/stat : 10864 (java) R 10862 10864 10176 0 -1 0 7510 0 1 0 43 6 0 0 18 0 8 0 166116215 937295872 7249 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073581018 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10864/statm: 228832 7249 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33657 s]
/proc/loadavg: 2.00 2.01 1.95 3/87 10872
/proc/meminfo: memFree=1242400/2055920 swapFree=4192812/4192956
[pid=10864] ppid=10862 vsize=915328 CPUtime=1.3
/proc/10864/stat : 10864 (java) R 10862 10864 10176 0 -1 0 19099 0 1 0 118 12 0 0 25 0 8 0 166116215 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073561003 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10864/statm: 228832 18837 2149 14 0 215302 0
[pid=10864/tid=10866] ppid=10862 vsize=915328 CPUtime=0.05
/proc/10864/task/10866/stat : 10866 (java) S 10862 10864 10176 0 -1 64 2680 0 0 0 4 1 0 0 17 0 8 0 166116219 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10867] ppid=10862 vsize=915328 CPUtime=0
/proc/10864/task/10867/stat : 10867 (java) S 10862 10864 10176 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166116220 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10868] ppid=10862 vsize=915328 CPUtime=0
/proc/10864/task/10868/stat : 10868 (java) S 10862 10864 10176 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166116220 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10869] ppid=10862 vsize=915328 CPUtime=0
/proc/10864/task/10869/stat : 10869 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166116223 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10870] ppid=10862 vsize=915328 CPUtime=0.08
/proc/10864/task/10870/stat : 10870 (java) S 10862 10864 10176 0 -1 64 308 0 0 0 8 0 0 0 16 0 8 0 166116223 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10871] ppid=10862 vsize=915328 CPUtime=0
/proc/10864/task/10871/stat : 10871 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166116223 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10872] ppid=10862 vsize=915328 CPUtime=0
/proc/10864/task/10872/stat : 10872 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166116223 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328
[startup+2.98684 s]
/proc/loadavg: 2.00 2.01 1.95 3/87 10872
/proc/meminfo: memFree=1201760/2055920 swapFree=4192812/4192956
[pid=10864] ppid=10862 vsize=915440 CPUtime=2.94
/proc/10864/stat : 10864 (java) R 10862 10864 10176 0 -1 0 32572 0 1 0 275 19 0 0 25 0 8 0 166116215 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803288 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10864/statm: 228860 32307 2531 14 0 215330 0
[pid=10864/tid=10866] ppid=10862 vsize=915440 CPUtime=0.45
/proc/10864/task/10866/stat : 10866 (java) S 10862 10864 10176 0 -1 64 15581 0 0 0 38 7 0 0 17 0 8 0 166116219 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10867] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10867/stat : 10867 (java) S 10862 10864 10176 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166116220 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10868] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10868/stat : 10868 (java) S 10862 10864 10176 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166116220 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10869] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10869/stat : 10869 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166116223 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10870] ppid=10862 vsize=915440 CPUtime=0.19
/proc/10864/task/10870/stat : 10870 (java) S 10862 10864 10176 0 -1 64 373 0 0 0 19 0 0 0 15 0 8 0 166116223 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10871] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10871/stat : 10871 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166116223 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10872] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10872/stat : 10872 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166116223 937410560 32307 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915440
[startup+6.27839 s]
/proc/loadavg: 2.00 2.01 1.95 4/87 10872
/proc/meminfo: memFree=1189736/2055920 swapFree=4192812/4192956
[pid=10864] ppid=10862 vsize=915440 CPUtime=6.2
/proc/10864/stat : 10864 (java) R 10862 10864 10176 0 -1 0 32588 0 1 0 600 20 0 0 25 0 8 0 166116215 937410560 32321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10864/statm: 228860 32321 2531 14 0 215330 0
[pid=10864/tid=10866] ppid=10862 vsize=915440 CPUtime=0.45
/proc/10864/task/10866/stat : 10866 (java) S 10862 10864 10176 0 -1 64 15581 0 0 0 38 7 0 0 17 0 8 0 166116219 937410560 32321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10867] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10867/stat : 10867 (java) S 10862 10864 10176 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166116220 937410560 32321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10868] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10868/stat : 10868 (java) S 10862 10864 10176 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166116220 937410560 32321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10869] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10869/stat : 10869 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166116223 937410560 32321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10870] ppid=10862 vsize=915440 CPUtime=0.23
/proc/10864/task/10870/stat : 10870 (java) S 10862 10864 10176 0 -1 64 387 0 0 0 23 0 0 0 16 0 8 0 166116223 937410560 32321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10871] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10871/stat : 10871 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166116223 937410560 32321 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10872] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10872/stat : 10872 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166116223 937410560 32321 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) 915440
[startup+12.7645 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 10872
/proc/meminfo: memFree=1189872/2055920 swapFree=4192812/4192956
[pid=10864] ppid=10862 vsize=915440 CPUtime=12.62
/proc/10864/stat : 10864 (java) R 10862 10864 10176 0 -1 0 32603 0 1 0 1242 20 0 0 25 0 8 0 166116215 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800239 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10864/statm: 228860 32332 2531 14 0 215330 0
[pid=10864/tid=10866] ppid=10862 vsize=915440 CPUtime=0.45
/proc/10864/task/10866/stat : 10866 (java) S 10862 10864 10176 0 -1 64 15581 0 0 0 38 7 0 0 16 0 8 0 166116219 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10867] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10867/stat : 10867 (java) S 10862 10864 10176 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166116220 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10868] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10868/stat : 10868 (java) S 10862 10864 10176 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166116220 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10869] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10869/stat : 10869 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166116223 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10870] ppid=10862 vsize=915440 CPUtime=0.26
/proc/10864/task/10870/stat : 10870 (java) S 10862 10864 10176 0 -1 64 400 0 0 0 25 1 0 0 16 0 8 0 166116223 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10871] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10871/stat : 10871 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166116223 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10872] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10872/stat : 10872 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166116223 937410560 32332 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915440
[startup+25.6306 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 10872
/proc/meminfo: memFree=1190128/2055920 swapFree=4192812/4192956
[pid=10864] ppid=10862 vsize=915440 CPUtime=25.37
/proc/10864/stat : 10864 (java) R 10862 10864 10176 0 -1 0 32605 0 1 0 2517 20 0 0 25 0 8 0 166116215 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073803946 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10864/statm: 228860 32334 2531 14 0 215330 0
[pid=10864/tid=10866] ppid=10862 vsize=915440 CPUtime=0.45
/proc/10864/task/10866/stat : 10866 (java) S 10862 10864 10176 0 -1 64 15581 0 0 0 38 7 0 0 16 0 8 0 166116219 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10867] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10867/stat : 10867 (java) S 10862 10864 10176 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166116220 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10868] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10868/stat : 10868 (java) S 10862 10864 10176 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166116220 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10869] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10869/stat : 10869 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10870] ppid=10862 vsize=915440 CPUtime=0.26
/proc/10864/task/10870/stat : 10870 (java) S 10862 10864 10176 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10871] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10871/stat : 10871 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10872] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10872/stat : 10872 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915440
[startup+51.2589 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 10872
/proc/meminfo: memFree=1190128/2055920 swapFree=4192812/4192956
[pid=10864] ppid=10862 vsize=915440 CPUtime=50.77
/proc/10864/stat : 10864 (java) R 10862 10864 10176 0 -1 0 32605 0 1 0 5056 21 0 0 25 0 8 0 166116215 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073802368 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10864/statm: 228860 32334 2531 14 0 215330 0
[pid=10864/tid=10866] ppid=10862 vsize=915440 CPUtime=0.45
/proc/10864/task/10866/stat : 10866 (java) S 10862 10864 10176 0 -1 64 15581 0 0 0 38 7 0 0 16 0 8 0 166116219 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10867] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10867/stat : 10867 (java) S 10862 10864 10176 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166116220 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10868] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10868/stat : 10868 (java) S 10862 10864 10176 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166116220 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10869] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10869/stat : 10869 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10870] ppid=10862 vsize=915440 CPUtime=0.26
/proc/10864/task/10870/stat : 10870 (java) S 10862 10864 10176 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10871] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10871/stat : 10871 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10872] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10872/stat : 10872 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915440
[startup+102.511 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 10872
/proc/meminfo: memFree=1190192/2055920 swapFree=4192812/4192956
[pid=10864] ppid=10862 vsize=915440 CPUtime=101.55
/proc/10864/stat : 10864 (java) R 10862 10864 10176 0 -1 0 32605 0 1 0 10134 21 0 0 25 0 8 0 166116215 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796304 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10864/statm: 228860 32334 2531 14 0 215330 0
[pid=10864/tid=10866] ppid=10862 vsize=915440 CPUtime=0.45
/proc/10864/task/10866/stat : 10866 (java) S 10862 10864 10176 0 -1 64 15581 0 0 0 38 7 0 0 16 0 8 0 166116219 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10867] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10867/stat : 10867 (java) S 10862 10864 10176 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166116220 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10868] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10868/stat : 10868 (java) S 10862 10864 10176 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166116220 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10869] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10869/stat : 10869 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10870] ppid=10862 vsize=915440 CPUtime=0.26
/proc/10864/task/10870/stat : 10870 (java) S 10862 10864 10176 0 -1 64 402 0 0 0 25 1 0 0 16 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10871] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10871/stat : 10871 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10872] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10872/stat : 10872 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 915440
[startup+162.519 s]
/proc/loadavg: 2.00 2.00 1.95 3/87 10872
/proc/meminfo: memFree=1190128/2055920 swapFree=4192812/4192956
[pid=10864] ppid=10862 vsize=915440 CPUtime=161.01
/proc/10864/stat : 10864 (java) R 10862 10864 10176 0 -1 0 32606 0 1 0 16080 21 0 0 25 0 8 0 166116215 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629948 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1415.87
Current children cumulated vsize (KiB) 915440
[startup+1484.21 s]
/proc/loadavg: 2.01 2.03 2.00 3/87 11070
/proc/meminfo: memFree=1189424/2055920 swapFree=4192812/4192956
[pid=10864] ppid=10862 vsize=915440 CPUtime=1475.66
/proc/10864/stat : 10864 (java) R 10862 10864 10176 0 -1 0 32606 0 1 0 147541 25 0 0 25 0 8 0 166116215 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10864/statm: 228860 32334 2531 14 0 215330 0
[pid=10864/tid=10866] ppid=10862 vsize=915440 CPUtime=0.45
/proc/10864/task/10866/stat : 10866 (java) S 10862 10864 10176 0 -1 64 15581 0 0 0 38 7 0 0 16 0 8 0 166116219 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10867] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10867/stat : 10867 (java) S 10862 10864 10176 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166116220 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10868] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10868/stat : 10868 (java) S 10862 10864 10176 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166116220 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10869] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10869/stat : 10869 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10870] ppid=10862 vsize=915440 CPUtime=0.27
/proc/10864/task/10870/stat : 10870 (java) S 10862 10864 10176 0 -1 64 402 0 0 0 26 1 0 0 16 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10871] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10871/stat : 10871 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10872] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10872/stat : 10872 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1475.66
Current children cumulated vsize (KiB) 915440
[startup+1544.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/88 11145
/proc/meminfo: memFree=1050728/2055920 swapFree=4192812/4192956
[pid=10864] ppid=10862 vsize=915440 CPUtime=1535.45
/proc/10864/stat : 10864 (java) R 10862 10864 10176 0 -1 0 32606 0 1 0 153515 30 0 0 25 0 8 0 166116215 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10864/statm: 228860 32334 2531 14 0 215330 0
[pid=10864/tid=10866] ppid=10862 vsize=915440 CPUtime=0.45
/proc/10864/task/10866/stat : 10866 (java) S 10862 10864 10176 0 -1 64 15581 0 0 0 38 7 0 0 16 0 8 0 166116219 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10867] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10867/stat : 10867 (java) S 10862 10864 10176 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166116220 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10868] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10868/stat : 10868 (java) S 10862 10864 10176 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166116220 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10869] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10869/stat : 10869 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10870] ppid=10862 vsize=915440 CPUtime=0.27
/proc/10864/task/10870/stat : 10870 (java) S 10862 10864 10176 0 -1 64 402 0 0 0 26 1 0 0 16 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10871] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10871/stat : 10871 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10872] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10872/stat : 10872 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.45
Current children cumulated vsize (KiB) 915440
[startup+1604.38 s]
/proc/loadavg: 2.05 2.04 2.00 3/89 11146
/proc/meminfo: memFree=749472/2055920 swapFree=4192812/4192956
[pid=10864] ppid=10862 vsize=915440 CPUtime=1594.98
/proc/10864/stat : 10864 (java) R 10862 10864 10176 0 -1 0 32606 0 1 0 159468 30 0 0 25 0 8 0 166116215 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10864/statm: 228860 32334 2531 14 0 215330 0
[pid=10864/tid=10866] ppid=10862 vsize=915440 CPUtime=0.45
/proc/10864/task/10866/stat : 10866 (java) S 10862 10864 10176 0 -1 64 15581 0 0 0 38 7 0 0 16 0 8 0 166116219 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10867] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10867/stat : 10867 (java) S 10862 10864 10176 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166116220 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10868] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10868/stat : 10868 (java) S 10862 10864 10176 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166116220 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10869] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10869/stat : 10869 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10870] ppid=10862 vsize=915440 CPUtime=0.27
/proc/10864/task/10870/stat : 10870 (java) S 10862 10864 10176 0 -1 64 402 0 0 0 26 1 0 0 16 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10871] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10871/stat : 10871 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10872] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10872/stat : 10872 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1594.98
Current children cumulated vsize (KiB) 915440
[startup+1664.4 s]
/proc/loadavg: 2.02 2.03 2.00 3/89 11146
/proc/meminfo: memFree=749536/2055920 swapFree=4192812/4192956
[pid=10864] ppid=10862 vsize=915440 CPUtime=1654.38
/proc/10864/stat : 10864 (java) R 10862 10864 10176 0 -1 0 32606 0 1 0 165407 31 0 0 25 0 8 0 166116215 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10864/statm: 228860 32334 2531 14 0 215330 0
[pid=10864/tid=10866] ppid=10862 vsize=915440 CPUtime=0.45
/proc/10864/task/10866/stat : 10866 (java) S 10862 10864 10176 0 -1 64 15581 0 0 0 38 7 0 0 16 0 8 0 166116219 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10867] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10867/stat : 10867 (java) S 10862 10864 10176 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166116220 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10868] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10868/stat : 10868 (java) S 10862 10864 10176 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166116220 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10869] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10869/stat : 10869 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10870] ppid=10862 vsize=915440 CPUtime=0.27
/proc/10864/task/10870/stat : 10870 (java) S 10862 10864 10176 0 -1 64 402 0 0 0 26 1 0 0 16 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10871] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10871/stat : 10871 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10872] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10872/stat : 10872 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1654.38
Current children cumulated vsize (KiB) 915440
[startup+1724.41 s]
/proc/loadavg: 2.00 2.02 2.00 3/89 11146
/proc/meminfo: memFree=749536/2055920 swapFree=4192812/4192956
[pid=10864] ppid=10862 vsize=915440 CPUtime=1713.8
/proc/10864/stat : 10864 (java) R 10862 10864 10176 0 -1 0 32606 0 1 0 171348 32 0 0 25 0 8 0 166116215 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812304 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10864/statm: 228860 32334 2531 14 0 215330 0
[pid=10864/tid=10866] ppid=10862 vsize=915440 CPUtime=0.45
/proc/10864/task/10866/stat : 10866 (java) S 10862 10864 10176 0 -1 64 15581 0 0 0 38 7 0 0 16 0 8 0 166116219 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10867] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10867/stat : 10867 (java) S 10862 10864 10176 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166116220 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10868] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10868/stat : 10868 (java) S 10862 10864 10176 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166116220 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10869] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10869/stat : 10869 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10870] ppid=10862 vsize=915440 CPUtime=0.27
/proc/10864/task/10870/stat : 10870 (java) S 10862 10864 10176 0 -1 64 402 0 0 0 26 1 0 0 16 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10871] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10871/stat : 10871 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10872] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10872/stat : 10872 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1713.8
Current children cumulated vsize (KiB) 915440
[startup+1784.51 s]
/proc/loadavg: 2.00 2.02 2.00 3/89 11146
/proc/meminfo: memFree=749536/2055920 swapFree=4192812/4192956
[pid=10864] ppid=10862 vsize=915440 CPUtime=1773.3
/proc/10864/stat : 10864 (java) R 10862 10864 10176 0 -1 0 32606 0 1 0 177298 32 0 0 25 0 8 0 166116215 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10864/statm: 228860 32334 2531 14 0 215330 0
[pid=10864/tid=10866] ppid=10862 vsize=915440 CPUtime=0.45
/proc/10864/task/10866/stat : 10866 (java) S 10862 10864 10176 0 -1 64 15581 0 0 0 38 7 0 0 16 0 8 0 166116219 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10867] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10867/stat : 10867 (java) S 10862 10864 10176 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166116220 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10868] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10868/stat : 10868 (java) S 10862 10864 10176 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166116220 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10869] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10869/stat : 10869 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10870] ppid=10862 vsize=915440 CPUtime=0.27
/proc/10864/task/10870/stat : 10870 (java) S 10862 10864 10176 0 -1 64 402 0 0 0 26 1 0 0 16 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10871] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10871/stat : 10871 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10872] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10872/stat : 10872 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166116223 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1773.3
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.57 s]
/proc/loadavg: 2.00 2.02 2.00 3/89 11146
/proc/meminfo: memFree=749536/2055920 swapFree=4192812/4192956
[pid=10864] ppid=10862 vsize=915440 CPUtime=1800.08
/proc/10864/stat : 10864 (java) R 10862 10864 10176 0 -1 0 32607 0 1 0 179976 32 0 0 25 0 8 0 166116215 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629901 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10864/statm: 228860 32335 2531 14 0 215330 0
[pid=10864/tid=10866] ppid=10862 vsize=915440 CPUtime=0.45
/proc/10864/task/10866/stat : 10866 (java) S 10862 10864 10176 0 -1 64 15581 0 0 0 38 7 0 0 16 0 8 0 166116219 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10867] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10867/stat : 10867 (java) S 10862 10864 10176 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 166116220 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10868] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10868/stat : 10868 (java) S 10862 10864 10176 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166116220 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10869] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10869/stat : 10869 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 166116223 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10870] ppid=10862 vsize=915440 CPUtime=0.27
/proc/10864/task/10870/stat : 10870 (java) S 10862 10864 10176 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 166116223 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10864/tid=10871] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10871/stat : 10871 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 166116223 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10864/tid=10872] ppid=10862 vsize=915440 CPUtime=0
/proc/10864/task/10872/stat : 10872 (java) S 10862 10864 10176 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166116223 937410560 32335 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1811.63
CPU time (s): 1800.14
CPU user time (s): 1799.79
CPU system time (s): 0.346947
CPU usage (%): 99.3659
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.79
system time used= 0.346947
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32624
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= 37809
involuntary context switches= 68442
runsolver used 1.9457 s user time and 5.30819 s system time
The end
Begin job on node43 on Sun Jan 7 13:39:31 UTC 2007
IDJOB= 206722
IDBENCH= 4230
FILE ID= node43/206722-1168177171
PBS_JOBID= 3479086
Free space on /tmp= 66479 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-50_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206722-1168177171/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-206722-1168177171 -o ROOT/results/node43/solver-206722-1168177171 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206722-1168177171/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 8cc7f9b7727ba8ecd50a2b051bd34a2c
RANDOM SEED= 61006123
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.278
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.278
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: 1310008 kB
Buffers: 41636 kB
Cached: 502092 kB
SwapCached: 0 kB
Active: 208480 kB
Inactive: 475492 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1310008 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 7480 kB
Writeback: 0 kB
Mapped: 160472 kB
Slab: 47088 kB
Committed_AS: 4177320 kB
PageTables: 2028 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= 66478 MiB
End job on node43 on Sun Jan 7 14:09:43 UTC 2007