0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/216150-1168078819/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.41 nbVariables=100 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.41 => wckTime=0.098 cpuTime=0.1 mem=6M951
0.41
0.41 predicates being loaded...
0.45
0.45 constraints being loaded...
0.61 nbConstraints=21 nbMergedConstraints=21 nbConflictsStructures=2 nbSharedConflictsStructures=18
0.61 nbUnbuiltConflictsStructures=1 nbSharedBinaryRepresentations=0 nbEvaluationManagers=3
0.61 nbSharedEvaluationManagers=18 maxDegree=3 maxArity=90
0.61 => wckTime=0.29 cpuTime=0.22 mem=19M647
0.64
0.64 solver IterativeSystematicSolver being built...
0.81 => wckTime=0.497 cpuTime=0.36 mem=15M359
0.82
0.82 preprocessing
0.82 nbConstraintChecks=0 nbPropagations=100 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.82 detectedInconsistency=no
0.82 => wckTime=0.0040 cpuTime=0.0 mem=15M359
3.27
3.28 search
3.28 run=0 nbConstraintChecks=100404 nbValidityChecks=2168 nbPropagations=252 nbRevisions=1267
3.28 nbUselessRevisions=1201 nbAssignments=86 nbFailedAssignments=3 nbBacktracks=11 nbVisitedNodes=90
3.28 nbRestartNogoods=0 mapSize=3 nbInferences=0 nbTooLargeKeys=0
3.28 => wckTime=2.46 cpuTime=2.44 mem=15M359
8.08
8.08 search
8.08 run=1 nbConstraintChecks=298394 nbValidityChecks=4456 nbPropagations=655 nbRevisions=3819
8.08 nbUselessRevisions=3616 nbAssignments=165 nbFailedAssignments=6 nbBacktracks=29 nbVisitedNodes=172
8.08 nbRestartNogoods=1 mapSize=8 nbInferences=0 nbTooLargeKeys=0
8.08 => wckTime=7.268 cpuTime=7.2 mem=15M359
15.71
15.71 search
15.71 run=2 nbConstraintChecks=627547 nbValidityChecks=6903 nbPropagations=1227 nbRevisions=7749
15.71 nbUselessRevisions=7325 nbAssignments=249 nbFailedAssignments=11 nbBacktracks=51 nbVisitedNodes=261
15.71 nbRestartNogoods=2 mapSize=17 nbInferences=0 nbTooLargeKeys=0
15.71 => wckTime=14.899 cpuTime=14.76 mem=15M359
29.28
29.28 search
29.28 run=3 nbConstraintChecks=1218987 nbValidityChecks=9916 nbPropagations=2028 nbRevisions=13390
29.28 nbUselessRevisions=12624 nbAssignments=356 nbFailedAssignments=20 nbBacktracks=84 nbVisitedNodes=377
29.28 nbRestartNogoods=3 mapSize=33 nbInferences=0 nbTooLargeKeys=0
29.28 => wckTime=28.472 cpuTime=28.28 mem=15M359
45.71
45.71 search
45.71 run=4 nbConstraintChecks=1941683 nbValidityChecks=13504 nbPropagations=3110 nbRevisions=21095
45.71 nbUselessRevisions=19837 nbAssignments=485 nbFailedAssignments=31 nbBacktracks=156 nbVisitedNodes=517
45.71 nbRestartNogoods=5 mapSize=54 nbInferences=0 nbTooLargeKeys=0
45.71 => wckTime=44.895 cpuTime=44.62 mem=15M359
74.05
74.05 search
74.05 run=5 nbConstraintChecks=3188940 nbValidityChecks=17819 nbPropagations=4558 nbRevisions=31282
74.05 nbUselessRevisions=29327 nbAssignments=645 nbFailedAssignments=50 nbBacktracks=232 nbVisitedNodes=696
74.05 nbRestartNogoods=6 mapSize=90 nbInferences=0 nbTooLargeKeys=0
74.05 => wckTime=73.239 cpuTime=72.82 mem=15M359
105.42
105.42 search
105.42 run=6 nbConstraintChecks=4567489 nbValidityChecks=22994 nbPropagations=6445 nbRevisions=44468
105.42 nbUselessRevisions=41574 nbAssignments=839 nbFailedAssignments=71 nbBacktracks=348 nbVisitedNodes=911
105.42 nbRestartNogoods=8 mapSize=130 nbInferences=0 nbTooLargeKeys=0
105.42 => wckTime=104.609 cpuTime=104.03 mem=15M359
157.51
157.51 search
157.51 run=7 nbConstraintChecks=6864069 nbValidityChecks=29930 nbPropagations=8956 nbRevisions=61682
157.51 nbUselessRevisions=57491 nbAssignments=1103 nbFailedAssignments=106 nbBacktracks=521 nbVisitedNodes=1210
157.51 nbRestartNogoods=10 mapSize=198 nbInferences=0 nbTooLargeKeys=0
157.51 => wckTime=156.698 cpuTime=155.89 mem=15M359
231.93
231.93 search
231.93 run=8 nbConstraintChecks=10144457 nbValidityChecks=39399 nbPropagations=12338 nbRevisions=84419
231.93 nbUselessRevisions=78428 nbAssignments=1469 nbFailedAssignments=156 nbBacktracks=779 nbVisitedNodes=1626
231.93 nbRestartNogoods=12 mapSize=296 nbInferences=0 nbTooLargeKeys=0
231.93 => wckTime=231.121 cpuTime=229.98 mem=15M359
337.72
337.72 search
337.72 run=9 nbConstraintChecks=15064515 nbValidityChecks=52586 nbPropagations=16964 nbRevisions=114872
337.72 nbUselessRevisions=106353 nbAssignments=1983 nbFailedAssignments=231 nbBacktracks=1163 nbVisitedNodes=2215
337.72 nbRestartNogoods=14 mapSize=444 nbInferences=0 nbTooLargeKeys=0
337.72 => wckTime=336.911 cpuTime=335.25 mem=15M359
510.85
510.85 search
510.85 run=10 nbConstraintChecks=22738855 nbValidityChecks=71740 nbPropagations=23452 nbRevisions=156569
510.85 nbUselessRevisions=144423 nbAssignments=2744 nbFailedAssignments=348 nbBacktracks=1740 nbVisitedNodes=3093
510.85 nbRestartNogoods=16 mapSize=675 nbInferences=0 nbTooLargeKeys=0
510.85 => wckTime=510.033 cpuTime=507.58 mem=16M335
734.42
734.42 INFO : Stopping hyperNogood (mapSize=1007, nbTooLargekeys=0, mem=16M335)
734.42
734.42 search
734.42 run=11 nbConstraintChecks=33758095 nbValidityChecks=99215 nbPropagations=32619 nbRevisions=214417
734.42 nbUselessRevisions=197062 nbAssignments=3837 nbFailedAssignments=516 nbBacktracks=2607 nbVisitedNodes=4354
734.42 nbRestartNogoods=19
734.42 => wckTime=733.61 cpuTime=730.13 mem=16M335
1313.40
1313.40 search
1313.40 run=12 nbConstraintChecks=61754618 nbValidityChecks=139936 nbPropagations=45807 nbRevisions=296193
1313.40 nbUselessRevisions=271209 nbAssignments=5460 nbFailedAssignments=779 nbBacktracks=3911 nbVisitedNodes=6240
1313.40 nbRestartNogoods=22
1313.40 => wckTime=1312.583 cpuTime=1306.45 mem=16M335
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node26/watcher-216150-1168078819 -o ROOT/results/node26/solver-216150-1168078819 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/216150-1168078819/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.92 1.00 1.24 3/83 20780
/proc/meminfo: memFree=1333248/2055920 swapFree=4192812/4192956
[pid=20779] ppid=20776 vsize=18540 CPUtime=0
/proc/20779/stat : 20779 (runsolver) R 20776 20779 20694 0 -1 4194368 17 0 0 0 0 0 0 0 21 0 1 0 156276200 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 269028486439 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/20779/statm: 4635 279 244 17 0 2626 0
[startup+0.10746 s]
/proc/loadavg: 0.92 1.00 1.24 3/83 20780
/proc/meminfo: memFree=1333248/2055920 swapFree=4192812/4192956
[pid=20779] ppid=20776 vsize=914988 CPUtime=0.07
/proc/20779/stat : 20779 (java) R 20776 20779 20694 0 -1 0 2962 0 1 0 6 1 0 0 23 0 8 0 156276200 936947712 2708 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942248 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20779/statm: 228747 2708 1417 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.515498 s]
/proc/loadavg: 0.92 1.00 1.24 3/83 20780
/proc/meminfo: memFree=1333248/2055920 swapFree=4192812/4192956
[pid=20779] ppid=20776 vsize=915328 CPUtime=0.48
/proc/20779/stat : 20779 (java) R 20776 20779 20694 0 -1 0 7997 0 1 0 43 5 0 0 18 0 8 0 156276200 937295872 7737 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073564514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20779/statm: 228832 7747 2146 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33757 s]
/proc/loadavg: 0.92 1.00 1.24 3/100 20818
/proc/meminfo: memFree=1245040/2055920 swapFree=4192812/4192956
[pid=20779] ppid=20776 vsize=915456 CPUtime=1.29
/proc/20779/stat : 20779 (java) R 20776 20779 20694 0 -1 0 10010 0 1 0 122 7 0 0 25 0 8 0 156276200 937426944 9748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634330 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20779/statm: 228864 9748 2529 14 0 215334 0
[pid=20779/tid=20801] ppid=20776 vsize=915456 CPUtime=0.02
/proc/20779/task/20801/stat : 20801 (java) S 20776 20779 20694 0 -1 64 141 0 0 0 2 0 0 0 16 0 8 0 156276205 937426944 9748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20803] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20803/stat : 20803 (java) S 20776 20779 20694 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156276205 937426944 9748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20804] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20804/stat : 20804 (java) S 20776 20779 20694 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156276205 937426944 9748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20808] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20808/stat : 20808 (java) S 20776 20779 20694 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156276209 937426944 9748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20809] ppid=20776 vsize=915456 CPUtime=0.15
/proc/20779/task/20809/stat : 20809 (java) S 20776 20779 20694 0 -1 64 358 0 0 0 15 0 0 0 16 0 8 0 156276209 937426944 9748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20810] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20810/stat : 20810 (java) S 20776 20779 20694 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156276209 937426944 9748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20811] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20811/stat : 20811 (java) S 20776 20779 20694 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156276209 937426944 9748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915456
[startup+2.98972 s]
/proc/loadavg: 1.01 1.02 1.25 3/100 20818
/proc/meminfo: memFree=1240240/2055920 swapFree=4192812/4192956
[pid=20779] ppid=20776 vsize=915456 CPUtime=2.95
/proc/20779/stat : 20779 (java) R 20776 20779 20694 0 -1 0 10013 0 1 0 287 8 0 0 25 0 8 0 156276200 937426944 9750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073636460 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20779/statm: 228864 9750 2530 14 0 215334 0
[pid=20779/tid=20801] ppid=20776 vsize=915456 CPUtime=0.02
/proc/20779/task/20801/stat : 20801 (java) S 20776 20779 20694 0 -1 64 141 0 0 0 2 0 0 0 16 0 8 0 156276205 937426944 9750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20803] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20803/stat : 20803 (java) S 20776 20779 20694 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156276205 937426944 9750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20804] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20804/stat : 20804 (java) S 20776 20779 20694 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156276205 937426944 9750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20808] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20808/stat : 20808 (java) S 20776 20779 20694 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156276209 937426944 9750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20809] ppid=20776 vsize=915456 CPUtime=0.15
/proc/20779/task/20809/stat : 20809 (java) S 20776 20779 20694 0 -1 64 358 0 0 0 15 0 0 0 16 0 8 0 156276209 937426944 9750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20810] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20810/stat : 20810 (java) S 20776 20779 20694 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156276209 937426944 9750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20811] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20811/stat : 20811 (java) S 20776 20779 20694 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156276209 937426944 9750 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915456
[startup+6.27704 s]
/proc/loadavg: 1.01 1.02 1.25 3/100 20818
/proc/meminfo: memFree=1232312/2055920 swapFree=4192812/4192956
[pid=20779] ppid=20776 vsize=915456 CPUtime=6.22
/proc/20779/stat : 20779 (java) R 20776 20779 20694 0 -1 0 10026 0 1 0 614 8 0 0 25 0 8 0 156276200 937426944 9761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073631660 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20779/statm: 228864 9761 2533 14 0 215334 0
[pid=20779/tid=20801] ppid=20776 vsize=915456 CPUtime=0.02
/proc/20779/task/20801/stat : 20801 (java) S 20776 20779 20694 0 -1 64 142 0 0 0 2 0 0 0 17 0 8 0 156276205 937426944 9761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20803] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20803/stat : 20803 (java) S 20776 20779 20694 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156276205 937426944 9761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20804] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20804/stat : 20804 (java) S 20776 20779 20694 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156276205 937426944 9761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20808] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20808/stat : 20808 (java) S 20776 20779 20694 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156276209 937426944 9761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20809] ppid=20776 vsize=915456 CPUtime=0.16
/proc/20779/task/20809/stat : 20809 (java) S 20776 20779 20694 0 -1 64 364 0 0 0 16 0 0 0 16 0 8 0 156276209 937426944 9761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20810] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20810/stat : 20810 (java) S 20776 20779 20694 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156276209 937426944 9761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20811] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20811/stat : 20811 (java) S 20776 20779 20694 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156276209 937426944 9761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915456
[startup+12.7596 s]
/proc/loadavg: 1.16 1.05 1.25 3/100 20874
/proc/meminfo: memFree=1246400/2055920 swapFree=4192812/4192956
[pid=20779] ppid=20776 vsize=915456 CPUtime=12.64
/proc/20779/stat : 20779 (java) R 20776 20779 20694 0 -1 0 10027 0 1 0 1256 8 0 0 25 0 8 0 156276200 937426944 9761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073631650 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20779/statm: 228864 9761 2533 14 0 215334 0
[pid=20779/tid=20801] ppid=20776 vsize=915456 CPUtime=0.02
/proc/20779/task/20801/stat : 20801 (java) S 20776 20779 20694 0 -1 64 142 0 0 0 2 0 0 0 16 0 8 0 156276205 937426944 9761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20803] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20803/stat : 20803 (java) S 20776 20779 20694 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156276205 937426944 9761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20804] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20804/stat : 20804 (java) S 20776 20779 20694 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156276205 937426944 9761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20808] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20808/stat : 20808 (java) S 20776 20779 20694 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156276209 937426944 9761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20809] ppid=20776 vsize=915456 CPUtime=0.16
/proc/20779/task/20809/stat : 20809 (java) S 20776 20779 20694 0 -1 64 364 0 0 0 16 0 0 0 16 0 8 0 156276209 937426944 9761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20810] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20810/stat : 20810 (java) S 20776 20779 20694 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156276209 937426944 9761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20811] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20811/stat : 20811 (java) S 20776 20779 20694 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156276209 937426944 9761 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 915456
[startup+25.5888 s]
/proc/loadavg: 1.21 1.06 1.26 3/100 20930
/proc/meminfo: memFree=1229952/2055920 swapFree=4192812/4192956
[pid=20779] ppid=20776 vsize=915456 CPUtime=25.41
/proc/20779/stat : 20779 (java) R 20776 20779 20694 0 -1 0 10030 0 1 0 2532 9 0 0 25 0 8 0 156276200 937426944 9763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073639178 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20779/statm: 228864 9763 2533 14 0 215334 0
[pid=20779/tid=20801] ppid=20776 vsize=915456 CPUtime=0.02
/proc/20779/task/20801/stat : 20801 (java) S 20776 20779 20694 0 -1 64 142 0 0 0 2 0 0 0 16 0 8 0 156276205 937426944 9763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20803] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20803/stat : 20803 (java) S 20776 20779 20694 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156276205 937426944 9763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20804] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20804/stat : 20804 (java) S 20776 20779 20694 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156276205 937426944 9763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20808] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20808/stat : 20808 (java) S 20776 20779 20694 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156276209 937426944 9763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20809] ppid=20776 vsize=915456 CPUtime=0.17
/proc/20779/task/20809/stat : 20809 (java) S 20776 20779 20694 0 -1 64 366 0 0 0 17 0 0 0 16 0 8 0 156276209 937426944 9763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20810] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20810/stat : 20810 (java) S 20776 20779 20694 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156276209 937426944 9763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20811] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20811/stat : 20811 (java) S 20776 20779 20694 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156276209 937426944 9763 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 915456
[startup+51.2883 s]
/proc/loadavg: 1.53 1.15 1.28 3/100 20930
/proc/meminfo: memFree=1163648/2055920 swapFree=4192812/4192956
[pid=20779] ppid=20776 vsize=915456 CPUtime=51
/proc/20779/stat : 20779 (java) R 20776 20779 20694 0 -1 0 10034 0 1 0 5091 9 0 0 25 0 8 0 156276200 937426944 9765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073631639 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20779/statm: 228864 9765 2533 14 0 215334 0
[pid=20779/tid=20801] ppid=20776 vsize=915456 CPUtime=0.02
/proc/20779/task/20801/stat : 20801 (java) S 20776 20779 20694 0 -1 64 142 0 0 0 2 0 0 0 16 0 8 0 156276205 937426944 9765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20803] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20803/stat : 20803 (java) S 20776 20779 20694 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156276205 937426944 9765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20804] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20804/stat : 20804 (java) S 20776 20779 20694 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156276205 937426944 9765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20808] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20808/stat : 20808 (java) S 20776 20779 20694 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156276209 937426944 9765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20809] ppid=20776 vsize=915456 CPUtime=0.17
/proc/20779/task/20809/stat : 20809 (java) S 20776 20779 20694 0 -1 64 368 0 0 0 17 0 0 0 16 0 8 0 156276209 937426944 9765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20810] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20810/stat : 20810 (java) S 20776 20779 20694 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156276209 937426944 9765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20811] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20811/stat : 20811 (java) S 20776 20779 20694 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156276209 937426944 9765 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 915456
[startup+102.572 s]
/proc/loadavg: 1.80 1.28 1.31 3/100 20930
/proc/meminfo: memFree=1163712/2055920 swapFree=4192812/4192956
[pid=20779] ppid=20776 vsize=915456 CPUtime=102.03
/proc/20779/stat : 20779 (java) R 20776 20779 20694 0 -1 0 10043 0 1 0 10193 10 0 0 25 0 8 0 156276200 937426944 9769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630390 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20779/statm: 228864 9769 2533 14 0 215334 0
[pid=20779/tid=20801] ppid=20776 vsize=915456 CPUtime=0.02
/proc/20779/task/20801/stat : 20801 (java) S 20776 20779 20694 0 -1 64 142 0 0 0 2 0 0 0 16 0 8 0 156276205 937426944 9769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20803] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20803/stat : 20803 (java) S 20776 20779 20694 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156276205 937426944 9769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20804] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20804/stat : 20804 (java) S 20776 20779 20694 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156276205 937426944 9769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20808] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20808/stat : 20808 (java) S 20776 20779 20694 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156276209 937426944 9769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20809] ppid=20776 vsize=915456 CPUtime=0.18
/proc/20779/task/20809/stat : 20809 (java) S 20776 20779 20694 0 -1 64 375 0 0 0 18 0 0 0 16 0 8 0 156276209 937426944 9769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20810] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20810/stat : 20810 (java) S 20776 20779 20694 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156276209 937426944 9769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20811] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20811/stat : 20811 (java) S 20776 20779 20694 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156276209 937426944 9769 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.03
Current children cumulated vsize (KiB) 915456
[startup+162.592 s]
/proc/loadavg: 1.95 1.42 1.36 3/100 20930
/proc/meminfo: memFree=1163712/2055920 swapFree=4192812/4192956
[pid=20779] ppid=20776 vsize=915456 CPUtime=161.78
/proc/20779/stat : 20779 (java) R 20776 20779 20694 0 -1 0 10047 0 1 0 16168 10 0 0 25 0 8 0 156276200 937426944 9771 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073633543 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1416.43
Current children cumulated vsize (KiB) 915456
[startup+1483.05 s]
/proc/loadavg: 1.99 1.97 1.81 3/100 20930
/proc/meminfo: memFree=1163584/2055920 swapFree=4192812/4192956
[pid=20779] ppid=20776 vsize=915456 CPUtime=1476.17
/proc/20779/stat : 20779 (java) R 20776 20779 20694 0 -1 0 10079 0 1 0 147604 13 0 0 25 0 8 0 156276200 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073631625 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20779/statm: 228864 9784 2533 14 0 215334 0
[pid=20779/tid=20801] ppid=20776 vsize=915456 CPUtime=0.02
/proc/20779/task/20801/stat : 20801 (java) S 20776 20779 20694 0 -1 64 142 0 0 0 2 0 0 0 16 0 8 0 156276205 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20803] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20803/stat : 20803 (java) S 20776 20779 20694 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156276205 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20804] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20804/stat : 20804 (java) S 20776 20779 20694 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156276205 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20808] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20808/stat : 20808 (java) S 20776 20779 20694 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156276209 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20809] ppid=20776 vsize=915456 CPUtime=0.21
/proc/20779/task/20809/stat : 20809 (java) S 20776 20779 20694 0 -1 64 396 0 0 0 21 0 0 0 16 0 8 0 156276209 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20810] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20810/stat : 20810 (java) S 20776 20779 20694 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156276209 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20811] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20811/stat : 20811 (java) S 20776 20779 20694 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156276209 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1476.17
Current children cumulated vsize (KiB) 915456
[startup+1543.07 s]
/proc/loadavg: 1.99 1.97 1.82 3/100 20930
/proc/meminfo: memFree=1163520/2055920 swapFree=4192812/4192956
[pid=20779] ppid=20776 vsize=915456 CPUtime=1535.9
/proc/20779/stat : 20779 (java) R 20776 20779 20694 0 -1 0 10079 0 1 0 153577 13 0 0 25 0 8 0 156276200 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479187 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20779/statm: 228864 9784 2533 14 0 215334 0
[pid=20779/tid=20801] ppid=20776 vsize=915456 CPUtime=0.02
/proc/20779/task/20801/stat : 20801 (java) S 20776 20779 20694 0 -1 64 142 0 0 0 2 0 0 0 16 0 8 0 156276205 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20803] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20803/stat : 20803 (java) S 20776 20779 20694 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156276205 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20804] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20804/stat : 20804 (java) S 20776 20779 20694 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156276205 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20808] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20808/stat : 20808 (java) S 20776 20779 20694 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156276209 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20809] ppid=20776 vsize=915456 CPUtime=0.21
/proc/20779/task/20809/stat : 20809 (java) S 20776 20779 20694 0 -1 64 396 0 0 0 21 0 0 0 16 0 8 0 156276209 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20810] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20810/stat : 20810 (java) S 20776 20779 20694 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156276209 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20811] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20811/stat : 20811 (java) S 20776 20779 20694 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156276209 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1535.9
Current children cumulated vsize (KiB) 915456
[startup+1603.08 s]
/proc/loadavg: 1.99 1.97 1.83 3/100 20930
/proc/meminfo: memFree=1163456/2055920 swapFree=4192812/4192956
[pid=20779] ppid=20776 vsize=915456 CPUtime=1595.66
/proc/20779/stat : 20779 (java) R 20776 20779 20694 0 -1 0 10079 0 1 0 159552 14 0 0 25 0 8 0 156276200 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634327 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20779/statm: 228864 9784 2533 14 0 215334 0
[pid=20779/tid=20801] ppid=20776 vsize=915456 CPUtime=0.02
/proc/20779/task/20801/stat : 20801 (java) S 20776 20779 20694 0 -1 64 142 0 0 0 2 0 0 0 16 0 8 0 156276205 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20803] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20803/stat : 20803 (java) S 20776 20779 20694 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156276205 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20804] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20804/stat : 20804 (java) S 20776 20779 20694 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156276205 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20808] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20808/stat : 20808 (java) S 20776 20779 20694 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156276209 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20809] ppid=20776 vsize=915456 CPUtime=0.21
/proc/20779/task/20809/stat : 20809 (java) S 20776 20779 20694 0 -1 64 396 0 0 0 21 0 0 0 16 0 8 0 156276209 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20810] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20810/stat : 20810 (java) S 20776 20779 20694 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156276209 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20811] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20811/stat : 20811 (java) S 20776 20779 20694 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156276209 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1595.66
Current children cumulated vsize (KiB) 915456
[startup+1663.11 s]
/proc/loadavg: 2.03 1.99 1.84 3/100 20930
/proc/meminfo: memFree=1163520/2055920 swapFree=4192812/4192956
[pid=20779] ppid=20776 vsize=915456 CPUtime=1655.42
/proc/20779/stat : 20779 (java) R 20776 20779 20694 0 -1 0 10079 0 1 0 165528 14 0 0 25 0 8 0 156276200 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632375 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20779/statm: 228864 9784 2533 14 0 215334 0
[pid=20779/tid=20801] ppid=20776 vsize=915456 CPUtime=0.02
/proc/20779/task/20801/stat : 20801 (java) S 20776 20779 20694 0 -1 64 142 0 0 0 2 0 0 0 16 0 8 0 156276205 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20803] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20803/stat : 20803 (java) S 20776 20779 20694 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156276205 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20804] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20804/stat : 20804 (java) S 20776 20779 20694 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156276205 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20808] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20808/stat : 20808 (java) S 20776 20779 20694 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156276209 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20809] ppid=20776 vsize=915456 CPUtime=0.21
/proc/20779/task/20809/stat : 20809 (java) S 20776 20779 20694 0 -1 64 396 0 0 0 21 0 0 0 16 0 8 0 156276209 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20810] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20810/stat : 20810 (java) S 20776 20779 20694 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156276209 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20811] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20811/stat : 20811 (java) S 20776 20779 20694 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156276209 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1655.42
Current children cumulated vsize (KiB) 915456
[startup+1723.13 s]
/proc/loadavg: 2.01 1.99 1.84 3/100 20930
/proc/meminfo: memFree=1163456/2055920 swapFree=4192812/4192956
[pid=20779] ppid=20776 vsize=915456 CPUtime=1715.14
/proc/20779/stat : 20779 (java) R 20776 20779 20694 0 -1 0 10079 0 1 0 171500 14 0 0 25 0 8 0 156276200 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20779/statm: 228864 9784 2533 14 0 215334 0
[pid=20779/tid=20801] ppid=20776 vsize=915456 CPUtime=0.02
/proc/20779/task/20801/stat : 20801 (java) S 20776 20779 20694 0 -1 64 142 0 0 0 2 0 0 0 16 0 8 0 156276205 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20803] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20803/stat : 20803 (java) S 20776 20779 20694 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156276205 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20804] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20804/stat : 20804 (java) S 20776 20779 20694 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156276205 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20808] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20808/stat : 20808 (java) S 20776 20779 20694 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156276209 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20809] ppid=20776 vsize=915456 CPUtime=0.21
/proc/20779/task/20809/stat : 20809 (java) S 20776 20779 20694 0 -1 64 396 0 0 0 21 0 0 0 16 0 8 0 156276209 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20810] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20810/stat : 20810 (java) S 20776 20779 20694 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156276209 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20811] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20811/stat : 20811 (java) S 20776 20779 20694 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156276209 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1715.14
Current children cumulated vsize (KiB) 915456
[startup+1783.14 s]
/proc/loadavg: 2.00 1.99 1.85 3/100 20930
/proc/meminfo: memFree=1163520/2055920 swapFree=4192812/4192956
[pid=20779] ppid=20776 vsize=915456 CPUtime=1774.89
/proc/20779/stat : 20779 (java) R 20776 20779 20694 0 -1 0 10079 0 1 0 177475 14 0 0 25 0 8 0 156276200 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073631616 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20779/statm: 228864 9784 2533 14 0 215334 0
[pid=20779/tid=20801] ppid=20776 vsize=915456 CPUtime=0.02
/proc/20779/task/20801/stat : 20801 (java) S 20776 20779 20694 0 -1 64 142 0 0 0 2 0 0 0 16 0 8 0 156276205 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20803] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20803/stat : 20803 (java) S 20776 20779 20694 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156276205 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20804] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20804/stat : 20804 (java) S 20776 20779 20694 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156276205 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20808] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20808/stat : 20808 (java) S 20776 20779 20694 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156276209 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20809] ppid=20776 vsize=915456 CPUtime=0.21
/proc/20779/task/20809/stat : 20809 (java) S 20776 20779 20694 0 -1 64 396 0 0 0 21 0 0 0 16 0 8 0 156276209 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20810] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20810/stat : 20810 (java) S 20776 20779 20694 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156276209 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20811] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20811/stat : 20811 (java) S 20776 20779 20694 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156276209 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1774.89
Current children cumulated vsize (KiB) 915456
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.42 s]
/proc/loadavg: 2.00 1.99 1.85 3/100 20930
/proc/meminfo: memFree=1163456/2055920 swapFree=4192812/4192956
[pid=20779] ppid=20776 vsize=915456 CPUtime=1800.06
/proc/20779/stat : 20779 (java) R 20776 20779 20694 0 -1 0 10079 0 1 0 179992 14 0 0 25 0 8 0 156276200 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073632935 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/20779/statm: 228864 9784 2533 14 0 215334 0
[pid=20779/tid=20801] ppid=20776 vsize=915456 CPUtime=0.02
/proc/20779/task/20801/stat : 20801 (java) S 20776 20779 20694 0 -1 64 142 0 0 0 2 0 0 0 16 0 8 0 156276205 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20803] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20803/stat : 20803 (java) S 20776 20779 20694 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156276205 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20804] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20804/stat : 20804 (java) S 20776 20779 20694 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 156276205 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20779/tid=20808] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20808/stat : 20808 (java) S 20776 20779 20694 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 156276209 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20809] ppid=20776 vsize=915456 CPUtime=0.21
/proc/20779/task/20809/stat : 20809 (java) S 20776 20779 20694 0 -1 64 396 0 0 0 21 0 0 0 16 0 8 0 156276209 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20810] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20810/stat : 20810 (java) S 20776 20779 20694 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 156276209 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=20779/tid=20811] ppid=20776 vsize=915456 CPUtime=0
/proc/20779/task/20811/stat : 20811 (java) S 20776 20779 20694 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156276209 937426944 9784 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915456
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1808.47
CPU time (s): 1800.11
CPU user time (s): 1799.96
CPU system time (s): 0.146977
CPU usage (%): 99.5378
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.96
system time used= 0.146977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10096
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= 37827
involuntary context switches= 86495
runsolver used 1.70074 s user time and 4.76727 s system time
The end
Begin job on node26 on Sat Jan 6 10:20:19 UTC 2007
IDJOB= 216150
IDBENCH= 5056
FILE ID= node26/216150-1168078819
PBS_JOBID= 3476087
Free space on /tmp= 66535 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/mps/mps-enigma.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/216150-1168078819/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-216150-1168078819 -o ROOT/results/node26/solver-216150-1168078819 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/216150-1168078819/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 56fa3fff403fcb74e4702d66046a8f66
RANDOM SEED= 227474880
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1333920 kB
Buffers: 42664 kB
Cached: 539960 kB
SwapCached: 0 kB
Active: 125292 kB
Inactive: 521544 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1333920 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4644 kB
Writeback: 0 kB
Mapped: 83164 kB
Slab: 60200 kB
Committed_AS: 2755676 kB
PageTables: 2200 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= 66532 MiB
End job on node26 on Sat Jan 6 10:50:30 UTC 2007