0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/232984-1168081324/unknown.xml
0.36
0.36 domains being loaded...
0.42
0.42 variables being loaded...
0.53 nbVariables=400 nbDomainTypes=400 minDomainSize=1212 maxDomainSize=1310
0.53 => wckTime=0.224 cpuTime=0.16 mem=20M630
0.53
0.53 predicates being loaded...
0.53
0.53 constraints being loaded...
4.80
4.80 INFO : Stopping converting binary constraints (cpu=4.32, mem = 38M158)
5.91 nbConstraints=7600 nbConvertedConstraints=10 nbConvertConstraintsChecks=15924190 nbExtensionStructures=10
5.91 nbSharedExtensionStructures=0 nbConflictsStructures=10 nbSharedConflictsStructures=0
5.91 nbSharedBinaryRepresentations=2511 nbEvaluationManagers=7590 nbSharedEvaluationManagers=0 maxDegree=38
5.91 maxArity=2
5.91 => wckTime=5.609 cpuTime=5.25 mem=55M971
6.05
6.05 solver IterativeSystematicSolver being built...
6.50 => wckTime=6.193 cpuTime=5.54 mem=127M620
38.39
38.39 preprocessing
38.39 nbConstraintChecks=84256575 nbValidityChecks=527095 nbPropagations=400 nbRevisions=15180
38.39 nbUselessRevisions=15180 nbRemovedValues=0 detectedInconsistency=no
38.39 => wckTime=31.866 cpuTime=31.52 mem=127M620
119.51
119.51 search
119.51 run=0 nbConstraintChecks=176986748 nbValidityChecks=191505519 nbPropagations=10936 nbRevisions=303273
119.51 nbUselessRevisions=284925 nbAssignments=622 nbFailedAssignments=452 nbBacktracks=10 nbVisitedNodes=1085
119.51 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=70
119.51 => wckTime=112.993 cpuTime=111.95 mem=133M570
198.44
198.44 search
198.44 run=1 nbConstraintChecks=352798987 nbValidityChecks=379641758 nbPropagations=37523 nbRevisions=967687
198.44 nbUselessRevisions=902625 nbAssignments=1677 nbFailedAssignments=1258 nbBacktracks=25 nbVisitedNodes=2961
198.44 nbRestartNogoods=10 mapSize=25 nbInferences=0 nbTooLargeKeys=140
198.44 => wckTime=191.918 cpuTime=190.83 mem=140M434
259.21
259.21 search
259.21 run=2 nbConstraintChecks=491318298 nbValidityChecks=514600187 nbPropagations=72085 nbRevisions=1831922
259.21 nbUselessRevisions=1707392 nbAssignments=2200 nbFailedAssignments=1468 nbBacktracks=47 nbVisitedNodes=3726
259.21 nbRestartNogoods=25 mapSize=47 nbInferences=12 nbTooLargeKeys=211
259.21 => wckTime=252.694 cpuTime=251.5 mem=126M11
313.45
313.45 search
313.45 run=3 nbConstraintChecks=607500832 nbValidityChecks=679842933 nbPropagations=116707 nbRevisions=2954135
313.45 nbUselessRevisions=2751798 nbAssignments=2804 nbFailedAssignments=1819 nbBacktracks=80 nbVisitedNodes=4714
313.45 nbRestartNogoods=68 mapSize=80 nbInferences=12 nbTooLargeKeys=278
313.45 => wckTime=306.93 cpuTime=305.72 mem=133M380
369.84
369.84 search
369.84 run=4 nbConstraintChecks=723048057 nbValidityChecks=858504827 nbPropagations=178801 nbRevisions=4450983
369.84 nbUselessRevisions=4137952 nbAssignments=3939 nbFailedAssignments=2634 nbBacktracks=130 nbVisitedNodes=6712
369.84 nbRestartNogoods=72 mapSize=128 nbInferences=12 nbTooLargeKeys=343
369.84 => wckTime=363.315 cpuTime=362.09 mem=141M161
427.30
427.30 search
427.30 run=5 nbConstraintChecks=846819208 nbValidityChecks=1004472360 nbPropagations=249550 nbRevisions=6171719
427.30 nbUselessRevisions=5733741 nbAssignments=4502 nbFailedAssignments=2793 nbBacktracks=134 nbVisitedNodes=7438
427.30 nbRestartNogoods=142 mapSize=132 nbInferences=12 nbTooLargeKeys=412
427.30 => wckTime=420.778 cpuTime=419.52 mem=150M477
427.30
427.30 global
427.30 nbConstraintChecks=931075783 nbValidityChecks=1004999455 nbPropagations=249950 nbRevisions=6186899
427.30 nbUselessRevisions=5748921 nbRestartNogoods=142 solvingWckTime=420.779 solvingCpuTime=419.52 expiredTime=no
427.30 totalExploration=no nbFoundSolutions=1 globalCpuTime=425.12
427.30 => wckTime=426.996 cpuTime=425.08 mem=150M477
427.30
427.30 s SATISFIABLE
427.30 v 1030 646 716 437 159 145 92 180 548 1217 923 1082 974 574 1150 500 1180 347 267 832 836 0 335 266 1244 470 624 461 517 528 430 1061 177 154 86 155 1150 669 784 916 585 251 60 716 284 1023 1172 854 745 1090 553 595 399 922 1149 0 356 140 465 156 1082 109 843 509 1290 9 11 0 267 676 363 333 170 451 176 608 766 346 918 978 1164 96 696 205 101 979 874 731 356 655 129 902 515 587 1097 432 285 1047 0 764 891 576 92 0 282 669 1217 60 1067 346 188 746 1168 809 436 978 1018 843 513 806 1210 863 356 255 1258 1164 995 155 170 60 1018 666 568 736 240 525 0 954 429 836 403 432 152 202 84 676 659 266 790 764 11 1021 860 1149 1061 364 1266 594 918 526 1238 1067 0 507 1164 745 260 57 543 808 1248 1032 962 666 174 600 71 154 863 366 283 600 568 186 1061 108 1023 1258 1202 965 754 402 666 347 478 1094 881 810 0 93 736 888 976 840 1230 61 1164 264 696 290 1123 434 0 155 1038 197 586 597 499 335 282 748 1205 71 277 999 176 0 1112 881 343 364 94 478 683 1190 567 333 1061 600 754 696 978 941 1060 623 892 170 91 60 1160 1037 237 0 314 79 808 550 486 388 1094 996 822 644 177 1282 401 0 290 878 473 356 731 470 108 941 60 194 11 548 663 922 129 0 748 838 528 60 600 363 224 885 285 41 862 874 810 446 264 784 1228 1173 916 646 145 806 683 567 845 976 282 1036 746 1161 1113 486 0 202 417 333 1221 86 977 270 1094 9 430 1059 205 838 0 938 517 366 1130 159 55 84 371 687 240 0 878 90 465 500 687 356 420 810 1168 1037 93 608 156 515 965 764 1113 345 1001 1287 284 0 451 347 586 1164 331 784 1038 822 99 912 1213 680 188 754 860 526 429 891 517 33 79 806 1221 0 346 663 696 270 978 1094 766 96 830 194 585 707
427.30 d NODES 4502
427.30 d CHECKS 931075783
427.30
427.30 totalWckTime=427.074 totalCpuTime=425.12
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node21/watcher-232984-1168081324 -o ROOT/results/node21/solver-232984-1168081324 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/232984-1168081324/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: 0.25 0.22 0.65 4/99 22340
/proc/meminfo: memFree=1528488/2055920 swapFree=4192812/4192956
[pid=22339] ppid=22337 vsize=18540 CPUtime=0
/proc/22339/stat : 22339 (runsolver) R 22337 22339 21837 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 156528141 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 221236489511 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/22339/statm: 4635 279 244 17 0 2626 0
[startup+0.107584 s]
/proc/loadavg: 0.25 0.22 0.65 4/99 22340
/proc/meminfo: memFree=1528488/2055920 swapFree=4192812/4192956
[pid=22339] ppid=22337 vsize=914988 CPUtime=0.09
/proc/22339/stat : 22339 (java) R 22337 22339 21837 0 -1 0 3050 0 1 0 7 2 0 0 22 0 8 0 156528141 936947712 2796 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 8898348 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22339/statm: 228747 2796 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515662 s]
/proc/loadavg: 0.25 0.22 0.65 4/99 22340
/proc/meminfo: memFree=1528488/2055920 swapFree=4192812/4192956
[pid=22339] ppid=22337 vsize=915328 CPUtime=0.49
/proc/22339/stat : 22339 (java) R 22337 22339 21837 0 -1 0 8753 0 1 0 44 5 0 0 25 0 8 0 156528141 937295872 8492 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072896995 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22339/statm: 228832 8492 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33681 s]
/proc/loadavg: 0.55 0.28 0.67 3/106 22349
/proc/meminfo: memFree=1457392/2055920 swapFree=4192812/4192956
[pid=22339] ppid=22337 vsize=915632 CPUtime=1.3
/proc/22339/stat : 22339 (java) R 22337 22339 21837 0 -1 0 20104 0 1 0 119 11 0 0 25 0 8 0 156528141 937607168 19842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796541 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22339/statm: 228908 19842 2178 14 0 215378 0
[pid=22339/tid=22341] ppid=22337 vsize=915632 CPUtime=0.03
/proc/22339/task/22341/stat : 22341 (java) S 22337 22339 21837 0 -1 64 3510 0 0 0 2 1 0 0 16 0 8 0 156528145 937607168 19842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22342] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22342/stat : 22342 (java) S 22337 22339 21837 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156528145 937607168 19842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22343] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22343/stat : 22343 (java) S 22337 22339 21837 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156528145 937607168 19842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22344] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22344/stat : 22344 (java) S 22337 22339 21837 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156528148 937607168 19842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22345] ppid=22337 vsize=915632 CPUtime=0.15
/proc/22339/task/22345/stat : 22345 (java) S 22337 22339 21837 0 -1 64 402 0 0 0 15 0 0 0 16 0 8 0 156528148 937607168 19842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22346] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22346/stat : 22346 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156528148 937607168 19842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22347] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22347/stat : 22347 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156528148 937607168 19842 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915632
[startup+2.98212 s]
/proc/loadavg: 0.55 0.28 0.67 3/106 22349
/proc/meminfo: memFree=1457328/2055920 swapFree=4192812/4192956
[pid=22339] ppid=22337 vsize=915632 CPUtime=2.93
/proc/22339/stat : 22339 (java) R 22337 22339 21837 0 -1 0 20109 0 1 0 282 11 0 0 25 0 8 0 156528141 937607168 19846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792066 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22339/statm: 228908 19846 2178 14 0 215378 0
[pid=22339/tid=22341] ppid=22337 vsize=915632 CPUtime=0.03
/proc/22339/task/22341/stat : 22341 (java) S 22337 22339 21837 0 -1 64 3510 0 0 0 2 1 0 0 16 0 8 0 156528145 937607168 19846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22342] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22342/stat : 22342 (java) S 22337 22339 21837 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156528145 937607168 19846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22343] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22343/stat : 22343 (java) S 22337 22339 21837 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156528145 937607168 19846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22344] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22344/stat : 22344 (java) S 22337 22339 21837 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156528148 937607168 19846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22345] ppid=22337 vsize=915632 CPUtime=0.15
/proc/22339/task/22345/stat : 22345 (java) S 22337 22339 21837 0 -1 64 405 0 0 0 15 0 0 0 16 0 8 0 156528148 937607168 19846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22346] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22346/stat : 22346 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156528148 937607168 19846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22347] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22347/stat : 22347 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156528148 937607168 19846 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915632
[startup+6.27275 s]
/proc/loadavg: 0.55 0.28 0.67 3/106 22351
/proc/meminfo: memFree=1441648/2055920 swapFree=4192812/4192956
[pid=22339] ppid=22337 vsize=915632 CPUtime=6.18
/proc/22339/stat : 22339 (java) R 22337 22339 21837 0 -1 0 33343 0 1 0 602 16 0 0 25 0 8 0 156528141 937607168 33077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073544994 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22339/statm: 228908 33077 2498 14 0 215378 0
[pid=22339/tid=22341] ppid=22337 vsize=915632 CPUtime=0.32
/proc/22339/task/22341/stat : 22341 (java) S 22337 22339 21837 0 -1 64 16340 0 0 0 26 6 0 0 16 0 8 0 156528145 937607168 33077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22342] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22342/stat : 22342 (java) S 22337 22339 21837 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156528145 937607168 33077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22343] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22343/stat : 22343 (java) S 22337 22339 21837 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156528145 937607168 33077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22344] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22344/stat : 22344 (java) S 22337 22339 21837 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156528148 937607168 33077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22345] ppid=22337 vsize=915632 CPUtime=0.22
/proc/22339/task/22345/stat : 22345 (java) S 22337 22339 21837 0 -1 64 451 0 0 0 21 1 0 0 15 0 8 0 156528148 937607168 33077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22346] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22346/stat : 22346 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156528148 937607168 33077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22347] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22347/stat : 22347 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156528148 937607168 33077 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915632
[startup+12.754 s]
/proc/loadavg: 0.77 0.34 0.68 3/106 22355
/proc/meminfo: memFree=1369584/2055920 swapFree=4192812/4192956
[pid=22339] ppid=22337 vsize=915632 CPUtime=12.61
/proc/22339/stat : 22339 (java) R 22337 22339 21837 0 -1 0 42370 0 1 0 1240 21 0 0 25 0 8 0 156528141 937607168 42099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074032311 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22339/statm: 228908 42099 2533 14 0 215378 0
[pid=22339/tid=22341] ppid=22337 vsize=915632 CPUtime=0.39
/proc/22339/task/22341/stat : 22341 (java) S 22337 22339 21837 0 -1 64 25277 0 0 0 30 9 0 0 17 0 8 0 156528145 937607168 42099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22342] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22342/stat : 22342 (java) S 22337 22339 21837 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156528145 937607168 42099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22343] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22343/stat : 22343 (java) S 22337 22339 21837 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156528145 937607168 42099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22344] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22344/stat : 22344 (java) S 22337 22339 21837 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156528148 937607168 42099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22345] ppid=22337 vsize=915632 CPUtime=0.26
/proc/22339/task/22345/stat : 22345 (java) S 22337 22339 21837 0 -1 64 479 0 0 0 25 1 0 0 16 0 8 0 156528148 937607168 42099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22346] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22346/stat : 22346 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156528148 937607168 42099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22347] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22347/stat : 22347 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156528148 937607168 42099 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915632
[startup+25.6104 s]
/proc/loadavg: 0.96 0.39 0.69 3/100 22379
/proc/meminfo: memFree=1370656/2055920 swapFree=4192812/4192956
[pid=22339] ppid=22337 vsize=915632 CPUtime=25.33
/proc/22339/stat : 22339 (java) R 22337 22339 21837 0 -1 0 42372 0 1 0 2511 22 0 0 25 0 8 0 156528141 937607168 42100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479187 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22339/statm: 228908 42100 2533 14 0 215378 0
[pid=22339/tid=22341] ppid=22337 vsize=915632 CPUtime=0.39
/proc/22339/task/22341/stat : 22341 (java) S 22337 22339 21837 0 -1 64 25277 0 0 0 30 9 0 0 16 0 8 0 156528145 937607168 42100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22342] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22342/stat : 22342 (java) S 22337 22339 21837 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156528145 937607168 42100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22343] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22343/stat : 22343 (java) S 22337 22339 21837 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156528145 937607168 42100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22344] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22344/stat : 22344 (java) S 22337 22339 21837 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156528148 937607168 42100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22345] ppid=22337 vsize=915632 CPUtime=0.26
/proc/22339/task/22345/stat : 22345 (java) S 22337 22339 21837 0 -1 64 481 0 0 0 25 1 0 0 15 0 8 0 156528148 937607168 42100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22346] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22346/stat : 22346 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156528148 937607168 42100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22347] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22347/stat : 22347 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156528148 937607168 42100 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 915632
[startup+51.2152 s]
/proc/loadavg: 1.37 0.55 0.73 3/100 22379
/proc/meminfo: memFree=1370656/2055920 swapFree=4192812/4192956
[pid=22339] ppid=22337 vsize=915632 CPUtime=50.7
/proc/22339/stat : 22339 (java) R 22337 22339 21837 0 -1 0 42385 0 1 0 5048 22 0 0 25 0 8 0 156528141 937607168 42108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792263 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22339/statm: 228908 42108 2534 14 0 215378 0
[pid=22339/tid=22341] ppid=22337 vsize=915632 CPUtime=0.39
/proc/22339/task/22341/stat : 22341 (java) S 22337 22339 21837 0 -1 64 25277 0 0 0 30 9 0 0 16 0 8 0 156528145 937607168 42108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22342] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22342/stat : 22342 (java) S 22337 22339 21837 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156528145 937607168 42108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22343] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22343/stat : 22343 (java) S 22337 22339 21837 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156528145 937607168 42108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22344] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22344/stat : 22344 (java) S 22337 22339 21837 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156528148 937607168 42108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22345] ppid=22337 vsize=915632 CPUtime=0.27
/proc/22339/task/22345/stat : 22345 (java) S 22337 22339 21837 0 -1 64 487 0 0 0 26 1 0 0 17 0 8 0 156528148 937607168 42108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22346] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22346/stat : 22346 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156528148 937607168 42108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22347] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22347/stat : 22347 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156528148 937607168 42108 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 915632
[startup+102.431 s]
/proc/loadavg: 1.72 0.77 0.80 3/100 22379
/proc/meminfo: memFree=1370656/2055920 swapFree=4192812/4192956
[pid=22339] ppid=22337 vsize=915632 CPUtime=101.42
/proc/22339/stat : 22339 (java) R 22337 22339 21837 0 -1 0 42394 0 1 0 10120 22 0 0 25 0 8 0 156528141 937607168 42112 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788700 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/22339/statm: 228908 42112 2534 14 0 215378 0
[pid=22339/tid=22341] ppid=22337 vsize=915632 CPUtime=0.39
/proc/22339/task/22341/stat : 22341 (java) S 22337 22339 21837 0 -1 64 25277 0 0 0 30 9 0 0 16 0 8 0 156528145 937607168 42112 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22342] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22342/stat : 22342 (java) S 22337 22339 21837 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156528145 937607168 42112 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22343] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22343/stat : 22343 (java) S 22337 22339 21837 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156528145 937607168 42112 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22344] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22344/stat : 22344 (java) S 22337 22339 21837 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156528148 937607168 42112 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22345] ppid=22337 vsize=915632 CPUtime=0.28
/proc/22339/task/22345/stat : 22345 (java) S 22337 22339 21837 0 -1 64 495 0 0 0 27 1 0 0 15 0 8 0 156528148 937607168 42112 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22346] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22346/stat : 22346 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156528148 937607168 42112 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22347] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22347/stat : 22347 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156528148 937607168 42112 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.42
Current children cumulated vsize (KiB) 915632
[startup+162.47 s]
/proc/loadavg: 1.93 1.00 0.87 3/100 22435
/proc/meminfo: memFree=1464352/2055920 swapFree=4192812/4192956
[pid=22339] ppid=22337 vsize=915632 CPUtime=161.38
/proc/22339/stat : 22339 (java) R 22337 22339 21837 0 -1 0 42412 0 1 0 16115 23 0 0 25 0 8 0 156528141 937607168 42124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073788726 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22339/statm: 228908 42124 2538 14 0 215378 0
[pid=22339/tid=22341] ppid=22337 vsize=915632 CPUtime=0.39
/proc/22339/task/22341/stat : 22341 (java) S 22337 22339 21837 0 -1 64 25278 0 0 0 30 9 0 0 16 0 8 0 156528145 937607168 42124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22339/tid=22342] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22342/stat : 22342 (java) S 22337 22339 21837 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156528145 937607168 42124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22343] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22343/stat : 22343 (java) S 22337 22339 21837 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156528145 937607168 42124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22344] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22344/stat : 22344 (java) S 22337 22339 21837 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156528148 937607168 42124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22345] ppid=22337 vsize=915632 CPUtime=0.29
/proc/22339/task/22345/stat : 22345 (java) S 22337 22339 21837 0 -1 64 501 0 0 0 28 1 0 0 16 0 8 0 156528148 937607168 42124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22339/tid=22346] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22346/stat : 22346 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156528148 937607168 42124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22347] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22347/stat : 22347 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156528148 937607168 42124 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 161.38
Current children cumulated vsize (KiB) 915632
[startup+222.545 s]
/proc/loadavg: 1.97 1.18 0.94 3/100 22435
/proc/meminfo: memFree=1463520/2055920 swapFree=4192812/4192956
[pid=22339] ppid=22337 vsize=915632 CPUtime=221.43
/proc/22339/stat : 22339 (java) R 22337 22339 21837 0 -1 0 42428 0 1 0 22119 24 0 0 25 0 8 0 156528141 937607168 42133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074043180 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22339/statm: 228908 42133 2538 14 0 215378 0
[pid=22339/tid=22341] ppid=22337 vsize=915632 CPUtime=0.39
/proc/22339/task/22341/stat : 22341 (java) S 22337 22339 21837 0 -1 64 25278 0 0 0 30 9 0 0 16 0 8 0 156528145 937607168 42133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22339/tid=22342] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22342/stat : 22342 (java) S 22337 22339 21837 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156528145 937607168 42133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22343] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22343/stat : 22343 (java) S 22337 22339 21837 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156528145 937607168 42133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22344] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22344/stat : 22344 (java) S 22337 22339 21837 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156528148 937607168 42133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22345] ppid=22337 vsize=915632 CPUtime=0.31
/proc/22339/task/22345/stat : 22345 (java) S 22337 22339 21837 0 -1 64 515 0 0 0 30 1 0 0 16 0 8 0 156528148 937607168 42133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22339/tid=22346] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22346/stat : 22346 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156528148 937607168 42133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22347] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22347/stat : 22347 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156528148 937607168 42133 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.43
Current children cumulated vsize (KiB) 915632
[startup+282.613 s]
/proc/loadavg: 1.99 1.33 1.01 3/100 22435
/proc/meminfo: memFree=1434080/2055920 swapFree=4192812/4192956
[pid=22339] ppid=22337 vsize=915632 CPUtime=281.48
/proc/22339/stat : 22339 (java) R 22337 22339 21837 0 -1 0 49038 0 1 0 28121 27 0 0 25 0 8 0 156528141 937607168 48741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791416 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22339/statm: 228908 48741 2538 14 0 215378 0
[pid=22339/tid=22341] ppid=22337 vsize=915632 CPUtime=0.45
/proc/22339/task/22341/stat : 22341 (java) S 22337 22339 21837 0 -1 64 31882 0 0 0 33 12 0 0 16 0 8 0 156528145 937607168 48741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22339/tid=22342] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22342/stat : 22342 (java) S 22337 22339 21837 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156528145 937607168 48741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22339/tid=22343] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22343/stat : 22343 (java) S 22337 22339 21837 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156528145 937607168 48741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22339/tid=22344] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22344/stat : 22344 (java) S 22337 22339 21837 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156528148 937607168 48741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22345] ppid=22337 vsize=915632 CPUtime=0.32
/proc/22339/task/22345/stat : 22345 (java) S 22337 22339 21837 0 -1 64 520 0 0 0 31 1 0 0 15 0 8 0 156528148 937607168 48741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22339/tid=22346] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22346/stat : 22346 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156528148 937607168 48741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22347] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22347/stat : 22347 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156528148 937607168 48741 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 281.48
Current children cumulated vsize (KiB) 915632
[startup+342.678 s]
/proc/loadavg: 1.99 1.45 1.06 3/100 22435
/proc/meminfo: memFree=1406944/2055920 swapFree=4192812/4192956
[pid=22339] ppid=22337 vsize=915632 CPUtime=341.53
/proc/22339/stat : 22339 (java) R 22337 22339 21837 0 -1 0 49041 0 1 0 34125 28 0 0 25 0 8 0 156528141 937607168 48742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073792208 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22339/statm: 228908 48742 2538 14 0 215378 0
[pid=22339/tid=22341] ppid=22337 vsize=915632 CPUtime=0.45
/proc/22339/task/22341/stat : 22341 (java) S 22337 22339 21837 0 -1 64 31882 0 0 0 33 12 0 0 16 0 8 0 156528145 937607168 48742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22339/tid=22342] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22342/stat : 22342 (java) S 22337 22339 21837 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156528145 937607168 48742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22339/tid=22343] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22343/stat : 22343 (java) S 22337 22339 21837 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156528145 937607168 48742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22339/tid=22344] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22344/stat : 22344 (java) S 22337 22339 21837 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156528148 937607168 48742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22345] ppid=22337 vsize=915632 CPUtime=0.33
/proc/22339/task/22345/stat : 22345 (java) S 22337 22339 21837 0 -1 64 521 0 0 0 32 1 0 0 16 0 8 0 156528148 937607168 48742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22339/tid=22346] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22346/stat : 22346 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156528148 937607168 48742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22347] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22347/stat : 22347 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156528148 937607168 48742 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 341.53
Current children cumulated vsize (KiB) 915632
[startup+402.751 s]
/proc/loadavg: 1.99 1.55 1.12 3/100 22435
/proc/meminfo: memFree=1406880/2055920 swapFree=4192812/4192956
[pid=22339] ppid=22337 vsize=915632 CPUtime=401.59
/proc/22339/stat : 22339 (java) R 22337 22339 21837 0 -1 0 49043 0 1 0 40130 29 0 0 25 0 8 0 156528141 937607168 48743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073790944 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/22339/statm: 228908 48743 2538 14 0 215378 0
[pid=22339/tid=22341] ppid=22337 vsize=915632 CPUtime=0.45
/proc/22339/task/22341/stat : 22341 (java) S 22337 22339 21837 0 -1 64 31882 0 0 0 33 12 0 0 16 0 8 0 156528145 937607168 48743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=22339/tid=22342] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22342/stat : 22342 (java) S 22337 22339 21837 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156528145 937607168 48743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22339/tid=22343] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22343/stat : 22343 (java) S 22337 22339 21837 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156528145 937607168 48743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22339/tid=22344] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22344/stat : 22344 (java) S 22337 22339 21837 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156528148 937607168 48743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22345] ppid=22337 vsize=915632 CPUtime=0.33
/proc/22339/task/22345/stat : 22345 (java) S 22337 22339 21837 0 -1 64 522 0 0 0 32 1 0 0 16 0 8 0 156528148 937607168 48743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=22339/tid=22346] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22346/stat : 22346 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 156528148 937607168 48743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=22339/tid=22347] ppid=22337 vsize=915632 CPUtime=0
/proc/22339/task/22347/stat : 22347 (java) S 22337 22339 21837 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156528148 937607168 48743 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 401.59
Current children cumulated vsize (KiB) 915632
Child status: 0
Real time (s): 427.387
CPU time (s): 426.173
CPU user time (s): 425.847
CPU system time (s): 0.32595
CPU usage (%): 99.716
Max. virtual memory (cumulated for all children) (KiB): 915632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 425.847
system time used= 0.32595
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49052
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= 10275
involuntary context switches= 15607
runsolver used 0.565913 s user time and 1.25581 s system time
The end
Begin job on node21 on Sat Jan 6 11:02:09 UTC 2007
IDJOB= 232984
IDBENCH= 6573
FILE ID= node21/232984-1168081324
PBS_JOBID= 3476202
Free space on /tmp= 66543 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-20/os-taillard-20-100-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/232984-1168081324/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-232984-1168081324 -o ROOT/results/node21/solver-232984-1168081324 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/232984-1168081324/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a952f77e6486671336c6f7fb8be515ed
RANDOM SEED= 715966994
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.261
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.261
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: 1616392 kB
Buffers: 34948 kB
Cached: 197748 kB
SwapCached: 0 kB
Active: 255916 kB
Inactive: 111620 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1616392 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5520 kB
Writeback: 0 kB
Mapped: 163436 kB
Slab: 56388 kB
Committed_AS: 3779168 kB
PageTables: 2564 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= 66543 MiB
End job on node21 on Sat Jan 6 11:09:25 UTC 2007