0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/239080-1168084179/unknown.xml
0.39
0.39 domains being loaded...
0.40
0.40 variables being loaded...
0.51 nbVariables=625 nbDomainTypes=26 minDomainSize=1 maxDomainSize=25
0.51 => wckTime=0.18 cpuTime=0.14 mem=8M869
0.51
0.51 relations being loaded...
0.51
0.51 constraints being loaded...
1.02 nbConstraints=10142 nbRelationTypes=27 nbSingletonDomainVariables=361 nbExtensionStructures=51
1.02 nbSharedExtensionStructures=10091 nbConflictsStructures=51 nbSharedConflictsStructures=10091
1.02 nbSharedBinaryRepresentations=1323 maxDegree=48 maxArity=2
1.02 => wckTime=0.689 cpuTime=0.53 mem=39M130
1.14
1.14 solver IterativeSystematicSolver being built...
1.34 => wckTime=1.01 cpuTime=0.71 mem=21M770
1.41
1.41 preprocessing
1.41 nbConstraintChecks=101758 nbPropagations=625 nbRevisions=7756 nbUselessRevisions=2323 nbRemovedValues=5433
1.41 detectedInconsistency=no
1.41 => wckTime=0.067 cpuTime=0.05 mem=21M770
1.51
1.51 search
1.51 run=0 nbConstraintChecks=13007 nbPropagations=1319 nbRevisions=15021 nbUselessRevisions=8679 nbAssignments=126
1.51 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=141 nbRestartNogoods=0 mapSize=6 nbInferences=0
1.51 nbTooLargeKeys=0
1.51 => wckTime=0.161 cpuTime=0.12 mem=22M793
1.57
1.57 search
1.57 run=1 nbConstraintChecks=37207 nbPropagations=3551 nbRevisions=45259 nbUselessRevisions=31017
1.57 nbAssignments=237 nbFailedAssignments=14 nbBacktracks=25 nbVisitedNodes=265 nbRestartNogoods=8 mapSize=15
1.57 nbInferences=0 nbTooLargeKeys=0
1.57 => wckTime=0.228 cpuTime=0.19 mem=22M793
1.63
1.63 search
1.63 run=2 nbConstraintChecks=57779 nbPropagations=6673 nbRevisions=88132 nbUselessRevisions=64598
1.63 nbAssignments=378 nbFailedAssignments=26 nbBacktracks=50 nbVisitedNodes=427 nbRestartNogoods=12 mapSize=31
1.63 nbInferences=0 nbTooLargeKeys=0
1.63 => wckTime=0.288 cpuTime=0.24 mem=22M793
1.70
1.70 search
1.70 run=3 nbConstraintChecks=85631 nbPropagations=10813 nbRevisions=148930 nbUselessRevisions=114260
1.70 nbAssignments=525 nbFailedAssignments=45 nbBacktracks=83 nbVisitedNodes=603 nbRestartNogoods=17 mapSize=57
1.70 nbInferences=0 nbTooLargeKeys=0
1.70 => wckTime=0.36 cpuTime=0.31 mem=22M793
1.77
1.77 search
1.77 run=4 nbConstraintChecks=113975 nbPropagations=15957 nbRevisions=227674 nbUselessRevisions=180067
1.77 nbAssignments=658 nbFailedAssignments=52 nbBacktracks=135 nbVisitedNodes=752 nbRestartNogoods=20 mapSize=71
1.77 nbInferences=0 nbTooLargeKeys=0
1.77 => wckTime=0.431 cpuTime=0.38 mem=22M793
1.84
1.84 search
1.84 run=5 nbConstraintChecks=138970 nbPropagations=22115 nbRevisions=320891 nbUselessRevisions=258564
1.84 nbAssignments=809 nbFailedAssignments=73 nbBacktracks=216 nbVisitedNodes=949 nbRestartNogoods=22 mapSize=113
1.84 nbInferences=0 nbTooLargeKeys=0
1.84 => wckTime=0.496 cpuTime=0.44 mem=23M767
1.93
1.93 search
1.93 run=6 nbConstraintChecks=168673 nbPropagations=29447 nbRevisions=432751 nbUselessRevisions=353743
1.93 nbAssignments=1001 nbFailedAssignments=91 nbBacktracks=331 nbVisitedNodes=1182 nbRestartNogoods=26 mapSize=152
1.93 nbInferences=0 nbTooLargeKeys=0
1.93 => wckTime=0.585 cpuTime=0.52 mem=23M767
2.06
2.06 search
2.06 run=7 nbConstraintChecks=224223 nbPropagations=38768 nbRevisions=579105 nbUselessRevisions=479605
2.06 nbAssignments=1320 nbFailedAssignments=128 nbBacktracks=510 nbVisitedNodes=1579 nbRestartNogoods=28
2.06 mapSize=225 nbInferences=0 nbTooLargeKeys=0
2.06 => wckTime=0.721 cpuTime=0.65 mem=23M767
2.24
2.24 search
2.24 run=8 nbConstraintChecks=285551 nbPropagations=50634 nbRevisions=761909 nbUselessRevisions=637429
2.24 nbAssignments=1740 nbFailedAssignments=210 nbBacktracks=766 nbVisitedNodes=2140 nbRestartNogoods=33
2.24 mapSize=361 nbInferences=0 nbTooLargeKeys=0
2.24 => wckTime=0.895 cpuTime=0.81 mem=24M740
2.45
2.45 search
2.45 run=9 nbConstraintChecks=382200 nbPropagations=65570 nbRevisions=1007177 nbUselessRevisions=851378
2.45 nbAssignments=2264 nbFailedAssignments=269 nbBacktracks=1163 nbVisitedNodes=2772 nbRestartNogoods=38
2.45 mapSize=466 nbInferences=0 nbTooLargeKeys=0
2.45 => wckTime=1.106 cpuTime=1.02 mem=24M740
2.74
2.74 search
2.74 run=10 nbConstraintChecks=512709 nbPropagations=85016 nbRevisions=1334508 nbUselessRevisions=1138427
2.74 nbAssignments=3055 nbFailedAssignments=399 nbBacktracks=1742 nbVisitedNodes=3810 nbRestartNogoods=41
2.74 mapSize=697 nbInferences=0 nbTooLargeKeys=0
2.74 => wckTime=1.396 cpuTime=1.29 mem=25M714
3.14
3.14 search
3.14 run=11 nbConstraintChecks=707060 nbPropagations=110907 nbRevisions=1780602 nbUselessRevisions=1530529
3.14 nbAssignments=4102 nbFailedAssignments=524 nbBacktracks=2609 nbVisitedNodes=5149 nbRestartNogoods=47
3.14 mapSize=972 nbInferences=0 nbTooLargeKeys=0
3.14 => wckTime=1.797 cpuTime=1.69 mem=26M688
3.21
3.21 INFO : Stopping hyperNogood (mapSize=1016, nbTooLargekeys=0, mem=26M688)
3.62
3.62 search
3.62 run=12 nbConstraintChecks=965518 nbPropagations=146506 nbRevisions=2376455 nbUselessRevisions=2053628
3.62 nbAssignments=5753 nbFailedAssignments=846 nbBacktracks=3909 nbVisitedNodes=7461 nbRestartNogoods=55
3.62 => wckTime=2.277 cpuTime=2.16 mem=26M688
4.31
4.31 search
4.31 run=13 nbConstraintChecks=1419255 nbPropagations=196257 nbRevisions=3247577 nbUselessRevisions=2821195
4.31 nbAssignments=8180 nbFailedAssignments=1275 nbBacktracks=5859 nbVisitedNodes=10712 nbRestartNogoods=56
4.31 => wckTime=2.972 cpuTime=2.85 mem=26M688
5.46
5.46 search
5.46 run=14 nbConstraintChecks=2142412 nbPropagations=270793 nbRevisions=4524066 nbUselessRevisions=3942271
5.46 nbAssignments=11882 nbFailedAssignments=2033 nbBacktracks=8780 nbVisitedNodes=15894 nbRestartNogoods=58
5.46 => wckTime=4.12 cpuTime=3.98 mem=26M688
7.20
7.20 search
7.20 run=15 nbConstraintChecks=3417454 nbPropagations=383334 nbRevisions=6576622 nbUselessRevisions=5753221
7.20 nbAssignments=17311 nbFailedAssignments=3021 nbBacktracks=13161 nbVisitedNodes=23301 nbRestartNogoods=65
7.20 => wckTime=5.859 cpuTime=5.71 mem=26M688
9.75
9.75 search
9.75 run=16 nbConstraintChecks=5050685 nbPropagations=552348 nbRevisions=9628575 nbUselessRevisions=8451769
9.76 nbAssignments=25852 nbFailedAssignments=4913 nbBacktracks=19730 nbVisitedNodes=35440 nbRestartNogoods=71
9.76 => wckTime=8.412 cpuTime=8.24 mem=26M688
14.11
14.11 search
14.11 run=17 nbConstraintChecks=8562624 nbPropagations=815356 nbRevisions=15032354 nbUselessRevisions=13281156
14.11 nbAssignments=37514 nbFailedAssignments=6661 nbBacktracks=29588 nbVisitedNodes=50484 nbRestartNogoods=84
14.11 => wckTime=12.769 cpuTime=12.55 mem=26M688
22.12
22.12 search
22.12 run=18 nbConstraintChecks=15333307 nbPropagations=1260230 nbRevisions=24937322 nbUselessRevisions=22190060
22.12 nbAssignments=55887 nbFailedAssignments=10208 nbBacktracks=44369 nbVisitedNodes=75357 nbRestartNogoods=95
22.12 => wckTime=20.781 cpuTime=20.49 mem=27M661
33.98
33.98 search
33.98 run=19 nbConstraintChecks=24777928 nbPropagations=1993363 nbRevisions=40844668 nbUselessRevisions=36504245
33.98 nbAssignments=86322 nbFailedAssignments=18410 nbBacktracks=66539 nbVisitedNodes=121396 nbRestartNogoods=101
33.98 => wckTime=32.642 cpuTime=32.24 mem=27M661
52.61
52.61 search
52.61 run=20 nbConstraintChecks=41456429 nbPropagations=3159432 nbRevisions=67959546 nbUselessRevisions=60983927
52.61 nbAssignments=127930 nbFailedAssignments=26698 nbBacktracks=99796 nbVisitedNodes=179521 nbRestartNogoods=110
52.61 => wckTime=51.265 cpuTime=50.69 mem=27M661
78.29
78.29 search
78.29 run=21 nbConstraintChecks=62849312 nbPropagations=4913128 nbRevisions=109323339 nbUselessRevisions=98333828
78.29 nbAssignments=190420 nbFailedAssignments=39255 nbBacktracks=149677 nbVisitedNodes=267505 nbRestartNogoods=123
78.29 => wckTime=76.952 cpuTime=76.14 mem=27M661
117.60
117.60 search
117.60 run=22 nbConstraintChecks=94579861 nbPropagations=7577342 nbRevisions=171506942 nbUselessRevisions=154452748
117.60 nbAssignments=287976 nbFailedAssignments=61937 nbBacktracks=224510 nbVisitedNodes=407171 nbRestartNogoods=134
117.60 => wckTime=116.258 cpuTime=115.09 mem=27M661
180.78
180.78 search
180.78 run=23 nbConstraintChecks=149135458 nbPropagations=11724108 nbRevisions=269730820 nbUselessRevisions=243135778
180.78 nbAssignments=436272 nbFailedAssignments=97952 nbBacktracks=336741 nbVisitedNodes=621199 nbRestartNogoods=144
180.78 => wckTime=179.439 cpuTime=177.7 mem=27M661
268.08
268.08 search
268.08 run=24 nbConstraintChecks=218647633 nbPropagations=17937123 nbRevisions=412625637 nbUselessRevisions=371928140
268.08 nbAssignments=659896 nbFailedAssignments=153171 nbBacktracks=505095 nbVisitedNodes=949456 nbRestartNogoods=152
268.08 => wckTime=266.736 cpuTime=264.19 mem=27M661
401.08
401.08 search
401.08 run=25 nbConstraintChecks=319907208 nbPropagations=27383808 nbRevisions=619462585 nbUselessRevisions=557775443
401.08 nbAssignments=1002273 nbFailedAssignments=243007 nbBacktracks=757606 nbVisitedNodes=1463259
401.08 nbRestartNogoods=167
401.08 => wckTime=399.739 cpuTime=395.99 mem=27M661
610.33
610.33 search
610.33 run=26 nbConstraintChecks=489685902 nbPropagations=41850676 nbRevisions=934489215 nbUselessRevisions=840382228
610.33 nbAssignments=1506077 nbFailedAssignments=367995 nbBacktracks=1136382 nbVisitedNodes=2214343
610.34 nbRestartNogoods=175
610.34 => wckTime=608.988 cpuTime=603.32 mem=27M661
936.15
936.15 search
936.15 run=27 nbConstraintChecks=767249385 nbPropagations=64183299 nbRevisions=1432538818
936.15 nbUselessRevisions=1288167042 nbAssignments=2253845 nbFailedAssignments=547557 nbBacktracks=1704533
936.15 nbVisitedNodes=3305898 nbRestartNogoods=182
936.15 => wckTime=934.805 cpuTime=925.95 mem=27M661
1374.14
1374.14 search
1374.14 run=28 nbConstraintChecks=1156403226 nbPropagations=97779095 nbRevisions=2189336303
1374.14 nbUselessRevisions=1969658040 nbAssignments=3406431 nbFailedAssignments=847872 nbBacktracks=2556759
1374.14 nbVisitedNodes=5035308 nbRestartNogoods=196
1374.14 => wckTime=1372.8 cpuTime=1363.01 mem=27M661
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node7/watcher-239080-1168084179 -o ROOT/results/node7/solver-239080-1168084179 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/239080-1168084179/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.07 1.97 1.86 4/93 20126
/proc/meminfo: memFree=765544/2055920 swapFree=4192812/4192956
[pid=20125] ppid=20123 vsize=18540 CPUtime=0
/proc/20125/stat : 20125 (runsolver) R 20123 20125 19370 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 156813360 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 244671114535 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/20125/statm: 4635 279 244 17 0 2626 0
[startup+0.108467 s]
/proc/loadavg: 2.07 1.97 1.86 4/93 20126
/proc/meminfo: memFree=765544/2055920 swapFree=4192812/4192956
[pid=20125] ppid=20123 vsize=914988 CPUtime=0.08
/proc/20125/stat : 20125 (java) R 20123 20125 19370 0 -1 0 2980 0 1 0 7 1 0 0 19 0 8 0 156813360 936947712 2726 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155081019 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20125/statm: 228747 2726 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516508 s]
/proc/loadavg: 2.07 1.97 1.86 4/93 20126
/proc/meminfo: memFree=765544/2055920 swapFree=4192812/4192956
[pid=20125] ppid=20123 vsize=915328 CPUtime=0.49
/proc/20125/stat : 20125 (java) R 20123 20125 19370 0 -1 0 6529 0 1 0 45 4 0 0 18 0 8 0 156813360 937295872 6268 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072917395 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20125/statm: 228832 6268 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.3396 s]
/proc/loadavg: 2.07 1.97 1.86 4/100 20133
/proc/meminfo: memFree=712240/2055920 swapFree=4192812/4192956
[pid=20125] ppid=20123 vsize=915676 CPUtime=1.3
/proc/20125/stat : 20125 (java) R 20123 20125 19370 0 -1 0 16119 0 1 0 122 8 0 0 23 0 8 0 156813360 937652224 15857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154051728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20125/statm: 228919 15857 2509 14 0 215389 0
[pid=20125/tid=20127] ppid=20123 vsize=915676 CPUtime=0.09
/proc/20125/task/20127/stat : 20127 (java) S 20123 20125 19370 0 -1 64 1531 0 0 0 9 0 0 0 17 0 8 0 156813364 937652224 15857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20128] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20128/stat : 20128 (java) S 20123 20125 19370 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156813365 937652224 15857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20129] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20129/stat : 20129 (java) S 20123 20125 19370 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156813365 937652224 15857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20130] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20130/stat : 20130 (java) S 20123 20125 19370 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156813368 937652224 15857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20131] ppid=20123 vsize=915676 CPUtime=0.23
/proc/20125/task/20131/stat : 20131 (java) S 20123 20125 19370 0 -1 64 445 0 0 0 23 0 0 0 15 0 8 0 156813368 937652224 15857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20132] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20132/stat : 20132 (java) S 20123 20125 19370 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156813368 937652224 15857 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20133] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20133/stat : 20133 (java) S 20123 20125 19370 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156813368 937652224 15857 18446744073709551615 134512640 134570532 4294956464 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) 915676
[startup+2.99278 s]
/proc/loadavg: 2.07 1.97 1.86 3/100 20133
/proc/meminfo: memFree=711664/2055920 swapFree=4192812/4192956
[pid=20125] ppid=20123 vsize=915676 CPUtime=2.94
/proc/20125/stat : 20125 (java) R 20123 20125 19370 0 -1 0 16166 0 1 0 286 8 0 0 25 0 8 0 156813360 937652224 15903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20125/statm: 228919 15903 2513 14 0 215389 0
[pid=20125/tid=20127] ppid=20123 vsize=915676 CPUtime=0.09
/proc/20125/task/20127/stat : 20127 (java) S 20123 20125 19370 0 -1 64 1531 0 0 0 9 0 0 0 16 0 8 0 156813364 937652224 15903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20128] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20128/stat : 20128 (java) S 20123 20125 19370 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156813365 937652224 15903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20129] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20129/stat : 20129 (java) S 20123 20125 19370 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156813365 937652224 15903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20130] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20130/stat : 20130 (java) S 20123 20125 19370 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156813368 937652224 15903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20131] ppid=20123 vsize=915676 CPUtime=0.33
/proc/20125/task/20131/stat : 20131 (java) S 20123 20125 19370 0 -1 64 482 0 0 0 32 1 0 0 16 0 8 0 156813368 937652224 15903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20132] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20132/stat : 20132 (java) S 20123 20125 19370 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156813368 937652224 15903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20133] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20133/stat : 20133 (java) S 20123 20125 19370 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156813368 937652224 15903 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) 915676
[startup+6.27312 s]
/proc/loadavg: 2.07 1.97 1.86 3/100 20133
/proc/meminfo: memFree=711536/2055920 swapFree=4192812/4192956
[pid=20125] ppid=20123 vsize=915676 CPUtime=6.19
/proc/20125/stat : 20125 (java) R 20123 20125 19370 0 -1 0 16170 0 1 0 610 9 0 0 25 0 8 0 156813360 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073982260 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20125/statm: 228919 15905 2513 14 0 215389 0
[pid=20125/tid=20127] ppid=20123 vsize=915676 CPUtime=0.09
/proc/20125/task/20127/stat : 20127 (java) S 20123 20125 19370 0 -1 64 1531 0 0 0 9 0 0 0 16 0 8 0 156813364 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20128] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20128/stat : 20128 (java) S 20123 20125 19370 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156813365 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20129] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20129/stat : 20129 (java) S 20123 20125 19370 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156813365 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20130] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20130/stat : 20130 (java) S 20123 20125 19370 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156813368 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20131] ppid=20123 vsize=915676 CPUtime=0.33
/proc/20125/task/20131/stat : 20131 (java) S 20123 20125 19370 0 -1 64 484 0 0 0 32 1 0 0 15 0 8 0 156813368 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20132] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20132/stat : 20132 (java) S 20123 20125 19370 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156813368 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20133] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20133/stat : 20133 (java) S 20123 20125 19370 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156813368 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915676
[startup+12.7698 s]
/proc/loadavg: 2.06 1.97 1.86 3/100 20133
/proc/meminfo: memFree=711728/2055920 swapFree=4192812/4192956
[pid=20125] ppid=20123 vsize=915676 CPUtime=12.63
/proc/20125/stat : 20125 (java) R 20123 20125 19370 0 -1 0 16170 0 1 0 1254 9 0 0 25 0 8 0 156813360 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073986161 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20125/statm: 228919 15905 2513 14 0 215389 0
[pid=20125/tid=20127] ppid=20123 vsize=915676 CPUtime=0.09
/proc/20125/task/20127/stat : 20127 (java) S 20123 20125 19370 0 -1 64 1531 0 0 0 9 0 0 0 16 0 8 0 156813364 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20128] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20128/stat : 20128 (java) S 20123 20125 19370 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156813365 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20129] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20129/stat : 20129 (java) S 20123 20125 19370 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156813365 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20130] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20130/stat : 20130 (java) S 20123 20125 19370 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156813368 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20131] ppid=20123 vsize=915676 CPUtime=0.33
/proc/20125/task/20131/stat : 20131 (java) S 20123 20125 19370 0 -1 64 484 0 0 0 32 1 0 0 15 0 8 0 156813368 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20132] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20132/stat : 20132 (java) S 20123 20125 19370 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156813368 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20133] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20133/stat : 20133 (java) S 20123 20125 19370 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156813368 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915676
[startup+25.6251 s]
/proc/loadavg: 2.05 1.97 1.86 3/100 20133
/proc/meminfo: memFree=711856/2055920 swapFree=4192812/4192956
[pid=20125] ppid=20123 vsize=915676 CPUtime=25.37
/proc/20125/stat : 20125 (java) R 20123 20125 19370 0 -1 0 16170 0 1 0 2528 9 0 0 25 0 8 0 156813360 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073960076 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20125/statm: 228919 15905 2513 14 0 215389 0
[pid=20125/tid=20127] ppid=20123 vsize=915676 CPUtime=0.09
/proc/20125/task/20127/stat : 20127 (java) S 20123 20125 19370 0 -1 64 1531 0 0 0 9 0 0 0 16 0 8 0 156813364 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20128] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20128/stat : 20128 (java) S 20123 20125 19370 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156813365 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20129] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20129/stat : 20129 (java) S 20123 20125 19370 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156813365 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20130] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20130/stat : 20130 (java) S 20123 20125 19370 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156813368 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20131] ppid=20123 vsize=915676 CPUtime=0.33
/proc/20125/task/20131/stat : 20131 (java) S 20123 20125 19370 0 -1 64 484 0 0 0 32 1 0 0 15 0 8 0 156813368 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20132] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20132/stat : 20132 (java) S 20123 20125 19370 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156813368 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20133] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20133/stat : 20133 (java) S 20123 20125 19370 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156813368 937652224 15905 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) 915676
[startup+51.2588 s]
/proc/loadavg: 2.03 1.97 1.87 3/100 20133
/proc/meminfo: memFree=711856/2055920 swapFree=4192812/4192956
[pid=20125] ppid=20123 vsize=915676 CPUtime=50.76
/proc/20125/stat : 20125 (java) R 20123 20125 19370 0 -1 0 16170 0 1 0 5067 9 0 0 25 0 8 0 156813360 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073991423 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20125/statm: 228919 15905 2513 14 0 215389 0
[pid=20125/tid=20127] ppid=20123 vsize=915676 CPUtime=0.09
/proc/20125/task/20127/stat : 20127 (java) S 20123 20125 19370 0 -1 64 1531 0 0 0 9 0 0 0 16 0 8 0 156813364 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20128] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20128/stat : 20128 (java) S 20123 20125 19370 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156813365 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20129] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20129/stat : 20129 (java) S 20123 20125 19370 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156813365 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20130] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20130/stat : 20130 (java) S 20123 20125 19370 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156813368 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20131] ppid=20123 vsize=915676 CPUtime=0.33
/proc/20125/task/20131/stat : 20131 (java) S 20123 20125 19370 0 -1 64 484 0 0 0 32 1 0 0 15 0 8 0 156813368 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20132] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20132/stat : 20132 (java) S 20123 20125 19370 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156813368 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20133] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20133/stat : 20133 (java) S 20123 20125 19370 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156813368 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 915676
[startup+102.519 s]
/proc/loadavg: 2.08 1.99 1.88 3/100 20133
/proc/meminfo: memFree=711920/2055920 swapFree=4192812/4192956
[pid=20125] ppid=20123 vsize=915676 CPUtime=101.56
/proc/20125/stat : 20125 (java) R 20123 20125 19370 0 -1 0 16170 0 1 0 10146 10 0 0 25 0 8 0 156813360 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073960076 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20125/statm: 228919 15905 2513 14 0 215389 0
[pid=20125/tid=20127] ppid=20123 vsize=915676 CPUtime=0.09
/proc/20125/task/20127/stat : 20127 (java) S 20123 20125 19370 0 -1 64 1531 0 0 0 9 0 0 0 16 0 8 0 156813364 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20128] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20128/stat : 20128 (java) S 20123 20125 19370 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156813365 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20129] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20129/stat : 20129 (java) S 20123 20125 19370 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156813365 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20130] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20130/stat : 20130 (java) S 20123 20125 19370 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156813368 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20131] ppid=20123 vsize=915676 CPUtime=0.33
/proc/20125/task/20131/stat : 20131 (java) S 20123 20125 19370 0 -1 64 484 0 0 0 32 1 0 0 15 0 8 0 156813368 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20132] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20132/stat : 20132 (java) S 20123 20125 19370 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156813368 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20133] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20133/stat : 20133 (java) S 20123 20125 19370 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156813368 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.56
Current children cumulated vsize (KiB) 915676
[startup+162.533 s]
/proc/loadavg: 2.03 1.99 1.88 4/100 20133
/proc/meminfo: memFree=711920/2055920 swapFree=4192812/4192956
[pid=20125] ppid=20123 vsize=915676 CPUtime=161.02
/proc/20125/stat : 20125 (java) R 20123 20125 19370 0 -1 0 16170 0 1 0 16092 10 0 0 25 0 8 0 156813360 937652224 15905 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073947191 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1413.3
Current children cumulated vsize (KiB) 915676
[startup+1483.1 s]
/proc/loadavg: 1.00 1.20 1.54 2/88 20599
/proc/meminfo: memFree=1319184/2055920 swapFree=4192812/4192956
[pid=20125] ppid=20123 vsize=915676 CPUtime=1473.31
/proc/20125/stat : 20125 (java) R 20123 20125 19370 0 -1 0 16173 0 1 0 147309 22 0 0 25 0 8 0 156813360 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073956551 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20125/statm: 228919 15906 2513 14 0 215389 0
[pid=20125/tid=20127] ppid=20123 vsize=915676 CPUtime=0.09
/proc/20125/task/20127/stat : 20127 (java) S 20123 20125 19370 0 -1 64 1531 0 0 0 9 0 0 0 16 0 8 0 156813364 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20128] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20128/stat : 20128 (java) S 20123 20125 19370 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156813365 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20129] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20129/stat : 20129 (java) S 20123 20125 19370 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156813365 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20130] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20130/stat : 20130 (java) S 20123 20125 19370 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156813368 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20131] ppid=20123 vsize=915676 CPUtime=0.33
/proc/20125/task/20131/stat : 20131 (java) S 20123 20125 19370 0 -1 64 485 0 0 0 32 1 0 0 16 0 8 0 156813368 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20132] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20132/stat : 20132 (java) S 20123 20125 19370 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156813368 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20133] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20133/stat : 20133 (java) S 20123 20125 19370 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156813368 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1473.31
Current children cumulated vsize (KiB) 915676
[startup+1543.13 s]
/proc/loadavg: 1.00 1.16 1.51 2/88 20605
/proc/meminfo: memFree=1320720/2055920 swapFree=4192812/4192956
[pid=20125] ppid=20123 vsize=915676 CPUtime=1533.31
/proc/20125/stat : 20125 (java) R 20123 20125 19370 0 -1 0 16173 0 1 0 153309 22 0 0 25 0 8 0 156813360 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073960936 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20125/statm: 228919 15906 2513 14 0 215389 0
[pid=20125/tid=20127] ppid=20123 vsize=915676 CPUtime=0.09
/proc/20125/task/20127/stat : 20127 (java) S 20123 20125 19370 0 -1 64 1531 0 0 0 9 0 0 0 16 0 8 0 156813364 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20128] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20128/stat : 20128 (java) S 20123 20125 19370 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156813365 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20129] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20129/stat : 20129 (java) S 20123 20125 19370 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156813365 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20130] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20130/stat : 20130 (java) S 20123 20125 19370 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156813368 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20131] ppid=20123 vsize=915676 CPUtime=0.33
/proc/20125/task/20131/stat : 20131 (java) S 20123 20125 19370 0 -1 64 485 0 0 0 32 1 0 0 16 0 8 0 156813368 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20132] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20132/stat : 20132 (java) S 20123 20125 19370 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156813368 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20133] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20133/stat : 20133 (java) S 20123 20125 19370 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156813368 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1533.31
Current children cumulated vsize (KiB) 915676
[startup+1603.19 s]
/proc/loadavg: 1.00 1.13 1.47 2/88 20655
/proc/meminfo: memFree=1318992/2055920 swapFree=4192812/4192956
[pid=20125] ppid=20123 vsize=915676 CPUtime=1593.32
/proc/20125/stat : 20125 (java) R 20123 20125 19370 0 -1 0 16173 0 1 0 159309 23 0 0 25 0 8 0 156813360 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073975088 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20125/statm: 228919 15906 2513 14 0 215389 0
[pid=20125/tid=20127] ppid=20123 vsize=915676 CPUtime=0.09
/proc/20125/task/20127/stat : 20127 (java) S 20123 20125 19370 0 -1 64 1531 0 0 0 9 0 0 0 16 0 8 0 156813364 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20128] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20128/stat : 20128 (java) S 20123 20125 19370 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156813365 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20129] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20129/stat : 20129 (java) S 20123 20125 19370 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156813365 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20130] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20130/stat : 20130 (java) S 20123 20125 19370 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156813368 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20131] ppid=20123 vsize=915676 CPUtime=0.33
/proc/20125/task/20131/stat : 20131 (java) S 20123 20125 19370 0 -1 64 485 0 0 0 32 1 0 0 16 0 8 0 156813368 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20132] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20132/stat : 20132 (java) S 20123 20125 19370 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156813368 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20133] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20133/stat : 20133 (java) S 20123 20125 19370 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156813368 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1593.32
Current children cumulated vsize (KiB) 915676
[startup+1663.23 s]
/proc/loadavg: 1.00 1.11 1.44 2/88 20658
/proc/meminfo: memFree=1320656/2055920 swapFree=4192812/4192956
[pid=20125] ppid=20123 vsize=915676 CPUtime=1653.33
/proc/20125/stat : 20125 (java) R 20123 20125 19370 0 -1 0 16173 0 1 0 165309 24 0 0 25 0 8 0 156813360 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073966375 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20125/statm: 228919 15906 2513 14 0 215389 0
[pid=20125/tid=20127] ppid=20123 vsize=915676 CPUtime=0.09
/proc/20125/task/20127/stat : 20127 (java) S 20123 20125 19370 0 -1 64 1531 0 0 0 9 0 0 0 16 0 8 0 156813364 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20128] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20128/stat : 20128 (java) S 20123 20125 19370 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156813365 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20129] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20129/stat : 20129 (java) S 20123 20125 19370 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156813365 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20130] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20130/stat : 20130 (java) S 20123 20125 19370 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156813368 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20131] ppid=20123 vsize=915676 CPUtime=0.33
/proc/20125/task/20131/stat : 20131 (java) S 20123 20125 19370 0 -1 64 485 0 0 0 32 1 0 0 16 0 8 0 156813368 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20132] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20132/stat : 20132 (java) S 20123 20125 19370 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156813368 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20133] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20133/stat : 20133 (java) S 20123 20125 19370 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156813368 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1653.33
Current children cumulated vsize (KiB) 915676
[startup+1723.27 s]
/proc/loadavg: 1.00 1.08 1.41 2/88 20713
/proc/meminfo: memFree=1318288/2055920 swapFree=4192812/4192956
[pid=20125] ppid=20123 vsize=915676 CPUtime=1713.32
/proc/20125/stat : 20125 (java) R 20123 20125 19370 0 -1 0 16173 0 1 0 171307 25 0 0 25 0 8 0 156813360 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073960076 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20125/statm: 228919 15906 2513 14 0 215389 0
[pid=20125/tid=20127] ppid=20123 vsize=915676 CPUtime=0.09
/proc/20125/task/20127/stat : 20127 (java) S 20123 20125 19370 0 -1 64 1531 0 0 0 9 0 0 0 16 0 8 0 156813364 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20128] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20128/stat : 20128 (java) S 20123 20125 19370 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156813365 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20129] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20129/stat : 20129 (java) S 20123 20125 19370 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156813365 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20130] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20130/stat : 20130 (java) S 20123 20125 19370 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156813368 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20131] ppid=20123 vsize=915676 CPUtime=0.33
/proc/20125/task/20131/stat : 20131 (java) S 20123 20125 19370 0 -1 64 485 0 0 0 32 1 0 0 16 0 8 0 156813368 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20132] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20132/stat : 20132 (java) S 20123 20125 19370 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156813368 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20133] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20133/stat : 20133 (java) S 20123 20125 19370 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156813368 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1713.32
Current children cumulated vsize (KiB) 915676
[startup+1783.31 s]
/proc/loadavg: 1.15 1.10 1.39 3/100 20761
/proc/meminfo: memFree=1294192/2055920 swapFree=4192812/4192956
[pid=20125] ppid=20123 vsize=915676 CPUtime=1773.33
/proc/20125/stat : 20125 (java) R 20123 20125 19370 0 -1 0 16173 0 1 0 177307 26 0 0 25 0 8 0 156813360 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073982180 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20125/statm: 228919 15906 2513 14 0 215389 0
[pid=20125/tid=20127] ppid=20123 vsize=915676 CPUtime=0.09
/proc/20125/task/20127/stat : 20127 (java) S 20123 20125 19370 0 -1 64 1531 0 0 0 9 0 0 0 16 0 8 0 156813364 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20128] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20128/stat : 20128 (java) S 20123 20125 19370 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156813365 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20129] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20129/stat : 20129 (java) S 20123 20125 19370 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156813365 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20130] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20130/stat : 20130 (java) S 20123 20125 19370 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156813368 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20131] ppid=20123 vsize=915676 CPUtime=0.33
/proc/20125/task/20131/stat : 20131 (java) S 20123 20125 19370 0 -1 64 485 0 0 0 32 1 0 0 16 0 8 0 156813368 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20132] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20132/stat : 20132 (java) S 20123 20125 19370 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156813368 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20133] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20133/stat : 20133 (java) S 20123 20125 19370 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156813368 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1773.33
Current children cumulated vsize (KiB) 915676
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.04 s]
/proc/loadavg: 1.44 1.17 1.41 3/100 20761
/proc/meminfo: memFree=1294000/2055920 swapFree=4192812/4192956
[pid=20125] ppid=20123 vsize=915676 CPUtime=1800.05
/proc/20125/stat : 20125 (java) R 20123 20125 19370 0 -1 0 16173 0 1 0 179979 26 0 0 25 0 8 0 156813360 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20125/statm: 228919 15906 2513 14 0 215389 0
[pid=20125/tid=20127] ppid=20123 vsize=915676 CPUtime=0.09
/proc/20125/task/20127/stat : 20127 (java) S 20123 20125 19370 0 -1 64 1531 0 0 0 9 0 0 0 16 0 8 0 156813364 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20128] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20128/stat : 20128 (java) S 20123 20125 19370 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156813365 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20129] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20129/stat : 20129 (java) S 20123 20125 19370 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156813365 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20130] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20130/stat : 20130 (java) S 20123 20125 19370 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156813368 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20131] ppid=20123 vsize=915676 CPUtime=0.33
/proc/20125/task/20131/stat : 20131 (java) S 20123 20125 19370 0 -1 64 485 0 0 0 32 1 0 0 16 0 8 0 156813368 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20132] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20132/stat : 20132 (java) S 20123 20125 19370 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156813368 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20125/tid=20133] ppid=20123 vsize=915676 CPUtime=0
/proc/20125/task/20133/stat : 20133 (java) S 20123 20125 19370 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156813368 937652224 15906 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915676
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1810.08
CPU time (s): 1800.09
CPU user time (s): 1799.82
CPU system time (s): 0.270958
CPU usage (%): 99.448
Max. virtual memory (cumulated for all children) (KiB): 915780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.82
system time used= 0.270958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16190
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= 37981
involuntary context switches= 74760
runsolver used 2.31265 s user time and 5.2392 s system time
The end
Begin job on node7 on Sat Jan 6 11:49:39 UTC 2007
IDJOB= 239080
IDBENCH= 7037
FILE ID= node7/239080-1168084179
PBS_JOBID= 3475880
Free space on /tmp= 66544 MiB
BENCH NAME= HOME/pub/bench/CPAI06/qcp-qwh/QCP-25/qcp-25-264-9_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/239080-1168084179/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-239080-1168084179 -o ROOT/results/node7/solver-239080-1168084179 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/239080-1168084179/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= f5b1acb594977105c0d760db9d8ce3bc
RANDOM SEED= 780386092
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.220
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.220
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: 766024 kB
Buffers: 79188 kB
Cached: 440060 kB
SwapCached: 0 kB
Active: 925756 kB
Inactive: 259712 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 766024 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2728 kB
Writeback: 0 kB
Mapped: 694252 kB
Slab: 87732 kB
Committed_AS: 5107956 kB
PageTables: 3584 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= 66546 MiB
End job on node7 on Sat Jan 6 12:19:57 UTC 2007