0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/206541-1168073735/unknown.xml
0.37
0.37 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.41 => wckTime=0.1 cpuTime=0.09 mem=6M951
0.41
0.41 relations being loaded...
1.56
1.56 constraints being loaded...
2.33 nbConstraints=91 nbRelationTypes=93 nbMergedConstraints=2 nbExtensionStructures=91
2.33 nbSharedExtensionStructures=0 nbConflictsStructures=91 nbSharedConflictsStructures=0
2.33 nbSharedBinaryRepresentations=0 maxDegree=17 maxArity=3
2.33 => wckTime=2.022 cpuTime=1.6 mem=57M175
2.50
2.50 solver IterativeSystematicSolver being built...
2.67 => wckTime=2.357 cpuTime=1.75 mem=65M336
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=65M336
2.82
2.82 search
2.82 run=0 nbConstraintChecks=40841 nbValidityChecks=73655 nbPropagations=481 nbRevisions=5419
2.82 nbUselessRevisions=4367 nbAssignments=34 nbFailedAssignments=15 nbBacktracks=11 nbVisitedNodes=58
2.82 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
2.82 => wckTime=0.149 cpuTime=0.11 mem=65M336
2.91
2.91 search
2.91 run=1 nbConstraintChecks=84216 nbValidityChecks=159931 nbPropagations=1346 nbRevisions=15356
2.91 nbUselessRevisions=12352 nbAssignments=77 nbFailedAssignments=33 nbBacktracks=27 nbVisitedNodes=127
2.91 nbRestartNogoods=3 mapSize=20 nbInferences=0 nbTooLargeKeys=0
2.91 => wckTime=0.24 cpuTime=0.19 mem=65M336
3.13
3.13 search
3.13 run=2 nbConstraintChecks=200617 nbValidityChecks=398985 nbPropagations=3405 nbRevisions=39799
3.13 nbUselessRevisions=31661 nbAssignments=161 nbFailedAssignments=86 nbBacktracks=50 nbVisitedNodes=280
3.13 nbRestartNogoods=7 mapSize=40 nbInferences=0 nbTooLargeKeys=0
3.13 => wckTime=0.459 cpuTime=0.39 mem=65M336
3.28
3.28 search
3.28 run=3 nbConstraintChecks=290381 nbValidityChecks=586919 nbPropagations=6346 nbRevisions=75706
3.28 nbUselessRevisions=60143 nbAssignments=245 nbFailedAssignments=128 nbBacktracks=84 nbVisitedNodes=423
3.29 nbRestartNogoods=14 mapSize=68 nbInferences=0 nbTooLargeKeys=0
3.29 => wckTime=0.613 cpuTime=0.55 mem=65M336
3.50
3.50 search
3.50 run=4 nbConstraintChecks=413344 nbValidityChecks=840569 nbPropagations=10879 nbRevisions=130713
3.50 nbUselessRevisions=103796 nbAssignments=358 nbFailedAssignments=183 nbBacktracks=134 nbVisitedNodes=623
3.50 nbRestartNogoods=19 mapSize=109 nbInferences=0 nbTooLargeKeys=0
3.50 => wckTime=0.83 cpuTime=0.76 mem=65M336
3.87
3.87 search
3.87 run=5 nbConstraintChecks=625543 nbValidityChecks=1283655 nbPropagations=18009 nbRevisions=216686
3.87 nbUselessRevisions=171779 nbAssignments=554 nbFailedAssignments=295 nbBacktracks=209 nbVisitedNodes=981
3.87 nbRestartNogoods=22 mapSize=178 nbInferences=0 nbTooLargeKeys=0
3.87 => wckTime=1.199 cpuTime=1.12 mem=65M336
4.45
4.45 search
4.45 run=6 nbConstraintChecks=954915 nbValidityChecks=1971361 nbPropagations=28667 nbRevisions=344444
4.45 nbUselessRevisions=272772 nbAssignments=839 nbFailedAssignments=458 nbBacktracks=323 nbVisitedNodes=1498
4.45 nbRestartNogoods=25 mapSize=274 nbInferences=0 nbTooLargeKeys=0
4.45 => wckTime=1.775 cpuTime=1.69 mem=65M336
5.13
5.13 search
5.13 run=7 nbConstraintChecks=1365193 nbValidityChecks=2772884 nbPropagations=43925 nbRevisions=528522
5.13 nbUselessRevisions=418759 nbAssignments=1222 nbFailedAssignments=664 nbBacktracks=493 nbVisitedNodes=2192
5.13 nbRestartNogoods=29 mapSize=415 nbInferences=0 nbTooLargeKeys=0
5.13 => wckTime=2.458 cpuTime=2.36 mem=65M336
6.43
6.43 search
6.43 run=8 nbConstraintChecks=2124803 nbValidityChecks=4353558 nbPropagations=69141 nbRevisions=818453
6.43 nbUselessRevisions=646298 nbAssignments=1972 nbFailedAssignments=1149 nbBacktracks=749 nbVisitedNodes=3615
6.43 nbRestartNogoods=33 mapSize=658 nbInferences=0 nbTooLargeKeys=0
6.43 => wckTime=3.755 cpuTime=3.62 mem=65M336
8.87
8.87 search
8.87 run=9 nbConstraintChecks=3637836 nbValidityChecks=7354065 nbPropagations=107166 nbRevisions=1269313
8.87 nbUselessRevisions=1001394 nbAssignments=3059 nbFailedAssignments=1845 nbBacktracks=1133 nbVisitedNodes=5657
8.87 nbRestartNogoods=48 mapSize=998 nbInferences=0 nbTooLargeKeys=0
8.87 => wckTime=6.201 cpuTime=6.04 mem=66M341
8.98
8.98 INFO : Stopping hyperNogood (mapSize=1009, nbTooLargekeys=0, mem=66M341)
11.71
11.71 search
11.71 run=10 nbConstraintChecks=5359165 nbValidityChecks=10817868 nbPropagations=162430 nbRevisions=1933092
11.71 nbUselessRevisions=1525126 nbAssignments=4576 nbFailedAssignments=2777 nbBacktracks=1711 nbVisitedNodes=8435
11.71 nbRestartNogoods=58
11.71 => wckTime=9.04 cpuTime=8.84 mem=66M341
16.18
16.18 search
16.18 run=11 nbConstraintChecks=8021708 nbValidityChecks=16207324 nbPropagations=246708 nbRevisions=2939342
16.18 nbUselessRevisions=2316994 nbAssignments=6646 nbFailedAssignments=3975 nbBacktracks=2575 nbVisitedNodes=12228
16.18 nbRestartNogoods=68
16.18 => wckTime=13.51 cpuTime=13.27 mem=66M341
22.64
22.64 search
22.64 run=12 nbConstraintChecks=11825050 nbValidityChecks=24325653 nbPropagations=381639 nbRevisions=4489199
22.64 nbUselessRevisions=3527849 nbAssignments=10018 nbFailedAssignments=6043 nbBacktracks=3872 nbVisitedNodes=18587
22.64 nbRestartNogoods=78
22.64 => wckTime=19.969 cpuTime=19.67 mem=66M341
33.84
33.84 search
33.84 run=13 nbConstraintChecks=18723554 nbValidityChecks=37790426 nbPropagations=576272 nbRevisions=6790385
33.84 nbUselessRevisions=5328344 nbAssignments=14705 nbFailedAssignments=8775 nbBacktracks=5819 nbVisitedNodes=27271
33.84 nbRestartNogoods=94
33.84 => wckTime=31.165 cpuTime=30.76 mem=66M341
46.49
46.49 search
46.49 run=14 nbConstraintChecks=26482483 nbValidityChecks=53865902 nbPropagations=869437 nbRevisions=10260004
46.49 nbUselessRevisions=8050178 nbAssignments=21901 nbFailedAssignments=13043 nbBacktracks=8739 nbVisitedNodes=40639
46.49 nbRestartNogoods=103
46.49 => wckTime=43.815 cpuTime=43.29 mem=66M341
68.70
68.70 search
68.70 run=15 nbConstraintChecks=40469001 nbValidityChecks=81821715 nbPropagations=1296135 nbRevisions=15438133
68.70 nbUselessRevisions=12137753 nbAssignments=33311 nbFailedAssignments=20064 nbBacktracks=13118
68.70 nbVisitedNodes=61718 nbRestartNogoods=119
68.70 => wckTime=66.031 cpuTime=65.3 mem=66M341
98.59
98.59 search
98.59 run=16 nbConstraintChecks=58642673 nbValidityChecks=119496024 nbPropagations=1929094 nbRevisions=23109907
98.59 nbUselessRevisions=18201473 nbAssignments=49334 nbFailedAssignments=29511 nbBacktracks=19686
98.59 nbVisitedNodes=91416 nbRestartNogoods=133
98.59 => wckTime=95.923 cpuTime=94.92 mem=66M341
148.42
148.42 search
148.42 run=17 nbConstraintChecks=89155727 nbValidityChecks=180620389 nbPropagations=2874036 nbRevisions=34515569
148.42 nbUselessRevisions=27197269 nbAssignments=74318 nbFailedAssignments=44636 nbBacktracks=29539
148.42 nbVisitedNodes=138124 nbRestartNogoods=147
148.42 => wckTime=145.747 cpuTime=144.29 mem=66M341
242.33
242.33 search
242.33 run=18 nbConstraintChecks=145005586 nbValidityChecks=294417169 nbPropagations=4461801 nbRevisions=53365981
242.33 nbUselessRevisions=41973597 nbAssignments=116885 nbFailedAssignments=72416 nbBacktracks=44317
242.33 nbVisitedNodes=220285 nbRestartNogoods=162
242.33 => wckTime=239.661 cpuTime=237.35 mem=66M341
337.26
337.26 search
337.26 run=19 nbConstraintChecks=203118930 nbValidityChecks=414617013 nbPropagations=6695856 nbRevisions=80198379
337.26 nbUselessRevisions=63085711 nbAssignments=169961 nbFailedAssignments=103316 nbBacktracks=66486
337.26 nbVisitedNodes=317742 nbRestartNogoods=186
337.26 => wckTime=334.588 cpuTime=331.36 mem=66M341
517.04
517.04 search
517.04 run=20 nbConstraintChecks=313304617 nbValidityChecks=636266881 nbPropagations=10009819 nbRevisions=120354853
517.04 nbUselessRevisions=94679167 nbAssignments=261965 nbFailedAssignments=162060 nbBacktracks=99738
517.04 nbVisitedNodes=490059 nbRestartNogoods=206
517.04 => wckTime=514.364 cpuTime=509.36 mem=66M341
832.74
832.74 search
832.74 run=21 nbConstraintChecks=500967611 nbValidityChecks=1017821439 nbPropagations=15476373 nbRevisions=185457732
832.74 nbUselessRevisions=145663070 nbAssignments=403447 nbFailedAssignments=253655 nbBacktracks=149617
832.74 nbVisitedNodes=762540 nbRestartNogoods=236
832.74 => wckTime=830.071 cpuTime=822.19 mem=66M341
1241.75
1241.75 search
1241.75 run=22 nbConstraintChecks=754171097 nbValidityChecks=1520233716 nbPropagations=23357493 nbRevisions=280960398
1241.75 nbUselessRevisions=220732803 nbAssignments=591222 nbFailedAssignments=366605 nbBacktracks=224435
1241.75 nbVisitedNodes=1111438 nbRestartNogoods=254
1241.75 => wckTime=1239.082 cpuTime=1227.48 mem=66M341
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-206541-1168073735 -o ROOT/results/node24/solver-206541-1168073735 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206541-1168073735/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.08 2.02 1.84 4/93 15395
/proc/meminfo: memFree=1675392/2055920 swapFree=4192812/4192956
[pid=15394] ppid=15392 vsize=906644 CPUtime=0.02
/proc/15394/stat : 15394 (java) S 15392 15394 15134 0 -1 0 2068 0 1 0 1 1 0 0 18 0 2 0 155768768 928403456 1817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/15394/statm: 226661 1817 1036 14 0 214244 0
[pid=15394/tid=15396] ppid=15392 vsize=906644 CPUtime=0
/proc/15394/task/15396/stat : 15396 (java) R 15392 15394 15134 0 -1 64 3 0 0 0 0 0 0 0 19 0 2 0 155768771 928403456 1817 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.103763 s]
/proc/loadavg: 2.08 2.02 1.84 4/93 15395
/proc/meminfo: memFree=1675392/2055920 swapFree=4192812/4192956
[pid=15394] ppid=15392 vsize=914988 CPUtime=0.09
/proc/15394/stat : 15394 (java) S 15392 15394 15134 0 -1 0 2997 0 1 0 7 2 0 0 17 0 8 0 155768768 936947712 2743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15394/statm: 228747 2743 1427 14 0 215242 0
[pid=15394/tid=15396] ppid=15392 vsize=914988 CPUtime=0
/proc/15394/task/15396/stat : 15396 (java) S 15392 15394 15134 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 155768771 936947712 2743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.511806 s]
/proc/loadavg: 2.08 2.02 1.84 4/93 15395
/proc/meminfo: memFree=1675392/2055920 swapFree=4192812/4192956
[pid=15394] ppid=15392 vsize=915328 CPUtime=0.49
/proc/15394/stat : 15394 (java) R 15392 15394 15134 0 -1 0 7638 0 1 0 45 4 0 0 18 0 8 0 155768768 937295872 7377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819950 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15394/statm: 228832 7377 2137 14 0 215302 0
[pid=15394/tid=15396] ppid=15392 vsize=915328 CPUtime=0
/proc/15394/task/15396/stat : 15396 (java) S 15392 15394 15134 0 -1 64 6 0 0 0 0 0 0 0 18 0 8 0 155768771 937295872 7377 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3329 s]
/proc/loadavg: 2.07 2.02 1.84 3/100 15402
/proc/meminfo: memFree=1608200/2055920 swapFree=4192812/4192956
[pid=15394] ppid=15392 vsize=915328 CPUtime=1.3
/proc/15394/stat : 15394 (java) R 15392 15394 15134 0 -1 0 19100 0 1 0 119 11 0 0 24 0 8 0 155768768 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073557475 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15394/statm: 228832 18838 2149 14 0 215302 0
[pid=15394/tid=15396] ppid=15392 vsize=915328 CPUtime=0.05
/proc/15394/task/15396/stat : 15396 (java) S 15392 15394 15134 0 -1 64 2681 0 0 0 4 1 0 0 17 0 8 0 155768771 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15397] ppid=15392 vsize=915328 CPUtime=0
/proc/15394/task/15397/stat : 15397 (java) S 15392 15394 15134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155768772 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15398] ppid=15392 vsize=915328 CPUtime=0
/proc/15394/task/15398/stat : 15398 (java) S 15392 15394 15134 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155768772 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15399] ppid=15392 vsize=915328 CPUtime=0
/proc/15394/task/15399/stat : 15399 (java) S 15392 15394 15134 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155768775 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15400] ppid=15392 vsize=915328 CPUtime=0.08
/proc/15394/task/15400/stat : 15400 (java) S 15392 15394 15134 0 -1 64 309 0 0 0 8 0 0 0 16 0 8 0 155768775 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15401] ppid=15392 vsize=915328 CPUtime=0
/proc/15394/task/15401/stat : 15401 (java) S 15392 15394 15134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155768775 937295872 18838 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15402] ppid=15392 vsize=915328 CPUtime=0
/proc/15394/task/15402/stat : 15402 (java) S 15392 15394 15134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155768775 937295872 18838 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.97107 s]
/proc/loadavg: 2.07 2.02 1.84 4/100 15402
/proc/meminfo: memFree=1567880/2055920 swapFree=4192812/4192956
[pid=15394] ppid=15392 vsize=915440 CPUtime=2.92
/proc/15394/stat : 15394 (java) R 15392 15394 15134 0 -1 0 32430 0 1 0 274 18 0 0 25 0 8 0 155768768 937410560 32164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073810709 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15394/statm: 228860 32164 2521 14 0 215330 0
[pid=15394/tid=15396] ppid=15392 vsize=915440 CPUtime=0.45
/proc/15394/task/15396/stat : 15396 (java) S 15392 15394 15134 0 -1 64 15453 0 0 0 38 7 0 0 16 0 8 0 155768771 937410560 32164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15397] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15397/stat : 15397 (java) S 15392 15394 15134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155768772 937410560 32164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15398] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15398/stat : 15398 (java) S 15392 15394 15134 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155768772 937410560 32164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15399] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15399/stat : 15399 (java) S 15392 15394 15134 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155768775 937410560 32164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15400] ppid=15392 vsize=915440 CPUtime=0.21
/proc/15394/task/15400/stat : 15400 (java) S 15392 15394 15134 0 -1 64 377 0 0 0 20 1 0 0 15 0 8 0 155768775 937410560 32164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15401] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15401/stat : 15401 (java) S 15392 15394 15134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155768775 937410560 32164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15402] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15402/stat : 15402 (java) S 15392 15394 15134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155768775 937410560 32164 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915440
[startup+6.26743 s]
/proc/loadavg: 2.07 2.02 1.84 3/100 15402
/proc/meminfo: memFree=1556296/2055920 swapFree=4192812/4192956
[pid=15394] ppid=15392 vsize=915440 CPUtime=6.19
/proc/15394/stat : 15394 (java) R 15392 15394 15134 0 -1 0 32449 0 1 0 600 19 0 0 25 0 8 0 155768768 937410560 32180 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630036 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15394/statm: 228860 32180 2521 14 0 215330 0
[pid=15394/tid=15396] ppid=15392 vsize=915440 CPUtime=0.45
/proc/15394/task/15396/stat : 15396 (java) S 15392 15394 15134 0 -1 64 15453 0 0 0 38 7 0 0 17 0 8 0 155768771 937410560 32180 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15397] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15397/stat : 15397 (java) S 15392 15394 15134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155768772 937410560 32180 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15398] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15398/stat : 15398 (java) S 15392 15394 15134 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155768772 937410560 32180 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15399] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15399/stat : 15399 (java) S 15392 15394 15134 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155768775 937410560 32180 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15400] ppid=15392 vsize=915440 CPUtime=0.25
/proc/15394/task/15400/stat : 15400 (java) S 15392 15394 15134 0 -1 64 395 0 0 0 24 1 0 0 16 0 8 0 155768775 937410560 32180 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15401] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15401/stat : 15401 (java) S 15392 15394 15134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155768775 937410560 32180 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15402] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15402/stat : 15402 (java) S 15392 15394 15134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155768775 937410560 32180 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915440
[startup+12.7451 s]
/proc/loadavg: 2.06 2.02 1.84 3/100 15402
/proc/meminfo: memFree=1556240/2055920 swapFree=4192812/4192956
[pid=15394] ppid=15392 vsize=915440 CPUtime=12.61
/proc/15394/stat : 15394 (java) R 15392 15394 15134 0 -1 0 32458 0 1 0 1242 19 0 0 25 0 8 0 155768768 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15394/statm: 228860 32187 2521 14 0 215330 0
[pid=15394/tid=15396] ppid=15392 vsize=915440 CPUtime=0.45
/proc/15394/task/15396/stat : 15396 (java) S 15392 15394 15134 0 -1 64 15453 0 0 0 38 7 0 0 16 0 8 0 155768771 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15397] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15397/stat : 15397 (java) S 15392 15394 15134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155768772 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15398] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15398/stat : 15398 (java) S 15392 15394 15134 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155768772 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15399] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15399/stat : 15399 (java) S 15392 15394 15134 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155768775 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15400] ppid=15392 vsize=915440 CPUtime=0.27
/proc/15394/task/15400/stat : 15400 (java) S 15392 15394 15134 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 155768775 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15401] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15401/stat : 15401 (java) S 15392 15394 15134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155768775 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15402] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15402/stat : 15402 (java) S 15392 15394 15134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155768775 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915440
[startup+25.6305 s]
/proc/loadavg: 2.05 2.01 1.84 3/100 15402
/proc/meminfo: memFree=1556432/2055920 swapFree=4192812/4192956
[pid=15394] ppid=15392 vsize=915440 CPUtime=25.37
/proc/15394/stat : 15394 (java) R 15392 15394 15134 0 -1 0 32458 0 1 0 2518 19 0 0 25 0 8 0 155768768 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15394/statm: 228860 32187 2521 14 0 215330 0
[pid=15394/tid=15396] ppid=15392 vsize=915440 CPUtime=0.45
/proc/15394/task/15396/stat : 15396 (java) S 15392 15394 15134 0 -1 64 15453 0 0 0 38 7 0 0 16 0 8 0 155768771 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15397] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15397/stat : 15397 (java) S 15392 15394 15134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155768772 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15398] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15398/stat : 15398 (java) S 15392 15394 15134 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155768772 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15399] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15399/stat : 15399 (java) S 15392 15394 15134 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155768775 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15400] ppid=15392 vsize=915440 CPUtime=0.27
/proc/15394/task/15400/stat : 15400 (java) S 15392 15394 15134 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 155768775 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15401] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15401/stat : 15401 (java) S 15392 15394 15134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155768775 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15402] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15402/stat : 15402 (java) S 15392 15394 15134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155768775 937410560 32187 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.2653 s]
/proc/loadavg: 2.03 2.01 1.84 3/100 15402
/proc/meminfo: memFree=1556304/2055920 swapFree=4192812/4192956
[pid=15394] ppid=15392 vsize=915440 CPUtime=50.76
/proc/15394/stat : 15394 (java) R 15392 15394 15134 0 -1 0 32458 0 1 0 5057 19 0 0 25 0 8 0 155768768 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629997 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15394/statm: 228860 32187 2521 14 0 215330 0
[pid=15394/tid=15396] ppid=15392 vsize=915440 CPUtime=0.45
/proc/15394/task/15396/stat : 15396 (java) S 15392 15394 15134 0 -1 64 15453 0 0 0 38 7 0 0 16 0 8 0 155768771 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15397] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15397/stat : 15397 (java) S 15392 15394 15134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155768772 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15398] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15398/stat : 15398 (java) S 15392 15394 15134 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155768772 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15399] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15399/stat : 15399 (java) S 15392 15394 15134 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155768775 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15400] ppid=15392 vsize=915440 CPUtime=0.27
/proc/15394/task/15400/stat : 15400 (java) S 15392 15394 15134 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 155768775 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15401] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15401/stat : 15401 (java) S 15392 15394 15134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155768775 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15402] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15402/stat : 15402 (java) S 15392 15394 15134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155768775 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915440
[startup+102.526 s]
/proc/loadavg: 2.05 2.02 1.85 3/100 15402
/proc/meminfo: memFree=1556432/2055920 swapFree=4192812/4192956
[pid=15394] ppid=15392 vsize=915440 CPUtime=101.55
/proc/15394/stat : 15394 (java) R 15392 15394 15134 0 -1 0 32459 0 1 0 10135 20 0 0 25 0 8 0 155768768 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073659987 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15394/statm: 228860 32187 2521 14 0 215330 0
[pid=15394/tid=15396] ppid=15392 vsize=915440 CPUtime=0.45
/proc/15394/task/15396/stat : 15396 (java) S 15392 15394 15134 0 -1 64 15453 0 0 0 38 7 0 0 16 0 8 0 155768771 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15397] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15397/stat : 15397 (java) S 15392 15394 15134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155768772 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15398] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15398/stat : 15398 (java) S 15392 15394 15134 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155768772 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15399] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15399/stat : 15399 (java) S 15392 15394 15134 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155768775 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15400] ppid=15392 vsize=915440 CPUtime=0.27
/proc/15394/task/15400/stat : 15400 (java) S 15392 15394 15134 0 -1 64 403 0 0 0 26 1 0 0 16 0 8 0 155768775 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15401] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15401/stat : 15401 (java) S 15392 15394 15134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155768775 937410560 32187 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15402] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15402/stat : 15402 (java) R 15392 15394 15134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155768775 937410560 32187 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
################
# More data... #
################
Current children cumulated CPU time (s) 1409.7
Current children cumulated vsize (KiB) 915440
[startup+1482.89 s]
/proc/loadavg: 2.02 2.01 1.92 3/100 15602
/proc/meminfo: memFree=1555216/2055920 swapFree=4192812/4192956
[pid=15394] ppid=15392 vsize=915440 CPUtime=1469.16
/proc/15394/stat : 15394 (java) R 15392 15394 15134 0 -1 0 32460 0 1 0 146886 30 0 0 25 0 8 0 155768768 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15394/statm: 228860 32188 2521 14 0 215330 0
[pid=15394/tid=15396] ppid=15392 vsize=915440 CPUtime=0.45
/proc/15394/task/15396/stat : 15396 (java) S 15392 15394 15134 0 -1 64 15453 0 0 0 38 7 0 0 16 0 8 0 155768771 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15397] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15397/stat : 15397 (java) S 15392 15394 15134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155768772 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15398] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15398/stat : 15398 (java) S 15392 15394 15134 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155768772 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15399] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15399/stat : 15399 (java) S 15392 15394 15134 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155768775 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15400] ppid=15392 vsize=915440 CPUtime=0.27
/proc/15394/task/15400/stat : 15400 (java) S 15392 15394 15134 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 155768775 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15401] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15401/stat : 15401 (java) S 15392 15394 15134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155768775 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15402] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15402/stat : 15402 (java) S 15392 15394 15134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155768775 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1469.16
Current children cumulated vsize (KiB) 915440
[startup+1542.91 s]
/proc/loadavg: 2.01 2.00 1.92 3/100 15602
/proc/meminfo: memFree=1555216/2055920 swapFree=4192812/4192956
[pid=15394] ppid=15392 vsize=915440 CPUtime=1528.63
/proc/15394/stat : 15394 (java) R 15392 15394 15134 0 -1 0 32460 0 1 0 152833 30 0 0 25 0 8 0 155768768 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630003 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15394/statm: 228860 32188 2521 14 0 215330 0
[pid=15394/tid=15396] ppid=15392 vsize=915440 CPUtime=0.45
/proc/15394/task/15396/stat : 15396 (java) S 15392 15394 15134 0 -1 64 15453 0 0 0 38 7 0 0 16 0 8 0 155768771 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15397] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15397/stat : 15397 (java) S 15392 15394 15134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155768772 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15398] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15398/stat : 15398 (java) S 15392 15394 15134 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155768772 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15399] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15399/stat : 15399 (java) S 15392 15394 15134 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155768775 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15400] ppid=15392 vsize=915440 CPUtime=0.27
/proc/15394/task/15400/stat : 15400 (java) S 15392 15394 15134 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 155768775 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15401] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15401/stat : 15401 (java) S 15392 15394 15134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155768775 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15402] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15402/stat : 15402 (java) S 15392 15394 15134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155768775 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1528.63
Current children cumulated vsize (KiB) 915440
[startup+1602.92 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 15602
/proc/meminfo: memFree=1555216/2055920 swapFree=4192812/4192956
[pid=15394] ppid=15392 vsize=915440 CPUtime=1588.09
/proc/15394/stat : 15394 (java) R 15392 15394 15134 0 -1 0 32460 0 1 0 158779 30 0 0 25 0 8 0 155768768 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15394/statm: 228860 32188 2521 14 0 215330 0
[pid=15394/tid=15396] ppid=15392 vsize=915440 CPUtime=0.45
/proc/15394/task/15396/stat : 15396 (java) S 15392 15394 15134 0 -1 64 15453 0 0 0 38 7 0 0 16 0 8 0 155768771 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15397] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15397/stat : 15397 (java) S 15392 15394 15134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155768772 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15398] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15398/stat : 15398 (java) S 15392 15394 15134 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155768772 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15399] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15399/stat : 15399 (java) S 15392 15394 15134 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155768775 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15400] ppid=15392 vsize=915440 CPUtime=0.27
/proc/15394/task/15400/stat : 15400 (java) S 15392 15394 15134 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 155768775 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15401] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15401/stat : 15401 (java) S 15392 15394 15134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155768775 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15402] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15402/stat : 15402 (java) S 15392 15394 15134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155768775 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1588.09
Current children cumulated vsize (KiB) 915440
[startup+1662.94 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 15602
/proc/meminfo: memFree=1555216/2055920 swapFree=4192812/4192956
[pid=15394] ppid=15392 vsize=915440 CPUtime=1647.56
/proc/15394/stat : 15394 (java) R 15392 15394 15134 0 -1 0 32460 0 1 0 164725 31 0 0 25 0 8 0 155768768 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073833439 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15394/statm: 228860 32188 2521 14 0 215330 0
[pid=15394/tid=15396] ppid=15392 vsize=915440 CPUtime=0.45
/proc/15394/task/15396/stat : 15396 (java) S 15392 15394 15134 0 -1 64 15453 0 0 0 38 7 0 0 16 0 8 0 155768771 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15397] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15397/stat : 15397 (java) S 15392 15394 15134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155768772 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15398] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15398/stat : 15398 (java) S 15392 15394 15134 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155768772 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15399] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15399/stat : 15399 (java) S 15392 15394 15134 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155768775 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15400] ppid=15392 vsize=915440 CPUtime=0.27
/proc/15394/task/15400/stat : 15400 (java) S 15392 15394 15134 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 155768775 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15401] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15401/stat : 15401 (java) S 15392 15394 15134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155768775 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15402] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15402/stat : 15402 (java) S 15392 15394 15134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155768775 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1647.56
Current children cumulated vsize (KiB) 915440
[startup+1722.95 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 15602
/proc/meminfo: memFree=1555216/2055920 swapFree=4192812/4192956
[pid=15394] ppid=15392 vsize=915440 CPUtime=1707.03
/proc/15394/stat : 15394 (java) R 15392 15394 15134 0 -1 0 32460 0 1 0 170671 32 0 0 25 0 8 0 155768768 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629940 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15394/statm: 228860 32188 2521 14 0 215330 0
[pid=15394/tid=15396] ppid=15392 vsize=915440 CPUtime=0.45
/proc/15394/task/15396/stat : 15396 (java) S 15392 15394 15134 0 -1 64 15453 0 0 0 38 7 0 0 16 0 8 0 155768771 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15397] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15397/stat : 15397 (java) S 15392 15394 15134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155768772 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15398] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15398/stat : 15398 (java) S 15392 15394 15134 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155768772 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15399] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15399/stat : 15399 (java) S 15392 15394 15134 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155768775 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15400] ppid=15392 vsize=915440 CPUtime=0.27
/proc/15394/task/15400/stat : 15400 (java) S 15392 15394 15134 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 155768775 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15401] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15401/stat : 15401 (java) S 15392 15394 15134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155768775 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15402] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15402/stat : 15402 (java) S 15392 15394 15134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155768775 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1707.03
Current children cumulated vsize (KiB) 915440
[startup+1782.97 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 15602
/proc/meminfo: memFree=1555216/2055920 swapFree=4192812/4192956
[pid=15394] ppid=15392 vsize=915440 CPUtime=1766.5
/proc/15394/stat : 15394 (java) R 15392 15394 15134 0 -1 0 32460 0 1 0 176618 32 0 0 25 0 8 0 155768768 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073660020 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15394/statm: 228860 32188 2521 14 0 215330 0
[pid=15394/tid=15396] ppid=15392 vsize=915440 CPUtime=0.45
/proc/15394/task/15396/stat : 15396 (java) S 15392 15394 15134 0 -1 64 15453 0 0 0 38 7 0 0 16 0 8 0 155768771 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15397] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15397/stat : 15397 (java) S 15392 15394 15134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155768772 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15398] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15398/stat : 15398 (java) S 15392 15394 15134 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155768772 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15399] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15399/stat : 15399 (java) S 15392 15394 15134 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155768775 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15400] ppid=15392 vsize=915440 CPUtime=0.27
/proc/15394/task/15400/stat : 15400 (java) S 15392 15394 15134 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 155768775 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15401] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15401/stat : 15401 (java) S 15392 15394 15134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155768775 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15402] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15402/stat : 15402 (java) S 15392 15394 15134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155768775 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1766.5
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1816.83 s]
/proc/loadavg: 1.94 1.98 1.91 3/100 15660
/proc/meminfo: memFree=1616528/2055920 swapFree=4192812/4192956
[pid=15394] ppid=15392 vsize=915440 CPUtime=1800.06
/proc/15394/stat : 15394 (java) R 15392 15394 15134 0 -1 0 32460 0 1 0 179973 33 0 0 25 0 8 0 155768768 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629997 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/15394/statm: 228860 32188 2521 14 0 215330 0
[pid=15394/tid=15396] ppid=15392 vsize=915440 CPUtime=0.45
/proc/15394/task/15396/stat : 15396 (java) S 15392 15394 15134 0 -1 64 15453 0 0 0 38 7 0 0 16 0 8 0 155768771 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15397] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15397/stat : 15397 (java) S 15392 15394 15134 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155768772 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15398] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15398/stat : 15398 (java) S 15392 15394 15134 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155768772 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15399] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15399/stat : 15399 (java) S 15392 15394 15134 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155768775 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15400] ppid=15392 vsize=915440 CPUtime=0.27
/proc/15394/task/15400/stat : 15400 (java) S 15392 15394 15134 0 -1 64 404 0 0 0 26 1 0 0 16 0 8 0 155768775 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15401] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15401/stat : 15401 (java) S 15392 15394 15134 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155768775 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=15394/tid=15402] ppid=15392 vsize=915440 CPUtime=0
/proc/15394/task/15402/stat : 15402 (java) S 15392 15394 15134 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155768775 937410560 32188 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1816.92
CPU time (s): 1800.16
CPU user time (s): 1799.8
CPU system time (s): 0.359945
CPU usage (%): 99.0775
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.359945
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32477
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= 37844
involuntary context switches= 71817
runsolver used 2.12268 s user time and 5.9311 s system time
The end
Begin job on node24 on Sat Jan 6 08:55:35 UTC 2007
IDJOB= 206541
IDBENCH= 4216
FILE ID= node24/206541-1168073735
PBS_JOBID= 3475964
Free space on /tmp= 66453 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-24_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206541-1168073735/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-206541-1168073735 -o ROOT/results/node24/solver-206541-1168073735 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206541-1168073735/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1a9e2f5dcb863b3e6755361b81695ce9
RANDOM SEED= 339948519
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1675808 kB
Buffers: 20336 kB
Cached: 112876 kB
SwapCached: 0 kB
Active: 246588 kB
Inactive: 65160 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1675808 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 15172 kB
Writeback: 0 kB
Mapped: 207524 kB
Slab: 52820 kB
Committed_AS: 3682308 kB
PageTables: 2632 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= 66458 MiB
End job on node24 on Sat Jan 6 09:25:52 UTC 2007