0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=mac.xml
0.37
0.37 instance
0.37 name=/tmp/evaluation/237597-1168083343/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.51 nbVariables=729 nbDomainTypes=1 minDomainSize=27 maxDomainSize=27
0.51 => wckTime=0.178 cpuTime=0.15 mem=7M863
0.51
0.51 predicates being loaded...
0.52
0.52 constraints being loaded...
1.87 nbConstraints=9503 nbConvertedConstraints=9503 nbConvertConstraintsChecks=2916 nbExtensionStructures=4
1.87 nbSharedExtensionStructures=9499 nbConflictsStructures=4 nbSharedConflictsStructures=9499
1.87 nbSharedBinaryRepresentations=161 maxDegree=27 maxArity=2
1.87 => wckTime=1.53 cpuTime=1.3 mem=18M49
1.96
1.96 solver IterativeSystematicSolver being built...
2.16 => wckTime=1.824 cpuTime=1.47 mem=21M913
2.21
2.21 preprocessing
2.21 nbConstraintChecks=0 nbPropagations=729 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.21 detectedInconsistency=no
2.21 => wckTime=0.046 cpuTime=0.03 mem=21M913
2.34
2.34 search
2.34 run=0 nbConstraintChecks=37824 nbPropagations=2570 nbRevisions=1874 nbUselessRevisions=64 nbAssignments=92
2.34 nbFailedAssignments=10 nbBacktracks=10 nbVisitedNodes=113 nbRestartNogoods=0 mapSize=10 nbInferences=0
2.34 nbTooLargeKeys=0
2.34 => wckTime=0.176 cpuTime=0.13 mem=22M908
2.39
2.39 search
2.39 run=1 nbConstraintChecks=75926 nbPropagations=7025 nbRevisions=5677 nbUselessRevisions=200 nbAssignments=194
2.39 nbFailedAssignments=24 nbBacktracks=25 nbVisitedNodes=243 nbRestartNogoods=4 mapSize=25 nbInferences=0
2.39 nbTooLargeKeys=0
2.39 => wckTime=0.229 cpuTime=0.17 mem=22M908
2.45
2.45 search
2.45 run=2 nbConstraintChecks=114242 nbPropagations=13430 nbRevisions=11483 nbUselessRevisions=413
2.45 nbAssignments=309 nbFailedAssignments=44 nbBacktracks=47 nbVisitedNodes=398 nbRestartNogoods=7 mapSize=47
2.45 nbInferences=0 nbTooLargeKeys=0
2.45 => wckTime=0.281 cpuTime=0.23 mem=23M902
2.51
2.51 search
2.51 run=3 nbConstraintChecks=152848 nbPropagations=21867 nbRevisions=19372 nbUselessRevisions=703
2.51 nbAssignments=443 nbFailedAssignments=71 nbBacktracks=80 nbVisitedNodes=587 nbRestartNogoods=12 mapSize=80
2.51 nbInferences=1 nbTooLargeKeys=0
2.51 => wckTime=0.342 cpuTime=0.28 mem=23M902
2.58
2.58 search
2.58 run=4 nbConstraintChecks=191822 nbPropagations=32470 nbRevisions=29473 nbUselessRevisions=1071
2.58 nbAssignments=607 nbFailedAssignments=108 nbBacktracks=131 nbVisitedNodes=830 nbRestartNogoods=16 mapSize=131
2.58 nbInferences=6 nbTooLargeKeys=0
2.58 => wckTime=0.412 cpuTime=0.35 mem=23M902
2.66
2.66 search
2.66 run=5 nbConstraintChecks=231481 nbPropagations=45468 nbRevisions=41991 nbUselessRevisions=1517
2.66 nbAssignments=819 nbFailedAssignments=157 nbBacktracks=206 nbVisitedNodes=1157 nbRestartNogoods=20 mapSize=206
2.66 nbInferences=23 nbTooLargeKeys=0
2.66 => wckTime=0.493 cpuTime=0.43 mem=24M897
2.76
2.76 search
2.76 run=6 nbConstraintChecks=272010 nbPropagations=61182 nbRevisions=57239 nbUselessRevisions=2044
2.76 nbAssignments=1102 nbFailedAssignments=232 nbBacktracks=320 nbVisitedNodes=1612 nbRestartNogoods=22
2.76 mapSize=320 nbInferences=45 nbTooLargeKeys=0
2.76 => wckTime=0.599 cpuTime=0.53 mem=25M892
2.91
2.91 search
2.91 run=7 nbConstraintChecks=313836 nbPropagations=80111 nbRevisions=75678 nbUselessRevisions=2655
2.91 nbAssignments=1494 nbFailedAssignments=339 nbBacktracks=490 nbVisitedNodes=2260 nbRestartNogoods=28
2.91 mapSize=490 nbInferences=87 nbTooLargeKeys=0
2.91 => wckTime=0.741 cpuTime=0.66 mem=26M886
3.10
3.10 search
3.10 run=8 nbConstraintChecks=357751 nbPropagations=103038 nbRevisions=98014 nbUselessRevisions=3354
3.10 nbAssignments=2056 nbFailedAssignments=490 nbBacktracks=746 nbVisitedNodes=3207 nbRestartNogoods=36
3.10 mapSize=746 nbInferences=170 nbTooLargeKeys=0
3.10 => wckTime=0.93 cpuTime=0.83 mem=27M881
3.32
3.32 search
3.32 run=9 nbConstraintChecks=410795 nbPropagations=131040 nbRevisions=125459 nbUselessRevisions=4255
3.32 nbAssignments=2823 nbFailedAssignments=734 nbBacktracks=1131 nbVisitedNodes=4537 nbRestartNogoods=43
3.32 mapSize=1127 nbInferences=245 nbTooLargeKeys=0
3.32 => wckTime=1.156 cpuTime=1.06 mem=29M870
3.62
3.62 search
3.62 run=10 nbConstraintChecks=507498 nbPropagations=166635 nbRevisions=160941 nbUselessRevisions=5653
3.62 nbAssignments=3868 nbFailedAssignments=1100 nbBacktracks=1707 nbVisitedNodes=6349 nbRestartNogoods=48
3.62 mapSize=1656 nbInferences=280 nbTooLargeKeys=0
3.62 => wckTime=1.455 cpuTime=1.34 mem=30M865
4.13
4.13 search
4.13 run=11 nbConstraintChecks=629043 nbPropagations=215735 nbRevisions=208831 nbUselessRevisions=7504
4.13 nbAssignments=5958 nbFailedAssignments=1469 nbBacktracks=2571 nbVisitedNodes=9936 nbRestartNogoods=51
4.13 mapSize=2481 nbInferences=1040 nbTooLargeKeys=0
4.13 => wckTime=1.965 cpuTime=1.85 mem=31M860
5.03
5.03 search
5.03 run=12 nbConstraintChecks=795125 nbPropagations=284096 nbRevisions=274708 nbUselessRevisions=10033
5.03 nbAssignments=8968 nbFailedAssignments=2068 nbBacktracks=3869 nbVisitedNodes=15161 nbRestartNogoods=55
5.03 mapSize=3728 nbInferences=2057 nbTooLargeKeys=0
5.03 => wckTime=2.863 cpuTime=2.73 mem=40M812
6.47
6.47 search
6.47 run=13 nbConstraintChecks=946723 nbPropagations=379541 nbRevisions=364373 nbUselessRevisions=13079
6.47 nbAssignments=13786 nbFailedAssignments=2896 nbBacktracks=5816 nbVisitedNodes=23583 nbRestartNogoods=66
6.47 mapSize=5650 nbInferences=4005 nbTooLargeKeys=0
6.47 => wckTime=4.307 cpuTime=4.13 mem=26M161
8.91
8.91 search
8.91 run=14 nbConstraintChecks=1157699 nbPropagations=520484 nbRevisions=492019 nbUselessRevisions=16797
8.91 nbAssignments=21899 nbFailedAssignments=3877 nbBacktracks=8736 nbVisitedNodes=37775 nbRestartNogoods=80
8.91 mapSize=8544 nbInferences=8122 nbTooLargeKeys=0
8.91 => wckTime=6.746 cpuTime=6.54 mem=53M271
12.58
12.58 search
12.58 run=15 nbConstraintChecks=1509449 nbPropagations=733763 nbRevisions=680308 nbUselessRevisions=21850
12.58 nbAssignments=34400 nbFailedAssignments=5340 nbBacktracks=13114 nbVisitedNodes=59740 nbRestartNogoods=90
12.58 mapSize=12852 nbInferences=14661 nbTooLargeKeys=0
12.58 => wckTime=10.413 cpuTime=10.13 mem=63M949
18.26
18.26 search
18.26 run=16 nbConstraintChecks=1970977 nbPropagations=1055023 nbRevisions=956952 nbUselessRevisions=28441
18.26 nbAssignments=53640 nbFailedAssignments=7282 nbBacktracks=19683 nbVisitedNodes=93474 nbRestartNogoods=110
18.26 mapSize=19359 nbInferences=25272 nbTooLargeKeys=0
18.26 => wckTime=16.094 cpuTime=15.71 mem=94M248
28.10
28.10 search
28.10 run=17 nbConstraintChecks=2728980 nbPropagations=1564195 nbRevisions=1385129 nbUselessRevisions=38073
28.10 nbAssignments=85996 nbFailedAssignments=9651 nbBacktracks=29536 nbVisitedNodes=150584 nbRestartNogoods=128
28.10 mapSize=29154 nbInferences=45289 nbTooLargeKeys=0
28.10 => wckTime=25.939 cpuTime=25.38 mem=141M380
42.05
42.05 search
42.05 run=18 nbConstraintChecks=3837088 nbPropagations=2350910 nbRevisions=2036660 nbUselessRevisions=52478
42.05 nbAssignments=134182 nbFailedAssignments=13110 nbBacktracks=44315 nbVisitedNodes=235488 nbRestartNogoods=143
42.05 mapSize=43832 nbInferences=75091 nbTooLargeKeys=0
42.05 => wckTime=39.887 cpuTime=39.05 mem=163M539
66.26
66.26 search
66.26 run=19 nbConstraintChecks=5816390 nbPropagations=3632723 nbRevisions=3083233 nbUselessRevisions=75379
66.26 nbAssignments=215438 nbFailedAssignments=17154 nbBacktracks=66483 nbVisitedNodes=379732 nbRestartNogoods=166
66.26 mapSize=65938 nbInferences=129992 nbTooLargeKeys=0
66.26 => wckTime=64.094 cpuTime=62.84 mem=260M784
92.97
92.97 search
92.97 run=20 nbConstraintChecks=10759984 nbPropagations=5588141 nbRevisions=4731745 nbUselessRevisions=137428
92.97 nbAssignments=316953 nbFailedAssignments=27249 nbBacktracks=99736 nbVisitedNodes=559172 nbRestartNogoods=185
92.97 mapSize=99052 nbInferences=187991 nbTooLargeKeys=0
92.97 => wckTime=90.8 cpuTime=89.11 mem=328M506
150.28
150.28 search
150.28 run=21 nbConstraintChecks=15649486 nbPropagations=8764780 nbRevisions=7337700 nbUselessRevisions=212750
150.28 nbAssignments=512783 nbFailedAssignments=33807 nbBacktracks=149614 nbVisitedNodes=907345 nbRestartNogoods=215
150.28 mapSize=148801 nbInferences=327221 nbTooLargeKeys=0
150.28 => wckTime=148.113 cpuTime=145.42 mem=497M167
187.61
187.61 INFO : Stopping hyperNogood (mapSize=192374, nbTooLargekeys=0, mem=600M713)
194.64
194.64 search
194.64 run=22 nbConstraintChecks=26531726 nbPropagations=13244923 nbRevisions=11188791 nbUselessRevisions=369840
194.64 nbAssignments=705045 nbFailedAssignments=66740 nbBacktracks=224433 nbVisitedNodes=1249026 nbRestartNogoods=243
194.64 => wckTime=192.479 cpuTime=189.12 mem=600M713
220.55
220.55 search
220.55 run=23 nbConstraintChecks=29080641 nbPropagations=18588092 nbRevisions=15907696 nbUselessRevisions=531243
220.55 nbAssignments=895130 nbFailedAssignments=144404 nbBacktracks=336660 nbVisitedNodes=1594432 nbRestartNogoods=274
220.55 => wckTime=218.381 cpuTime=214.79 mem=600M713
257.80
257.80 search
257.80 run=24 nbConstraintChecks=32720608 nbPropagations=25218678 nbRevisions=21921051 nbUselessRevisions=697628
257.80 nbAssignments=1180244 nbFailedAssignments=260956 nbBacktracks=505001 nbVisitedNodes=2112620
257.80 nbRestartNogoods=305
257.80 => wckTime=255.636 cpuTime=251.71 mem=600M713
312.46
312.46 search
312.46 run=25 nbConstraintChecks=39424027 nbPropagations=33782356 nbRevisions=29932493 nbUselessRevisions=877227
312.46 nbAssignments=1606176 nbFailedAssignments=434154 nbBacktracks=757512 nbVisitedNodes=2884668
312.46 nbRestartNogoods=349
312.46 => wckTime=310.292 cpuTime=305.86 mem=600M713
400.03
400.03 search
400.03 run=26 nbConstraintChecks=47101560 nbPropagations=45230017 nbRevisions=40833788 nbUselessRevisions=1062719
400.03 nbAssignments=2248358 nbFailedAssignments=697378 nbBacktracks=1136280 nbVisitedNodes=4053296
400.03 nbRestartNogoods=393
400.03 => wckTime=397.861 cpuTime=392.64 mem=600M713
519.29
519.29 search
519.29 run=27 nbConstraintChecks=59093043 nbPropagations=61006602 nbRevisions=56095917 nbUselessRevisions=1272274
519.29 nbAssignments=3209121 nbFailedAssignments=1089743 nbBacktracks=1704431 nbVisitedNodes=5798633
519.29 nbRestartNogoods=410
519.29 => wckTime=517.126 cpuTime=510.81 mem=600M713
805.25
805.25 search
805.25 run=28 nbConstraintChecks=420778817 nbPropagations=90656560 nbRevisions=100082481 nbUselessRevisions=5496005
805.25 nbAssignments=4751285 nbFailedAssignments=1779500 nbBacktracks=2556659 nbVisitedNodes=8614604
805.25 nbRestartNogoods=455
805.25 => wckTime=803.083 cpuTime=794.18 mem=600M713
1102.74
1102.74 search
1102.74 run=29 nbConstraintChecks=445067797 nbPropagations=129977736 nbRevisions=153751893 nbUselessRevisions=9727617
1102.74 nbAssignments=6917467 nbFailedAssignments=2667172 nbBacktracks=3835000 nbVisitedNodes=12556130
1102.74 nbRestartNogoods=482
1102.74 => wckTime=1100.572 cpuTime=1088.96 mem=600M713
1545.82
1545.82 search
1545.82 run=30 nbConstraintChecks=481411192 nbPropagations=183813067 nbRevisions=221936185 nbUselessRevisions=13959939
1545.82 nbAssignments=10169505 nbFailedAssignments=4001564 nbBacktracks=5752510 nbVisitedNodes=18476952
1545.82 nbRestartNogoods=499
1545.82 => wckTime=1543.653 cpuTime=1530.21 mem=600M713
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node30/watcher-237597-1168083343 -o ROOT/results/node30/solver-237597-1168083343 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237597-1168083343/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.29 1.78 1.81 4/93 4128
/proc/meminfo: memFree=1141792/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=18540 CPUtime=0
/proc/4127/stat : 4127 (runsolver) R 4125 4127 3153 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156729957 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 264907582759 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/4127/statm: 4635 279 244 17 0 2626 0
[startup+0.107043 s]
/proc/loadavg: 1.29 1.78 1.81 4/93 4128
/proc/meminfo: memFree=1141792/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=912760 CPUtime=0.07
/proc/4127/stat : 4127 (java) R 4125 4127 3153 0 -1 0 2781 0 1 0 6 1 0 0 19 0 8 0 156729957 934666240 2527 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073415488 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4127/statm: 228190 2527 1387 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912760
[startup+0.516072 s]
/proc/loadavg: 1.29 1.78 1.81 4/93 4128
/proc/meminfo: memFree=1141792/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=915328 CPUtime=0.47
/proc/4127/stat : 4127 (java) R 4125 4127 3153 0 -1 0 6417 0 1 0 43 4 0 0 18 0 8 0 156729957 937295872 6156 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073570890 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4127/statm: 228832 6156 2138 14 0 215302 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 915328
[startup+1.34512 s]
/proc/loadavg: 1.43 1.80 1.82 3/100 4135
/proc/meminfo: memFree=1089448/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=915632 CPUtime=1.3
/proc/4127/stat : 4127 (java) R 4125 4127 3153 0 -1 0 16499 0 1 0 104 26 0 0 25 0 8 0 156729957 937607168 16237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4127/statm: 228908 16237 2169 14 0 215378 0
[pid=4127/tid=4129] ppid=4125 vsize=915632 CPUtime=0
/proc/4127/task/4129/stat : 4129 (java) S 4125 4127 3153 0 -1 64 7 0 0 0 0 0 0 0 16 0 8 0 156729962 937607168 16237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4130] ppid=4125 vsize=915632 CPUtime=0
/proc/4127/task/4130/stat : 4130 (java) S 4125 4127 3153 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 156729963 937607168 16237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4131] ppid=4125 vsize=915632 CPUtime=0
/proc/4127/task/4131/stat : 4131 (java) S 4125 4127 3153 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 156729963 937607168 16237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4132] ppid=4125 vsize=915632 CPUtime=0
/proc/4127/task/4132/stat : 4132 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156729966 937607168 16237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4133] ppid=4125 vsize=915632 CPUtime=0.18
/proc/4127/task/4133/stat : 4133 (java) S 4125 4127 3153 0 -1 64 425 0 0 0 17 1 0 0 16 0 8 0 156729966 937607168 16237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4134] ppid=4125 vsize=915632 CPUtime=0
/proc/4127/task/4134/stat : 4134 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156729966 937607168 16237 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4135] ppid=4125 vsize=915632 CPUtime=0
/proc/4127/task/4135/stat : 4135 (java) S 4125 4127 3153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156729966 937607168 16237 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) 915632
[startup+2.99023 s]
/proc/loadavg: 1.43 1.80 1.82 3/100 4135
/proc/meminfo: memFree=1072488/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=915720 CPUtime=2.93
/proc/4127/stat : 4127 (java) R 4125 4127 3153 0 -1 0 20027 0 1 0 239 54 0 0 25 0 8 0 156729957 937697280 19762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074023421 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4127/statm: 228930 19762 2534 14 0 215400 0
[pid=4127/tid=4129] ppid=4125 vsize=915720 CPUtime=0.13
/proc/4127/task/4129/stat : 4129 (java) S 4125 4127 3153 0 -1 64 2924 0 0 0 13 0 0 0 17 0 8 0 156729962 937697280 19762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4130] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4130/stat : 4130 (java) S 4125 4127 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 19762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4131] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4131/stat : 4131 (java) S 4125 4127 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 19762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4132] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4132/stat : 4132 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156729966 937697280 19762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4133] ppid=4125 vsize=915720 CPUtime=0.31
/proc/4127/task/4133/stat : 4133 (java) S 4125 4127 3153 0 -1 64 489 0 0 0 29 2 0 0 15 0 8 0 156729966 937697280 19762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4134] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4134/stat : 4134 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156729966 937697280 19762 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4135] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4135/stat : 4135 (java) S 4125 4127 3153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156729966 937697280 19762 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) 915720
[startup+6.26943 s]
/proc/loadavg: 1.43 1.80 1.82 3/100 4135
/proc/meminfo: memFree=1072424/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=915720 CPUtime=6.17
/proc/4127/stat : 4127 (java) R 4125 4127 3153 0 -1 0 20036 0 1 0 563 54 0 0 25 0 8 0 156729957 937697280 19769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073983104 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4127/statm: 228930 19769 2534 14 0 215400 0
[pid=4127/tid=4129] ppid=4125 vsize=915720 CPUtime=0.13
/proc/4127/task/4129/stat : 4129 (java) S 4125 4127 3153 0 -1 64 2924 0 0 0 13 0 0 0 16 0 8 0 156729962 937697280 19769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4130] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4130/stat : 4130 (java) S 4125 4127 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 19769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4131] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4131/stat : 4131 (java) S 4125 4127 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 19769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4132] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4132/stat : 4132 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156729966 937697280 19769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4133] ppid=4125 vsize=915720 CPUtime=0.33
/proc/4127/task/4133/stat : 4133 (java) S 4125 4127 3153 0 -1 64 497 0 0 0 31 2 0 0 16 0 8 0 156729966 937697280 19769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4134] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4134/stat : 4134 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156729966 937697280 19769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4135] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4135/stat : 4135 (java) S 4125 4127 3153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156729966 937697280 19769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915720
[startup+12.7629 s]
/proc/loadavg: 1.52 1.80 1.82 3/100 4135
/proc/meminfo: memFree=1034088/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=915720 CPUtime=12.6
/proc/4127/stat : 4127 (java) R 4125 4127 3153 0 -1 0 29625 0 1 0 1203 57 0 0 25 0 8 0 156729957 937697280 29356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073995609 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4127/statm: 228930 29356 2534 14 0 215400 0
[pid=4127/tid=4129] ppid=4125 vsize=915720 CPUtime=0.23
/proc/4127/task/4129/stat : 4129 (java) S 4125 4127 3153 0 -1 64 12511 0 0 0 19 4 0 0 16 0 8 0 156729962 937697280 29356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4130] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4130/stat : 4130 (java) S 4125 4127 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 29356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4131] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4131/stat : 4131 (java) S 4125 4127 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 29356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4132] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4132/stat : 4132 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156729966 937697280 29356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4133] ppid=4125 vsize=915720 CPUtime=0.33
/proc/4127/task/4133/stat : 4133 (java) S 4125 4127 3153 0 -1 64 497 0 0 0 31 2 0 0 16 0 8 0 156729966 937697280 29356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4134] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4134/stat : 4134 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156729966 937697280 29356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4135] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4135/stat : 4135 (java) S 4125 4127 3153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156729966 937697280 29356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915720
[startup+25.6187 s]
/proc/loadavg: 1.59 1.81 1.82 3/100 4135
/proc/meminfo: memFree=981992/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=915720 CPUtime=25.34
/proc/4127/stat : 4127 (java) R 4125 4127 3153 0 -1 0 42615 0 1 0 2471 63 0 0 25 0 8 0 156729957 937697280 42343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074056960 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4127/statm: 228930 42343 2534 14 0 215400 0
[pid=4127/tid=4129] ppid=4125 vsize=915720 CPUtime=0.35
/proc/4127/task/4129/stat : 4129 (java) S 4125 4127 3153 0 -1 64 25498 0 0 0 26 9 0 0 16 0 8 0 156729962 937697280 42343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4130] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4130/stat : 4130 (java) S 4125 4127 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 42343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4131] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4131/stat : 4131 (java) S 4125 4127 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 42343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4132] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4132/stat : 4132 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156729966 937697280 42343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4133] ppid=4125 vsize=915720 CPUtime=0.33
/proc/4127/task/4133/stat : 4133 (java) S 4125 4127 3153 0 -1 64 497 0 0 0 31 2 0 0 16 0 8 0 156729966 937697280 42343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4134] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4134/stat : 4134 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156729966 937697280 42343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4135] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4135/stat : 4135 (java) S 4125 4127 3153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156729966 937697280 42343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915720
[startup+51.2333 s]
/proc/loadavg: 1.73 1.82 1.82 3/100 4135
/proc/meminfo: memFree=889320/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=915720 CPUtime=50.72
/proc/4127/stat : 4127 (java) R 4125 4127 3153 0 -1 0 65772 0 1 0 5000 72 0 0 25 0 8 0 156729957 937697280 65494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074023158 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4127/statm: 228930 65494 2534 14 0 215400 0
[pid=4127/tid=4129] ppid=4125 vsize=915720 CPUtime=0.59
/proc/4127/task/4129/stat : 4129 (java) S 4125 4127 3153 0 -1 64 48649 0 0 0 41 18 0 0 16 0 8 0 156729962 937697280 65494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4130] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4130/stat : 4130 (java) S 4125 4127 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 65494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4131] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4131/stat : 4131 (java) S 4125 4127 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 65494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4132] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4132/stat : 4132 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156729966 937697280 65494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4133] ppid=4125 vsize=915720 CPUtime=0.33
/proc/4127/task/4133/stat : 4133 (java) S 4125 4127 3153 0 -1 64 497 0 0 0 31 2 0 0 16 0 8 0 156729966 937697280 65494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4134] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4134/stat : 4134 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156729966 937697280 65494 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4135] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4135/stat : 4135 (java) S 4125 4127 3153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156729966 937697280 65494 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) 915720
[startup+102.455 s]
/proc/loadavg: 1.96 1.87 1.84 3/100 4135
/proc/meminfo: memFree=747560/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=915720 CPUtime=101.48
/proc/4127/stat : 4127 (java) R 4125 4127 3153 0 -1 0 101149 0 1 0 10062 86 0 0 25 0 8 0 156729957 937697280 100861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074102151 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4127/statm: 228930 100861 2534 14 0 215400 0
[pid=4127/tid=4129] ppid=4125 vsize=915720 CPUtime=0.98
/proc/4127/task/4129/stat : 4129 (java) S 4125 4127 3153 0 -1 64 84016 0 0 0 67 31 0 0 16 0 8 0 156729962 937697280 100861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4130] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4130/stat : 4130 (java) S 4125 4127 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 100861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4131] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4131/stat : 4131 (java) S 4125 4127 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 100861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4132] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4132/stat : 4132 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156729966 937697280 100861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4133] ppid=4125 vsize=915720 CPUtime=0.33
/proc/4127/task/4133/stat : 4133 (java) S 4125 4127 3153 0 -1 64 497 0 0 0 31 2 0 0 16 0 8 0 156729966 937697280 100861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4134] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4134/stat : 4134 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156729966 937697280 100861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4135] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4135/stat : 4135 (java) S 4125 4127 3153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156729966 937697280 100861 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 915720
[startup+162.535 s]
/proc/loadavg: 1.98 1.89 1.84 3/100 4135
/proc/meminfo: memFree=595880/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=915720 CPUtime=161.02
/proc/4127/stat : 4127 (java) R 4125 4127 3153 0 -1 0 139004 0 1 0 16002 100 0 0 25 0 8 0 156729957 937697280 138704 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074023324 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1412
Current children cumulated vsize (KiB) 915720
[startup+1483.76 s]
/proc/loadavg: 2.01 2.01 1.93 3/100 4193
/proc/meminfo: memFree=516656/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=915720 CPUtime=1471.97
/proc/4127/stat : 4127 (java) R 4125 4127 3153 0 -1 0 155862 0 1 0 147080 117 0 0 25 0 8 0 156729957 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074043866 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4127/statm: 228930 155557 2534 14 0 215400 0
[pid=4127/tid=4129] ppid=4125 vsize=915720 CPUtime=1.64
/proc/4127/task/4129/stat : 4129 (java) S 4125 4127 3153 0 -1 64 138712 0 0 0 113 51 0 0 16 0 8 0 156729962 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4130] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4130/stat : 4130 (java) S 4125 4127 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4131] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4131/stat : 4131 (java) S 4125 4127 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4132] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4132/stat : 4132 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4133] ppid=4125 vsize=915720 CPUtime=0.33
/proc/4127/task/4133/stat : 4133 (java) S 4125 4127 3153 0 -1 64 497 0 0 0 31 2 0 0 16 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4134] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4134/stat : 4134 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4135] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4135/stat : 4135 (java) S 4125 4127 3153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1471.97
Current children cumulated vsize (KiB) 915720
[startup+1543.79 s]
/proc/loadavg: 2.00 2.00 1.93 3/106 4333
/proc/meminfo: memFree=515368/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=915720 CPUtime=1531.89
/proc/4127/stat : 4127 (java) R 4125 4127 3153 0 -1 0 155862 0 1 0 153064 125 0 0 25 0 8 0 156729957 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074046544 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4127/statm: 228930 155557 2534 14 0 215400 0
[pid=4127/tid=4129] ppid=4125 vsize=915720 CPUtime=1.64
/proc/4127/task/4129/stat : 4129 (java) S 4125 4127 3153 0 -1 64 138712 0 0 0 113 51 0 0 16 0 8 0 156729962 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4130] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4130/stat : 4130 (java) S 4125 4127 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4131] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4131/stat : 4131 (java) S 4125 4127 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4132] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4132/stat : 4132 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4133] ppid=4125 vsize=915720 CPUtime=0.33
/proc/4127/task/4133/stat : 4133 (java) S 4125 4127 3153 0 -1 64 497 0 0 0 31 2 0 0 16 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4134] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4134/stat : 4134 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4135] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4135/stat : 4135 (java) S 4125 4127 3153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1531.89
Current children cumulated vsize (KiB) 915720
[startup+1603.81 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 4391
/proc/meminfo: memFree=516336/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=915720 CPUtime=1591.82
/proc/4127/stat : 4127 (java) R 4125 4127 3153 0 -1 0 155862 0 1 0 159053 129 0 0 25 0 8 0 156729957 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074016571 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4127/statm: 228930 155557 2534 14 0 215400 0
[pid=4127/tid=4129] ppid=4125 vsize=915720 CPUtime=1.64
/proc/4127/task/4129/stat : 4129 (java) S 4125 4127 3153 0 -1 64 138712 0 0 0 113 51 0 0 16 0 8 0 156729962 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4130] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4130/stat : 4130 (java) S 4125 4127 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4131] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4131/stat : 4131 (java) S 4125 4127 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4132] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4132/stat : 4132 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4133] ppid=4125 vsize=915720 CPUtime=0.33
/proc/4127/task/4133/stat : 4133 (java) S 4125 4127 3153 0 -1 64 497 0 0 0 31 2 0 0 16 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4134] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4134/stat : 4134 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4135] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4135/stat : 4135 (java) S 4125 4127 3153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1591.82
Current children cumulated vsize (KiB) 915720
[startup+1663.82 s]
/proc/loadavg: 2.07 2.02 1.94 3/100 4391
/proc/meminfo: memFree=516336/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=915720 CPUtime=1651.78
/proc/4127/stat : 4127 (java) R 4125 4127 3153 0 -1 0 155862 0 1 0 165049 129 0 0 25 0 8 0 156729957 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073987439 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4127/statm: 228930 155557 2534 14 0 215400 0
[pid=4127/tid=4129] ppid=4125 vsize=915720 CPUtime=1.64
/proc/4127/task/4129/stat : 4129 (java) S 4125 4127 3153 0 -1 64 138712 0 0 0 113 51 0 0 16 0 8 0 156729962 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4130] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4130/stat : 4130 (java) S 4125 4127 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4131] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4131/stat : 4131 (java) S 4125 4127 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4132] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4132/stat : 4132 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4133] ppid=4125 vsize=915720 CPUtime=0.33
/proc/4127/task/4133/stat : 4133 (java) S 4125 4127 3153 0 -1 64 497 0 0 0 31 2 0 0 16 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4134] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4134/stat : 4134 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4135] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4135/stat : 4135 (java) S 4125 4127 3153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1651.78
Current children cumulated vsize (KiB) 915720
[startup+1723.83 s]
/proc/loadavg: 2.02 2.01 1.94 3/100 4391
/proc/meminfo: memFree=516336/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=915720 CPUtime=1711.75
/proc/4127/stat : 4127 (java) R 4125 4127 3153 0 -1 0 155862 0 1 0 171046 129 0 0 25 0 8 0 156729957 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073983280 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4127/statm: 228930 155557 2534 14 0 215400 0
[pid=4127/tid=4129] ppid=4125 vsize=915720 CPUtime=1.64
/proc/4127/task/4129/stat : 4129 (java) S 4125 4127 3153 0 -1 64 138712 0 0 0 113 51 0 0 16 0 8 0 156729962 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4130] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4130/stat : 4130 (java) S 4125 4127 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4131] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4131/stat : 4131 (java) S 4125 4127 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4132] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4132/stat : 4132 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4133] ppid=4125 vsize=915720 CPUtime=0.33
/proc/4127/task/4133/stat : 4133 (java) S 4125 4127 3153 0 -1 64 497 0 0 0 31 2 0 0 16 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4134] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4134/stat : 4134 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4135] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4135/stat : 4135 (java) S 4125 4127 3153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1711.75
Current children cumulated vsize (KiB) 915720
[startup+1783.85 s]
/proc/loadavg: 2.12 2.04 1.95 3/100 4391
/proc/meminfo: memFree=516336/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=915720 CPUtime=1771.68
/proc/4127/stat : 4127 (java) R 4125 4127 3153 0 -1 0 155862 0 1 0 177039 129 0 0 25 0 8 0 156729957 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074017224 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4127/statm: 228930 155557 2534 14 0 215400 0
[pid=4127/tid=4129] ppid=4125 vsize=915720 CPUtime=1.64
/proc/4127/task/4129/stat : 4129 (java) S 4125 4127 3153 0 -1 64 138712 0 0 0 113 51 0 0 16 0 8 0 156729962 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4130] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4130/stat : 4130 (java) S 4125 4127 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4131] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4131/stat : 4131 (java) S 4125 4127 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4132] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4132/stat : 4132 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4133] ppid=4125 vsize=915720 CPUtime=0.33
/proc/4127/task/4133/stat : 4133 (java) S 4125 4127 3153 0 -1 64 497 0 0 0 31 2 0 0 16 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4134] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4134/stat : 4134 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4135] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4135/stat : 4135 (java) R 4125 4127 3153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1771.68
Current children cumulated vsize (KiB) 915720
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1812.25 s]
/proc/loadavg: 2.07 2.03 1.95 3/100 4391
/proc/meminfo: memFree=516336/2055920 swapFree=4191880/4192956
[pid=4127] ppid=4125 vsize=915720 CPUtime=1800.08
/proc/4127/stat : 4127 (java) R 4125 4127 3153 0 -1 0 155862 0 1 0 179879 129 0 0 25 0 8 0 156729957 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074013556 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/4127/statm: 228930 155557 2534 14 0 215400 0
[pid=4127/tid=4129] ppid=4125 vsize=915720 CPUtime=1.64
/proc/4127/task/4129/stat : 4129 (java) S 4125 4127 3153 0 -1 64 138712 0 0 0 113 51 0 0 16 0 8 0 156729962 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4130] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4130/stat : 4130 (java) S 4125 4127 3153 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4131] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4131/stat : 4131 (java) S 4125 4127 3153 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156729963 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4132] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4132/stat : 4132 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4133] ppid=4125 vsize=915720 CPUtime=0.33
/proc/4127/task/4133/stat : 4133 (java) S 4125 4127 3153 0 -1 64 497 0 0 0 31 2 0 0 16 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4134] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4134/stat : 4134 (java) S 4125 4127 3153 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4127/tid=4135] ppid=4125 vsize=915720 CPUtime=0
/proc/4127/task/4135/stat : 4135 (java) S 4125 4127 3153 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156729966 937697280 155557 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915720
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1812.36
CPU time (s): 1800.2
CPU user time (s): 1798.81
CPU system time (s): 1.38779
CPU usage (%): 99.3287
Max. virtual memory (cumulated for all children) (KiB): 915720
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.81
system time used= 1.38779
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155877
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= 38289
involuntary context switches= 86064
runsolver used 2.40263 s user time and 5.64414 s system time
The end
Begin job on node30 on Sat Jan 6 11:35:47 UTC 2007
IDJOB= 237597
IDBENCH= 6951
FILE ID= node30/237597-1168083343
PBS_JOBID= 3476077
Free space on /tmp= 66480 MiB
BENCH NAME= HOME/pub/bench/CPAI06/haystacks/haystacks_27.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237597-1168083343/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node30/watcher-237597-1168083343 -o ROOT/results/node30/solver-237597-1168083343 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/237597-1168083343/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a51555354cf54c2b3cbd20e0fa17db14
RANDOM SEED= 650313467
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1142208 kB
Buffers: 50736 kB
Cached: 673468 kB
SwapCached: 268 kB
Active: 231788 kB
Inactive: 594612 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1142208 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2836 kB
Writeback: 0 kB
Mapped: 129916 kB
Slab: 71856 kB
Committed_AS: 3893488 kB
PageTables: 2376 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= 66480 MiB
End job on node30 on Sat Jan 6 12:06:17 UTC 2007