0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.36 instance
0.36 name=/tmp/evaluation/206372-1168073555/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.43 => wckTime=0.102 cpuTime=0.08 mem=6M951
0.43
0.43 relations being loaded...
1.60
1.60 constraints being loaded...
2.37 nbConstraints=91 nbRelationTypes=93 nbMergedConstraints=2 nbExtensionStructures=91
2.37 nbSharedExtensionStructures=0 nbConflictsStructures=91 nbSharedConflictsStructures=0
2.37 nbSharedBinaryRepresentations=0 maxDegree=16 maxArity=3
2.37 => wckTime=2.045 cpuTime=1.63 mem=56M957
2.53
2.53 solver IterativeSystematicSolver being built...
2.70 => wckTime=2.373 cpuTime=1.76 mem=65M76
2.70
2.71 preprocessing
2.71 nbConstraintChecks=0 nbPropagations=28 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
2.71 detectedInconsistency=no
2.71 => wckTime=0.0030 cpuTime=0.0 mem=65M76
2.85
2.85 search
2.85 run=0 nbConstraintChecks=47817 nbValidityChecks=77579 nbPropagations=368 nbRevisions=4014
2.85 nbUselessRevisions=3094 nbAssignments=26 nbFailedAssignments=9 nbBacktracks=11 nbVisitedNodes=42
2.85 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
2.85 => wckTime=0.149 cpuTime=0.11 mem=65M76
2.96
2.96 search
2.96 run=1 nbConstraintChecks=108000 nbValidityChecks=182719 nbPropagations=1241 nbRevisions=13988
2.96 nbUselessRevisions=10926 nbAssignments=64 nbFailedAssignments=25 nbBacktracks=26 nbVisitedNodes=108
2.96 nbRestartNogoods=1 mapSize=21 nbInferences=0 nbTooLargeKeys=0
2.96 => wckTime=0.26 cpuTime=0.21 mem=65M76
3.15
3.15 search
3.15 run=2 nbConstraintChecks=210009 nbValidityChecks=377768 nbPropagations=2829 nbRevisions=33537
3.15 nbUselessRevisions=26531 nbAssignments=126 nbFailedAssignments=57 nbBacktracks=48 nbVisitedNodes=217
3.15 nbRestartNogoods=3 mapSize=42 nbInferences=0 nbTooLargeKeys=0
3.15 => wckTime=0.446 cpuTime=0.38 mem=65M76
3.34
3.34 search
3.34 run=3 nbConstraintChecks=316654 nbValidityChecks=584058 nbPropagations=5569 nbRevisions=67239
3.34 nbUselessRevisions=53293 nbAssignments=218 nbFailedAssignments=109 nbBacktracks=81 nbVisitedNodes=382
3.34 nbRestartNogoods=6 mapSize=71 nbInferences=0 nbTooLargeKeys=0
3.34 => wckTime=0.636 cpuTime=0.56 mem=65M76
3.57
3.57 search
3.57 run=4 nbConstraintChecks=444441 nbValidityChecks=841353 nbPropagations=9755 nbRevisions=117517
3.57 nbUselessRevisions=93108 nbAssignments=343 nbFailedAssignments=175 nbBacktracks=133 nbVisitedNodes=600
3.57 nbRestartNogoods=12 mapSize=106 nbInferences=0 nbTooLargeKeys=0
3.57 => wckTime=0.865 cpuTime=0.78 mem=66M68
3.93
3.93 search
3.93 run=5 nbConstraintChecks=656981 nbValidityChecks=1270329 nbPropagations=16699 nbRevisions=200238
3.93 nbUselessRevisions=158705 nbAssignments=564 nbFailedAssignments=314 nbBacktracks=208 nbVisitedNodes=1010
3.93 nbRestartNogoods=23 mapSize=175 nbInferences=0 nbTooLargeKeys=0
3.93 => wckTime=1.23 cpuTime=1.15 mem=66M68
4.53
4.53 search
4.53 run=6 nbConstraintChecks=999508 nbValidityChecks=1968596 nbPropagations=27915 nbRevisions=330887
4.53 nbUselessRevisions=261273 nbAssignments=880 nbFailedAssignments=510 nbBacktracks=322 nbVisitedNodes=1596
4.53 nbRestartNogoods=31 mapSize=276 nbInferences=0 nbTooLargeKeys=0
4.53 => wckTime=1.826 cpuTime=1.73 mem=66M68
5.58
5.58 search
5.58 run=7 nbConstraintChecks=1646270 nbValidityChecks=3179645 nbPropagations=44815 nbRevisions=532915
5.58 nbUselessRevisions=420105 nbAssignments=1288 nbFailedAssignments=741 nbBacktracks=492 nbVisitedNodes=2343
5.58 nbRestartNogoods=35 mapSize=426 nbInferences=0 nbTooLargeKeys=0
5.58 => wckTime=2.875 cpuTime=2.77 mem=66M68
7.08
7.08 search
7.08 run=8 nbConstraintChecks=2582044 nbValidityChecks=4938300 nbPropagations=70627 nbRevisions=849761
7.08 nbUselessRevisions=670109 nbAssignments=1892 nbFailedAssignments=1083 nbBacktracks=748 nbVisitedNodes=3460
7.08 nbRestartNogoods=43 mapSize=671 nbInferences=0 nbTooLargeKeys=0
7.08 => wckTime=4.38 cpuTime=4.24 mem=66M68
9.24
9.24 search
9.24 run=9 nbConstraintChecks=3936510 nbValidityChecks=7604939 nbPropagations=109033 nbRevisions=1308474
9.24 nbUselessRevisions=1030324 nbAssignments=2803 nbFailedAssignments=1603 nbBacktracks=1132 nbVisitedNodes=5123
9.24 nbRestartNogoods=47 mapSize=999 nbInferences=0 nbTooLargeKeys=0
9.24 => wckTime=6.54 cpuTime=6.38 mem=66M68
9.34
9.34 INFO : Stopping hyperNogood (mapSize=1013, nbTooLargekeys=0, mem=66M68)
12.20
12.20 search
12.20 run=10 nbConstraintChecks=5738973 nbValidityChecks=11257875 nbPropagations=169573 nbRevisions=2015850
12.20 nbUselessRevisions=1582712 nbAssignments=4312 nbFailedAssignments=2528 nbBacktracks=1708 nbVisitedNodes=7941
12.20 nbRestartNogoods=61
12.20 => wckTime=9.503 cpuTime=9.32 mem=66M68
17.38
17.38 search
17.38 run=11 nbConstraintChecks=9040113 nbValidityChecks=17431438 nbPropagations=259671 nbRevisions=3102230
17.38 nbUselessRevisions=2435012 nbAssignments=6459 nbFailedAssignments=3805 nbBacktracks=2572 nbVisitedNodes=11921
17.38 nbRestartNogoods=67
17.38 => wckTime=14.682 cpuTime=14.44 mem=66M68
23.83
23.83 search
23.83 run=12 nbConstraintChecks=13020523 nbValidityChecks=25416458 nbPropagations=394561 nbRevisions=4722525
23.83 nbUselessRevisions=3706553 nbAssignments=10230 nbFailedAssignments=6272 nbBacktracks=3869 nbVisitedNodes=19003
23.83 nbRestartNogoods=76
23.83 => wckTime=21.131 cpuTime=20.83 mem=66M68
35.49
35.49 search
35.49 run=13 nbConstraintChecks=20755083 nbValidityChecks=40091017 nbPropagations=595617 nbRevisions=7180864
35.49 nbUselessRevisions=5641132 nbAssignments=15870 nbFailedAssignments=9960 nbBacktracks=5815 nbVisitedNodes=29580
35.49 nbRestartNogoods=98
35.49 => wckTime=32.786 cpuTime=32.37 mem=66M68
48.63
48.63 search
48.63 run=14 nbConstraintChecks=28806944 nbValidityChecks=56333277 nbPropagations=888914 nbRevisions=10749182
48.63 nbUselessRevisions=8456432 nbAssignments=23049 nbFailedAssignments=14213 nbBacktracks=8735 nbVisitedNodes=42940
48.63 nbRestartNogoods=105
48.63 => wckTime=45.928 cpuTime=45.39 mem=66M68
69.92
69.92 search
69.92 run=15 nbConstraintChecks=41964617 nbValidityChecks=81941912 nbPropagations=1332031 nbRevisions=16089782
69.92 nbUselessRevisions=12661288 nbAssignments=33502 nbFailedAssignments=20281 nbBacktracks=13115
69.92 nbVisitedNodes=62266 nbRestartNogoods=124
69.92 => wckTime=67.218 cpuTime=66.49 mem=66M68
103.11
103.11 search
103.11 run=16 nbConstraintChecks=62828378 nbValidityChecks=121485034 nbPropagations=1977906 nbRevisions=23881132
103.11 nbUselessRevisions=18788773 nbAssignments=47016 nbFailedAssignments=27220 nbBacktracks=19684
103.11 nbVisitedNodes=86778 nbRestartNogoods=141
103.11 => wckTime=100.409 cpuTime=99.38 mem=66M68
157.37
157.37 search
157.37 run=17 nbConstraintChecks=98269663 nbValidityChecks=188944063 nbPropagations=2947438 nbRevisions=35502863
157.37 nbUselessRevisions=27919564 nbAssignments=71522 nbFailedAssignments=41865 nbBacktracks=29536
157.37 nbVisitedNodes=132199 nbRestartNogoods=153
157.37 => wckTime=154.673 cpuTime=153.14 mem=66M68
230.96
230.96 search
230.96 run=18 nbConstraintChecks=143923088 nbValidityChecks=278907908 nbPropagations=4430886 nbRevisions=53362743
230.96 nbUselessRevisions=41946694 nbAssignments=108337 nbFailedAssignments=63894 nbBacktracks=44314
230.96 nbVisitedNodes=201146 nbRestartNogoods=170
230.96 => wckTime=228.26 cpuTime=226.07 mem=66M68
349.65
349.65 search
349.65 run=19 nbConstraintChecks=217231144 nbValidityChecks=424466882 nbPropagations=6737529 nbRevisions=80796791
349.65 nbUselessRevisions=63412795 nbAssignments=162092 nbFailedAssignments=95472 nbBacktracks=66486
349.65 nbVisitedNodes=301623 nbRestartNogoods=190
349.65 => wckTime=346.946 cpuTime=343.67 mem=66M68
528.97
528.97 search
528.97 run=20 nbConstraintChecks=328385247 nbValidityChecks=651727339 nbPropagations=10265342 nbRevisions=122127272
528.97 nbUselessRevisions=95667225 nbAssignments=246998 nbFailedAssignments=147119 nbBacktracks=99738
528.97 nbVisitedNodes=461330 nbRestartNogoods=201
528.97 => wckTime=526.272 cpuTime=521.25 mem=66M68
780.32
780.32 search
780.32 run=21 nbConstraintChecks=490850993 nbValidityChecks=966719243 nbPropagations=15380284 nbRevisions=182936148
780.32 nbUselessRevisions=143261687 nbAssignments=360632 nbFailedAssignments=210867 nbBacktracks=149617
780.32 nbVisitedNodes=669639 nbRestartNogoods=221
780.32 => wckTime=777.624 cpuTime=770.74 mem=66M68
1122.69
1122.69 search
1122.69 run=22 nbConstraintChecks=717929747 nbValidityChecks=1424548206 nbPropagations=23241722 nbRevisions=275354474
1122.69 nbUselessRevisions=215441902 nbAssignments=548347 nbFailedAssignments=323756 nbBacktracks=224435
1122.69 nbVisitedNodes=1021855 nbRestartNogoods=236
1122.69 => wckTime=1119.991 cpuTime=1112.75 mem=66M68
1670.76
1670.76 search
1670.76 run=23 nbConstraintChecks=1087586346 nbValidityChecks=2142373140 nbPropagations=34841859 nbRevisions=414502184
1670.76 nbUselessRevisions=324711659 nbAssignments=809388 nbFailedAssignments=472562 nbBacktracks=336663
1670.76 nbVisitedNodes=1503946 nbRestartNogoods=246
1670.76 => wckTime=1668.056 cpuTime=1660.23 mem=66M68
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-206372-1168073555 -o ROOT/results/node14/solver-206372-1168073555 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206372-1168073555/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.06 2.02 1.98 2/93 24418
/proc/meminfo: memFree=1266472/2055920 swapFree=4182236/4192956
[pid=24417] ppid=24415 vsize=18540 CPUtime=0
/proc/24417/stat : 24417 (runsolver) R 24415 24417 23717 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155750795 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 212234464551 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/24417/statm: 4635 279 244 17 0 2626 0
[startup+0.102991 s]
/proc/loadavg: 2.06 2.02 1.98 2/93 24418
/proc/meminfo: memFree=1266472/2055920 swapFree=4182236/4192956
[pid=24417] ppid=24415 vsize=913068 CPUtime=0.08
/proc/24417/stat : 24417 (java) S 24415 24417 23717 0 -1 0 2875 0 1 0 7 1 0 0 18 0 8 0 155750795 934981632 2621 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24417/statm: 228267 2621 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.511023 s]
/proc/loadavg: 2.06 2.02 1.98 2/93 24418
/proc/meminfo: memFree=1266472/2055920 swapFree=4182236/4192956
[pid=24417] ppid=24415 vsize=915328 CPUtime=0.48
/proc/24417/stat : 24417 (java) R 24415 24417 23717 0 -1 0 7294 0 1 0 44 4 0 0 18 0 8 0 155750795 937295872 7033 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073557522 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24417/statm: 228832 7033 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33711 s]
/proc/loadavg: 2.06 2.02 1.98 3/100 24425
/proc/meminfo: memFree=1199408/2055920 swapFree=4182236/4192956
[pid=24417] ppid=24415 vsize=915328 CPUtime=1.29
/proc/24417/stat : 24417 (java) R 24415 24417 23717 0 -1 0 19098 0 1 0 119 10 0 0 25 0 8 0 155750795 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073445281 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24417/statm: 228832 18836 2149 14 0 215302 0
[pid=24417/tid=24419] ppid=24415 vsize=915328 CPUtime=0.05
/proc/24417/task/24419/stat : 24419 (java) S 24415 24417 23717 0 -1 64 2681 0 0 0 4 1 0 0 17 0 8 0 155750799 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24420] ppid=24415 vsize=915328 CPUtime=0
/proc/24417/task/24420/stat : 24420 (java) S 24415 24417 23717 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155750800 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24421] ppid=24415 vsize=915328 CPUtime=0
/proc/24417/task/24421/stat : 24421 (java) S 24415 24417 23717 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750800 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24422] ppid=24415 vsize=915328 CPUtime=0
/proc/24417/task/24422/stat : 24422 (java) S 24415 24417 23717 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750803 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24423] ppid=24415 vsize=915328 CPUtime=0.09
/proc/24417/task/24423/stat : 24423 (java) S 24415 24417 23717 0 -1 64 308 0 0 0 9 0 0 0 16 0 8 0 155750803 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24424] ppid=24415 vsize=915328 CPUtime=0
/proc/24417/task/24424/stat : 24424 (java) S 24415 24417 23717 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750803 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24425] ppid=24415 vsize=915328 CPUtime=0
/proc/24417/task/24425/stat : 24425 (java) S 24415 24417 23717 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750804 937295872 18836 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915328
[startup+2.98326 s]
/proc/loadavg: 2.05 2.02 1.98 4/100 24425
/proc/meminfo: memFree=1159664/2055920 swapFree=4182236/4192956
[pid=24417] ppid=24415 vsize=915440 CPUtime=2.94
/proc/24417/stat : 24417 (java) R 24415 24417 23717 0 -1 0 32426 0 1 0 276 18 0 0 25 0 8 0 155750795 937410560 32160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664841 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24417/statm: 228860 32160 2521 14 0 215330 0
[pid=24417/tid=24419] ppid=24415 vsize=915440 CPUtime=0.45
/proc/24417/task/24419/stat : 24419 (java) S 24415 24417 23717 0 -1 64 15454 0 0 0 39 6 0 0 16 0 8 0 155750799 937410560 32160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24420] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24420/stat : 24420 (java) S 24415 24417 23717 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155750800 937410560 32160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24421] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24421/stat : 24421 (java) S 24415 24417 23717 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750800 937410560 32160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24422] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24422/stat : 24422 (java) S 24415 24417 23717 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750803 937410560 32160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24423] ppid=24415 vsize=915440 CPUtime=0.21
/proc/24417/task/24423/stat : 24423 (java) S 24415 24417 23717 0 -1 64 373 0 0 0 20 1 0 0 15 0 8 0 155750803 937410560 32160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24424] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24424/stat : 24424 (java) S 24415 24417 23717 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750803 937410560 32160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24425] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24425/stat : 24425 (java) S 24415 24417 23717 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750804 937410560 32160 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915440
[startup+6.26257 s]
/proc/loadavg: 2.05 2.02 1.98 3/100 24425
/proc/meminfo: memFree=1147248/2055920 swapFree=4182236/4192956
[pid=24417] ppid=24415 vsize=915440 CPUtime=6.18
/proc/24417/stat : 24417 (java) R 24415 24417 23717 0 -1 0 32447 0 1 0 600 18 0 0 25 0 8 0 155750795 937410560 32179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24417/statm: 228860 32179 2521 14 0 215330 0
[pid=24417/tid=24419] ppid=24415 vsize=915440 CPUtime=0.45
/proc/24417/task/24419/stat : 24419 (java) S 24415 24417 23717 0 -1 64 15454 0 0 0 39 6 0 0 16 0 8 0 155750799 937410560 32179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24420] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24420/stat : 24420 (java) S 24415 24417 23717 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155750800 937410560 32179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24421] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24421/stat : 24421 (java) S 24415 24417 23717 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750800 937410560 32179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24422] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24422/stat : 24422 (java) S 24415 24417 23717 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750803 937410560 32179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24423] ppid=24415 vsize=915440 CPUtime=0.25
/proc/24417/task/24423/stat : 24423 (java) S 24415 24417 23717 0 -1 64 394 0 0 0 24 1 0 0 16 0 8 0 155750803 937410560 32179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24424] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24424/stat : 24424 (java) S 24415 24417 23717 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750803 937410560 32179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24425] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24425/stat : 24425 (java) S 24415 24417 23717 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750804 937410560 32179 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915440
[startup+12.7622 s]
/proc/loadavg: 2.04 2.02 1.98 3/100 24425
/proc/meminfo: memFree=1147376/2055920 swapFree=4182236/4192956
[pid=24417] ppid=24415 vsize=915440 CPUtime=12.62
/proc/24417/stat : 24417 (java) R 24415 24417 23717 0 -1 0 32458 0 1 0 1243 19 0 0 25 0 8 0 155750795 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24417/statm: 228860 32187 2521 14 0 215330 0
[pid=24417/tid=24419] ppid=24415 vsize=915440 CPUtime=0.45
/proc/24417/task/24419/stat : 24419 (java) S 24415 24417 23717 0 -1 64 15454 0 0 0 39 6 0 0 16 0 8 0 155750799 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24420] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24420/stat : 24420 (java) S 24415 24417 23717 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155750800 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24421] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24421/stat : 24421 (java) S 24415 24417 23717 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750800 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24422] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24422/stat : 24422 (java) S 24415 24417 23717 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750803 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24423] ppid=24415 vsize=915440 CPUtime=0.27
/proc/24417/task/24423/stat : 24423 (java) S 24415 24417 23717 0 -1 64 404 0 0 0 25 2 0 0 16 0 8 0 155750803 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24424] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24424/stat : 24424 (java) S 24415 24417 23717 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750803 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24425] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24425/stat : 24425 (java) S 24415 24417 23717 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750804 937410560 32187 18446744073709551615 134512640 134570532 4294956464 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) 915440
[startup+25.6254 s]
/proc/loadavg: 2.04 2.02 1.98 3/100 24425
/proc/meminfo: memFree=1147504/2055920 swapFree=4182236/4192956
[pid=24417] ppid=24415 vsize=915440 CPUtime=25.37
/proc/24417/stat : 24417 (java) R 24415 24417 23717 0 -1 0 32458 0 1 0 2518 19 0 0 25 0 8 0 155750795 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24417/statm: 228860 32187 2521 14 0 215330 0
[pid=24417/tid=24419] ppid=24415 vsize=915440 CPUtime=0.45
/proc/24417/task/24419/stat : 24419 (java) S 24415 24417 23717 0 -1 64 15454 0 0 0 39 6 0 0 16 0 8 0 155750799 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24420] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24420/stat : 24420 (java) S 24415 24417 23717 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155750800 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24421] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24421/stat : 24421 (java) S 24415 24417 23717 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750800 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24422] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24422/stat : 24422 (java) S 24415 24417 23717 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750803 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24423] ppid=24415 vsize=915440 CPUtime=0.27
/proc/24417/task/24423/stat : 24423 (java) S 24415 24417 23717 0 -1 64 404 0 0 0 25 2 0 0 16 0 8 0 155750803 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24424] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24424/stat : 24424 (java) S 24415 24417 23717 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750803 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24425] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24425/stat : 24425 (java) S 24415 24417 23717 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750804 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915440
[startup+51.2588 s]
/proc/loadavg: 2.02 2.02 1.98 3/100 24425
/proc/meminfo: memFree=1147504/2055920 swapFree=4182236/4192956
[pid=24417] ppid=24415 vsize=915440 CPUtime=50.75
/proc/24417/stat : 24417 (java) R 24415 24417 23717 0 -1 0 32459 0 1 0 5056 19 0 0 25 0 8 0 155750795 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073834059 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24417/statm: 228860 32187 2521 14 0 215330 0
[pid=24417/tid=24419] ppid=24415 vsize=915440 CPUtime=0.45
/proc/24417/task/24419/stat : 24419 (java) S 24415 24417 23717 0 -1 64 15454 0 0 0 39 6 0 0 16 0 8 0 155750799 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24420] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24420/stat : 24420 (java) S 24415 24417 23717 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155750800 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24421] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24421/stat : 24421 (java) S 24415 24417 23717 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750800 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24422] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24422/stat : 24422 (java) S 24415 24417 23717 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750803 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24423] ppid=24415 vsize=915440 CPUtime=0.27
/proc/24417/task/24423/stat : 24423 (java) S 24415 24417 23717 0 -1 64 404 0 0 0 25 2 0 0 16 0 8 0 155750803 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24424] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24424/stat : 24424 (java) S 24415 24417 23717 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750803 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24425] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24425/stat : 24425 (java) S 24415 24417 23717 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750804 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 915440
[startup+102.521 s]
/proc/loadavg: 2.01 2.01 1.98 3/100 24425
/proc/meminfo: memFree=1147568/2055920 swapFree=4182236/4192956
[pid=24417] ppid=24415 vsize=915440 CPUtime=101.55
/proc/24417/stat : 24417 (java) R 24415 24417 23717 0 -1 0 32459 0 1 0 10135 20 0 0 25 0 8 0 155750795 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664887 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/24417/statm: 228860 32187 2521 14 0 215330 0
[pid=24417/tid=24419] ppid=24415 vsize=915440 CPUtime=0.45
/proc/24417/task/24419/stat : 24419 (java) S 24415 24417 23717 0 -1 64 15454 0 0 0 39 6 0 0 16 0 8 0 155750799 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24420] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24420/stat : 24420 (java) S 24415 24417 23717 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155750800 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24421] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24421/stat : 24421 (java) S 24415 24417 23717 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750800 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24422] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24422/stat : 24422 (java) S 24415 24417 23717 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750803 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24423] ppid=24415 vsize=915440 CPUtime=0.27
/proc/24417/task/24423/stat : 24423 (java) S 24415 24417 23717 0 -1 64 404 0 0 0 25 2 0 0 16 0 8 0 155750803 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24424] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24424/stat : 24424 (java) S 24415 24417 23717 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750803 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24425] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24425/stat : 24425 (java) S 24415 24417 23717 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750804 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.55
Current children cumulated vsize (KiB) 915440
[startup+162.533 s]
/proc/loadavg: 2.00 2.01 1.98 3/100 24425
/proc/meminfo: memFree=1147568/2055920 swapFree=4182236/4192956
[pid=24417] ppid=24415 vsize=915440 CPUtime=161.01
/proc/24417/stat : 24417 (java) R 24415 24417 23717 0 -1 0 32459 0 1 0 16081 20 0 0 25 0 8 0 155750795 937410560 32187 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664863 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1415.96
Current children cumulated vsize (KiB) 915440
[startup+1483.52 s]
/proc/loadavg: 2.00 1.97 1.95 3/100 25198
/proc/meminfo: memFree=1328128/2055920 swapFree=4182236/4192956
[pid=24417] ppid=24415 vsize=915440 CPUtime=1475.97
/proc/24417/stat : 24417 (java) R 24415 24417 23717 0 -1 0 32460 0 1 0 147560 37 0 0 25 0 8 0 155750795 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629880 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24417/statm: 228860 32188 2521 14 0 215330 0
[pid=24417/tid=24419] ppid=24415 vsize=915440 CPUtime=0.45
/proc/24417/task/24419/stat : 24419 (java) S 24415 24417 23717 0 -1 64 15454 0 0 0 39 6 0 0 16 0 8 0 155750799 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24420] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24420/stat : 24420 (java) S 24415 24417 23717 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155750800 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24421] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24421/stat : 24421 (java) S 24415 24417 23717 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750800 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24422] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24422/stat : 24422 (java) S 24415 24417 23717 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750803 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24423] ppid=24415 vsize=915440 CPUtime=0.28
/proc/24417/task/24423/stat : 24423 (java) S 24415 24417 23717 0 -1 64 405 0 0 0 26 2 0 0 16 0 8 0 155750803 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24417/tid=24424] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24424/stat : 24424 (java) S 24415 24417 23717 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750803 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24425] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24425/stat : 24425 (java) S 24415 24417 23717 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750804 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1475.97
Current children cumulated vsize (KiB) 915440
[startup+1543.58 s]
/proc/loadavg: 2.00 1.97 1.95 3/100 25198
/proc/meminfo: memFree=1328128/2055920 swapFree=4182236/4192956
[pid=24417] ppid=24415 vsize=915440 CPUtime=1535.94
/proc/24417/stat : 24417 (java) R 24415 24417 23717 0 -1 0 32460 0 1 0 153557 37 0 0 25 0 8 0 155750795 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073861163 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24417/statm: 228860 32188 2521 14 0 215330 0
[pid=24417/tid=24419] ppid=24415 vsize=915440 CPUtime=0.45
/proc/24417/task/24419/stat : 24419 (java) S 24415 24417 23717 0 -1 64 15454 0 0 0 39 6 0 0 16 0 8 0 155750799 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24420] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24420/stat : 24420 (java) S 24415 24417 23717 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155750800 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24421] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24421/stat : 24421 (java) S 24415 24417 23717 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750800 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24422] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24422/stat : 24422 (java) S 24415 24417 23717 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750803 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24423] ppid=24415 vsize=915440 CPUtime=0.28
/proc/24417/task/24423/stat : 24423 (java) S 24415 24417 23717 0 -1 64 405 0 0 0 26 2 0 0 16 0 8 0 155750803 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24417/tid=24424] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24424/stat : 24424 (java) S 24415 24417 23717 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750803 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24425] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24425/stat : 24425 (java) S 24415 24417 23717 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750804 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1535.94
Current children cumulated vsize (KiB) 915440
[startup+1603.64 s]
/proc/loadavg: 2.08 1.99 1.95 3/100 25200
/proc/meminfo: memFree=1327936/2055920 swapFree=4182236/4192956
[pid=24417] ppid=24415 vsize=915440 CPUtime=1595.95
/proc/24417/stat : 24417 (java) R 24415 24417 23717 0 -1 0 32460 0 1 0 159558 37 0 0 25 0 8 0 155750795 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073665014 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24417/statm: 228860 32188 2521 14 0 215330 0
[pid=24417/tid=24419] ppid=24415 vsize=915440 CPUtime=0.45
/proc/24417/task/24419/stat : 24419 (java) S 24415 24417 23717 0 -1 64 15454 0 0 0 39 6 0 0 16 0 8 0 155750799 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24420] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24420/stat : 24420 (java) S 24415 24417 23717 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155750800 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24421] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24421/stat : 24421 (java) S 24415 24417 23717 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750800 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24422] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24422/stat : 24422 (java) S 24415 24417 23717 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750803 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24423] ppid=24415 vsize=915440 CPUtime=0.28
/proc/24417/task/24423/stat : 24423 (java) S 24415 24417 23717 0 -1 64 405 0 0 0 26 2 0 0 16 0 8 0 155750803 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24417/tid=24424] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24424/stat : 24424 (java) S 24415 24417 23717 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750803 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24425] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24425/stat : 24425 (java) S 24415 24417 23717 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750804 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1595.95
Current children cumulated vsize (KiB) 915440
[startup+1663.7 s]
/proc/loadavg: 2.03 1.99 1.95 3/100 25200
/proc/meminfo: memFree=1328000/2055920 swapFree=4182236/4192956
[pid=24417] ppid=24415 vsize=915440 CPUtime=1655.96
/proc/24417/stat : 24417 (java) R 24415 24417 23717 0 -1 0 32460 0 1 0 165559 37 0 0 25 0 8 0 155750795 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664940 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24417/statm: 228860 32188 2521 14 0 215330 0
[pid=24417/tid=24419] ppid=24415 vsize=915440 CPUtime=0.45
/proc/24417/task/24419/stat : 24419 (java) S 24415 24417 23717 0 -1 64 15454 0 0 0 39 6 0 0 16 0 8 0 155750799 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24420] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24420/stat : 24420 (java) S 24415 24417 23717 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155750800 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24421] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24421/stat : 24421 (java) S 24415 24417 23717 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750800 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24422] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24422/stat : 24422 (java) S 24415 24417 23717 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750803 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24423] ppid=24415 vsize=915440 CPUtime=0.28
/proc/24417/task/24423/stat : 24423 (java) S 24415 24417 23717 0 -1 64 405 0 0 0 26 2 0 0 16 0 8 0 155750803 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24417/tid=24424] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24424/stat : 24424 (java) S 24415 24417 23717 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750803 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24425] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24425/stat : 24425 (java) S 24415 24417 23717 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750804 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1655.96
Current children cumulated vsize (KiB) 915440
[startup+1723.76 s]
/proc/loadavg: 2.01 1.99 1.95 3/100 25200
/proc/meminfo: memFree=1328064/2055920 swapFree=4182236/4192956
[pid=24417] ppid=24415 vsize=915440 CPUtime=1715.93
/proc/24417/stat : 24417 (java) R 24415 24417 23717 0 -1 0 32460 0 1 0 171556 37 0 0 25 0 8 0 155750795 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073664884 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24417/statm: 228860 32188 2521 14 0 215330 0
[pid=24417/tid=24419] ppid=24415 vsize=915440 CPUtime=0.45
/proc/24417/task/24419/stat : 24419 (java) S 24415 24417 23717 0 -1 64 15454 0 0 0 39 6 0 0 16 0 8 0 155750799 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24420] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24420/stat : 24420 (java) S 24415 24417 23717 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155750800 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24421] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24421/stat : 24421 (java) S 24415 24417 23717 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750800 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24422] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24422/stat : 24422 (java) S 24415 24417 23717 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750803 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24423] ppid=24415 vsize=915440 CPUtime=0.28
/proc/24417/task/24423/stat : 24423 (java) S 24415 24417 23717 0 -1 64 405 0 0 0 26 2 0 0 16 0 8 0 155750803 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24417/tid=24424] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24424/stat : 24424 (java) S 24415 24417 23717 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750803 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24425] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24425/stat : 24425 (java) S 24415 24417 23717 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750804 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1715.93
Current children cumulated vsize (KiB) 915440
[startup+1783.82 s]
/proc/loadavg: 2.00 1.99 1.95 3/100 25200
/proc/meminfo: memFree=1328064/2055920 swapFree=4182236/4192956
[pid=24417] ppid=24415 vsize=915440 CPUtime=1775.94
/proc/24417/stat : 24417 (java) R 24415 24417 23717 0 -1 0 32460 0 1 0 177557 37 0 0 25 0 8 0 155750795 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073809828 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24417/statm: 228860 32188 2521 14 0 215330 0
[pid=24417/tid=24419] ppid=24415 vsize=915440 CPUtime=0.45
/proc/24417/task/24419/stat : 24419 (java) S 24415 24417 23717 0 -1 64 15454 0 0 0 39 6 0 0 16 0 8 0 155750799 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24420] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24420/stat : 24420 (java) S 24415 24417 23717 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155750800 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24421] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24421/stat : 24421 (java) S 24415 24417 23717 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750800 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24422] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24422/stat : 24422 (java) S 24415 24417 23717 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750803 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24423] ppid=24415 vsize=915440 CPUtime=0.28
/proc/24417/task/24423/stat : 24423 (java) S 24415 24417 23717 0 -1 64 405 0 0 0 26 2 0 0 16 0 8 0 155750803 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24417/tid=24424] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24424/stat : 24424 (java) S 24415 24417 23717 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750803 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24425] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24425/stat : 24425 (java) S 24415 24417 23717 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750804 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1775.94
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1807.99 s]
/proc/loadavg: 2.00 1.99 1.95 3/100 25200
/proc/meminfo: memFree=1328064/2055920 swapFree=4182236/4192956
[pid=24417] ppid=24415 vsize=915440 CPUtime=1800.09
/proc/24417/stat : 24417 (java) R 24415 24417 23717 0 -1 0 32460 0 1 0 179972 37 0 0 25 0 8 0 155750795 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/24417/statm: 228860 32188 2521 14 0 215330 0
[pid=24417/tid=24419] ppid=24415 vsize=915440 CPUtime=0.45
/proc/24417/task/24419/stat : 24419 (java) S 24415 24417 23717 0 -1 64 15454 0 0 0 39 6 0 0 16 0 8 0 155750799 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24420] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24420/stat : 24420 (java) S 24415 24417 23717 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155750800 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24421] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24421/stat : 24421 (java) S 24415 24417 23717 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155750800 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24422] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24422/stat : 24422 (java) S 24415 24417 23717 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155750803 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24423] ppid=24415 vsize=915440 CPUtime=0.28
/proc/24417/task/24423/stat : 24423 (java) S 24415 24417 23717 0 -1 64 405 0 0 0 26 2 0 0 16 0 8 0 155750803 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=24417/tid=24424] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24424/stat : 24424 (java) S 24415 24417 23717 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155750803 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=24417/tid=24425] ppid=24415 vsize=915440 CPUtime=0
/proc/24417/task/24425/stat : 24425 (java) S 24415 24417 23717 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155750804 937410560 32188 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1808.04
CPU time (s): 1800.14
CPU user time (s): 1799.74
CPU system time (s): 0.398939
CPU usage (%): 99.563
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.74
system time used= 0.398939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32477
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37745
involuntary context switches= 41745
runsolver used 2.45563 s user time and 5.53816 s system time
The end
Begin job on node14 on Sat Jan 6 08:52:37 UTC 2007
IDJOB= 206372
IDBENCH= 4203
FILE ID= node14/206372-1168073555
PBS_JOBID= 3475707
Free space on /tmp= 66319 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206372-1168073555/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-206372-1168073555 -o ROOT/results/node14/solver-206372-1168073555 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/206372-1168073555/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e2e8a8340b13797e86b3854763e864ee
RANDOM SEED= 520641342
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.227
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.227
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: 1266952 kB
Buffers: 57480 kB
Cached: 372732 kB
SwapCached: 3696 kB
Active: 328704 kB
Inactive: 359924 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1266952 kB
SwapTotal: 4192956 kB
SwapFree: 4182236 kB
Dirty: 7616 kB
Writeback: 0 kB
Mapped: 277824 kB
Slab: 84776 kB
Committed_AS: 5454432 kB
PageTables: 2624 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= 66323 MiB
End job on node14 on Sat Jan 6 09:22:47 UTC 2007