0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/212039-1168076634/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=100 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.42 => wckTime=0.098 cpuTime=0.09 mem=6M951
0.42
0.42 predicates being loaded...
0.46
0.46 constraints being loaded...
0.62 nbConstraints=21 nbMergedConstraints=21 nbConflictsStructures=2 nbSharedConflictsStructures=18
0.62 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=0 nbEvaluationManagers=3
0.62 nbSharedEvaluationManagers=18 maxDegree=3 maxArity=90
0.62 => wckTime=0.296 cpuTime=0.21 mem=19M632
0.65
0.65 solver IterativeSystematicSolver being built...
0.82 => wckTime=0.504 cpuTime=0.36 mem=15M358
0.83
0.83 preprocessing
0.83 nbConstraintChecks=0 nbPropagations=100 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.83 detectedInconsistency=no
0.83 => wckTime=0.0040 cpuTime=0.0 mem=15M358
3.22
3.22 search
3.22 run=0 nbConstraintChecks=100404 nbValidityChecks=2168 nbPropagations=252 nbRevisions=1267
3.22 nbUselessRevisions=1201 nbAssignments=86 nbFailedAssignments=3 nbBacktracks=11 nbVisitedNodes=90
3.22 nbRestartNogoods=0 mapSize=3 nbInferences=0 nbTooLargeKeys=0
3.22 => wckTime=2.392 cpuTime=2.35 mem=15M358
7.89
7.89 search
7.89 run=1 nbConstraintChecks=298394 nbValidityChecks=4456 nbPropagations=655 nbRevisions=3819
7.89 nbUselessRevisions=3616 nbAssignments=165 nbFailedAssignments=6 nbBacktracks=29 nbVisitedNodes=172
7.89 nbRestartNogoods=1 mapSize=8 nbInferences=0 nbTooLargeKeys=0
7.89 => wckTime=7.065 cpuTime=6.97 mem=15M358
15.61
15.61 search
15.61 run=2 nbConstraintChecks=627547 nbValidityChecks=6903 nbPropagations=1227 nbRevisions=7749
15.61 nbUselessRevisions=7325 nbAssignments=249 nbFailedAssignments=11 nbBacktracks=51 nbVisitedNodes=261
15.61 nbRestartNogoods=2 mapSize=17 nbInferences=0 nbTooLargeKeys=0
15.61 => wckTime=14.785 cpuTime=14.62 mem=15M358
29.55
29.55 search
29.55 run=3 nbConstraintChecks=1218987 nbValidityChecks=9916 nbPropagations=2028 nbRevisions=13390
29.55 nbUselessRevisions=12624 nbAssignments=356 nbFailedAssignments=20 nbBacktracks=84 nbVisitedNodes=377
29.55 nbRestartNogoods=3 mapSize=33 nbInferences=0 nbTooLargeKeys=0
29.55 => wckTime=28.727 cpuTime=28.43 mem=15M358
46.52
46.52 search
46.52 run=4 nbConstraintChecks=1941683 nbValidityChecks=13504 nbPropagations=3110 nbRevisions=21095
46.52 nbUselessRevisions=19837 nbAssignments=485 nbFailedAssignments=31 nbBacktracks=156 nbVisitedNodes=517
46.52 nbRestartNogoods=5 mapSize=54 nbInferences=0 nbTooLargeKeys=0
46.52 => wckTime=45.696 cpuTime=45.24 mem=15M358
75.80
75.80 search
75.80 run=5 nbConstraintChecks=3188940 nbValidityChecks=17819 nbPropagations=4558 nbRevisions=31282
75.80 nbUselessRevisions=29327 nbAssignments=645 nbFailedAssignments=50 nbBacktracks=232 nbVisitedNodes=696
75.80 nbRestartNogoods=6 mapSize=90 nbInferences=0 nbTooLargeKeys=0
75.80 => wckTime=74.979 cpuTime=74.25 mem=15M358
108.26
108.26 search
108.26 run=6 nbConstraintChecks=4567489 nbValidityChecks=22994 nbPropagations=6445 nbRevisions=44468
108.26 nbUselessRevisions=41574 nbAssignments=839 nbFailedAssignments=71 nbBacktracks=348 nbVisitedNodes=911
108.26 nbRestartNogoods=8 mapSize=130 nbInferences=0 nbTooLargeKeys=0
108.26 => wckTime=107.438 cpuTime=106.4 mem=15M358
162.30
162.30 search
162.30 run=7 nbConstraintChecks=6864069 nbValidityChecks=29930 nbPropagations=8956 nbRevisions=61682
162.30 nbUselessRevisions=57491 nbAssignments=1103 nbFailedAssignments=106 nbBacktracks=521 nbVisitedNodes=1210
162.30 nbRestartNogoods=10 mapSize=198 nbInferences=0 nbTooLargeKeys=0
162.30 => wckTime=161.471 cpuTime=159.95 mem=15M358
239.32
239.32 search
239.32 run=8 nbConstraintChecks=10144457 nbValidityChecks=39399 nbPropagations=12338 nbRevisions=84419
239.32 nbUselessRevisions=78428 nbAssignments=1469 nbFailedAssignments=156 nbBacktracks=779 nbVisitedNodes=1626
239.32 nbRestartNogoods=12 mapSize=296 nbInferences=0 nbTooLargeKeys=0
239.32 => wckTime=238.496 cpuTime=236.25 mem=15M358
348.44
348.44 search
348.44 run=9 nbConstraintChecks=15064515 nbValidityChecks=52586 nbPropagations=16964 nbRevisions=114872
348.45 nbUselessRevisions=106353 nbAssignments=1983 nbFailedAssignments=231 nbBacktracks=1163 nbVisitedNodes=2215
348.45 nbRestartNogoods=14 mapSize=444 nbInferences=0 nbTooLargeKeys=0
348.45 => wckTime=347.619 cpuTime=344.37 mem=15M358
527.34
527.34 search
527.34 run=10 nbConstraintChecks=22738855 nbValidityChecks=71740 nbPropagations=23452 nbRevisions=156569
527.34 nbUselessRevisions=144423 nbAssignments=2744 nbFailedAssignments=348 nbBacktracks=1740 nbVisitedNodes=3093
527.34 nbRestartNogoods=16 mapSize=675 nbInferences=0 nbTooLargeKeys=0
527.34 => wckTime=526.513 cpuTime=521.61 mem=16M333
909.36
909.36 search
909.36 run=11 nbConstraintChecks=41449505 nbValidityChecks=100676 nbPropagations=32675 nbRevisions=215232
909.36 nbUselessRevisions=197731 nbAssignments=3849 nbFailedAssignments=521 nbBacktracks=2605 nbVisitedNodes=4373
909.36 nbRestartNogoods=19 mapSize=1003 nbInferences=0 nbTooLargeKeys=0
909.36 => wckTime=908.531 cpuTime=900.15 mem=16M333
924.11
924.11 INFO : Stopping hyperNogood (mapSize=1023, nbTooLargekeys=0, mem=16M333)
1581.88
1581.88 search
1581.88 run=12 nbConstraintChecks=81427982 nbValidityChecks=142449 nbPropagations=45990 nbRevisions=298377
1581.88 nbUselessRevisions=272757 nbAssignments=5470 nbFailedAssignments=777 nbBacktracks=3911 nbVisitedNodes=6253
1581.88 nbRestartNogoods=22
1581.88 => wckTime=1581.055 cpuTime=1569.3 mem=16M333
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-212039-1168076634 -o ROOT/results/node14/solver-212039-1168076634 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212039-1168076634/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.00 2.02 1.98 4/93 25397
/proc/meminfo: memFree=1377528/2055920 swapFree=4182236/4192956
[pid=25396] ppid=25394 vsize=18540 CPUtime=0
/proc/25396/stat : 25396 (runsolver) R 25394 25396 25217 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 156058320 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 212234464551 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/25396/statm: 4635 279 244 17 0 2626 0
[startup+0.107764 s]
/proc/loadavg: 2.00 2.02 1.98 4/93 25397
/proc/meminfo: memFree=1377528/2055920 swapFree=4182236/4192956
[pid=25396] ppid=25394 vsize=914988 CPUtime=0.09
/proc/25396/stat : 25396 (java) R 25394 25396 25217 0 -1 0 2987 0 1 0 8 1 0 0 17 0 8 0 156058320 936947712 2733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25396/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.5158 s]
/proc/loadavg: 2.00 2.02 1.98 4/93 25397
/proc/meminfo: memFree=1377528/2055920 swapFree=4182236/4192956
[pid=25396] ppid=25394 vsize=915328 CPUtime=0.49
/proc/25396/stat : 25396 (java) R 25394 25396 25217 0 -1 0 7617 0 1 0 45 4 0 0 18 0 8 0 156058320 937295872 7356 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072917392 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25396/statm: 228832 7356 2146 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33887 s]
/proc/loadavg: 2.00 2.02 1.98 3/100 25404
/proc/meminfo: memFree=1349312/2055920 swapFree=4182236/4192956
[pid=25396] ppid=25394 vsize=915456 CPUtime=1.3
/proc/25396/stat : 25396 (java) R 25394 25396 25217 0 -1 0 9782 0 1 0 124 6 0 0 24 0 8 0 156058320 937426944 9520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629287 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25396/statm: 228864 9520 2529 14 0 215334 0
[pid=25396/tid=25398] ppid=25394 vsize=915456 CPUtime=0.02
/proc/25396/task/25398/stat : 25398 (java) S 25394 25396 25217 0 -1 64 140 0 0 0 2 0 0 0 16 0 8 0 156058324 937426944 9520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25399] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25399/stat : 25399 (java) S 25394 25396 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156058325 937426944 9520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25400] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25400/stat : 25400 (java) S 25394 25396 25217 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156058325 937426944 9520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25401] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25401/stat : 25401 (java) S 25394 25396 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156058328 937426944 9520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25402] ppid=25394 vsize=915456 CPUtime=0.16
/proc/25396/task/25402/stat : 25402 (java) S 25394 25396 25217 0 -1 64 357 0 0 0 16 0 0 0 16 0 8 0 156058328 937426944 9520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25403] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25403/stat : 25403 (java) S 25394 25396 25217 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156058328 937426944 9520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25404] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25404/stat : 25404 (java) S 25394 25396 25217 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156058328 937426944 9520 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) 915456
[startup+2.97603 s]
/proc/loadavg: 2.00 2.02 1.98 3/100 25404
/proc/meminfo: memFree=1349312/2055920 swapFree=4182236/4192956
[pid=25396] ppid=25394 vsize=915456 CPUtime=2.92
/proc/25396/stat : 25396 (java) R 25394 25396 25217 0 -1 0 9785 0 1 0 286 6 0 0 25 0 8 0 156058320 937426944 9522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630631 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25396/statm: 228864 9522 2530 14 0 215334 0
[pid=25396/tid=25398] ppid=25394 vsize=915456 CPUtime=0.02
/proc/25396/task/25398/stat : 25398 (java) S 25394 25396 25217 0 -1 64 140 0 0 0 2 0 0 0 16 0 8 0 156058324 937426944 9522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25399] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25399/stat : 25399 (java) S 25394 25396 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156058325 937426944 9522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25400] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25400/stat : 25400 (java) S 25394 25396 25217 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156058325 937426944 9522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25401] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25401/stat : 25401 (java) S 25394 25396 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156058328 937426944 9522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25402] ppid=25394 vsize=915456 CPUtime=0.16
/proc/25396/task/25402/stat : 25402 (java) S 25394 25396 25217 0 -1 64 357 0 0 0 16 0 0 0 16 0 8 0 156058328 937426944 9522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25403] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25403/stat : 25403 (java) S 25394 25396 25217 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156058328 937426944 9522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25404] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25404/stat : 25404 (java) S 25394 25396 25217 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156058328 937426944 9522 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915456
[startup+6.27734 s]
/proc/loadavg: 2.00 2.02 1.98 3/100 25404
/proc/meminfo: memFree=1349184/2055920 swapFree=4182236/4192956
[pid=25396] ppid=25394 vsize=915456 CPUtime=6.19
/proc/25396/stat : 25396 (java) R 25394 25396 25217 0 -1 0 9798 0 1 0 613 6 0 0 25 0 8 0 156058320 937426944 9533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630624 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25396/statm: 228864 9533 2533 14 0 215334 0
[pid=25396/tid=25398] ppid=25394 vsize=915456 CPUtime=0.03
/proc/25396/task/25398/stat : 25398 (java) S 25394 25396 25217 0 -1 64 141 0 0 0 3 0 0 0 16 0 8 0 156058324 937426944 9533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25399] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25399/stat : 25399 (java) S 25394 25396 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156058325 937426944 9533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25400] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25400/stat : 25400 (java) S 25394 25396 25217 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156058325 937426944 9533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25401] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25401/stat : 25401 (java) S 25394 25396 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156058328 937426944 9533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25402] ppid=25394 vsize=915456 CPUtime=0.17
/proc/25396/task/25402/stat : 25402 (java) S 25394 25396 25217 0 -1 64 363 0 0 0 17 0 0 0 16 0 8 0 156058328 937426944 9533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25403] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25403/stat : 25403 (java) S 25394 25396 25217 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156058328 937426944 9533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25404] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25404/stat : 25404 (java) S 25394 25396 25217 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156058328 937426944 9533 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) 915456
[startup+12.744 s]
/proc/loadavg: 2.00 2.02 1.98 3/100 25404
/proc/meminfo: memFree=1349248/2055920 swapFree=4182236/4192956
[pid=25396] ppid=25394 vsize=915456 CPUtime=12.61
/proc/25396/stat : 25396 (java) R 25394 25396 25217 0 -1 0 9799 0 1 0 1254 7 0 0 25 0 8 0 156058320 937426944 9533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629346 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25396/statm: 228864 9533 2533 14 0 215334 0
[pid=25396/tid=25398] ppid=25394 vsize=915456 CPUtime=0.03
/proc/25396/task/25398/stat : 25398 (java) S 25394 25396 25217 0 -1 64 141 0 0 0 3 0 0 0 16 0 8 0 156058324 937426944 9533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25399] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25399/stat : 25399 (java) S 25394 25396 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156058325 937426944 9533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25400] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25400/stat : 25400 (java) S 25394 25396 25217 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156058325 937426944 9533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25401] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25401/stat : 25401 (java) S 25394 25396 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156058328 937426944 9533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25402] ppid=25394 vsize=915456 CPUtime=0.18
/proc/25396/task/25402/stat : 25402 (java) S 25394 25396 25217 0 -1 64 363 0 0 0 18 0 0 0 16 0 8 0 156058328 937426944 9533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25403] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25403/stat : 25403 (java) S 25394 25396 25217 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156058328 937426944 9533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25404] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25404/stat : 25404 (java) S 25394 25396 25217 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156058328 937426944 9533 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915456
[startup+25.6086 s]
/proc/loadavg: 2.00 2.02 1.98 3/100 25404
/proc/meminfo: memFree=1349312/2055920 swapFree=4182236/4192956
[pid=25396] ppid=25394 vsize=915456 CPUtime=25.35
/proc/25396/stat : 25396 (java) R 25394 25396 25217 0 -1 0 9802 0 1 0 2528 7 0 0 25 0 8 0 156058320 937426944 9535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073628134 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25396/statm: 228864 9535 2533 14 0 215334 0
[pid=25396/tid=25398] ppid=25394 vsize=915456 CPUtime=0.03
/proc/25396/task/25398/stat : 25398 (java) S 25394 25396 25217 0 -1 64 141 0 0 0 3 0 0 0 16 0 8 0 156058324 937426944 9535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25399] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25399/stat : 25399 (java) S 25394 25396 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156058325 937426944 9535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25400] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25400/stat : 25400 (java) S 25394 25396 25217 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156058325 937426944 9535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25401] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25401/stat : 25401 (java) S 25394 25396 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156058328 937426944 9535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25402] ppid=25394 vsize=915456 CPUtime=0.19
/proc/25396/task/25402/stat : 25402 (java) S 25394 25396 25217 0 -1 64 366 0 0 0 18 1 0 0 16 0 8 0 156058328 937426944 9535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25403] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25403/stat : 25403 (java) S 25394 25396 25217 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156058328 937426944 9535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25404] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25404/stat : 25404 (java) S 25394 25396 25217 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156058328 937426944 9535 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 915456
[startup+51.2156 s]
/proc/loadavg: 2.00 2.01 1.98 3/100 25404
/proc/meminfo: memFree=1349376/2055920 swapFree=4182236/4192956
[pid=25396] ppid=25394 vsize=915456 CPUtime=50.73
/proc/25396/stat : 25396 (java) R 25394 25396 25217 0 -1 0 9806 0 1 0 5066 7 0 0 25 0 8 0 156058320 937426944 9537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634207 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25396/statm: 228864 9537 2533 14 0 215334 0
[pid=25396/tid=25398] ppid=25394 vsize=915456 CPUtime=0.03
/proc/25396/task/25398/stat : 25398 (java) S 25394 25396 25217 0 -1 64 141 0 0 0 3 0 0 0 16 0 8 0 156058324 937426944 9537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25399] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25399/stat : 25399 (java) S 25394 25396 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156058325 937426944 9537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25400] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25400/stat : 25400 (java) S 25394 25396 25217 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156058325 937426944 9537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25401] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25401/stat : 25401 (java) S 25394 25396 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156058328 937426944 9537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25402] ppid=25394 vsize=915456 CPUtime=0.19
/proc/25396/task/25402/stat : 25402 (java) S 25394 25396 25217 0 -1 64 368 0 0 0 18 1 0 0 16 0 8 0 156058328 937426944 9537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25403] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25403/stat : 25403 (java) S 25394 25396 25217 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156058328 937426944 9537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25404] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25404/stat : 25404 (java) S 25394 25396 25217 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156058328 937426944 9537 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 915456
[startup+102.416 s]
/proc/loadavg: 2.00 2.01 1.98 3/100 25404
/proc/meminfo: memFree=1349376/2055920 swapFree=4182236/4192956
[pid=25396] ppid=25394 vsize=915456 CPUtime=101.46
/proc/25396/stat : 25396 (java) R 25394 25396 25217 0 -1 0 9813 0 1 0 10138 8 0 0 25 0 8 0 156058320 937426944 9541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634192 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25396/statm: 228864 9541 2533 14 0 215334 0
[pid=25396/tid=25398] ppid=25394 vsize=915456 CPUtime=0.03
/proc/25396/task/25398/stat : 25398 (java) S 25394 25396 25217 0 -1 64 141 0 0 0 3 0 0 0 16 0 8 0 156058324 937426944 9541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25399] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25399/stat : 25399 (java) S 25394 25396 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156058325 937426944 9541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25400] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25400/stat : 25400 (java) S 25394 25396 25217 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156058325 937426944 9541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25401] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25401/stat : 25401 (java) S 25394 25396 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156058328 937426944 9541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25402] ppid=25394 vsize=915456 CPUtime=0.2
/proc/25396/task/25402/stat : 25402 (java) S 25394 25396 25217 0 -1 64 374 0 0 0 19 1 0 0 16 0 8 0 156058328 937426944 9541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25403] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25403/stat : 25403 (java) S 25394 25396 25217 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156058328 937426944 9541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25404] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25404/stat : 25404 (java) S 25394 25396 25217 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156058328 937426944 9541 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.46
Current children cumulated vsize (KiB) 915456
[startup+162.464 s]
/proc/loadavg: 2.05 2.02 1.99 3/100 25404
/proc/meminfo: memFree=1349440/2055920 swapFree=4182236/4192956
[pid=25396] ppid=25394 vsize=915456 CPUtime=160.96
/proc/25396/stat : 25396 (java) R 25394 25396 25217 0 -1 0 9819 0 1 0 16088 8 0 0 25 0 8 0 156058320 937426944 9543 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634192 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1411.85
Current children cumulated vsize (KiB) 915456
[startup+1483.39 s]
/proc/loadavg: 1.98 1.98 1.99 3/100 25862
/proc/meminfo: memFree=1354296/2055920 swapFree=4182236/4192956
[pid=25396] ppid=25394 vsize=915456 CPUtime=1471.79
/proc/25396/stat : 25396 (java) R 25394 25396 25217 0 -1 0 9851 0 1 0 147159 20 0 0 25 0 8 0 156058320 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073632100 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25396/statm: 228864 9556 2533 14 0 215334 0
[pid=25396/tid=25398] ppid=25394 vsize=915456 CPUtime=0.03
/proc/25396/task/25398/stat : 25398 (java) S 25394 25396 25217 0 -1 64 141 0 0 0 3 0 0 0 16 0 8 0 156058324 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25399] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25399/stat : 25399 (java) S 25394 25396 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156058325 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25400] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25400/stat : 25400 (java) S 25394 25396 25217 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156058325 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25401] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25401/stat : 25401 (java) S 25394 25396 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156058328 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25402] ppid=25394 vsize=915456 CPUtime=0.24
/proc/25396/task/25402/stat : 25402 (java) S 25394 25396 25217 0 -1 64 397 0 0 0 23 1 0 0 16 0 8 0 156058328 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25403] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25403/stat : 25403 (java) S 25394 25396 25217 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156058328 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25404] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25404/stat : 25404 (java) S 25394 25396 25217 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156058328 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1471.79
Current children cumulated vsize (KiB) 915456
[startup+1543.4 s]
/proc/loadavg: 1.99 1.98 1.99 3/100 25862
/proc/meminfo: memFree=1354424/2055920 swapFree=4182236/4192956
[pid=25396] ppid=25394 vsize=915456 CPUtime=1531.76
/proc/25396/stat : 25396 (java) R 25394 25396 25217 0 -1 0 9851 0 1 0 153155 21 0 0 25 0 8 0 156058320 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073631143 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25396/statm: 228864 9556 2533 14 0 215334 0
[pid=25396/tid=25398] ppid=25394 vsize=915456 CPUtime=0.03
/proc/25396/task/25398/stat : 25398 (java) S 25394 25396 25217 0 -1 64 141 0 0 0 3 0 0 0 16 0 8 0 156058324 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25399] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25399/stat : 25399 (java) S 25394 25396 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156058325 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25400] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25400/stat : 25400 (java) S 25394 25396 25217 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156058325 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25401] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25401/stat : 25401 (java) S 25394 25396 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156058328 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25402] ppid=25394 vsize=915456 CPUtime=0.24
/proc/25396/task/25402/stat : 25402 (java) S 25394 25396 25217 0 -1 64 397 0 0 0 23 1 0 0 16 0 8 0 156058328 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25403] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25403/stat : 25403 (java) S 25394 25396 25217 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156058328 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25404] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25404/stat : 25404 (java) S 25394 25396 25217 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156058328 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1531.76
Current children cumulated vsize (KiB) 915456
[startup+1603.41 s]
/proc/loadavg: 1.99 1.98 1.99 3/100 25862
/proc/meminfo: memFree=1354424/2055920 swapFree=4182236/4192956
[pid=25396] ppid=25394 vsize=915456 CPUtime=1591.71
/proc/25396/stat : 25396 (java) R 25394 25396 25217 0 -1 0 9851 0 1 0 159150 21 0 0 25 0 8 0 156058320 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073633744 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25396/statm: 228864 9556 2533 14 0 215334 0
[pid=25396/tid=25398] ppid=25394 vsize=915456 CPUtime=0.03
/proc/25396/task/25398/stat : 25398 (java) S 25394 25396 25217 0 -1 64 141 0 0 0 3 0 0 0 16 0 8 0 156058324 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25399] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25399/stat : 25399 (java) S 25394 25396 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156058325 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25400] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25400/stat : 25400 (java) S 25394 25396 25217 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156058325 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25401] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25401/stat : 25401 (java) S 25394 25396 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156058328 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25402] ppid=25394 vsize=915456 CPUtime=0.24
/proc/25396/task/25402/stat : 25402 (java) S 25394 25396 25217 0 -1 64 397 0 0 0 23 1 0 0 16 0 8 0 156058328 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25403] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25403/stat : 25403 (java) S 25394 25396 25217 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156058328 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25404] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25404/stat : 25404 (java) S 25394 25396 25217 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156058328 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1591.71
Current children cumulated vsize (KiB) 915456
[startup+1663.42 s]
/proc/loadavg: 1.99 1.98 1.99 3/100 25862
/proc/meminfo: memFree=1354424/2055920 swapFree=4182236/4192956
[pid=25396] ppid=25394 vsize=915456 CPUtime=1651.65
/proc/25396/stat : 25396 (java) R 25394 25396 25217 0 -1 0 9851 0 1 0 165144 21 0 0 25 0 8 0 156058320 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073634192 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25396/statm: 228864 9556 2533 14 0 215334 0
[pid=25396/tid=25398] ppid=25394 vsize=915456 CPUtime=0.03
/proc/25396/task/25398/stat : 25398 (java) S 25394 25396 25217 0 -1 64 141 0 0 0 3 0 0 0 16 0 8 0 156058324 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25399] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25399/stat : 25399 (java) S 25394 25396 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156058325 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25400] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25400/stat : 25400 (java) S 25394 25396 25217 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156058325 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25401] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25401/stat : 25401 (java) S 25394 25396 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156058328 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25402] ppid=25394 vsize=915456 CPUtime=0.24
/proc/25396/task/25402/stat : 25402 (java) S 25394 25396 25217 0 -1 64 397 0 0 0 23 1 0 0 16 0 8 0 156058328 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25403] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25403/stat : 25403 (java) S 25394 25396 25217 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156058328 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25404] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25404/stat : 25404 (java) S 25394 25396 25217 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156058328 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1651.65
Current children cumulated vsize (KiB) 915456
[startup+1723.44 s]
/proc/loadavg: 1.99 1.98 1.99 3/100 25862
/proc/meminfo: memFree=1354424/2055920 swapFree=4182236/4192956
[pid=25396] ppid=25394 vsize=915456 CPUtime=1711.61
/proc/25396/stat : 25396 (java) R 25394 25396 25217 0 -1 0 9851 0 1 0 171140 21 0 0 25 0 8 0 156058320 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073633738 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25396/statm: 228864 9556 2533 14 0 215334 0
[pid=25396/tid=25398] ppid=25394 vsize=915456 CPUtime=0.03
/proc/25396/task/25398/stat : 25398 (java) S 25394 25396 25217 0 -1 64 141 0 0 0 3 0 0 0 16 0 8 0 156058324 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25399] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25399/stat : 25399 (java) S 25394 25396 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156058325 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25400] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25400/stat : 25400 (java) S 25394 25396 25217 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156058325 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25401] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25401/stat : 25401 (java) S 25394 25396 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156058328 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25402] ppid=25394 vsize=915456 CPUtime=0.24
/proc/25396/task/25402/stat : 25402 (java) S 25394 25396 25217 0 -1 64 397 0 0 0 23 1 0 0 16 0 8 0 156058328 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25403] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25403/stat : 25403 (java) S 25394 25396 25217 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156058328 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25404] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25404/stat : 25404 (java) S 25394 25396 25217 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156058328 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1711.61
Current children cumulated vsize (KiB) 915456
[startup+1783.45 s]
/proc/loadavg: 1.99 1.98 1.99 3/100 25862
/proc/meminfo: memFree=1354424/2055920 swapFree=4182236/4192956
[pid=25396] ppid=25394 vsize=915456 CPUtime=1771.57
/proc/25396/stat : 25396 (java) R 25394 25396 25217 0 -1 0 9851 0 1 0 177136 21 0 0 25 0 8 0 156058320 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073630631 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25396/statm: 228864 9556 2533 14 0 215334 0
[pid=25396/tid=25398] ppid=25394 vsize=915456 CPUtime=0.03
/proc/25396/task/25398/stat : 25398 (java) S 25394 25396 25217 0 -1 64 141 0 0 0 3 0 0 0 16 0 8 0 156058324 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25399] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25399/stat : 25399 (java) S 25394 25396 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156058325 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25400] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25400/stat : 25400 (java) S 25394 25396 25217 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156058325 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25401] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25401/stat : 25401 (java) S 25394 25396 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156058328 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25402] ppid=25394 vsize=915456 CPUtime=0.24
/proc/25396/task/25402/stat : 25402 (java) S 25394 25396 25217 0 -1 64 397 0 0 0 23 1 0 0 16 0 8 0 156058328 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25403] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25403/stat : 25403 (java) S 25394 25396 25217 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156058328 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25404] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25404/stat : 25404 (java) S 25394 25396 25217 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156058328 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1771.57
Current children cumulated vsize (KiB) 915456
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.98 s]
/proc/loadavg: 1.99 1.98 1.99 3/100 25862
/proc/meminfo: memFree=1354424/2055920 swapFree=4182236/4192956
[pid=25396] ppid=25394 vsize=915456 CPUtime=1800.05
/proc/25396/stat : 25396 (java) R 25394 25396 25217 0 -1 0 9851 0 1 0 179984 21 0 0 25 0 8 0 156058320 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073629287 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25396/statm: 228864 9556 2533 14 0 215334 0
[pid=25396/tid=25398] ppid=25394 vsize=915456 CPUtime=0.03
/proc/25396/task/25398/stat : 25398 (java) S 25394 25396 25217 0 -1 64 141 0 0 0 3 0 0 0 16 0 8 0 156058324 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25399] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25399/stat : 25399 (java) S 25394 25396 25217 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156058325 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25400] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25400/stat : 25400 (java) S 25394 25396 25217 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156058325 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25401] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25401/stat : 25401 (java) S 25394 25396 25217 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156058328 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25402] ppid=25394 vsize=915456 CPUtime=0.24
/proc/25396/task/25402/stat : 25402 (java) S 25394 25396 25217 0 -1 64 397 0 0 0 23 1 0 0 16 0 8 0 156058328 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25403] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25403/stat : 25403 (java) S 25394 25396 25217 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 156058328 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25396/tid=25404] ppid=25394 vsize=915456 CPUtime=0
/proc/25396/task/25404/stat : 25404 (java) S 25394 25396 25217 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156058328 937426944 9556 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 915456
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1812.01
CPU time (s): 1800.07
CPU user time (s): 1799.85
CPU system time (s): 0.217966
CPU usage (%): 99.3414
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.85
system time used= 0.217966
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9867
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= 37829
involuntary context switches= 70646
runsolver used 2.17267 s user time and 5.85411 s system time
The end
Begin job on node14 on Sat Jan 6 09:43:54 UTC 2007
IDJOB= 212039
IDBENCH= 4740
FILE ID= node14/212039-1168076634
PBS_JOBID= 3475803
Free space on /tmp= 66328 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/mpsReduced/mps-red-enigma.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212039-1168076634/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-212039-1168076634 -o ROOT/results/node14/solver-212039-1168076634 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/212039-1168076634/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= c1689fafeff208a3db71705e97f620d7
RANDOM SEED= 532446639
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.227
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.227
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1378008 kB
Buffers: 57768 kB
Cached: 376184 kB
SwapCached: 3696 kB
Active: 219924 kB
Inactive: 357932 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1378008 kB
SwapTotal: 4192956 kB
SwapFree: 4182236 kB
Dirty: 1800 kB
Writeback: 0 kB
Mapped: 163328 kB
Slab: 84608 kB
Committed_AS: 5481088 kB
PageTables: 2404 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= 66327 MiB
End job on node14 on Sat Jan 6 10:14:06 UTC 2007