0.31
0.31 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/238852-1168083637/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.45 nbVariables=208 nbDomainTypes=4 minDomainSize=1 maxDomainSize=52
0.45 => wckTime=0.13 cpuTime=0.09 mem=7M927
0.45
0.45 relations being loaded...
0.47
0.47 constraints being loaded...
0.78 nbConstraints=4217 nbRelationTypes=9 nbSingletonDomainVariables=3 nbDisconnectedVariables=1
0.78 nbExtensionStructures=9 nbSharedExtensionStructures=4208 nbConflictsStructures=9
0.78 nbSharedConflictsStructures=4208 nbSharedBinaryRepresentations=372 maxDegree=104 maxArity=2
0.78 => wckTime=0.457 cpuTime=0.31 mem=19M678
0.84
0.84 solver IterativeSystematicSolver being built...
1.01 => wckTime=0.691 cpuTime=0.44 mem=16M668
1.05
1.05 preprocessing
1.05 nbConstraintChecks=317418 nbPropagations=246 nbRevisions=7048 nbUselessRevisions=6729 nbRemovedValues=793
1.05 detectedInconsistency=no
1.05 => wckTime=0.036 cpuTime=0.03 mem=16M668
1.30
1.30 search
1.30 run=0 nbConstraintChecks=4132542 nbPropagations=3604 nbRevisions=98194 nbUselessRevisions=93439
1.30 nbAssignments=55 nbFailedAssignments=6 nbBacktracks=10 nbVisitedNodes=69 nbRestartNogoods=0 mapSize=10
1.30 nbInferences=1 nbTooLargeKeys=0
1.30 => wckTime=0.281 cpuTime=0.24 mem=17M693
1.47
1.47 search
1.47 run=1 nbConstraintChecks=8211324 nbPropagations=10435 nbRevisions=286186 nbUselessRevisions=272600
1.47 nbAssignments=117 nbFailedAssignments=14 nbBacktracks=25 nbVisitedNodes=148 nbRestartNogoods=2 mapSize=25
1.47 nbInferences=2 nbTooLargeKeys=0
1.47 => wckTime=0.454 cpuTime=0.41 mem=17M693
1.66
1.66 search
1.66 run=2 nbConstraintChecks=12665442 nbPropagations=20960 nbRevisions=572585 nbUselessRevisions=545251
1.66 nbAssignments=188 nbFailedAssignments=21 nbBacktracks=48 nbVisitedNodes=237 nbRestartNogoods=4 mapSize=38
1.66 nbInferences=6 nbTooLargeKeys=0
1.66 => wckTime=0.646 cpuTime=0.59 mem=17M693
1.83
1.83 search
1.83 run=3 nbConstraintChecks=16765138 nbPropagations=34668 nbRevisions=949252 nbUselessRevisions=904160
1.83 nbAssignments=282 nbFailedAssignments=36 nbBacktracks=91 nbVisitedNodes=360 nbRestartNogoods=7 mapSize=65
1.83 nbInferences=7 nbTooLargeKeys=0
1.83 => wckTime=0.815 cpuTime=0.76 mem=17M693
2.11
2.11 search
2.11 run=4 nbConstraintChecks=23717945 nbPropagations=55048 nbRevisions=1482914 nbUselessRevisions=1410400
2.11 nbAssignments=406 nbFailedAssignments=57 nbBacktracks=142 nbVisitedNodes=541 nbRestartNogoods=8 mapSize=109
2.11 nbInferences=20 nbTooLargeKeys=0
2.11 => wckTime=1.096 cpuTime=1.04 mem=17M693
2.35
2.35 search
2.35 run=5 nbConstraintChecks=29376571 nbPropagations=80169 nbRevisions=2143019 nbUselessRevisions=2036986
2.35 nbAssignments=565 nbFailedAssignments=91 nbBacktracks=226 nbVisitedNodes=775 nbRestartNogoods=11 mapSize=175
2.35 nbInferences=27 nbTooLargeKeys=0
2.35 => wckTime=1.337 cpuTime=1.28 mem=17M693
2.78
2.78 search
2.78 run=6 nbConstraintChecks=39936286 nbPropagations=115775 nbRevisions=3043920 nbUselessRevisions=2888506
2.78 nbAssignments=791 nbFailedAssignments=141 nbBacktracks=343 nbVisitedNodes=1125 nbRestartNogoods=12 mapSize=275
2.78 nbInferences=49 nbTooLargeKeys=0
2.78 => wckTime=1.768 cpuTime=1.7 mem=17M693
3.30
3.30 search
3.30 run=7 nbConstraintChecks=52835821 nbPropagations=164924 nbRevisions=4241591 nbUselessRevisions=4016535
3.30 nbAssignments=1129 nbFailedAssignments=238 nbBacktracks=514 nbVisitedNodes=1677 nbRestartNogoods=14
3.30 mapSize=430 nbInferences=83 nbTooLargeKeys=0
3.30 => wckTime=2.29 cpuTime=2.22 mem=17M693
3.83
3.83 search
3.83 run=8 nbConstraintChecks=65226434 nbPropagations=225746 nbRevisions=5721062 nbUselessRevisions=5411317
3.83 nbAssignments=1617 nbFailedAssignments=373 nbBacktracks=773 nbVisitedNodes=2481 nbRestartNogoods=19
3.83 mapSize=659 nbInferences=140 nbTooLargeKeys=0
3.83 => wckTime=2.82 cpuTime=2.73 mem=18M668
4.93
4.93 search
4.93 run=9 nbConstraintChecks=91859431 nbPropagations=316629 nbRevisions=7819513 nbUselessRevisions=7380746
4.93 nbAssignments=2400 nbFailedAssignments=498 nbBacktracks=1157 nbVisitedNodes=3738 nbRestartNogoods=23
4.93 mapSize=963 nbInferences=375 nbTooLargeKeys=0
4.93 => wckTime=3.917 cpuTime=3.81 mem=18M668
6.07
6.07 search
6.07 run=10 nbConstraintChecks=119561671 nbPropagations=436743 nbRevisions=10559326 nbUselessRevisions=9952929
6.07 nbAssignments=3523 nbFailedAssignments=903 nbBacktracks=1734 nbVisitedNodes=5636 nbRestartNogoods=29
6.07 mapSize=1472 nbInferences=476 nbTooLargeKeys=0
6.07 => wckTime=5.054 cpuTime=4.93 mem=19M643
7.59
7.59 search
7.59 run=11 nbConstraintChecks=156474526 nbPropagations=596185 nbRevisions=14156087 nbUselessRevisions=13327476
7.59 nbAssignments=5087 nbFailedAssignments=1391 nbBacktracks=2598 nbVisitedNodes=8215 nbRestartNogoods=35
7.59 mapSize=2132 nbInferences=653 nbTooLargeKeys=0
7.59 => wckTime=6.574 cpuTime=6.43 mem=19M643
9.90
9.90 search
9.90 run=12 nbConstraintChecks=213390276 nbPropagations=816025 nbRevisions=19078303 nbUselessRevisions=17950327
9.90 nbAssignments=7483 nbFailedAssignments=2193 nbBacktracks=3896 nbVisitedNodes=12221 nbRestartNogoods=41
9.90 mapSize=3184 nbInferences=914 nbTooLargeKeys=0
9.90 => wckTime=8.884 cpuTime=8.72 mem=20M618
11.32
11.32 search
11.32 run=13 nbConstraintChecks=244991025 nbPropagations=1069644 nbRevisions=24740754 nbUselessRevisions=23265464
11.32 nbAssignments=10178 nbFailedAssignments=2472 nbBacktracks=5844 nbVisitedNodes=15789 nbRestartNogoods=48
11.32 mapSize=3831 nbInferences=1337 nbTooLargeKeys=0
11.32 => wckTime=10.302 cpuTime=10.12 mem=22M569
16.30
16.30 search
16.30 run=14 nbConstraintChecks=365873855 nbPropagations=1459798 nbRevisions=33238391 nbUselessRevisions=31219360
16.30 nbAssignments=15272 nbFailedAssignments=3589 nbBacktracks=8769 nbVisitedNodes=23836 nbRestartNogoods=55
16.30 mapSize=5781 nbInferences=2347 nbTooLargeKeys=0
16.30 => wckTime=15.288 cpuTime=15.07 mem=24M519
28.89
28.89 search
28.89 run=15 nbConstraintChecks=683345287 nbPropagations=2229996 nbRevisions=49077787 nbUselessRevisions=46050018
28.89 nbAssignments=24131 nbFailedAssignments=5137 nbBacktracks=13147 nbVisitedNodes=38390 nbRestartNogoods=61
28.89 mapSize=9105 nbInferences=5239 nbTooLargeKeys=0
28.89 => wckTime=27.872 cpuTime=27.53 mem=30M370
36.34
36.35 search
36.35 run=16 nbConstraintChecks=856146697 nbPropagations=3157520 nbRevisions=69095302 nbUselessRevisions=64878791
36.35 nbAssignments=36804 nbFailedAssignments=7544 nbBacktracks=19715 nbVisitedNodes=58981 nbRestartNogoods=72
36.35 mapSize=14338 nbInferences=8876 nbTooLargeKeys=0
36.35 => wckTime=35.332 cpuTime=34.93 mem=37M196
55.00
55.00 search
55.00 run=17 nbConstraintChecks=1313135856 nbPropagations=4565893 nbRevisions=99944748 nbUselessRevisions=93950972
55.00 nbAssignments=58467 nbFailedAssignments=13203 nbBacktracks=29571 nbVisitedNodes=96308 nbRestartNogoods=82
55.00 mapSize=22713 nbInferences=14985 nbTooLargeKeys=0
55.00 => wckTime=53.985 cpuTime=53.4 mem=48M898
80.48
80.48 search
80.48 run=18 nbConstraintChecks=1917597861 nbPropagations=6644886 nbRevisions=145238667 nbUselessRevisions=136643004
80.48 nbAssignments=86960 nbFailedAssignments=20703 nbBacktracks=44349 nbVisitedNodes=143294 nbRestartNogoods=86
80.48 mapSize=33814 nbInferences=21161 nbTooLargeKeys=0
80.48 => wckTime=79.465 cpuTime=78.59 mem=35M732
111.52
111.52 search
111.52 run=19 nbConstraintChecks=2652803593 nbPropagations=9604055 nbRevisions=208155141 nbUselessRevisions=195815849
111.52 nbAssignments=127627 nbFailedAssignments=29933 nbBacktracks=66519 nbVisitedNodes=208285 nbRestartNogoods=101
111.52 mapSize=47266 nbInferences=30383 nbTooLargeKeys=0
111.52 => wckTime=110.506 cpuTime=109.34 mem=56M621
175.18
175.18 search
175.18 run=20 nbConstraintChecks=4190585758 nbPropagations=14296073 nbRevisions=306947366 nbUselessRevisions=288824902
175.18 nbAssignments=193310 nbFailedAssignments=36875 nbBacktracks=99771 nbVisitedNodes=312819 nbRestartNogoods=108
175.18 mapSize=68786 nbInferences=55828 nbTooLargeKeys=0
175.18 => wckTime=174.168 cpuTime=172.33 mem=69M617
282.14
282.14 search
282.14 run=21 nbConstraintChecks=6804083253 nbPropagations=22138058 nbRevisions=467828202 nbUselessRevisions=439967738
282.14 nbAssignments=297609 nbFailedAssignments=64887 nbBacktracks=149649 nbVisitedNodes=490691 nbRestartNogoods=122
282.14 mapSize=107908 nbInferences=82199 nbTooLargeKeys=0
282.14 => wckTime=281.131 cpuTime=278.23 mem=101M679
374.84
374.84 search
374.84 run=22 nbConstraintChecks=9015771026 nbPropagations=32331150 nbRevisions=681128861 nbUselessRevisions=640707171
374.84 nbAssignments=432083 nbFailedAssignments=88395 nbBacktracks=224467 nbVisitedNodes=702219 nbRestartNogoods=131
374.84 mapSize=158145 nbInferences=118279 nbTooLargeKeys=0
374.84 => wckTime=373.826 cpuTime=369.87 mem=122M691
504.78
504.78 search
504.78 run=23 nbConstraintChecks=12090838662 nbPropagations=46161588 nbRevisions=968674937
504.78 nbUselessRevisions=911059412 nbAssignments=617993 nbFailedAssignments=126316 nbBacktracks=336697
504.78 nbVisitedNodes=994692 nbRestartNogoods=151 mapSize=234805 nbInferences=153991 nbTooLargeKeys=0
504.78 => wckTime=503.764 cpuTime=498.39 mem=177M68
688.14
688.14 search
688.14 run=24 nbConstraintChecks=16481645083 nbPropagations=64827310 nbRevisions=1360392065
688.14 nbUselessRevisions=1280035723 nbAssignments=927035 nbFailedAssignments=169048 nbBacktracks=505038
688.14 nbVisitedNodes=1479284 nbRestartNogoods=166 mapSize=339041 nbInferences=251894 nbTooLargeKeys=0
688.14 => wckTime=687.126 cpuTime=679.81 mem=262M188
922.49
922.49 search
922.49 run=25 nbConstraintChecks=21907874031 nbPropagations=89027915 nbRevisions=1882102454
922.49 nbUselessRevisions=1772800626 nbAssignments=1373877 nbFailedAssignments=235375 nbBacktracks=757551
922.49 nbVisitedNodes=2172511 nbRestartNogoods=183 mapSize=518445 nbInferences=379839 nbTooLargeKeys=0
922.49 => wckTime=921.48 cpuTime=911.46 mem=393M871
1435.93
1435.93 search
1435.93 run=26 nbConstraintChecks=34401852054 nbPropagations=124492167 nbRevisions=2693888232
1435.93 nbUselessRevisions=2543328157 nbAssignments=2165321 nbFailedAssignments=349738 nbBacktracks=1136318
1435.93 nbVisitedNodes=3463674 nbRestartNogoods=193 mapSize=784975 nbInferences=678103 nbTooLargeKeys=0
1435.93 => wckTime=1434.92 cpuTime=1419.03 mem=564M14
1469.98
1469.99 INFO : Stopping hyperNogood (mapSize=807641, nbTooLargekeys=0, mem=601M20)
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node50/watcher-238852-1168083637 -o ROOT/results/node50/solver-238852-1168083637 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238852-1168083637/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.93 1.90 1.83 4/80 4495
/proc/meminfo: memFree=1031448/2055920 swapFree=4192812/4192956
[pid=4494] ppid=4492 vsize=18540 CPUtime=0
/proc/4494/stat : 4494 (runsolver) R 4492 4494 3293 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156762570 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 240577473831 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/4494/statm: 4635 279 244 17 0 2626 0
[startup+0.107084 s]
/proc/loadavg: 1.93 1.90 1.83 4/80 4495
/proc/meminfo: memFree=1031448/2055920 swapFree=4192812/4192956
[pid=4494] ppid=4492 vsize=914988 CPUtime=0.08
/proc/4494/stat : 4494 (java) R 4492 4494 3293 0 -1 0 2980 0 1 0 7 1 0 0 19 0 8 0 156762570 936947712 2726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072929208 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4494/statm: 228747 2726 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.515149 s]
/proc/loadavg: 1.93 1.90 1.83 4/80 4495
/proc/meminfo: memFree=1031448/2055920 swapFree=4192812/4192956
[pid=4494] ppid=4492 vsize=915328 CPUtime=0.48
/proc/4494/stat : 4494 (java) R 4492 4494 3293 0 -1 0 6400 0 1 0 45 3 0 0 18 0 8 0 156762570 937295872 6139 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4494/statm: 228832 6139 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33729 s]
/proc/loadavg: 1.93 1.90 1.83 3/87 4502
/proc/meminfo: memFree=1000096/2055920 swapFree=4192812/4192956
[pid=4494] ppid=4492 vsize=915572 CPUtime=1.3
/proc/4494/stat : 4494 (java) R 4492 4494 3293 0 -1 0 10545 0 1 0 124 6 0 0 24 0 8 0 156762570 937545728 10283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073945756 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4494/statm: 228893 10283 2513 14 0 215363 0
[pid=4494/tid=4496] ppid=4492 vsize=915572 CPUtime=0.05
/proc/4494/task/4496/stat : 4496 (java) S 4492 4494 3293 0 -1 64 719 0 0 0 5 0 0 0 16 0 8 0 156762575 937545728 10283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4497] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4497/stat : 4497 (java) S 4492 4494 3293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156762575 937545728 10283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4498] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4498/stat : 4498 (java) S 4492 4494 3293 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156762575 937545728 10283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4499] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4499/stat : 4499 (java) S 4492 4494 3293 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156762579 937545728 10283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4500] ppid=4492 vsize=915572 CPUtime=0.26
/proc/4494/task/4500/stat : 4500 (java) S 4492 4494 3293 0 -1 64 410 0 0 0 25 1 0 0 16 0 8 0 156762579 937545728 10283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4501] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4501/stat : 4501 (java) S 4492 4494 3293 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156762579 937545728 10283 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4502] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4502/stat : 4502 (java) S 4492 4494 3293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156762579 937545728 10283 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) 915572
[startup+2.98956 s]
/proc/loadavg: 1.93 1.90 1.83 3/87 4502
/proc/meminfo: memFree=1000032/2055920 swapFree=4192812/4192956
[pid=4494] ppid=4492 vsize=915572 CPUtime=2.93
/proc/4494/stat : 4494 (java) R 4492 4494 3293 0 -1 0 10551 0 1 0 287 6 0 0 25 0 8 0 156762570 937545728 10287 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073923447 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4494/statm: 228893 10287 2513 14 0 215363 0
[pid=4494/tid=4496] ppid=4492 vsize=915572 CPUtime=0.05
/proc/4494/task/4496/stat : 4496 (java) S 4492 4494 3293 0 -1 64 719 0 0 0 5 0 0 0 17 0 8 0 156762575 937545728 10287 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4497] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4497/stat : 4497 (java) S 4492 4494 3293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156762575 937545728 10287 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4498] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4498/stat : 4498 (java) S 4492 4494 3293 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156762575 937545728 10287 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4499] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4499/stat : 4499 (java) S 4492 4494 3293 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156762579 937545728 10287 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4500] ppid=4492 vsize=915572 CPUtime=0.27
/proc/4494/task/4500/stat : 4500 (java) S 4492 4494 3293 0 -1 64 414 0 0 0 25 2 0 0 15 0 8 0 156762579 937545728 10287 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4501] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4501/stat : 4501 (java) S 4492 4494 3293 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156762579 937545728 10287 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4502] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4502/stat : 4502 (java) S 4492 4494 3293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156762579 937545728 10287 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915572
[startup+6.27311 s]
/proc/loadavg: 1.94 1.90 1.83 3/87 4502
/proc/meminfo: memFree=999968/2055920 swapFree=4192812/4192956
[pid=4494] ppid=4492 vsize=915572 CPUtime=6.19
/proc/4494/stat : 4494 (java) R 4492 4494 3293 0 -1 0 10568 0 1 0 612 7 0 0 25 0 8 0 156762570 937545728 10301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073995809 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4494/statm: 228893 10301 2513 14 0 215363 0
[pid=4494/tid=4496] ppid=4492 vsize=915572 CPUtime=0.05
/proc/4494/task/4496/stat : 4496 (java) S 4492 4494 3293 0 -1 64 719 0 0 0 5 0 0 0 17 0 8 0 156762575 937545728 10301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4497] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4497/stat : 4497 (java) S 4492 4494 3293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156762575 937545728 10301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4498] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4498/stat : 4498 (java) S 4492 4494 3293 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156762575 937545728 10301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4499] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4499/stat : 4499 (java) S 4492 4494 3293 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156762579 937545728 10301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4500] ppid=4492 vsize=915572 CPUtime=0.3
/proc/4494/task/4500/stat : 4500 (java) S 4492 4494 3293 0 -1 64 428 0 0 0 28 2 0 0 16 0 8 0 156762579 937545728 10301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4501] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4501/stat : 4501 (java) S 4492 4494 3293 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156762579 937545728 10301 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4502] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4502/stat : 4502 (java) S 4492 4494 3293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156762579 937545728 10301 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) 915572
[startup+12.7612 s]
/proc/loadavg: 1.94 1.91 1.83 3/87 4502
/proc/meminfo: memFree=999776/2055920 swapFree=4192812/4192956
[pid=4494] ppid=4492 vsize=915572 CPUtime=12.62
/proc/4494/stat : 4494 (java) R 4492 4494 3293 0 -1 0 10638 0 1 0 1255 7 0 0 25 0 8 0 156762570 937545728 10371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073941826 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4494/statm: 228893 10371 2513 14 0 215363 0
[pid=4494/tid=4496] ppid=4492 vsize=915572 CPUtime=0.05
/proc/4494/task/4496/stat : 4496 (java) S 4492 4494 3293 0 -1 64 719 0 0 0 5 0 0 0 16 0 8 0 156762575 937545728 10371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4497] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4497/stat : 4497 (java) S 4492 4494 3293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156762575 937545728 10371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4498] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4498/stat : 4498 (java) S 4492 4494 3293 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156762575 937545728 10371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4499] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4499/stat : 4499 (java) S 4492 4494 3293 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156762579 937545728 10371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4500] ppid=4492 vsize=915572 CPUtime=0.31
/proc/4494/task/4500/stat : 4500 (java) S 4492 4494 3293 0 -1 64 431 0 0 0 29 2 0 0 15 0 8 0 156762579 937545728 10371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4501] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4501/stat : 4501 (java) S 4492 4494 3293 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156762579 937545728 10371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4502] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4502/stat : 4502 (java) S 4492 4494 3293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156762579 937545728 10371 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915572
[startup+25.6124 s]
/proc/loadavg: 1.95 1.91 1.83 3/87 4502
/proc/meminfo: memFree=957536/2055920 swapFree=4192812/4192956
[pid=4494] ppid=4492 vsize=915572 CPUtime=25.35
/proc/4494/stat : 4494 (java) R 4492 4494 3293 0 -1 0 12051 0 1 0 2527 8 0 0 25 0 8 0 156762570 937545728 11784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928366 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4494/statm: 228893 11784 2513 14 0 215363 0
[pid=4494/tid=4496] ppid=4492 vsize=915572 CPUtime=0.05
/proc/4494/task/4496/stat : 4496 (java) S 4492 4494 3293 0 -1 64 719 0 0 0 5 0 0 0 16 0 8 0 156762575 937545728 11784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4497] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4497/stat : 4497 (java) S 4492 4494 3293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156762575 937545728 11784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4498] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4498/stat : 4498 (java) S 4492 4494 3293 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156762575 937545728 11784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4499] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4499/stat : 4499 (java) S 4492 4494 3293 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156762579 937545728 11784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4500] ppid=4492 vsize=915572 CPUtime=0.31
/proc/4494/task/4500/stat : 4500 (java) S 4492 4494 3293 0 -1 64 431 0 0 0 29 2 0 0 15 0 8 0 156762579 937545728 11784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4501] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4501/stat : 4501 (java) S 4492 4494 3293 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156762579 937545728 11784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4502] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4502/stat : 4502 (java) S 4492 4494 3293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156762579 937545728 11784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915572
[startup+51.2237 s]
/proc/loadavg: 2.03 1.93 1.84 4/87 4502
/proc/meminfo: memFree=891688/2055920 swapFree=4192812/4192956
[pid=4494] ppid=4492 vsize=915572 CPUtime=50.72
/proc/4494/stat : 4494 (java) R 4492 4494 3293 0 -1 0 16346 0 1 0 5062 10 0 0 25 0 8 0 156762570 937545728 16079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073923440 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4494/statm: 228893 16079 2513 14 0 215363 0
[pid=4494/tid=4496] ppid=4492 vsize=915572 CPUtime=0.05
/proc/4494/task/4496/stat : 4496 (java) S 4492 4494 3293 0 -1 64 719 0 0 0 5 0 0 0 16 0 8 0 156762575 937545728 16079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4497] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4497/stat : 4497 (java) S 4492 4494 3293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156762575 937545728 16079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4498] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4498/stat : 4498 (java) S 4492 4494 3293 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156762575 937545728 16079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4499] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4499/stat : 4499 (java) S 4492 4494 3293 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156762579 937545728 16079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4500] ppid=4492 vsize=915572 CPUtime=0.31
/proc/4494/task/4500/stat : 4500 (java) S 4492 4494 3293 0 -1 64 431 0 0 0 29 2 0 0 15 0 8 0 156762579 937545728 16079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4501] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4501/stat : 4501 (java) S 4492 4494 3293 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156762579 937545728 16079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4502] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4502/stat : 4502 (java) S 4492 4494 3293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156762579 937545728 16079 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 915572
[startup+102.441 s]
/proc/loadavg: 2.01 1.94 1.84 3/87 4502
/proc/meminfo: memFree=761128/2055920 swapFree=4192812/4192956
[pid=4494] ppid=4492 vsize=915572 CPUtime=101.47
/proc/4494/stat : 4494 (java) R 4492 4494 3293 0 -1 0 22387 0 1 0 10135 12 0 0 25 0 8 0 156762570 937545728 22119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928505 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4494/statm: 228893 22119 2517 14 0 215363 0
[pid=4494/tid=4496] ppid=4492 vsize=915572 CPUtime=0.1
/proc/4494/task/4496/stat : 4496 (java) S 4492 4494 3293 0 -1 64 5362 0 0 0 9 1 0 0 16 0 8 0 156762575 937545728 22119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4497] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4497/stat : 4497 (java) S 4492 4494 3293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156762575 937545728 22119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4498] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4498/stat : 4498 (java) S 4492 4494 3293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156762575 937545728 22119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4499] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4499/stat : 4499 (java) S 4492 4494 3293 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156762579 937545728 22119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4500] ppid=4492 vsize=915572 CPUtime=0.31
/proc/4494/task/4500/stat : 4500 (java) S 4492 4494 3293 0 -1 64 431 0 0 0 29 2 0 0 15 0 8 0 156762579 937545728 22119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4501] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4501/stat : 4501 (java) S 4492 4494 3293 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156762579 937545728 22119 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4502] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4502/stat : 4502 (java) S 4492 4494 3293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156762579 937545728 22119 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) 915572
[startup+162.51 s]
/proc/loadavg: 2.00 1.95 1.85 3/87 4502
/proc/meminfo: memFree=733608/2055920 swapFree=4192812/4192956
[pid=4494] ppid=4492 vsize=915572 CPUtime=160.99
/proc/4494/stat : 4494 (java) R 4492 4494 3293 0 -1 0 29240 0 1 0 16084 15 0 0 25 0 8 0 156762570 937545728 28971 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073944812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1410.6
Current children cumulated vsize (KiB) 915572
[startup+1483.97 s]
/proc/loadavg: 2.04 2.02 1.93 3/87 4700
/proc/meminfo: memFree=229992/2055920 swapFree=4192812/4192956
[pid=4494] ppid=4492 vsize=915572 CPUtime=1470.11
/proc/4494/stat : 4494 (java) R 4492 4494 3293 0 -1 0 154777 0 1 0 146949 62 0 0 25 0 8 0 156762570 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073937852 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4494/statm: 228893 154485 2517 14 0 215363 0
[pid=4494/tid=4496] ppid=4492 vsize=915572 CPUtime=2.48
/proc/4494/task/4496/stat : 4496 (java) S 4492 4494 3293 0 -1 64 137728 0 0 0 200 48 0 0 16 0 8 0 156762575 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4497] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4497/stat : 4497 (java) S 4492 4494 3293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156762575 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4498] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4498/stat : 4498 (java) S 4492 4494 3293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156762575 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4499] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4499/stat : 4499 (java) S 4492 4494 3293 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156762579 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4500] ppid=4492 vsize=915572 CPUtime=0.31
/proc/4494/task/4500/stat : 4500 (java) S 4492 4494 3293 0 -1 64 431 0 0 0 29 2 0 0 16 0 8 0 156762579 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4501] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4501/stat : 4501 (java) S 4492 4494 3293 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156762579 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4502] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4502/stat : 4502 (java) S 4492 4494 3293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156762579 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1470.11
Current children cumulated vsize (KiB) 915572
[startup+1544.04 s]
/proc/loadavg: 2.01 2.02 1.93 3/87 4700
/proc/meminfo: memFree=229928/2055920 swapFree=4192812/4192956
[pid=4494] ppid=4492 vsize=915572 CPUtime=1529.63
/proc/4494/stat : 4494 (java) R 4492 4494 3293 0 -1 0 154777 0 1 0 152901 62 0 0 25 0 8 0 156762570 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928505 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4494/statm: 228893 154485 2517 14 0 215363 0
[pid=4494/tid=4496] ppid=4492 vsize=915572 CPUtime=2.48
/proc/4494/task/4496/stat : 4496 (java) S 4492 4494 3293 0 -1 64 137728 0 0 0 200 48 0 0 16 0 8 0 156762575 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4497] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4497/stat : 4497 (java) S 4492 4494 3293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156762575 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4498] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4498/stat : 4498 (java) S 4492 4494 3293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156762575 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4499] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4499/stat : 4499 (java) S 4492 4494 3293 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156762579 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4500] ppid=4492 vsize=915572 CPUtime=0.31
/proc/4494/task/4500/stat : 4500 (java) S 4492 4494 3293 0 -1 64 431 0 0 0 29 2 0 0 16 0 8 0 156762579 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4501] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4501/stat : 4501 (java) S 4492 4494 3293 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156762579 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4502] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4502/stat : 4502 (java) S 4492 4494 3293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156762579 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1529.63
Current children cumulated vsize (KiB) 915572
[startup+1604.07 s]
/proc/loadavg: 1.61 1.92 1.90 2/75 4711
/proc/meminfo: memFree=860624/2055920 swapFree=4192812/4192956
[pid=4494] ppid=4492 vsize=915572 CPUtime=1589.39
/proc/4494/stat : 4494 (java) R 4492 4494 3293 0 -1 0 154777 0 1 0 158877 62 0 0 25 0 8 0 156762570 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073944821 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4494/statm: 228893 154485 2517 14 0 215363 0
[pid=4494/tid=4496] ppid=4492 vsize=915572 CPUtime=2.48
/proc/4494/task/4496/stat : 4496 (java) S 4492 4494 3293 0 -1 64 137728 0 0 0 200 48 0 0 16 0 8 0 156762575 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4497] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4497/stat : 4497 (java) S 4492 4494 3293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156762575 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4498] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4498/stat : 4498 (java) S 4492 4494 3293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156762575 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4499] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4499/stat : 4499 (java) S 4492 4494 3293 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156762579 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4500] ppid=4492 vsize=915572 CPUtime=0.31
/proc/4494/task/4500/stat : 4500 (java) S 4492 4494 3293 0 -1 64 431 0 0 0 29 2 0 0 16 0 8 0 156762579 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4501] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4501/stat : 4501 (java) S 4492 4494 3293 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156762579 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4502] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4502/stat : 4502 (java) S 4492 4494 3293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156762579 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1589.39
Current children cumulated vsize (KiB) 915572
[startup+1664.1 s]
/proc/loadavg: 1.28 1.76 1.84 2/75 4766
/proc/meminfo: memFree=858896/2055920 swapFree=4192812/4192956
[pid=4494] ppid=4492 vsize=915572 CPUtime=1649.38
/proc/4494/stat : 4494 (java) R 4492 4494 3293 0 -1 0 154777 0 1 0 164875 63 0 0 25 0 8 0 156762570 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074036684 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4494/statm: 228893 154485 2517 14 0 215363 0
[pid=4494/tid=4496] ppid=4492 vsize=915572 CPUtime=2.48
/proc/4494/task/4496/stat : 4496 (java) S 4492 4494 3293 0 -1 64 137728 0 0 0 200 48 0 0 16 0 8 0 156762575 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4497] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4497/stat : 4497 (java) S 4492 4494 3293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156762575 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4498] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4498/stat : 4498 (java) S 4492 4494 3293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156762575 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4499] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4499/stat : 4499 (java) S 4492 4494 3293 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156762579 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4500] ppid=4492 vsize=915572 CPUtime=0.31
/proc/4494/task/4500/stat : 4500 (java) S 4492 4494 3293 0 -1 64 431 0 0 0 29 2 0 0 16 0 8 0 156762579 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4501] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4501/stat : 4501 (java) S 4492 4494 3293 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156762579 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4502] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4502/stat : 4502 (java) S 4492 4494 3293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156762579 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1649.38
Current children cumulated vsize (KiB) 915572
[startup+1724.11 s]
/proc/loadavg: 1.09 1.61 1.78 2/75 4767
/proc/meminfo: memFree=860560/2055920 swapFree=4192812/4192956
[pid=4494] ppid=4492 vsize=915572 CPUtime=1709.36
/proc/4494/stat : 4494 (java) R 4492 4494 3293 0 -1 0 154777 0 1 0 170873 63 0 0 25 0 8 0 156762570 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4494/statm: 228893 154485 2517 14 0 215363 0
[pid=4494/tid=4496] ppid=4492 vsize=915572 CPUtime=2.48
/proc/4494/task/4496/stat : 4496 (java) S 4492 4494 3293 0 -1 64 137728 0 0 0 200 48 0 0 16 0 8 0 156762575 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4497] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4497/stat : 4497 (java) S 4492 4494 3293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156762575 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4498] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4498/stat : 4498 (java) S 4492 4494 3293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156762575 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4499] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4499/stat : 4499 (java) S 4492 4494 3293 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156762579 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4500] ppid=4492 vsize=915572 CPUtime=0.31
/proc/4494/task/4500/stat : 4500 (java) S 4492 4494 3293 0 -1 64 431 0 0 0 29 2 0 0 16 0 8 0 156762579 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4501] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4501/stat : 4501 (java) S 4492 4494 3293 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156762579 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4502] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4502/stat : 4502 (java) S 4492 4494 3293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156762579 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1709.36
Current children cumulated vsize (KiB) 915572
[startup+1784.14 s]
/proc/loadavg: 1.11 1.51 1.74 3/87 4814
/proc/meminfo: memFree=817264/2055920 swapFree=4192812/4192956
[pid=4494] ppid=4492 vsize=915572 CPUtime=1769.33
/proc/4494/stat : 4494 (java) R 4492 4494 3293 0 -1 0 154777 0 1 0 176869 64 0 0 25 0 8 0 156762570 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073928418 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4494/statm: 228893 154485 2517 14 0 215363 0
[pid=4494/tid=4496] ppid=4492 vsize=915572 CPUtime=2.48
/proc/4494/task/4496/stat : 4496 (java) S 4492 4494 3293 0 -1 64 137728 0 0 0 200 48 0 0 16 0 8 0 156762575 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4494/tid=4497] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4497/stat : 4497 (java) S 4492 4494 3293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156762575 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4498] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4498/stat : 4498 (java) S 4492 4494 3293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156762575 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4499] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4499/stat : 4499 (java) S 4492 4494 3293 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156762579 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4500] ppid=4492 vsize=915572 CPUtime=0.31
/proc/4494/task/4500/stat : 4500 (java) S 4492 4494 3293 0 -1 64 431 0 0 0 29 2 0 0 16 0 8 0 156762579 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4501] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4501/stat : 4501 (java) S 4492 4494 3293 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156762579 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4502] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4502/stat : 4502 (java) S 4492 4494 3293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156762579 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1769.33
Current children cumulated vsize (KiB) 915572
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.88 s]
/proc/loadavg: 1.18 1.49 1.72 2/75 4822
/proc/meminfo: memFree=858704/2055920 swapFree=4192812/4192956
[pid=4494] ppid=4492 vsize=915572 CPUtime=1800.06
/proc/4494/stat : 4494 (java) R 4492 4494 3293 0 -1 0 154777 0 1 0 179942 64 0 0 25 0 8 0 156762570 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4494/statm: 228893 154485 2517 14 0 215363 0
[pid=4494/tid=4496] ppid=4492 vsize=915572 CPUtime=2.48
/proc/4494/task/4496/stat : 4496 (java) S 4492 4494 3293 0 -1 64 137728 0 0 0 200 48 0 0 16 0 8 0 156762575 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=4494/tid=4497] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4497/stat : 4497 (java) S 4492 4494 3293 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156762575 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4498] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4498/stat : 4498 (java) S 4492 4494 3293 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156762575 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4499] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4499/stat : 4499 (java) S 4492 4494 3293 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156762579 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4500] ppid=4492 vsize=915572 CPUtime=0.31
/proc/4494/task/4500/stat : 4500 (java) S 4492 4494 3293 0 -1 64 431 0 0 0 29 2 0 0 16 0 8 0 156762579 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4501] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4501/stat : 4501 (java) S 4492 4494 3293 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156762579 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4494/tid=4502] ppid=4492 vsize=915572 CPUtime=0
/proc/4494/task/4502/stat : 4502 (java) S 4492 4494 3293 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156762579 937545728 154485 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915572
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1815.01
CPU time (s): 1800.2
CPU user time (s): 1799.46
CPU system time (s): 0.744886
CPU usage (%): 99.184
Max. virtual memory (cumulated for all children) (KiB): 915572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.744886
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154795
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= 38186
involuntary context switches= 92025
runsolver used 2.03369 s user time and 5.80912 s system time
The end
Begin job on node50 on Sat Jan 6 11:40:38 UTC 2007
IDJOB= 238852
IDBENCH= 7024
FILE ID= node50/238852-1168083637
PBS_JOBID= 3476150
Free space on /tmp= 66548 MiB
BENCH NAME= HOME/pub/bench/CPAI06/blackHole/BH-4-13/BlackHole-4-13-e-3_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238852-1168083637/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-238852-1168083637 -o ROOT/results/node50/solver-238852-1168083637 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/238852-1168083637/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d9fc6498eb8cc87a372efbb16281ba77
RANDOM SEED= 932832341
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.263
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 : 5931.00
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.263
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: 1032056 kB
Buffers: 39040 kB
Cached: 448044 kB
SwapCached: 0 kB
Active: 527072 kB
Inactive: 417492 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1032056 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2020 kB
Writeback: 0 kB
Mapped: 477712 kB
Slab: 63836 kB
Committed_AS: 4163856 kB
PageTables: 2740 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= 66548 MiB
End job on node50 on Sat Jan 6 12:11:01 UTC 2007