0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.44
0.44 instance
0.44 name=/tmp/evaluation/239365-1168084680/unknown.xml
0.47
0.47 domains being loaded...
0.48
0.48 variables being loaded...
0.58 nbVariables=625 nbDomainTypes=26 minDomainSize=1 maxDomainSize=25
0.58 => wckTime=0.269 cpuTime=0.14 mem=8M869
0.58
0.58 relations being loaded...
0.59
0.59 constraints being loaded...
1.07 nbConstraints=9300 nbRelationTypes=27 nbSingletonDomainVariables=390 nbExtensionStructures=51
1.07 nbSharedExtensionStructures=9249 nbConflictsStructures=51 nbSharedConflictsStructures=9249
1.07 nbSharedBinaryRepresentations=1323 maxDegree=48 maxArity=2
1.07 => wckTime=0.754 cpuTime=0.51 mem=37M151
1.18
1.18 solver IterativeSystematicSolver being built...
1.38 => wckTime=1.066 cpuTime=0.68 mem=21M393
1.46
1.46 preprocessing
1.46 nbConstraintChecks=93351 nbPropagations=625 nbRevisions=7416 nbUselessRevisions=2486 nbRemovedValues=4930
1.46 detectedInconsistency=no
1.46 => wckTime=0.069 cpuTime=0.05 mem=21M393
1.51
1.51 search
1.51 run=0 nbConstraintChecks=3301 nbPropagations=800 nbRevisions=9393 nbUselessRevisions=4223 nbAssignments=28
1.51 nbFailedAssignments=3 nbBacktracks=13 nbVisitedNodes=36 nbRestartNogoods=0 mapSize=6 nbInferences=0
1.51 nbTooLargeKeys=0
1.51 => wckTime=0.121 cpuTime=0.09 mem=22M367
1.55
1.55 search
1.55 run=1 nbConstraintChecks=12056 nbPropagations=2021 nbRevisions=24256 nbUselessRevisions=13357
1.55 nbAssignments=106 nbFailedAssignments=9 nbBacktracks=32 nbVisitedNodes=122 nbRestartNogoods=1 mapSize=11
1.55 nbInferences=0 nbTooLargeKeys=0
1.55 => wckTime=0.16 cpuTime=0.12 mem=22M367
1.56
1.56 search
1.56 run=2 nbConstraintChecks=15915 nbPropagations=3453 nbRevisions=41397 nbUselessRevisions=24481
1.56 nbAssignments=144 nbFailedAssignments=16 nbBacktracks=55 nbVisitedNodes=173 nbRestartNogoods=4 mapSize=23
1.56 nbInferences=0 nbTooLargeKeys=0
1.56 => wckTime=0.179 cpuTime=0.14 mem=22M367
1.62
1.62 search
1.62 run=3 nbConstraintChecks=39238 nbPropagations=5688 nbRevisions=74205 nbUselessRevisions=49683
1.62 nbAssignments=243 nbFailedAssignments=27 nbBacktracks=90 nbVisitedNodes=296 nbRestartNogoods=5 mapSize=45
1.62 nbInferences=0 nbTooLargeKeys=0
1.62 => wckTime=0.233 cpuTime=0.19 mem=22M367
1.66
1.66 search
1.66 run=4 nbConstraintChecks=53439 nbPropagations=8536 nbRevisions=116173 nbUselessRevisions=83101
1.66 nbAssignments=356 nbFailedAssignments=38 nbBacktracks=146 nbVisitedNodes=431 nbRestartNogoods=7 mapSize=66
1.66 nbInferences=0 nbTooLargeKeys=0
1.67 => wckTime=0.279 cpuTime=0.23 mem=22M367
1.74
1.74 search
1.74 run=5 nbConstraintChecks=77482 nbPropagations=12353 nbRevisions=173633 nbUselessRevisions=130381
1.74 nbAssignments=552 nbFailedAssignments=64 nbBacktracks=223 nbVisitedNodes=669 nbRestartNogoods=8 mapSize=99
1.74 nbInferences=0 nbTooLargeKeys=0
1.74 => wckTime=0.355 cpuTime=0.31 mem=22M367
1.83
1.83 search
1.83 run=6 nbConstraintChecks=108690 nbPropagations=17278 nbRevisions=252429 nbUselessRevisions=197064
1.83 nbAssignments=779 nbFailedAssignments=89 nbBacktracks=336 nbVisitedNodes=940 nbRestartNogoods=17 mapSize=139
1.83 nbInferences=0 nbTooLargeKeys=0
1.83 => wckTime=0.442 cpuTime=0.39 mem=22M367
1.93
1.93 search
1.93 run=7 nbConstraintChecks=147894 nbPropagations=23481 nbRevisions=356998 nbUselessRevisions=286877
1.93 nbAssignments=1029 nbFailedAssignments=113 nbBacktracks=522 nbVisitedNodes=1241 nbRestartNogoods=21
1.93 mapSize=188 nbInferences=0 nbTooLargeKeys=0
1.93 => wckTime=0.54 cpuTime=0.49 mem=23M341
2.06
2.06 search
2.06 run=8 nbConstraintChecks=198513 nbPropagations=31456 nbRevisions=494949 nbUselessRevisions=406542
2.06 nbAssignments=1371 nbFailedAssignments=143 nbBacktracks=791 nbVisitedNodes=1666 nbRestartNogoods=23
2.06 mapSize=269 nbInferences=0 nbTooLargeKeys=0
2.06 => wckTime=0.671 cpuTime=0.61 mem=23M341
2.25
2.25 search
2.25 run=9 nbConstraintChecks=255057 nbPropagations=41626 nbRevisions=669645 nbUselessRevisions=559082
2.25 nbAssignments=1848 nbFailedAssignments=181 nbBacktracks=1178 nbVisitedNodes=2234 nbRestartNogoods=25
2.25 mapSize=357 nbInferences=0 nbTooLargeKeys=0
2.25 => wckTime=0.86 cpuTime=0.78 mem=24M315
2.52
2.52 search
2.52 run=10 nbConstraintChecks=367337 nbPropagations=55971 nbRevisions=916627 nbUselessRevisions=776008
2.52 nbAssignments=2572 nbFailedAssignments=315 nbBacktracks=1754 nbVisitedNodes=3222 nbRestartNogoods=28
2.52 mapSize=617 nbInferences=0 nbTooLargeKeys=0
2.52 => wckTime=1.131 cpuTime=1.04 mem=24M315
2.90
2.90 search
2.90 run=11 nbConstraintChecks=506513 nbPropagations=75945 nbRevisions=1253291 nbUselessRevisions=1072646
2.90 nbAssignments=3668 nbFailedAssignments=478 nbBacktracks=2647 nbVisitedNodes=4617 nbRestartNogoods=31
2.90 mapSize=894 nbInferences=0 nbTooLargeKeys=0
2.90 => wckTime=1.512 cpuTime=1.41 mem=25M288
3.12
3.12 INFO : Stopping hyperNogood (mapSize=1003, nbTooLargekeys=0, mem=26M262)
3.38
3.38 search
3.38 run=12 nbConstraintChecks=776357 nbPropagations=103969 nbRevisions=1764610 nbUselessRevisions=1526235
3.38 nbAssignments=5130 nbFailedAssignments=608 nbBacktracks=3946 nbVisitedNodes=6360 nbRestartNogoods=37
3.38 => wckTime=1.993 cpuTime=1.89 mem=26M262
4.17
4.17 search
4.17 run=13 nbConstraintChecks=1299028 nbPropagations=147988 nbRevisions=2613330 nbUselessRevisions=2283295
4.17 nbAssignments=7464 nbFailedAssignments=937 nbBacktracks=5923 nbVisitedNodes=9348 nbRestartNogoods=43
4.17 => wckTime=2.788 cpuTime=2.67 mem=26M262
5.39
5.39 search
5.39 run=14 nbConstraintChecks=2114617 nbPropagations=218074 nbRevisions=3967948 nbUselessRevisions=3487209
5.39 nbAssignments=11140 nbFailedAssignments=1677 nbBacktracks=8846 nbVisitedNodes=14503 nbRestartNogoods=52
5.39 => wckTime=4.001 cpuTime=3.87 mem=26M262
7.38
7.38 search
7.38 run=15 nbConstraintChecks=3475605 nbPropagations=332847 nbRevisions=6199441 nbUselessRevisions=5476717
7.38 nbAssignments=16833 nbFailedAssignments=2969 nbBacktracks=13225 nbVisitedNodes=22662 nbRestartNogoods=55
7.38 => wckTime=5.994 cpuTime=5.84 mem=26M262
11.24
11.24 search
11.24 run=16 nbConstraintChecks=6445816 nbPropagations=541255 nbRevisions=10319397 nbUselessRevisions=9151809
11.24 nbAssignments=25755 nbFailedAssignments=5308 nbBacktracks=19794 nbVisitedNodes=36222 nbRestartNogoods=62
11.24 => wckTime=9.855 cpuTime=9.67 mem=26M262
15.62
15.62 search
15.62 run=17 nbConstraintChecks=9430619 nbPropagations=845264 nbRevisions=16434177 nbUselessRevisions=14624233
15.62 nbAssignments=38420 nbFailedAssignments=8045 nbBacktracks=29646 nbVisitedNodes=53949 nbRestartNogoods=73
15.62 => wckTime=14.231 cpuTime=14.0 mem=26M262
21.71
21.71 search
21.71 run=18 nbConstraintChecks=14040393 nbPropagations=1273008 nbRevisions=25903227 nbUselessRevisions=23192123
21.71 nbAssignments=55270 nbFailedAssignments=10070 nbBacktracks=44427 nbVisitedNodes=74828 nbRestartNogoods=83
21.71 => wckTime=20.325 cpuTime=20.05 mem=26M262
34.13
34.13 search
34.13 run=19 nbConstraintChecks=24950356 nbPropagations=1982306 nbRevisions=43337715 nbUselessRevisions=39121496
34.13 nbAssignments=82148 nbFailedAssignments=14742 nbBacktracks=66597 nbVisitedNodes=110916 nbRestartNogoods=90
34.13 => wckTime=32.743 cpuTime=32.35 mem=26M262
52.89
52.89 search
52.89 run=20 nbConstraintChecks=41143993 nbPropagations=3117331 nbRevisions=72352209 nbUselessRevisions=65709581
52.89 nbAssignments=122592 nbFailedAssignments=21876 nbBacktracks=99850 nbVisitedNodes=165576 nbRestartNogoods=97
52.89 => wckTime=51.508 cpuTime=50.94 mem=26M262
80.25
80.25 search
80.25 run=21 nbConstraintChecks=63830341 nbPropagations=4866460 nbRevisions=117288147 nbUselessRevisions=106855422
80.25 nbAssignments=183946 nbFailedAssignments=33310 nbBacktracks=149731 nbVisitedNodes=249097 nbRestartNogoods=110
80.25 => wckTime=78.864 cpuTime=78.05 mem=26M262
119.35
119.35 search
119.35 run=22 nbConstraintChecks=95661317 nbPropagations=7492998 nbRevisions=184535445 nbUselessRevisions=168404781
119.35 nbAssignments=276856 nbFailedAssignments=51343 nbBacktracks=224550 nbVisitedNodes=377716 nbRestartNogoods=120
119.35 => wckTime=117.965 cpuTime=116.79 mem=26M262
181.48
181.48 search
181.48 run=23 nbConstraintChecks=149329088 nbPropagations=11525724 nbRevisions=290504428 nbUselessRevisions=265623803
181.48 nbAssignments=414622 nbFailedAssignments=76826 nbBacktracks=336780 nbVisitedNodes=565370 nbRestartNogoods=130
181.48 => wckTime=180.099 cpuTime=178.32 mem=26M262
266.26
266.26 search
266.26 run=24 nbConstraintChecks=215235149 nbPropagations=17431966 nbRevisions=442290228 nbUselessRevisions=404572432
266.26 nbAssignments=624664 nbFailedAssignments=118467 nbBacktracks=505122 nbVisitedNodes=859076 nbRestartNogoods=140
266.26 => wckTime=264.878 cpuTime=262.18 mem=26M262
399.84
399.84 search
399.84 run=25 nbConstraintChecks=328618822 nbPropagations=26339906 nbRevisions=676364847 nbUselessRevisions=619469321
399.84 nbAssignments=930156 nbFailedAssignments=171388 nbBacktracks=757634 nbVisitedNodes=1268606 nbRestartNogoods=155
399.84 => wckTime=398.451 cpuTime=394.5 mem=26M262
600.00
600.00 search
600.00 run=26 nbConstraintChecks=496118300 nbPropagations=39741459 nbRevisions=1030216058 nbUselessRevisions=944341890
600.00 nbAssignments=1394873 nbFailedAssignments=257281 nbBacktracks=1136405 nbVisitedNodes=1907818
600.00 nbRestartNogoods=170
600.00 => wckTime=598.617 cpuTime=592.83 mem=26M262
900.76
900.76 search
900.76 run=27 nbConstraintChecks=750819681 nbPropagations=59876848 nbRevisions=1567277969
900.76 nbUselessRevisions=1437869411 nbAssignments=2083458 nbFailedAssignments=377651 nbBacktracks=1704556
900.76 nbVisitedNodes=2840103 nbRestartNogoods=181
900.76 => wckTime=899.372 cpuTime=890.84 mem=26M262
1327.69
1327.69 search
1327.69 run=28 nbConstraintChecks=1120391463 nbPropagations=89825174 nbRevisions=2370529980
1327.69 nbUselessRevisions=2176429102 nbAssignments=3114974 nbFailedAssignments=556876 nbBacktracks=2556789
1327.69 nbVisitedNodes=4227632 nbRestartNogoods=196
1327.69 => wckTime=1326.305 cpuTime=1315.34 mem=26M262
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node20/watcher-239365-1168084680 -o ROOT/results/node20/solver-239365-1168084680 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/239365-1168084680/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.61 1.90 1.90 4/93 25543
/proc/meminfo: memFree=1681696/2055920 swapFree=4170284/4192956
[pid=25542] ppid=25540 vsize=906644 CPUtime=0.02
/proc/25542/stat : 25542 (java) S 25540 25542 25475 0 -1 0 2069 0 1 0 1 1 0 0 18 0 2 0 156862705 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 1 0 0
/proc/25542/statm: 226661 1818 1036 14 0 214244 0
[pid=25542/tid=25544] ppid=25540 vsize=906644 CPUtime=0
/proc/25542/task/25544/stat : 25544 (java) R 25540 25542 25475 0 -1 64 4 0 0 0 0 0 0 0 19 0 2 0 156862709 928403456 1818 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 7368 0 0 0 -1 1 0 0
[startup+0.103465 s]
/proc/loadavg: 1.61 1.90 1.90 4/93 25543
/proc/meminfo: memFree=1681696/2055920 swapFree=4170284/4192956
[pid=25542] ppid=25540 vsize=914988 CPUtime=0.08
/proc/25542/stat : 25542 (java) R 25540 25542 25475 0 -1 0 3008 0 1 0 7 1 0 0 17 0 8 0 156862705 936947712 2754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155582903 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25542/statm: 228747 2754 1431 14 0 215242 0
[pid=25542/tid=25544] ppid=25540 vsize=914988 CPUtime=0
/proc/25542/task/25544/stat : 25544 (java) S 25540 25542 25475 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 156862709 936947712 2754 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.512514 s]
/proc/loadavg: 1.61 1.90 1.90 4/93 25543
/proc/meminfo: memFree=1681696/2055920 swapFree=4170284/4192956
[pid=25542] ppid=25540 vsize=915328 CPUtime=0.39
/proc/25542/stat : 25542 (java) R 25540 25542 25475 0 -1 0 6100 0 1 0 36 3 0 0 18 0 8 0 156862705 937295872 5839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072943745 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25542/statm: 228832 5839 2136 14 0 215302 0
[pid=25542/tid=25544] ppid=25540 vsize=915328 CPUtime=0
/proc/25542/task/25544/stat : 25544 (java) S 25540 25542 25475 0 -1 64 7 0 0 0 0 0 0 0 18 0 8 0 156862709 937295872 5839 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 915328
[startup+1.34162 s]
/proc/loadavg: 1.64 1.90 1.90 4/100 25550
/proc/meminfo: memFree=1636064/2055920 swapFree=4170284/4192956
[pid=25542] ppid=25540 vsize=915676 CPUtime=1.21
/proc/25542/stat : 25542 (java) R 25540 25542 25475 0 -1 0 15529 0 1 0 113 8 0 0 23 0 8 0 156862705 937652224 15266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073602845 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25542/statm: 228919 15266 2496 14 0 215389 0
[pid=25542/tid=25544] ppid=25540 vsize=915676 CPUtime=0.09
/proc/25542/task/25544/stat : 25544 (java) S 25540 25542 25475 0 -1 64 1424 0 0 0 9 0 0 0 17 0 8 0 156862709 937652224 15266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25545] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25545/stat : 25545 (java) S 25540 25542 25475 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25546] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25546/stat : 25546 (java) S 25540 25542 25475 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25547] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25547/stat : 25547 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156862712 937652224 15266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25548] ppid=25540 vsize=915676 CPUtime=0.21
/proc/25542/task/25548/stat : 25548 (java) S 25540 25542 25475 0 -1 64 440 0 0 0 20 1 0 0 15 0 8 0 156862712 937652224 15266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25549] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25549/stat : 25549 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156862712 937652224 15266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25550] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25550/stat : 25550 (java) S 25540 25542 25475 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156862713 937652224 15266 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 915676
[startup+2.99181 s]
/proc/loadavg: 1.64 1.90 1.90 3/100 25550
/proc/meminfo: memFree=1629984/2055920 swapFree=4170284/4192956
[pid=25542] ppid=25540 vsize=915676 CPUtime=2.85
/proc/25542/stat : 25542 (java) R 25540 25542 25475 0 -1 0 15610 0 1 0 276 9 0 0 25 0 8 0 156862705 937652224 15346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073965357 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25542/statm: 228919 15346 2513 14 0 215389 0
[pid=25542/tid=25544] ppid=25540 vsize=915676 CPUtime=0.09
/proc/25542/task/25544/stat : 25544 (java) S 25540 25542 25475 0 -1 64 1424 0 0 0 9 0 0 0 17 0 8 0 156862709 937652224 15346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25545] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25545/stat : 25545 (java) S 25540 25542 25475 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25546] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25546/stat : 25546 (java) S 25540 25542 25475 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25547] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25547/stat : 25547 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156862712 937652224 15346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25548] ppid=25540 vsize=915676 CPUtime=0.32
/proc/25542/task/25548/stat : 25548 (java) S 25540 25542 25475 0 -1 64 484 0 0 0 30 2 0 0 15 0 8 0 156862712 937652224 15346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25549] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25549/stat : 25549 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156862712 937652224 15346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25550] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25550/stat : 25550 (java) S 25540 25542 25475 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156862713 937652224 15346 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 915676
[startup+6.27121 s]
/proc/loadavg: 1.64 1.90 1.90 3/100 25550
/proc/meminfo: memFree=1629856/2055920 swapFree=4170284/4192956
[pid=25542] ppid=25540 vsize=915676 CPUtime=6.09
/proc/25542/stat : 25542 (java) R 25540 25542 25475 0 -1 0 15613 0 1 0 600 9 0 0 25 0 8 0 156862705 937652224 15347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073957319 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25542/statm: 228919 15347 2513 14 0 215389 0
[pid=25542/tid=25544] ppid=25540 vsize=915676 CPUtime=0.09
/proc/25542/task/25544/stat : 25544 (java) S 25540 25542 25475 0 -1 64 1424 0 0 0 9 0 0 0 16 0 8 0 156862709 937652224 15347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25545] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25545/stat : 25545 (java) S 25540 25542 25475 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25546] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25546/stat : 25546 (java) S 25540 25542 25475 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25547] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25547/stat : 25547 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156862712 937652224 15347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25548] ppid=25540 vsize=915676 CPUtime=0.32
/proc/25542/task/25548/stat : 25548 (java) S 25540 25542 25475 0 -1 64 486 0 0 0 30 2 0 0 15 0 8 0 156862712 937652224 15347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25549] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25549/stat : 25549 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156862712 937652224 15347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25550] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25550/stat : 25550 (java) S 25540 25542 25475 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156862713 937652224 15347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915676
[startup+12.767 s]
/proc/loadavg: 1.69 1.91 1.91 3/100 25550
/proc/meminfo: memFree=1629872/2055920 swapFree=4170284/4192956
[pid=25542] ppid=25540 vsize=915676 CPUtime=12.53
/proc/25542/stat : 25542 (java) R 25540 25542 25475 0 -1 0 15613 0 1 0 1243 10 0 0 25 0 8 0 156862705 937652224 15347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073975133 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25542/statm: 228919 15347 2513 14 0 215389 0
[pid=25542/tid=25544] ppid=25540 vsize=915676 CPUtime=0.09
/proc/25542/task/25544/stat : 25544 (java) S 25540 25542 25475 0 -1 64 1424 0 0 0 9 0 0 0 16 0 8 0 156862709 937652224 15347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25545] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25545/stat : 25545 (java) S 25540 25542 25475 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25546] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25546/stat : 25546 (java) S 25540 25542 25475 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25547] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25547/stat : 25547 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156862712 937652224 15347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25548] ppid=25540 vsize=915676 CPUtime=0.32
/proc/25542/task/25548/stat : 25548 (java) S 25540 25542 25475 0 -1 64 486 0 0 0 30 2 0 0 15 0 8 0 156862712 937652224 15347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25549] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25549/stat : 25549 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156862712 937652224 15347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25550] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25550/stat : 25550 (java) S 25540 25542 25475 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156862713 937652224 15347 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 915676
[startup+25.6315 s]
/proc/loadavg: 1.74 1.91 1.91 3/100 25550
/proc/meminfo: memFree=1630000/2055920 swapFree=4170284/4192956
[pid=25542] ppid=25540 vsize=915676 CPUtime=25.28
/proc/25542/stat : 25542 (java) R 25540 25542 25475 0 -1 0 15615 0 1 0 2518 10 0 0 25 0 8 0 156862705 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073992511 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25542/statm: 228919 15348 2513 14 0 215389 0
[pid=25542/tid=25544] ppid=25540 vsize=915676 CPUtime=0.09
/proc/25542/task/25544/stat : 25544 (java) S 25540 25542 25475 0 -1 64 1424 0 0 0 9 0 0 0 16 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25545] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25545/stat : 25545 (java) S 25540 25542 25475 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25546] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25546/stat : 25546 (java) S 25540 25542 25475 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25547] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25547/stat : 25547 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25548] ppid=25540 vsize=915676 CPUtime=0.32
/proc/25542/task/25548/stat : 25548 (java) S 25540 25542 25475 0 -1 64 487 0 0 0 30 2 0 0 16 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25549] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25549/stat : 25549 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25550] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25550/stat : 25550 (java) S 25540 25542 25475 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156862713 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 915676
[startup+51.2646 s]
/proc/loadavg: 1.84 1.92 1.91 3/100 25550
/proc/meminfo: memFree=1630064/2055920 swapFree=4170284/4192956
[pid=25542] ppid=25540 vsize=915676 CPUtime=50.67
/proc/25542/stat : 25542 (java) R 25540 25542 25475 0 -1 0 15615 0 1 0 5057 10 0 0 25 0 8 0 156862705 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073953622 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25542/statm: 228919 15348 2513 14 0 215389 0
[pid=25542/tid=25544] ppid=25540 vsize=915676 CPUtime=0.09
/proc/25542/task/25544/stat : 25544 (java) S 25540 25542 25475 0 -1 64 1424 0 0 0 9 0 0 0 16 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25545] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25545/stat : 25545 (java) S 25540 25542 25475 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25546] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25546/stat : 25546 (java) S 25540 25542 25475 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25547] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25547/stat : 25547 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25548] ppid=25540 vsize=915676 CPUtime=0.32
/proc/25542/task/25548/stat : 25548 (java) S 25540 25542 25475 0 -1 64 487 0 0 0 30 2 0 0 16 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25549] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25549/stat : 25549 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25550] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25550/stat : 25550 (java) S 25540 25542 25475 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156862713 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 915676
[startup+102.527 s]
/proc/loadavg: 1.97 1.94 1.91 3/100 25550
/proc/meminfo: memFree=1630192/2055920 swapFree=4170284/4192956
[pid=25542] ppid=25540 vsize=915676 CPUtime=101.47
/proc/25542/stat : 25542 (java) R 25540 25542 25475 0 -1 0 15615 0 1 0 10136 11 0 0 25 0 8 0 156862705 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073969601 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25542/statm: 228919 15348 2513 14 0 215389 0
[pid=25542/tid=25544] ppid=25540 vsize=915676 CPUtime=0.09
/proc/25542/task/25544/stat : 25544 (java) S 25540 25542 25475 0 -1 64 1424 0 0 0 9 0 0 0 16 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25545] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25545/stat : 25545 (java) S 25540 25542 25475 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25546] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25546/stat : 25546 (java) S 25540 25542 25475 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25547] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25547/stat : 25547 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25548] ppid=25540 vsize=915676 CPUtime=0.32
/proc/25542/task/25548/stat : 25548 (java) S 25540 25542 25475 0 -1 64 487 0 0 0 30 2 0 0 16 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25549] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25549/stat : 25549 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25550] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25550/stat : 25550 (java) S 25540 25542 25475 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156862713 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.47
Current children cumulated vsize (KiB) 915676
################
# More data... #
################
Current children cumulated CPU time (s) 1411.98
Current children cumulated vsize (KiB) 915676
[startup+1483.12 s]
/proc/loadavg: 1.92 1.72 1.80 4/100 25864
/proc/meminfo: memFree=1660016/2055920 swapFree=4170284/4192956
[pid=25542] ppid=25540 vsize=915676 CPUtime=1471.95
/proc/25542/stat : 25542 (java) R 25540 25542 25475 0 -1 0 15615 0 1 0 147173 22 0 0 25 0 8 0 156862705 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073960076 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25542/statm: 228919 15348 2513 14 0 215389 0
[pid=25542/tid=25544] ppid=25540 vsize=915676 CPUtime=0.09
/proc/25542/task/25544/stat : 25544 (java) S 25540 25542 25475 0 -1 64 1424 0 0 0 9 0 0 0 16 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25545] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25545/stat : 25545 (java) S 25540 25542 25475 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25546] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25546/stat : 25546 (java) S 25540 25542 25475 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25547] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25547/stat : 25547 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25548] ppid=25540 vsize=915676 CPUtime=0.32
/proc/25542/task/25548/stat : 25548 (java) S 25540 25542 25475 0 -1 64 487 0 0 0 30 2 0 0 16 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25549] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25549/stat : 25549 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25550] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25550/stat : 25550 (java) S 25540 25542 25475 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156862713 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1471.95
Current children cumulated vsize (KiB) 915676
[startup+1543.17 s]
/proc/loadavg: 1.97 1.77 1.81 3/100 25864
/proc/meminfo: memFree=1659952/2055920 swapFree=4170284/4192956
[pid=25542] ppid=25540 vsize=915676 CPUtime=1531.94
/proc/25542/stat : 25542 (java) R 25540 25542 25475 0 -1 0 15615 0 1 0 153172 22 0 0 25 0 8 0 156862705 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073975164 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25542/statm: 228919 15348 2513 14 0 215389 0
[pid=25542/tid=25544] ppid=25540 vsize=915676 CPUtime=0.09
/proc/25542/task/25544/stat : 25544 (java) S 25540 25542 25475 0 -1 64 1424 0 0 0 9 0 0 0 16 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25545] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25545/stat : 25545 (java) S 25540 25542 25475 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25546] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25546/stat : 25546 (java) S 25540 25542 25475 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25547] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25547/stat : 25547 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25548] ppid=25540 vsize=915676 CPUtime=0.32
/proc/25542/task/25548/stat : 25548 (java) S 25540 25542 25475 0 -1 64 487 0 0 0 30 2 0 0 16 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25549] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25549/stat : 25549 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25550] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25550/stat : 25550 (java) S 25540 25542 25475 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156862713 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1531.94
Current children cumulated vsize (KiB) 915676
[startup+1603.21 s]
/proc/loadavg: 1.99 1.81 1.82 3/100 25864
/proc/meminfo: memFree=1659952/2055920 swapFree=4170284/4192956
[pid=25542] ppid=25540 vsize=915676 CPUtime=1591.92
/proc/25542/stat : 25542 (java) R 25540 25542 25475 0 -1 0 15615 0 1 0 159170 22 0 0 25 0 8 0 156862705 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074007888 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25542/statm: 228919 15348 2513 14 0 215389 0
[pid=25542/tid=25544] ppid=25540 vsize=915676 CPUtime=0.09
/proc/25542/task/25544/stat : 25544 (java) S 25540 25542 25475 0 -1 64 1424 0 0 0 9 0 0 0 16 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25545] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25545/stat : 25545 (java) S 25540 25542 25475 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25546] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25546/stat : 25546 (java) S 25540 25542 25475 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25547] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25547/stat : 25547 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25548] ppid=25540 vsize=915676 CPUtime=0.32
/proc/25542/task/25548/stat : 25548 (java) S 25540 25542 25475 0 -1 64 487 0 0 0 30 2 0 0 16 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25549] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25549/stat : 25549 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25550] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25550/stat : 25550 (java) S 25540 25542 25475 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156862713 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1591.92
Current children cumulated vsize (KiB) 915676
[startup+1663.25 s]
/proc/loadavg: 1.99 1.84 1.83 3/100 25864
/proc/meminfo: memFree=1659888/2055920 swapFree=4170284/4192956
[pid=25542] ppid=25540 vsize=915676 CPUtime=1651.9
/proc/25542/stat : 25542 (java) R 25540 25542 25475 0 -1 0 15615 0 1 0 165167 23 0 0 25 0 8 0 156862705 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073968524 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25542/statm: 228919 15348 2513 14 0 215389 0
[pid=25542/tid=25544] ppid=25540 vsize=915676 CPUtime=0.09
/proc/25542/task/25544/stat : 25544 (java) S 25540 25542 25475 0 -1 64 1424 0 0 0 9 0 0 0 16 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25545] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25545/stat : 25545 (java) S 25540 25542 25475 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25546] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25546/stat : 25546 (java) S 25540 25542 25475 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25547] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25547/stat : 25547 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25548] ppid=25540 vsize=915676 CPUtime=0.32
/proc/25542/task/25548/stat : 25548 (java) S 25540 25542 25475 0 -1 64 487 0 0 0 30 2 0 0 16 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25549] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25549/stat : 25549 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25550] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25550/stat : 25550 (java) S 25540 25542 25475 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156862713 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1651.9
Current children cumulated vsize (KiB) 915676
[startup+1723.3 s]
/proc/loadavg: 2.06 1.88 1.84 3/100 25864
/proc/meminfo: memFree=1659952/2055920 swapFree=4170284/4192956
[pid=25542] ppid=25540 vsize=915676 CPUtime=1711.89
/proc/25542/stat : 25542 (java) R 25540 25542 25475 0 -1 0 15615 0 1 0 171166 23 0 0 25 0 8 0 156862705 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073957423 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25542/statm: 228919 15348 2513 14 0 215389 0
[pid=25542/tid=25544] ppid=25540 vsize=915676 CPUtime=0.09
/proc/25542/task/25544/stat : 25544 (java) S 25540 25542 25475 0 -1 64 1424 0 0 0 9 0 0 0 16 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25545] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25545/stat : 25545 (java) S 25540 25542 25475 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25546] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25546/stat : 25546 (java) S 25540 25542 25475 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25547] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25547/stat : 25547 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25548] ppid=25540 vsize=915676 CPUtime=0.32
/proc/25542/task/25548/stat : 25548 (java) S 25540 25542 25475 0 -1 64 487 0 0 0 30 2 0 0 16 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25549] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25549/stat : 25549 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25550] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25550/stat : 25550 (java) S 25540 25542 25475 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156862713 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1711.89
Current children cumulated vsize (KiB) 915676
[startup+1783.34 s]
/proc/loadavg: 2.02 1.90 1.84 3/100 25864
/proc/meminfo: memFree=1659888/2055920 swapFree=4170284/4192956
[pid=25542] ppid=25540 vsize=915676 CPUtime=1771.88
/proc/25542/stat : 25542 (java) R 25540 25542 25475 0 -1 0 15615 0 1 0 177165 23 0 0 25 0 8 0 156862705 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073960118 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25542/statm: 228919 15348 2513 14 0 215389 0
[pid=25542/tid=25544] ppid=25540 vsize=915676 CPUtime=0.09
/proc/25542/task/25544/stat : 25544 (java) S 25540 25542 25475 0 -1 64 1424 0 0 0 9 0 0 0 16 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25545] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25545/stat : 25545 (java) S 25540 25542 25475 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25546] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25546/stat : 25546 (java) S 25540 25542 25475 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25547] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25547/stat : 25547 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25548] ppid=25540 vsize=915676 CPUtime=0.32
/proc/25542/task/25548/stat : 25548 (java) S 25540 25542 25475 0 -1 64 487 0 0 0 30 2 0 0 16 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25549] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25549/stat : 25549 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25550] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25550/stat : 25550 (java) S 25540 25542 25475 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156862713 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1771.88
Current children cumulated vsize (KiB) 915676
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.51 s]
/proc/loadavg: 2.01 1.91 1.85 3/100 25864
/proc/meminfo: memFree=1659888/2055920 swapFree=4170284/4192956
[pid=25542] ppid=25540 vsize=915676 CPUtime=1800.01
/proc/25542/stat : 25542 (java) R 25540 25542 25475 0 -1 0 15615 0 1 0 179978 23 0 0 25 0 8 0 156862705 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918529 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25542/statm: 228919 15348 2513 14 0 215389 0
[pid=25542/tid=25544] ppid=25540 vsize=915676 CPUtime=0.09
/proc/25542/task/25544/stat : 25544 (java) S 25540 25542 25475 0 -1 64 1424 0 0 0 9 0 0 0 16 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25545] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25545/stat : 25545 (java) S 25540 25542 25475 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25546] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25546/stat : 25546 (java) S 25540 25542 25475 0 -1 64 5 0 0 0 0 0 0 0 17 0 8 0 156862709 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25547] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25547/stat : 25547 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25548] ppid=25540 vsize=915676 CPUtime=0.32
/proc/25542/task/25548/stat : 25548 (java) S 25540 25542 25475 0 -1 64 487 0 0 0 30 2 0 0 16 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25549] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25549/stat : 25549 (java) S 25540 25542 25475 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156862712 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25542/tid=25550] ppid=25540 vsize=915676 CPUtime=0
/proc/25542/task/25550/stat : 25550 (java) S 25540 25542 25475 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156862713 937652224 15348 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915676
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1811.53
CPU time (s): 1800.04
CPU user time (s): 1799.8
CPU system time (s): 0.247962
CPU usage (%): 99.3657
Max. virtual memory (cumulated for all children) (KiB): 915780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.247962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15632
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= 37897
involuntary context switches= 70928
runsolver used 2.24266 s user time and 5.67714 s system time
The end
Begin job on node20 on Sat Jan 6 11:58:00 UTC 2007
IDJOB= 239365
IDBENCH= 7056
FILE ID= node20/239365-1168084680
PBS_JOBID= 3476294
Free space on /tmp= 66542 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QWH-25/qwh-25-235-6_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/239365-1168084680/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node20/watcher-239365-1168084680 -o ROOT/results/node20/solver-239365-1168084680 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/239365-1168084680/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= fe92d555bfa87c450602ff746465a4ef
RANDOM SEED= 256020237
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.216
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.216
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1682176 kB
Buffers: 41788 kB
Cached: 177288 kB
SwapCached: 4236 kB
Active: 148544 kB
Inactive: 155692 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1682176 kB
SwapTotal: 4192956 kB
SwapFree: 4170284 kB
Dirty: 3088 kB
Writeback: 0 kB
Mapped: 108944 kB
Slab: 54064 kB
Committed_AS: 3736000 kB
PageTables: 2544 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= 66543 MiB
End job on node20 on Sat Jan 6 12:28:15 UTC 2007