0.35
0.35 Abscon 109 (November, 2006)
0.35
0.35 configuration
0.35 name=mac.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/206814-1168074078/unknown.xml
0.41
0.41 domains being loaded...
0.41
0.41 variables being loaded...
0.45 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.45 => wckTime=0.1 cpuTime=0.09 mem=6M951
0.45
0.45 relations being loaded...
1.59
1.59 constraints being loaded...
2.35 nbConstraints=92 nbRelationTypes=93 nbMergedConstraints=1 nbExtensionStructures=92
2.35 nbSharedExtensionStructures=0 nbConflictsStructures=92 nbSharedConflictsStructures=0
2.35 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
2.35 => wckTime=1.998 cpuTime=1.6 mem=58M60
2.50
2.50 solver IterativeSystematicSolver being built...
2.67 => wckTime=2.322 cpuTime=1.73 mem=65M858
2.68
2.68 preprocessing
2.68 nbConstraintChecks=0 nbPropagations=28 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.68 detectedInconsistency=no
2.68 => wckTime=0.0040 cpuTime=0.0 mem=65M858
2.81
2.81 search
2.81 run=0 nbConstraintChecks=38303 nbValidityChecks=67334 nbPropagations=355 nbRevisions=3524
2.81 nbUselessRevisions=2821 nbAssignments=26 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=42
2.81 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
2.81 => wckTime=0.138 cpuTime=0.1 mem=65M858
2.97
2.97 search
2.97 run=1 nbConstraintChecks=124943 nbValidityChecks=234577 nbPropagations=1404 nbRevisions=15567
2.97 nbUselessRevisions=12349 nbAssignments=84 nbFailedAssignments=44 nbBacktracks=26 nbVisitedNodes=146
2.97 nbRestartNogoods=2 mapSize=23 nbInferences=0 nbTooLargeKeys=0
2.97 => wckTime=0.298 cpuTime=0.25 mem=65M858
3.15
3.15 search
3.15 run=2 nbConstraintChecks=211188 nbValidityChecks=387578 nbPropagations=3055 nbRevisions=35320
3.15 nbUselessRevisions=28070 nbAssignments=130 nbFailedAssignments=61 nbBacktracks=48 nbVisitedNodes=224
3.15 nbRestartNogoods=8 mapSize=41 nbInferences=0 nbTooLargeKeys=0
3.15 => wckTime=0.478 cpuTime=0.4 mem=65M858
3.37
3.37 search
3.37 run=3 nbConstraintChecks=342349 nbValidityChecks=642615 nbPropagations=5811 nbRevisions=68370
3.37 nbUselessRevisions=54487 nbAssignments=225 nbFailedAssignments=117 nbBacktracks=81 nbVisitedNodes=397
3.37 nbRestartNogoods=15 mapSize=68 nbInferences=0 nbTooLargeKeys=0
3.37 => wckTime=0.694 cpuTime=0.61 mem=65M858
3.58
3.58 search
3.58 run=4 nbConstraintChecks=464359 nbValidityChecks=878301 nbPropagations=9707 nbRevisions=115532
3.58 nbUselessRevisions=92317 nbAssignments=334 nbFailedAssignments=170 nbBacktracks=131 nbVisitedNodes=581
3.58 nbRestartNogoods=23 mapSize=105 nbInferences=0 nbTooLargeKeys=0
3.58 => wckTime=0.902 cpuTime=0.81 mem=65M858
3.93
3.93 search
3.93 run=5 nbConstraintChecks=672988 nbValidityChecks=1301193 nbPropagations=15671 nbRevisions=188144
3.93 nbUselessRevisions=150417 nbAssignments=506 nbFailedAssignments=258 nbBacktracks=207 nbVisitedNodes=886
3.93 nbRestartNogoods=26 mapSize=167 nbInferences=0 nbTooLargeKeys=0
3.93 => wckTime=1.253 cpuTime=1.16 mem=65M858
4.70
4.70 search
4.70 run=6 nbConstraintChecks=1144642 nbValidityChecks=2227644 nbPropagations=25687 nbRevisions=313911
4.70 nbUselessRevisions=250790 nbAssignments=826 nbFailedAssignments=457 nbBacktracks=320 nbVisitedNodes=1485
4.70 nbRestartNogoods=31 mapSize=271 nbInferences=0 nbTooLargeKeys=0
4.70 => wckTime=2.027 cpuTime=1.92 mem=65M858
5.62
5.62 search
5.62 run=7 nbConstraintChecks=1695894 nbValidityChecks=3269110 nbPropagations=40357 nbRevisions=498750
5.62 nbUselessRevisions=398481 nbAssignments=1174 nbFailedAssignments=628 nbBacktracks=492 nbVisitedNodes=2113
5.62 nbRestartNogoods=47 mapSize=420 nbInferences=0 nbTooLargeKeys=0
5.62 => wckTime=2.942 cpuTime=2.83 mem=65M858
6.78
6.78 search
6.78 run=8 nbConstraintChecks=2398058 nbValidityChecks=4624498 nbPropagations=61650 nbRevisions=758467
6.78 nbUselessRevisions=605492 nbAssignments=1670 nbFailedAssignments=862 nbBacktracks=749 nbVisitedNodes=2988
6.78 nbRestartNogoods=50 mapSize=630 nbInferences=0 nbTooLargeKeys=0
6.78 => wckTime=4.102 cpuTime=3.94 mem=65M858
8.56
8.56 search
8.56 run=9 nbConstraintChecks=3658854 nbValidityChecks=7002716 nbPropagations=92685 nbRevisions=1151138
8.56 nbUselessRevisions=921351 nbAssignments=2676 nbFailedAssignments=1477 nbBacktracks=1133 nbVisitedNodes=4824
8.56 nbRestartNogoods=57 mapSize=938 nbInferences=0 nbTooLargeKeys=0
8.56 => wckTime=5.883 cpuTime=5.72 mem=66M850
9.14
9.14 INFO : Stopping hyperNogood (mapSize=1030, nbTooLargekeys=0, mem=66M850)
11.17
11.17 search
11.17 run=10 nbConstraintChecks=5349687 nbValidityChecks=10221193 nbPropagations=137656 nbRevisions=1708899
11.17 nbUselessRevisions=1368424 nbAssignments=3814 nbFailedAssignments=2030 nbBacktracks=1709 nbVisitedNodes=6836
11.17 nbRestartNogoods=65
11.17 => wckTime=8.498 cpuTime=8.29 mem=66M850
15.69
15.69 search
15.69 run=11 nbConstraintChecks=8394202 nbValidityChecks=16074665 nbPropagations=207473 nbRevisions=2556020
15.69 nbUselessRevisions=2044817 nbAssignments=5857 nbFailedAssignments=3202 nbBacktracks=2573 nbVisitedNodes=10559
15.69 nbRestartNogoods=86
15.69 => wckTime=13.013 cpuTime=12.79 mem=66M850
22.14
22.14 search
22.14 run=12 nbConstraintChecks=12951694 nbValidityChecks=24678461 nbPropagations=314344 nbRevisions=3896804
22.14 nbUselessRevisions=3119107 nbAssignments=9395 nbFailedAssignments=5435 nbBacktracks=3871 nbVisitedNodes=17139
22.14 nbRestartNogoods=98
22.14 => wckTime=19.465 cpuTime=19.24 mem=66M850
30.51
30.51 search
30.51 run=13 nbConstraintChecks=18611991 nbValidityChecks=35400046 nbPropagations=469312 nbRevisions=5829774
30.51 nbUselessRevisions=4663656 nbAssignments=13176 nbFailedAssignments=7263 nbBacktracks=5819 nbVisitedNodes=23807
30.51 nbRestartNogoods=110
30.51 => wckTime=27.839 cpuTime=27.59 mem=66M850
45.08
45.08 search
45.08 run=14 nbConstraintChecks=28269980 nbValidityChecks=53733061 nbPropagations=702226 nbRevisions=8706968
45.08 nbUselessRevisions=6958768 nbAssignments=19505 nbFailedAssignments=10663 nbBacktracks=8740 nbVisitedNodes=35234
45.08 nbRestartNogoods=120
45.08 => wckTime=42.41 cpuTime=42.14 mem=66M850
63.84
63.84 search
63.84 run=15 nbConstraintChecks=40892428 nbValidityChecks=78293004 nbPropagations=1045693 nbRevisions=13000790
63.84 nbUselessRevisions=10394272 nbAssignments=29237 nbFailedAssignments=16008 nbBacktracks=13121
63.84 nbVisitedNodes=52733 nbRestartNogoods=146
63.84 => wckTime=61.171 cpuTime=60.87 mem=66M850
105.98
105.98 search
105.98 run=16 nbConstraintChecks=69475422 nbValidityChecks=133916823 nbPropagations=1617246 nbRevisions=20168266
105.98 nbUselessRevisions=16122463 nbAssignments=48131 nbFailedAssignments=28326 nbBacktracks=19689
105.98 nbVisitedNodes=88520 nbRestartNogoods=160
105.98 => wckTime=103.304 cpuTime=102.96 mem=66M850
150.73
150.73 search
150.73 run=17 nbConstraintChecks=100113664 nbValidityChecks=192984046 nbPropagations=2462457 nbRevisions=30815646
150.73 nbUselessRevisions=24645586 nbAssignments=70792 nbFailedAssignments=41126 nbBacktracks=29544
150.73 nbVisitedNodes=129873 nbRestartNogoods=172
150.73 => wckTime=148.055 cpuTime=147.66 mem=66M850
220.45
220.45 search
220.45 run=18 nbConstraintChecks=147919988 nbValidityChecks=284345722 nbPropagations=3713037 nbRevisions=46282712
220.45 nbUselessRevisions=37013175 nbAssignments=102474 nbFailedAssignments=58021 nbBacktracks=44323
220.45 nbVisitedNodes=187049 nbRestartNogoods=188
220.45 => wckTime=217.78 cpuTime=217.32 mem=66M850
311.56
311.56 search
311.56 run=19 nbConstraintChecks=210340507 nbValidityChecks=403611165 nbPropagations=5522550 nbRevisions=68440641
311.56 nbUselessRevisions=54679850 nbAssignments=146980 nbFailedAssignments=80351 nbBacktracks=66491
311.56 nbVisitedNodes=265895 nbRestartNogoods=206
311.56 => wckTime=308.887 cpuTime=308.34 mem=66M850
450.77
450.77 search
450.77 run=20 nbConstraintChecks=306425238 nbValidityChecks=589223313 nbPropagations=8153147 nbRevisions=100943954
450.77 nbUselessRevisions=80680075 nbAssignments=216721 nbFailedAssignments=116834 nbBacktracks=99743
450.77 nbVisitedNodes=390808 nbRestartNogoods=225
450.77 => wckTime=448.092 cpuTime=447.48 mem=66M850
751.55
751.55 search
751.55 run=21 nbConstraintChecks=513750435 nbValidityChecks=994610729 nbPropagations=12430808 nbRevisions=154110320
751.55 nbUselessRevisions=123190669 nbAssignments=355215 nbFailedAssignments=205443 nbBacktracks=149621
751.55 nbVisitedNodes=652074 nbRestartNogoods=240
751.55 => wckTime=748.879 cpuTime=748.19 mem=66M850
1085.92
1085.92 search
1085.92 run=22 nbConstraintChecks=748192382 nbValidityChecks=1444684608 nbPropagations=18713168 nbRevisions=233287762
1085.92 nbUselessRevisions=186702899 nbAssignments=529545 nbFailedAssignments=304948 nbBacktracks=224439
1085.92 nbVisitedNodes=970213 nbRestartNogoods=258
1085.92 => wckTime=1083.244 cpuTime=1082.48 mem=66M850
1592.53
1592.53 search
1592.53 run=23 nbConstraintChecks=1099545347 nbValidityChecks=2120715949 nbPropagations=28010097 nbRevisions=349433269
1592.53 nbUselessRevisions=279863674 nbAssignments=774568 nbFailedAssignments=437734 nbBacktracks=336668
1592.53 nbVisitedNodes=1412735 nbRestartNogoods=286
1592.53 => wckTime=1589.855 cpuTime=1588.96 mem=66M850
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node56/watcher-206814-1168074078 -o ROOT/results/node56/solver-206814-1168074078 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206814-1168074078/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.85 2.01 1.98 4/86 4390
/proc/meminfo: memFree=1524272/2055920 swapFree=4184772/4192956
[pid=4389] ppid=4387 vsize=9948 CPUtime=0
/proc/4389/stat : 4389 (java) S 4387 4389 3732 0 -1 0 723 0 0 0 0 0 0 0 18 0 1 0 155806176 10186752 472 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 17 1 0 0
/proc/4389/statm: 2487 472 386 14 0 1142 0
[startup+0.103621 s]
/proc/loadavg: 1.85 2.01 1.98 4/86 4390
/proc/meminfo: memFree=1524272/2055920 swapFree=4184772/4192956
[pid=4389] ppid=4387 vsize=907808 CPUtime=0.06
/proc/4389/stat : 4389 (java) D 4387 4389 3732 0 -1 0 2507 0 1 0 5 1 0 0 17 0 4 0 155806176 929595392 2254 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/4389/statm: 226952 2254 1232 14 0 214535 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 907808
[startup+0.51167 s]
/proc/loadavg: 1.85 2.01 1.98 4/86 4390
/proc/meminfo: memFree=1524272/2055920 swapFree=4184772/4192956
[pid=4389] ppid=4387 vsize=915328 CPUtime=0.46
/proc/4389/stat : 4389 (java) R 4387 4389 3732 0 -1 0 6897 0 1 0 42 4 0 0 18 0 8 0 155806176 937295872 6636 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4389/statm: 228832 6636 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
[startup+1.33675 s]
/proc/loadavg: 1.85 2.01 1.98 3/93 4397
/proc/meminfo: memFree=1457144/2055920 swapFree=4184772/4192956
[pid=4389] ppid=4387 vsize=915328 CPUtime=1.27
/proc/4389/stat : 4389 (java) R 4387 4389 3732 0 -1 0 19098 0 1 0 118 9 0 0 25 0 8 0 155806176 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073557572 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4389/statm: 228832 18836 2149 14 0 215302 0
[pid=4389/tid=4391] ppid=4387 vsize=915328 CPUtime=0.05
/proc/4389/task/4391/stat : 4391 (java) S 4387 4389 3732 0 -1 64 2681 0 0 0 5 0 0 0 17 0 8 0 155806180 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4392] ppid=4387 vsize=915328 CPUtime=0
/proc/4389/task/4392/stat : 4392 (java) S 4387 4389 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806181 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4393] ppid=4387 vsize=915328 CPUtime=0
/proc/4389/task/4393/stat : 4393 (java) S 4387 4389 3732 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806181 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4394] ppid=4387 vsize=915328 CPUtime=0
/proc/4389/task/4394/stat : 4394 (java) S 4387 4389 3732 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155806187 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4395] ppid=4387 vsize=915328 CPUtime=0.08
/proc/4389/task/4395/stat : 4395 (java) S 4387 4389 3732 0 -1 64 307 0 0 0 8 0 0 0 16 0 8 0 155806187 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4396] ppid=4387 vsize=915328 CPUtime=0
/proc/4389/task/4396/stat : 4396 (java) S 4387 4389 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155806187 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4397] ppid=4387 vsize=915328 CPUtime=0
/proc/4389/task/4397/stat : 4397 (java) S 4387 4389 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806187 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 915328
[startup+2.98491 s]
/proc/loadavg: 1.85 2.01 1.98 4/93 4397
/proc/meminfo: memFree=1416440/2055920 swapFree=4184772/4192956
[pid=4389] ppid=4387 vsize=915440 CPUtime=2.9
/proc/4389/stat : 4389 (java) R 4387 4389 3732 0 -1 0 32557 0 1 0 275 15 0 0 25 0 8 0 155806176 937410560 32291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4389/statm: 228860 32291 2521 14 0 215330 0
[pid=4389/tid=4391] ppid=4387 vsize=915440 CPUtime=0.45
/proc/4389/task/4391/stat : 4391 (java) S 4387 4389 3732 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155806180 937410560 32291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4392] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4392/stat : 4392 (java) S 4387 4389 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806181 937410560 32291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4393] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4393/stat : 4393 (java) S 4387 4389 3732 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806181 937410560 32291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4394] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4394/stat : 4394 (java) S 4387 4389 3732 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155806187 937410560 32291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4395] ppid=4387 vsize=915440 CPUtime=0.21
/proc/4389/task/4395/stat : 4395 (java) S 4387 4389 3732 0 -1 64 375 0 0 0 21 0 0 0 15 0 8 0 155806187 937410560 32291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4396] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4396/stat : 4396 (java) S 4387 4389 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155806187 937410560 32291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4397] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4397/stat : 4397 (java) S 4387 4389 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806187 937410560 32291 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 915440
[startup+6.26522 s]
/proc/loadavg: 1.86 2.01 1.98 3/93 4415
/proc/meminfo: memFree=1404536/2055920 swapFree=4184772/4192956
[pid=4389] ppid=4387 vsize=915440 CPUtime=6.13
/proc/4389/stat : 4389 (java) R 4387 4389 3732 0 -1 0 32570 0 1 0 597 16 0 0 25 0 8 0 155806176 937410560 32301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4389/statm: 228860 32301 2521 14 0 215330 0
[pid=4389/tid=4391] ppid=4387 vsize=915440 CPUtime=0.45
/proc/4389/task/4391/stat : 4391 (java) S 4387 4389 3732 0 -1 64 15583 0 0 0 39 6 0 0 17 0 8 0 155806180 937410560 32301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4392] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4392/stat : 4392 (java) S 4387 4389 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806181 937410560 32301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4393] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4393/stat : 4393 (java) S 4387 4389 3732 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806181 937410560 32301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4394] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4394/stat : 4394 (java) S 4387 4389 3732 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155806187 937410560 32301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4395] ppid=4387 vsize=915440 CPUtime=0.24
/proc/4389/task/4395/stat : 4395 (java) S 4387 4389 3732 0 -1 64 386 0 0 0 23 1 0 0 15 0 8 0 155806187 937410560 32301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4396] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4396/stat : 4396 (java) S 4387 4389 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155806187 937410560 32301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4397] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4397/stat : 4397 (java) S 4387 4389 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806187 937410560 32301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 915440
[startup+12.7549 s]
/proc/loadavg: 1.79 1.99 1.98 3/93 4489
/proc/meminfo: memFree=1415616/2055920 swapFree=4184772/4192956
[pid=4389] ppid=4387 vsize=915440 CPUtime=12.56
/proc/4389/stat : 4389 (java) R 4387 4389 3732 0 -1 0 32588 0 1 0 1237 19 0 0 25 0 8 0 155806176 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073807425 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4389/statm: 228860 32316 2521 14 0 215330 0
[pid=4389/tid=4391] ppid=4387 vsize=915440 CPUtime=0.45
/proc/4389/task/4391/stat : 4391 (java) S 4387 4389 3732 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155806180 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4392] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4392/stat : 4392 (java) S 4387 4389 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806181 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4393] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4393/stat : 4393 (java) S 4387 4389 3732 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806181 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4394] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4394/stat : 4394 (java) S 4387 4389 3732 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155806187 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4395] ppid=4387 vsize=915440 CPUtime=0.27
/proc/4389/task/4395/stat : 4395 (java) S 4387 4389 3732 0 -1 64 402 0 0 0 26 1 0 0 16 0 8 0 155806187 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4389/tid=4396] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4396/stat : 4396 (java) S 4387 4389 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155806187 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4397] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4397/stat : 4397 (java) S 4387 4389 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806187 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 915440
[startup+25.6221 s]
/proc/loadavg: 1.84 1.99 1.98 3/93 4511
/proc/meminfo: memFree=1415880/2055920 swapFree=4184772/4192956
[pid=4389] ppid=4387 vsize=915440 CPUtime=25.42
/proc/4389/stat : 4389 (java) R 4387 4389 3732 0 -1 0 32588 0 1 0 2520 22 0 0 25 0 8 0 155806176 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810761 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4389/statm: 228860 32316 2521 14 0 215330 0
[pid=4389/tid=4391] ppid=4387 vsize=915440 CPUtime=0.45
/proc/4389/task/4391/stat : 4391 (java) S 4387 4389 3732 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155806180 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4392] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4392/stat : 4392 (java) S 4387 4389 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806181 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4393] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4393/stat : 4393 (java) S 4387 4389 3732 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806181 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4394] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4394/stat : 4394 (java) S 4387 4389 3732 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155806187 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4395] ppid=4387 vsize=915440 CPUtime=0.27
/proc/4389/task/4395/stat : 4395 (java) S 4387 4389 3732 0 -1 64 402 0 0 0 26 1 0 0 16 0 8 0 155806187 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4389/tid=4396] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4396/stat : 4396 (java) S 4387 4389 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155806187 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4397] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4397/stat : 4397 (java) S 4387 4389 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806187 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 915440
[startup+51.2616 s]
/proc/loadavg: 1.89 1.99 1.98 3/93 4529
/proc/meminfo: memFree=1416080/2055920 swapFree=4184772/4192956
[pid=4389] ppid=4387 vsize=915440 CPUtime=51.01
/proc/4389/stat : 4389 (java) R 4387 4389 3732 0 -1 0 32588 0 1 0 5075 26 0 0 25 0 8 0 155806176 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4389/statm: 228860 32316 2521 14 0 215330 0
[pid=4389/tid=4391] ppid=4387 vsize=915440 CPUtime=0.45
/proc/4389/task/4391/stat : 4391 (java) S 4387 4389 3732 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155806180 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4389/tid=4392] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4392/stat : 4392 (java) S 4387 4389 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806181 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4393] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4393/stat : 4393 (java) S 4387 4389 3732 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806181 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4394] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4394/stat : 4394 (java) S 4387 4389 3732 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155806187 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4395] ppid=4387 vsize=915440 CPUtime=0.27
/proc/4389/task/4395/stat : 4395 (java) S 4387 4389 3732 0 -1 64 402 0 0 0 26 1 0 0 16 0 8 0 155806187 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4389/tid=4396] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4396/stat : 4396 (java) S 4387 4389 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155806187 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4397] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4397/stat : 4397 (java) S 4387 4389 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806187 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 915440
[startup+102.524 s]
/proc/loadavg: 1.95 1.99 1.98 3/87 4569
/proc/meminfo: memFree=1417088/2055920 swapFree=4184772/4192956
[pid=4389] ppid=4387 vsize=915440 CPUtime=102.2
/proc/4389/stat : 4389 (java) R 4387 4389 3732 0 -1 0 32589 0 1 0 10191 29 0 0 25 0 8 0 155806176 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4389/statm: 228860 32316 2521 14 0 215330 0
[pid=4389/tid=4391] ppid=4387 vsize=915440 CPUtime=0.45
/proc/4389/task/4391/stat : 4391 (java) S 4387 4389 3732 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155806180 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4389/tid=4392] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4392/stat : 4392 (java) S 4387 4389 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806181 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4393] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4393/stat : 4393 (java) S 4387 4389 3732 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806181 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4394] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4394/stat : 4394 (java) S 4387 4389 3732 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155806187 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4395] ppid=4387 vsize=915440 CPUtime=0.27
/proc/4389/task/4395/stat : 4395 (java) S 4387 4389 3732 0 -1 64 402 0 0 0 26 1 0 0 16 0 8 0 155806187 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4389/tid=4396] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4396/stat : 4396 (java) S 4387 4389 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155806187 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4397] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4397/stat : 4397 (java) S 4387 4389 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806187 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 915440
[startup+162.627 s]
/proc/loadavg: 2.02 2.00 1.98 3/87 4569
/proc/meminfo: memFree=1417088/2055920 swapFree=4184772/4192956
[pid=4389] ppid=4387 vsize=915440 CPUtime=162.23
/proc/4389/stat : 4389 (java) R 4387 4389 3732 0 -1 0 32589 0 1 0 16194 29 0 0 25 0 8 0 155806176 937410560 32316 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1422.22
Current children cumulated vsize (KiB) 915440
[startup+1483.06 s]
/proc/loadavg: 1.00 1.01 1.26 2/72 4641
/proc/meminfo: memFree=1551040/2055920 swapFree=4184772/4192956
[pid=4389] ppid=4387 vsize=915440 CPUtime=1482.21
/proc/4389/stat : 4389 (java) R 4387 4389 3732 0 -1 0 32590 0 1 0 148188 33 0 0 25 0 8 0 155806176 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4389/statm: 228860 32317 2521 14 0 215330 0
[pid=4389/tid=4391] ppid=4387 vsize=915440 CPUtime=0.45
/proc/4389/task/4391/stat : 4391 (java) S 4387 4389 3732 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155806180 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4389/tid=4392] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4392/stat : 4392 (java) S 4387 4389 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806181 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4393] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4393/stat : 4393 (java) S 4387 4389 3732 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806181 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4394] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4394/stat : 4394 (java) S 4387 4389 3732 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155806187 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4395] ppid=4387 vsize=915440 CPUtime=0.27
/proc/4389/task/4395/stat : 4395 (java) S 4387 4389 3732 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 155806187 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4389/tid=4396] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4396/stat : 4396 (java) S 4387 4389 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155806187 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4397] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4397/stat : 4397 (java) S 4387 4389 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806187 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1482.21
Current children cumulated vsize (KiB) 915440
[startup+1543.06 s]
/proc/loadavg: 1.00 1.00 1.24 2/72 4641
/proc/meminfo: memFree=1551040/2055920 swapFree=4184772/4192956
[pid=4389] ppid=4387 vsize=915440 CPUtime=1542.2
/proc/4389/stat : 4389 (java) R 4387 4389 3732 0 -1 0 32590 0 1 0 154187 33 0 0 25 0 8 0 155806176 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629919 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4389/statm: 228860 32317 2521 14 0 215330 0
[pid=4389/tid=4391] ppid=4387 vsize=915440 CPUtime=0.45
/proc/4389/task/4391/stat : 4391 (java) S 4387 4389 3732 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155806180 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4389/tid=4392] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4392/stat : 4392 (java) S 4387 4389 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806181 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4393] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4393/stat : 4393 (java) S 4387 4389 3732 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806181 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4394] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4394/stat : 4394 (java) S 4387 4389 3732 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155806187 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4395] ppid=4387 vsize=915440 CPUtime=0.27
/proc/4389/task/4395/stat : 4395 (java) S 4387 4389 3732 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 155806187 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4389/tid=4396] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4396/stat : 4396 (java) S 4387 4389 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155806187 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4397] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4397/stat : 4397 (java) S 4387 4389 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806187 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1542.2
Current children cumulated vsize (KiB) 915440
[startup+1603.07 s]
/proc/loadavg: 1.05 1.01 1.23 2/72 4641
/proc/meminfo: memFree=1551040/2055920 swapFree=4184772/4192956
[pid=4389] ppid=4387 vsize=915440 CPUtime=1602.19
/proc/4389/stat : 4389 (java) R 4387 4389 3732 0 -1 0 32590 0 1 0 160186 33 0 0 25 0 8 0 155806176 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073818658 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4389/statm: 228860 32317 2521 14 0 215330 0
[pid=4389/tid=4391] ppid=4387 vsize=915440 CPUtime=0.45
/proc/4389/task/4391/stat : 4391 (java) S 4387 4389 3732 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155806180 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4389/tid=4392] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4392/stat : 4392 (java) S 4387 4389 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806181 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4393] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4393/stat : 4393 (java) S 4387 4389 3732 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806181 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4394] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4394/stat : 4394 (java) S 4387 4389 3732 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155806187 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4395] ppid=4387 vsize=915440 CPUtime=0.27
/proc/4389/task/4395/stat : 4395 (java) S 4387 4389 3732 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 155806187 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4389/tid=4396] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4396/stat : 4396 (java) S 4387 4389 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155806187 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4397] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4397/stat : 4397 (java) S 4387 4389 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806187 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1602.19
Current children cumulated vsize (KiB) 915440
[startup+1663.07 s]
/proc/loadavg: 1.02 1.01 1.21 2/72 4641
/proc/meminfo: memFree=1550976/2055920 swapFree=4184772/4192956
[pid=4389] ppid=4387 vsize=915440 CPUtime=1662.19
/proc/4389/stat : 4389 (java) R 4387 4389 3732 0 -1 0 32590 0 1 0 166185 34 0 0 25 0 8 0 155806176 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4389/statm: 228860 32317 2521 14 0 215330 0
[pid=4389/tid=4391] ppid=4387 vsize=915440 CPUtime=0.45
/proc/4389/task/4391/stat : 4391 (java) S 4387 4389 3732 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155806180 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4389/tid=4392] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4392/stat : 4392 (java) S 4387 4389 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806181 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4393] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4393/stat : 4393 (java) S 4387 4389 3732 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806181 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4394] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4394/stat : 4394 (java) S 4387 4389 3732 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155806187 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4395] ppid=4387 vsize=915440 CPUtime=0.27
/proc/4389/task/4395/stat : 4395 (java) S 4387 4389 3732 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 155806187 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4389/tid=4396] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4396/stat : 4396 (java) S 4387 4389 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155806187 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4397] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4397/stat : 4397 (java) S 4387 4389 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806187 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1662.19
Current children cumulated vsize (KiB) 915440
[startup+1723.08 s]
/proc/loadavg: 1.00 1.00 1.19 2/72 4641
/proc/meminfo: memFree=1551040/2055920 swapFree=4184772/4192956
[pid=4389] ppid=4387 vsize=915440 CPUtime=1722.18
/proc/4389/stat : 4389 (java) R 4387 4389 3732 0 -1 0 32590 0 1 0 172184 34 0 0 25 0 8 0 155806176 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664841 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4389/statm: 228860 32317 2521 14 0 215330 0
[pid=4389/tid=4391] ppid=4387 vsize=915440 CPUtime=0.45
/proc/4389/task/4391/stat : 4391 (java) S 4387 4389 3732 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155806180 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4389/tid=4392] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4392/stat : 4392 (java) S 4387 4389 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806181 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4393] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4393/stat : 4393 (java) S 4387 4389 3732 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806181 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4394] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4394/stat : 4394 (java) S 4387 4389 3732 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155806187 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4395] ppid=4387 vsize=915440 CPUtime=0.27
/proc/4389/task/4395/stat : 4395 (java) S 4387 4389 3732 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 155806187 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4389/tid=4396] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4396/stat : 4396 (java) S 4387 4389 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155806187 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4397] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4397/stat : 4397 (java) S 4387 4389 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806187 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1722.18
Current children cumulated vsize (KiB) 915440
[startup+1783.09 s]
/proc/loadavg: 1.00 1.00 1.18 2/72 4641
/proc/meminfo: memFree=1550976/2055920 swapFree=4184772/4192956
[pid=4389] ppid=4387 vsize=915440 CPUtime=1782.18
/proc/4389/stat : 4389 (java) R 4387 4389 3732 0 -1 0 32590 0 1 0 178184 34 0 0 25 0 8 0 155806176 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634842 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4389/statm: 228860 32317 2521 14 0 215330 0
[pid=4389/tid=4391] ppid=4387 vsize=915440 CPUtime=0.45
/proc/4389/task/4391/stat : 4391 (java) S 4387 4389 3732 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155806180 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4389/tid=4392] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4392/stat : 4392 (java) S 4387 4389 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806181 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4393] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4393/stat : 4393 (java) S 4387 4389 3732 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806181 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4394] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4394/stat : 4394 (java) S 4387 4389 3732 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155806187 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4395] ppid=4387 vsize=915440 CPUtime=0.27
/proc/4389/task/4395/stat : 4395 (java) S 4387 4389 3732 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 155806187 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4389/tid=4396] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4396/stat : 4396 (java) S 4387 4389 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155806187 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4397] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4397/stat : 4397 (java) S 4387 4389 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806187 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1782.18
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.96 s]
/proc/loadavg: 1.00 1.00 1.17 2/72 4641
/proc/meminfo: memFree=1550976/2055920 swapFree=4184772/4192956
[pid=4389] ppid=4387 vsize=915440 CPUtime=1800.05
/proc/4389/stat : 4389 (java) R 4387 4389 3732 0 -1 0 32590 0 1 0 179971 34 0 0 25 0 8 0 155806176 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4389/statm: 228860 32317 2521 14 0 215330 0
[pid=4389/tid=4391] ppid=4387 vsize=915440 CPUtime=0.45
/proc/4389/task/4391/stat : 4391 (java) S 4387 4389 3732 0 -1 64 15583 0 0 0 39 6 0 0 16 0 8 0 155806180 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4389/tid=4392] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4392/stat : 4392 (java) S 4387 4389 3732 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155806181 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4393] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4393/stat : 4393 (java) S 4387 4389 3732 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155806181 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4394] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4394/stat : 4394 (java) S 4387 4389 3732 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155806187 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4395] ppid=4387 vsize=915440 CPUtime=0.27
/proc/4389/task/4395/stat : 4395 (java) S 4387 4389 3732 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 155806187 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=4389/tid=4396] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4396/stat : 4396 (java) S 4387 4389 3732 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 155806187 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4389/tid=4397] ppid=4387 vsize=915440 CPUtime=0
/proc/4389/task/4397/stat : 4397 (java) S 4387 4389 3732 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155806187 937410560 32317 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1801.04
CPU time (s): 1800.12
CPU user time (s): 1799.76
CPU system time (s): 0.363944
CPU usage (%): 99.9493
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.76
system time used= 0.363944
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32605
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= 37608
involuntary context switches= 9205
runsolver used 1.64075 s user time and 5.04623 s system time
The end
Begin job on node56 on Sat Jan 6 09:01:20 UTC 2007
IDJOB= 206814
IDBENCH= 4237
FILE ID= node56/206814-1168074078
PBS_JOBID= 3475940
Free space on /tmp= 66511 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-40_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206814-1168074078/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-206814-1168074078 -o ROOT/results/node56/solver-206814-1168074078 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206814-1168074078/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 6644b39b9e1f82baa1b6c3b1e2ebc974
RANDOM SEED= 211084756
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.232
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.232
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: 1524688 kB
Buffers: 27460 kB
Cached: 279608 kB
SwapCached: 2060 kB
Active: 197452 kB
Inactive: 265340 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1524688 kB
SwapTotal: 4192956 kB
SwapFree: 4184772 kB
Dirty: 7632 kB
Writeback: 0 kB
Mapped: 173112 kB
Slab: 53008 kB
Committed_AS: 3461832 kB
PageTables: 2424 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= 66516 MiB
End job on node56 on Sat Jan 6 09:31:21 UTC 2007