0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/196235-1168070470/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.42 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24
0.42 => wckTime=0.1 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
1.08
1.08 constraints being loaded...
1.35 nbConstraints=74 nbRelationTypes=74 nbExtensionStructures=74 nbSharedExtensionStructures=0
1.35 nbConflictsStructures=74 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=16 maxArity=3
1.35 => wckTime=1.029 cpuTime=0.89 mem=47M691
1.48
1.48 solver IterativeSystematicSolver being built...
1.65 => wckTime=1.322 cpuTime=1.03 mem=34M329
1.65
1.65 preprocessing
1.65 nbConstraintChecks=0 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.65 detectedInconsistency=no
1.65 => wckTime=0.0040 cpuTime=0.0 mem=34M329
1.77
1.77 search
1.77 run=0 nbConstraintChecks=29567 nbValidityChecks=54060 nbPropagations=357 nbRevisions=3652
1.77 nbUselessRevisions=2876 nbAssignments=34 nbFailedAssignments=18 nbBacktracks=10 nbVisitedNodes=60
1.77 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
1.77 => wckTime=0.12 cpuTime=0.08 mem=34M329
1.87
1.87 search
1.87 run=1 nbConstraintChecks=84365 nbValidityChecks=169174 nbPropagations=1381 nbRevisions=15597
1.87 nbUselessRevisions=12309 nbAssignments=88 nbFailedAssignments=50 nbBacktracks=25 nbVisitedNodes=160
1.87 nbRestartNogoods=3 mapSize=22 nbInferences=0 nbTooLargeKeys=0
1.87 => wckTime=0.226 cpuTime=0.17 mem=34M329
1.97
1.97 search
1.97 run=2 nbConstraintChecks=135090 nbValidityChecks=273973 nbPropagations=3001 nbRevisions=34320
1.97 nbUselessRevisions=27136 nbAssignments=155 nbFailedAssignments=88 nbBacktracks=48 nbVisitedNodes=277
1.97 nbRestartNogoods=10 mapSize=36 nbInferences=0 nbTooLargeKeys=0
1.97 => wckTime=0.32 cpuTime=0.26 mem=34M329
2.09
2.09 search
2.09 run=3 nbConstraintChecks=215384 nbValidityChecks=434621 nbPropagations=5443 nbRevisions=62872
2.09 nbUselessRevisions=49741 nbAssignments=240 nbFailedAssignments=134 nbBacktracks=82 nbVisitedNodes=427
2.09 nbRestartNogoods=17 mapSize=61 nbInferences=0 nbTooLargeKeys=0
2.09 => wckTime=0.443 cpuTime=0.38 mem=34M329
2.33
2.33 search
2.33 run=4 nbConstraintChecks=369628 nbValidityChecks=740655 nbPropagations=9572 nbRevisions=112023
2.33 nbUselessRevisions=88612 nbAssignments=371 nbFailedAssignments=210 nbBacktracks=132 nbVisitedNodes=668
2.33 nbRestartNogoods=20 mapSize=105 nbInferences=0 nbTooLargeKeys=0
2.33 => wckTime=0.681 cpuTime=0.61 mem=34M329
2.54
2.54 search
2.54 run=5 nbConstraintChecks=500754 nbValidityChecks=998636 nbPropagations=15172 nbRevisions=178254
2.54 nbUselessRevisions=140962 nbAssignments=501 nbFailedAssignments=260 nbBacktracks=207 nbVisitedNodes=889
2.54 nbRestartNogoods=27 mapSize=156 nbInferences=0 nbTooLargeKeys=0
2.54 => wckTime=0.888 cpuTime=0.81 mem=34M329
2.86
2.86 search
2.86 run=6 nbConstraintChecks=713309 nbValidityChecks=1407007 nbPropagations=22721 nbRevisions=269779
2.86 nbUselessRevisions=213359 nbAssignments=707 nbFailedAssignments=348 nbBacktracks=320 nbVisitedNodes=1235
2.86 nbRestartNogoods=34 mapSize=224 nbInferences=0 nbTooLargeKeys=0
2.86 => wckTime=1.212 cpuTime=1.13 mem=34M329
3.43
3.43 search
3.43 run=7 nbConstraintChecks=1087160 nbValidityChecks=2186337 nbPropagations=35435 nbRevisions=416669
3.43 nbUselessRevisions=328877 nbAssignments=1148 nbFailedAssignments=613 nbBacktracks=491 nbVisitedNodes=2057
3.43 nbRestartNogoods=42 mapSize=383 nbInferences=0 nbTooLargeKeys=0
3.43 => wckTime=1.786 cpuTime=1.69 mem=34M329
4.38
4.38 search
4.38 run=8 nbConstraintChecks=1723568 nbValidityChecks=3370610 nbPropagations=53828 nbRevisions=632908
4.38 nbUselessRevisions=498864 nbAssignments=1687 nbFailedAssignments=891 nbBacktracks=747 nbVisitedNodes=3016
4.38 nbRestartNogoods=51 mapSize=568 nbInferences=0 nbTooLargeKeys=0
4.38 => wckTime=2.737 cpuTime=2.61 mem=34M329
6.11
6.11 search
6.11 run=9 nbConstraintChecks=2908781 nbValidityChecks=5707522 nbPropagations=83303 nbRevisions=992597
6.11 nbUselessRevisions=783801 nbAssignments=2607 nbFailedAssignments=1422 nbBacktracks=1131 nbVisitedNodes=4731
6.11 nbRestartNogoods=61 mapSize=925 nbInferences=0 nbTooLargeKeys=0
6.11 => wckTime=4.459 cpuTime=4.31 mem=34M329
6.49
6.49 INFO : Stopping hyperNogood (mapSize=1026, nbTooLargekeys=0, mem=35M316)
7.96
7.96 search
7.96 run=10 nbConstraintChecks=4183381 nbValidityChecks=8268325 nbPropagations=128034 nbRevisions=1526678
7.96 nbUselessRevisions=1205575 nbAssignments=3986 nbFailedAssignments=2219 nbBacktracks=1708 nbVisitedNodes=7260
7.96 nbRestartNogoods=70
7.96 => wckTime=6.312 cpuTime=6.12 mem=35M316
11.12
11.12 search
11.12 run=11 nbConstraintChecks=6433013 nbValidityChecks=12647067 nbPropagations=194310 nbRevisions=2330470
11.12 nbUselessRevisions=1842775 nbAssignments=5947 nbFailedAssignments=3312 nbBacktracks=2572 nbVisitedNodes=10828
11.12 nbRestartNogoods=90
11.12 => wckTime=9.471 cpuTime=9.25 mem=35M316
14.72
14.72 search
14.72 run=12 nbConstraintChecks=8932329 nbValidityChecks=17665665 nbPropagations=288988 nbRevisions=3473116
14.72 nbUselessRevisions=2749723 nbAssignments=8633 nbFailedAssignments=4694 nbBacktracks=3871 nbVisitedNodes=15594
14.72 nbRestartNogoods=98
14.72 => wckTime=13.071 cpuTime=12.81 mem=35M316
21.66
21.66 search
21.66 run=13 nbConstraintChecks=13742833 nbValidityChecks=27206350 nbPropagations=439319 nbRevisions=5251997
21.66 nbUselessRevisions=4153205 nbAssignments=13139 nbFailedAssignments=7248 nbBacktracks=5819 nbVisitedNodes=23950
21.66 nbRestartNogoods=116
21.66 => wckTime=20.011 cpuTime=19.67 mem=35M316
30.57
30.57 search
30.57 run=14 nbConstraintChecks=20021435 nbValidityChecks=39711294 nbPropagations=661710 nbRevisions=7878817
30.57 nbUselessRevisions=6228378 nbAssignments=19818 nbFailedAssignments=11002 nbBacktracks=8739 nbVisitedNodes=36062
30.57 nbRestartNogoods=128
30.57 => wckTime=28.918 cpuTime=28.48 mem=35M316
47.29
47.29 search
47.29 run=15 nbConstraintChecks=31880134 nbValidityChecks=62405893 nbPropagations=991768 nbRevisions=11847140
47.29 nbUselessRevisions=9367177 nbAssignments=29484 nbFailedAssignments=16284 nbBacktracks=13117
47.29 nbVisitedNodes=53578 nbRestartNogoods=143
47.29 => wckTime=45.639 cpuTime=45.03 mem=35M316
69.96
69.96 search
69.96 run=16 nbConstraintChecks=47840634 nbValidityChecks=94053805 nbPropagations=1503670 nbRevisions=18011331
69.96 nbUselessRevisions=14237519 nbAssignments=45383 nbFailedAssignments=25611 nbBacktracks=19685
69.96 nbVisitedNodes=82938 nbRestartNogoods=165
69.96 => wckTime=68.308 cpuTime=67.46 mem=35M316
102.80
102.80 search
102.80 run=17 nbConstraintChecks=70913710 nbValidityChecks=139252684 nbPropagations=2257797 nbRevisions=27083757
102.80 nbUselessRevisions=21413838 nbAssignments=66536 nbFailedAssignments=36908 nbBacktracks=29537
102.80 nbVisitedNodes=121192 nbRestartNogoods=178
102.80 => wckTime=101.154 cpuTime=99.97 mem=35M316
152.36
152.36 search
152.36 run=18 nbConstraintChecks=105935277 nbValidityChecks=207461363 nbPropagations=3366772 nbRevisions=40443393
152.36 nbUselessRevisions=31996955 nbAssignments=98093 nbFailedAssignments=53681 nbBacktracks=44315
152.36 nbVisitedNodes=178106 nbRestartNogoods=198
152.36 => wckTime=150.709 cpuTime=149.07 mem=35M316
217.10
217.10 search
217.10 run=19 nbConstraintChecks=151612853 nbValidityChecks=297521054 nbPropagations=4967961 nbRevisions=59760183
217.10 nbUselessRevisions=47326807 nbAssignments=143597 nbFailedAssignments=77011 nbBacktracks=66483
217.10 nbVisitedNodes=259063 nbRestartNogoods=218
217.10 => wckTime=215.451 cpuTime=213.21 mem=35M316
328.82
328.82 search
328.82 run=20 nbConstraintChecks=230550005 nbValidityChecks=452011095 nbPropagations=7360122 nbRevisions=88794674
328.82 nbUselessRevisions=70412566 nbAssignments=214803 nbFailedAssignments=114960 nbBacktracks=99737
328.82 nbVisitedNodes=387449 nbRestartNogoods=251
328.82 => wckTime=327.177 cpuTime=323.93 mem=35M316
482.77
482.77 search
482.77 run=21 nbConstraintChecks=338934176 nbValidityChecks=669317088 nbPropagations=10974521 nbRevisions=132419435
482.77 nbUselessRevisions=105089312 nbAssignments=324820 nbFailedAssignments=175093 nbBacktracks=149618
482.77 nbVisitedNodes=586680 nbRestartNogoods=268
482.77 => wckTime=481.125 cpuTime=476.46 mem=35M316
730.31
730.31 search
730.31 run=22 nbConstraintChecks=513245495 nbValidityChecks=1008536620 nbPropagations=16258485 nbRevisions=196757257
730.31 nbUselessRevisions=156298794 nbAssignments=471742 nbFailedAssignments=253149 nbBacktracks=218460
730.31 nbVisitedNodes=851974 nbRestartNogoods=296
730.31 => wckTime=728.661 cpuTime=721.75 mem=35M316
730.31
730.31 global
730.31 nbConstraintChecks=513245495 nbValidityChecks=1008536620 nbPropagations=16258509 nbRevisions=196757257
730.31 nbUselessRevisions=156298794 nbRestartNogoods=296 solvingWckTime=728.662 solvingCpuTime=721.75 expiredTime=no
730.31 totalExploration=no nbFoundSolutions=1 globalCpuTime=722.83
730.31 => wckTime=729.987 cpuTime=722.78 mem=35M316
730.31
730.31 s SATISFIABLE
730.31 v 2 22 19 13 16 21 11 20 10 13 3 13 15 3 16 16 9 22 19 18 10 18 3 3
730.31 d NODES 471742
730.31 d CHECKS 513245495
730.31
730.31 totalWckTime=730.075 totalCpuTime=722.84
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-196235-1168070470 -o ROOT/results/node17/solver-196235-1168070470 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196235-1168070470/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.13 2.00 1.98 4/99 10547
/proc/meminfo: memFree=1555488/2055920 swapFree=4192812/4192956
[pid=10546] ppid=10544 vsize=11820 CPUtime=0
/proc/10546/stat : 10546 (java) D 10544 10546 10243 0 -1 0 760 0 1 0 0 0 0 0 17 0 1 0 155441775 12103680 510 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 2859812 0 2147483391 0 7368 18446744072099781622 0 0 17 1 0 0
/proc/10546/statm: 2967 515 425 14 0 1602 0
[startup+0.103187 s]
/proc/loadavg: 2.13 2.00 1.98 4/99 10547
/proc/meminfo: memFree=1555488/2055920 swapFree=4192812/4192956
[pid=10546] ppid=10544 vsize=914988 CPUtime=0.08
/proc/10546/stat : 10546 (java) R 10544 10546 10243 0 -1 0 2978 0 1 0 6 2 0 0 17 0 8 0 155441775 936947712 2724 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4155287728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10546/statm: 228747 2724 1422 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.517736 s]
/proc/loadavg: 2.13 2.00 1.98 4/99 10547
/proc/meminfo: memFree=1555488/2055920 swapFree=4192812/4192956
[pid=10546] ppid=10544 vsize=915328 CPUtime=0.48
/proc/10546/stat : 10546 (java) R 10544 10546 10243 0 -1 0 7393 0 1 0 44 4 0 0 18 0 8 0 155441775 937295872 7132 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073445396 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10546/statm: 228832 7132 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34732 s]
/proc/loadavg: 2.13 2.00 1.98 4/106 10560
/proc/meminfo: memFree=1488296/2055920 swapFree=4192812/4192956
[pid=10546] ppid=10544 vsize=915328 CPUtime=1.3
/proc/10546/stat : 10546 (java) R 10544 10546 10243 0 -1 0 19121 0 1 0 122 8 0 0 24 0 8 0 155441775 937295872 18859 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073652214 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10546/statm: 228832 18859 2160 14 0 215302 0
[pid=10546/tid=10548] ppid=10544 vsize=915328 CPUtime=0.05
/proc/10546/task/10548/stat : 10548 (java) S 10544 10546 10243 0 -1 64 2657 0 0 0 4 1 0 0 17 0 8 0 155441779 937295872 18859 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10549] ppid=10544 vsize=915328 CPUtime=0
/proc/10546/task/10549/stat : 10549 (java) S 10544 10546 10243 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155441779 937295872 18859 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10550] ppid=10544 vsize=915328 CPUtime=0
/proc/10546/task/10550/stat : 10550 (java) S 10544 10546 10243 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155441779 937295872 18859 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10551] ppid=10544 vsize=915328 CPUtime=0
/proc/10546/task/10551/stat : 10551 (java) S 10544 10546 10243 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155441783 937295872 18859 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10552] ppid=10544 vsize=915328 CPUtime=0.1
/proc/10546/task/10552/stat : 10552 (java) S 10544 10546 10243 0 -1 64 320 0 0 0 10 0 0 0 16 0 8 0 155441783 937295872 18859 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10553] ppid=10544 vsize=915328 CPUtime=0
/proc/10546/task/10553/stat : 10553 (java) S 10544 10546 10243 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155441783 937295872 18859 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10554] ppid=10544 vsize=915328 CPUtime=0
/proc/10546/task/10554/stat : 10554 (java) S 10544 10546 10243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155441783 937295872 18859 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915328
[startup+2.98949 s]
/proc/loadavg: 2.20 2.02 1.98 3/106 10560
/proc/meminfo: memFree=1472616/2055920 swapFree=4192812/4192956
[pid=10546] ppid=10544 vsize=915416 CPUtime=2.92
/proc/10546/stat : 10546 (java) R 10544 10546 10243 0 -1 0 23394 0 1 0 281 11 0 0 25 0 8 0 155441775 937385984 23129 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073761924 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10546/statm: 228854 23129 2521 14 0 215324 0
[pid=10546/tid=10548] ppid=10544 vsize=915416 CPUtime=0.16
/proc/10546/task/10548/stat : 10548 (java) S 10544 10546 10243 0 -1 64 6428 0 0 0 14 2 0 0 17 0 8 0 155441779 937385984 23129 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10549] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10549/stat : 10549 (java) S 10544 10546 10243 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155441779 937385984 23129 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10550] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10550/stat : 10550 (java) S 10544 10546 10243 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155441779 937385984 23129 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10551] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10551/stat : 10551 (java) S 10544 10546 10243 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155441783 937385984 23129 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10552] ppid=10544 vsize=915416 CPUtime=0.2
/proc/10546/task/10552/stat : 10552 (java) S 10544 10546 10243 0 -1 64 372 0 0 0 19 1 0 0 15 0 8 0 155441783 937385984 23129 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10553] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10553/stat : 10553 (java) S 10544 10546 10243 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155441783 937385984 23129 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10554] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10554/stat : 10554 (java) S 10544 10546 10243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155441783 937385984 23129 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915416
[startup+6.27233 s]
/proc/loadavg: 2.20 2.02 1.98 3/106 10562
/proc/meminfo: memFree=1472368/2055920 swapFree=4192812/4192956
[pid=10546] ppid=10544 vsize=915416 CPUtime=6.18
/proc/10546/stat : 10546 (java) R 10544 10546 10243 0 -1 0 23409 0 1 0 606 12 0 0 25 0 8 0 155441775 937385984 23142 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073803664 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10546/statm: 228854 23142 2521 14 0 215324 0
[pid=10546/tid=10548] ppid=10544 vsize=915416 CPUtime=0.16
/proc/10546/task/10548/stat : 10548 (java) S 10544 10546 10243 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 155441779 937385984 23142 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10549] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10549/stat : 10549 (java) S 10544 10546 10243 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155441779 937385984 23142 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10550] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10550/stat : 10550 (java) S 10544 10546 10243 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155441779 937385984 23142 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10551] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10551/stat : 10551 (java) S 10544 10546 10243 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155441783 937385984 23142 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10552] ppid=10544 vsize=915416 CPUtime=0.23
/proc/10546/task/10552/stat : 10552 (java) S 10544 10546 10243 0 -1 64 385 0 0 0 22 1 0 0 16 0 8 0 155441783 937385984 23142 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10553] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10553/stat : 10553 (java) S 10544 10546 10243 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155441783 937385984 23142 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10554] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10554/stat : 10554 (java) S 10544 10546 10243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155441783 937385984 23142 18446744073709551615 134512640 134570532 4294956400 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) 915416
[startup+12.7705 s]
/proc/loadavg: 2.17 2.02 1.98 3/106 10572
/proc/meminfo: memFree=1472432/2055920 swapFree=4192812/4192956
[pid=10546] ppid=10544 vsize=915416 CPUtime=12.58
/proc/10546/stat : 10546 (java) R 10544 10546 10243 0 -1 0 23414 0 1 0 1246 12 0 0 25 0 8 0 155441775 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10546/statm: 228854 23146 2521 14 0 215324 0
[pid=10546/tid=10548] ppid=10544 vsize=915416 CPUtime=0.16
/proc/10546/task/10548/stat : 10548 (java) S 10544 10546 10243 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 155441779 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10549] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10549/stat : 10549 (java) S 10544 10546 10243 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155441779 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10550] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10550/stat : 10550 (java) S 10544 10546 10243 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155441779 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10551] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10551/stat : 10551 (java) S 10544 10546 10243 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155441783 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10552] ppid=10544 vsize=915416 CPUtime=0.24
/proc/10546/task/10552/stat : 10552 (java) S 10544 10546 10243 0 -1 64 390 0 0 0 23 1 0 0 16 0 8 0 155441783 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10553] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10553/stat : 10553 (java) S 10544 10546 10243 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155441783 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10554] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10554/stat : 10554 (java) S 10544 10546 10243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155441783 937385984 23146 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915416
[startup+25.6419 s]
/proc/loadavg: 2.14 2.02 1.98 4/106 10612
/proc/meminfo: memFree=1472688/2055920 swapFree=4192812/4192956
[pid=10546] ppid=10544 vsize=915416 CPUtime=25.32
/proc/10546/stat : 10546 (java) R 10544 10546 10243 0 -1 0 23416 0 1 0 2520 12 0 0 25 0 8 0 155441775 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073753388 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10546/statm: 228854 23147 2521 14 0 215324 0
[pid=10546/tid=10548] ppid=10544 vsize=915416 CPUtime=0.16
/proc/10546/task/10548/stat : 10548 (java) S 10544 10546 10243 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 155441779 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10549] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10549/stat : 10549 (java) S 10544 10546 10243 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155441779 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10550] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10550/stat : 10550 (java) S 10544 10546 10243 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155441779 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10551] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10551/stat : 10551 (java) S 10544 10546 10243 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10552] ppid=10544 vsize=915416 CPUtime=0.24
/proc/10546/task/10552/stat : 10552 (java) S 10544 10546 10243 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10553] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10553/stat : 10553 (java) S 10544 10546 10243 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10554] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10554/stat : 10554 (java) S 10544 10546 10243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 915416
[startup+51.2855 s]
/proc/loadavg: 2.09 2.02 1.98 3/106 10638
/proc/meminfo: memFree=1472688/2055920 swapFree=4192812/4192956
[pid=10546] ppid=10544 vsize=915416 CPUtime=50.7
/proc/10546/stat : 10546 (java) R 10544 10546 10243 0 -1 0 23416 0 1 0 5057 13 0 0 25 0 8 0 155441775 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073630204 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10546/statm: 228854 23147 2521 14 0 215324 0
[pid=10546/tid=10548] ppid=10544 vsize=915416 CPUtime=0.16
/proc/10546/task/10548/stat : 10548 (java) S 10544 10546 10243 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 155441779 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10549] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10549/stat : 10549 (java) S 10544 10546 10243 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155441779 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10550] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10550/stat : 10550 (java) S 10544 10546 10243 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155441779 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10551] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10551/stat : 10551 (java) S 10544 10546 10243 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10552] ppid=10544 vsize=915416 CPUtime=0.24
/proc/10546/task/10552/stat : 10552 (java) S 10544 10546 10243 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10553] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10553/stat : 10553 (java) S 10544 10546 10243 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10554] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10554/stat : 10554 (java) S 10544 10546 10243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 915416
[startup+102.561 s]
/proc/loadavg: 2.04 2.01 1.98 3/100 10686
/proc/meminfo: memFree=1473776/2055920 swapFree=4192812/4192956
[pid=10546] ppid=10544 vsize=915416 CPUtime=101.43
/proc/10546/stat : 10546 (java) R 10544 10546 10243 0 -1 0 23416 0 1 0 10130 13 0 0 25 0 8 0 155441775 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073760492 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10546/statm: 228854 23147 2521 14 0 215324 0
[pid=10546/tid=10548] ppid=10544 vsize=915416 CPUtime=0.16
/proc/10546/task/10548/stat : 10548 (java) S 10544 10546 10243 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 155441779 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10549] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10549/stat : 10549 (java) S 10544 10546 10243 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155441779 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10550] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10550/stat : 10550 (java) S 10544 10546 10243 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155441779 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10551] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10551/stat : 10551 (java) S 10544 10546 10243 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10552] ppid=10544 vsize=915416 CPUtime=0.24
/proc/10546/task/10552/stat : 10552 (java) S 10544 10546 10243 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10553] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10553/stat : 10553 (java) S 10544 10546 10243 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10554] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10554/stat : 10554 (java) S 10544 10546 10243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.43
Current children cumulated vsize (KiB) 915416
[startup+162.574 s]
/proc/loadavg: 2.01 2.00 1.98 3/100 10686
/proc/meminfo: memFree=1473776/2055920 swapFree=4192812/4192956
[pid=10546] ppid=10544 vsize=915416 CPUtime=160.89
/proc/10546/stat : 10546 (java) R 10544 10546 10243 0 -1 0 23416 0 1 0 16076 13 0 0 25 0 8 0 155441775 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073753268 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
/proc/10546/task/10551/stat : 10551 (java) S 10544 10546 10243 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10552] ppid=10544 vsize=915416 CPUtime=0.24
/proc/10546/task/10552/stat : 10552 (java) S 10544 10546 10243 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10553] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10553/stat : 10553 (java) S 10544 10546 10243 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10554] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10554/stat : 10554 (java) S 10544 10546 10243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 279.83
Current children cumulated vsize (KiB) 915416
[startup+342.612 s]
/proc/loadavg: 2.01 2.00 1.99 3/100 10686
/proc/meminfo: memFree=1473776/2055920 swapFree=4192812/4192956
[pid=10546] ppid=10544 vsize=915416 CPUtime=339.29
/proc/10546/stat : 10546 (java) R 10544 10546 10243 0 -1 0 23416 0 1 0 33914 15 0 0 25 0 8 0 155441775 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073753258 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10546/statm: 228854 23147 2521 14 0 215324 0
[pid=10546/tid=10548] ppid=10544 vsize=915416 CPUtime=0.16
/proc/10546/task/10548/stat : 10548 (java) S 10544 10546 10243 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 155441779 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10549] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10549/stat : 10549 (java) S 10544 10546 10243 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155441779 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10550] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10550/stat : 10550 (java) S 10544 10546 10243 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155441779 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10551] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10551/stat : 10551 (java) S 10544 10546 10243 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10552] ppid=10544 vsize=915416 CPUtime=0.24
/proc/10546/task/10552/stat : 10552 (java) S 10544 10546 10243 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10553] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10553/stat : 10553 (java) S 10544 10546 10243 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10554] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10554/stat : 10554 (java) S 10544 10546 10243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 339.29
Current children cumulated vsize (KiB) 915416
[startup+402.63 s]
/proc/loadavg: 2.06 2.02 2.00 3/100 10686
/proc/meminfo: memFree=1473904/2055920 swapFree=4192812/4192956
[pid=10546] ppid=10544 vsize=915416 CPUtime=398.77
/proc/10546/stat : 10546 (java) R 10544 10546 10243 0 -1 0 23416 0 1 0 39861 16 0 0 25 0 8 0 155441775 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073630271 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10546/statm: 228854 23147 2521 14 0 215324 0
[pid=10546/tid=10548] ppid=10544 vsize=915416 CPUtime=0.16
/proc/10546/task/10548/stat : 10548 (java) S 10544 10546 10243 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 155441779 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10549] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10549/stat : 10549 (java) S 10544 10546 10243 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155441779 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10550] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10550/stat : 10550 (java) S 10544 10546 10243 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155441779 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10551] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10551/stat : 10551 (java) S 10544 10546 10243 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10552] ppid=10544 vsize=915416 CPUtime=0.24
/proc/10546/task/10552/stat : 10552 (java) S 10544 10546 10243 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10553] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10553/stat : 10553 (java) S 10544 10546 10243 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10554] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10554/stat : 10554 (java) S 10544 10546 10243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 398.77
Current children cumulated vsize (KiB) 915416
[startup+462.642 s]
/proc/loadavg: 2.07 2.03 2.00 3/100 10686
/proc/meminfo: memFree=1473968/2055920 swapFree=4192812/4192956
[pid=10546] ppid=10544 vsize=915416 CPUtime=458.23
/proc/10546/stat : 10546 (java) R 10544 10546 10243 0 -1 0 23416 0 1 0 45807 16 0 0 25 0 8 0 155441775 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073336175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10546/statm: 228854 23147 2521 14 0 215324 0
[pid=10546/tid=10548] ppid=10544 vsize=915416 CPUtime=0.16
/proc/10546/task/10548/stat : 10548 (java) S 10544 10546 10243 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 155441779 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10549] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10549/stat : 10549 (java) S 10544 10546 10243 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155441779 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10550] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10550/stat : 10550 (java) S 10544 10546 10243 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155441779 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10551] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10551/stat : 10551 (java) S 10544 10546 10243 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10552] ppid=10544 vsize=915416 CPUtime=0.24
/proc/10546/task/10552/stat : 10552 (java) S 10544 10546 10243 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10553] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10553/stat : 10553 (java) S 10544 10546 10243 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10554] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10554/stat : 10554 (java) S 10544 10546 10243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 458.23
Current children cumulated vsize (KiB) 915416
[startup+522.656 s]
/proc/loadavg: 2.02 2.02 2.00 3/100 10686
/proc/meminfo: memFree=1473968/2055920 swapFree=4192812/4192956
[pid=10546] ppid=10544 vsize=915416 CPUtime=517.7
/proc/10546/stat : 10546 (java) R 10544 10546 10243 0 -1 0 23416 0 1 0 51753 17 0 0 25 0 8 0 155441775 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073777703 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10546/statm: 228854 23147 2521 14 0 215324 0
[pid=10546/tid=10548] ppid=10544 vsize=915416 CPUtime=0.16
/proc/10546/task/10548/stat : 10548 (java) S 10544 10546 10243 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 155441779 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10549] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10549/stat : 10549 (java) S 10544 10546 10243 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155441779 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10550] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10550/stat : 10550 (java) S 10544 10546 10243 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155441779 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10551] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10551/stat : 10551 (java) S 10544 10546 10243 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10552] ppid=10544 vsize=915416 CPUtime=0.24
/proc/10546/task/10552/stat : 10552 (java) S 10544 10546 10243 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10553] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10553/stat : 10553 (java) S 10544 10546 10243 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10554] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10554/stat : 10554 (java) S 10544 10546 10243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 517.7
Current children cumulated vsize (KiB) 915416
[startup+582.672 s]
/proc/loadavg: 2.01 2.01 2.00 3/100 10686
/proc/meminfo: memFree=1473968/2055920 swapFree=4192812/4192956
[pid=10546] ppid=10544 vsize=915416 CPUtime=577.16
/proc/10546/stat : 10546 (java) R 10544 10546 10243 0 -1 0 23416 0 1 0 57699 17 0 0 25 0 8 0 155441775 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073754538 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10546/statm: 228854 23147 2521 14 0 215324 0
[pid=10546/tid=10548] ppid=10544 vsize=915416 CPUtime=0.16
/proc/10546/task/10548/stat : 10548 (java) S 10544 10546 10243 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 155441779 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10549] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10549/stat : 10549 (java) S 10544 10546 10243 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155441779 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10550] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10550/stat : 10550 (java) S 10544 10546 10243 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155441779 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10551] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10551/stat : 10551 (java) S 10544 10546 10243 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10552] ppid=10544 vsize=915416 CPUtime=0.24
/proc/10546/task/10552/stat : 10552 (java) S 10544 10546 10243 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10553] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10553/stat : 10553 (java) S 10544 10546 10243 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10554] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10554/stat : 10554 (java) S 10544 10546 10243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 577.16
Current children cumulated vsize (KiB) 915416
[startup+642.685 s]
/proc/loadavg: 2.00 2.01 2.00 3/100 10686
/proc/meminfo: memFree=1473968/2055920 swapFree=4192812/4192956
[pid=10546] ppid=10544 vsize=915416 CPUtime=636.64
/proc/10546/stat : 10546 (java) R 10544 10546 10243 0 -1 0 23416 0 1 0 63646 18 0 0 25 0 8 0 155441775 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10546/statm: 228854 23147 2521 14 0 215324 0
[pid=10546/tid=10548] ppid=10544 vsize=915416 CPUtime=0.16
/proc/10546/task/10548/stat : 10548 (java) S 10544 10546 10243 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 155441779 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10549] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10549/stat : 10549 (java) S 10544 10546 10243 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155441779 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10550] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10550/stat : 10550 (java) S 10544 10546 10243 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155441779 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10551] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10551/stat : 10551 (java) S 10544 10546 10243 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10552] ppid=10544 vsize=915416 CPUtime=0.24
/proc/10546/task/10552/stat : 10552 (java) S 10544 10546 10243 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10553] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10553/stat : 10553 (java) S 10544 10546 10243 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10554] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10554/stat : 10554 (java) S 10544 10546 10243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 636.64
Current children cumulated vsize (KiB) 915416
[startup+702.697 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 10686
/proc/meminfo: memFree=1473968/2055920 swapFree=4192812/4192956
[pid=10546] ppid=10544 vsize=915416 CPUtime=696.1
/proc/10546/stat : 10546 (java) R 10544 10546 10243 0 -1 0 23416 0 1 0 69592 18 0 0 25 0 8 0 155441775 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4073775828 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10546/statm: 228854 23147 2521 14 0 215324 0
[pid=10546/tid=10548] ppid=10544 vsize=915416 CPUtime=0.16
/proc/10546/task/10548/stat : 10548 (java) S 10544 10546 10243 0 -1 64 6428 0 0 0 14 2 0 0 16 0 8 0 155441779 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10549] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10549/stat : 10549 (java) S 10544 10546 10243 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155441779 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10550] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10550/stat : 10550 (java) S 10544 10546 10243 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155441779 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10551] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10551/stat : 10551 (java) S 10544 10546 10243 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10552] ppid=10544 vsize=915416 CPUtime=0.24
/proc/10546/task/10552/stat : 10552 (java) S 10544 10546 10243 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10553] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10553/stat : 10553 (java) S 10544 10546 10243 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10546/tid=10554] ppid=10544 vsize=915416 CPUtime=0
/proc/10546/task/10554/stat : 10554 (java) S 10544 10546 10243 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155441783 937385984 23147 18446744073709551615 134512640 134570532 4294956400 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 696.1
Current children cumulated vsize (KiB) 915416
Child status: 0
Real time (s): 730.341
CPU time (s): 723.498
CPU user time (s): 723.293
CPU system time (s): 0.204968
CPU usage (%): 99.063
Max. virtual memory (cumulated for all children) (KiB): 915416
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 723.293
system time used= 0.204968
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 23423
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= 15887
involuntary context switches= 33843
runsolver used 0.946856 s user time and 2.30965 s system time
The end
Begin job on node17 on Sat Jan 6 08:01:10 UTC 2007
IDJOB= 196235
IDBENCH= 3336
FILE ID= node17/196235-1168070470
PBS_JOBID= 3475675
Free space on /tmp= 66313 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-24-24/rand-3-24-24-76-632-18_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196235-1168070470/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-196235-1168070470 -o ROOT/results/node17/solver-196235-1168070470 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/196235-1168070470/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 00f785a45aa82671ed3db507767e40df
RANDOM SEED= 140722246
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.236
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.236
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: 1555968 kB
Buffers: 46044 kB
Cached: 221264 kB
SwapCached: 0 kB
Active: 200340 kB
Inactive: 209792 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1555968 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4520 kB
Writeback: 0 kB
Mapped: 172308 kB
Slab: 74012 kB
Committed_AS: 4504520 kB
PageTables: 2700 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= 66313 MiB
End job on node17 on Sat Jan 6 08:13:20 UTC 2007