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/210249-1168075040/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.47 nbVariables=570 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.47 => wckTime=0.146 cpuTime=0.11 mem=8M25
0.47
0.47 predicates being loaded...
0.48
0.48 constraints being loaded...
0.76 nbConstraints=438 nbConflictsStructures=3 nbSharedConflictsStructures=396 nbUnbuiltConflictsStructures=2
0.76 nbSharedBinaryRepresentations=0 nbEvaluationManagers=5 nbSharedEvaluationManagers=433 maxDegree=20 maxArity=20
0.76 => wckTime=0.44 cpuTime=0.33 mem=23M661
0.82
0.82 solver IterativeSystematicSolver being built...
1.05 => wckTime=0.733 cpuTime=0.51 mem=26M989
1.09
1.09 preprocessing
1.09 nbConstraintChecks=799 nbValidityChecks=740 nbPropagations=570 nbRevisions=760 nbUselessRevisions=760
1.09 nbRemovedValues=0 detectedInconsistency=no
1.09 => wckTime=0.033 cpuTime=0.02 mem=26M989
2.63
2.63 search
2.63 run=0 nbConstraintChecks=534525 nbValidityChecks=1752 nbPropagations=1144 nbRevisions=2571
2.63 nbUselessRevisions=1983 nbAssignments=515 nbFailedAssignments=1 nbBacktracks=334 nbVisitedNodes=518
2.63 nbRestartNogoods=0 mapSize=1 nbInferences=0 nbTooLargeKeys=0
2.63 => wckTime=1.575 cpuTime=1.52 mem=27M964
4.67
4.67 search
4.67 run=1 nbConstraintChecks=1330873 nbValidityChecks=3876 nbPropagations=2880 nbRevisions=7089
4.67 nbUselessRevisions=5312 nbAssignments=1032 nbFailedAssignments=2 nbBacktracks=353 nbVisitedNodes=1037
4.67 nbRestartNogoods=1 mapSize=2 nbInferences=0 nbTooLargeKeys=0
4.67 => wckTime=3.615 cpuTime=3.54 mem=27M964
6.64
6.64 search
6.64 run=2 nbConstraintChecks=2258271 nbValidityChecks=7176 nbPropagations=5208 nbRevisions=14729
6.64 nbUselessRevisions=11162 nbAssignments=1259 nbFailedAssignments=3 nbBacktracks=389 nbVisitedNodes=1266
6.64 nbRestartNogoods=2 mapSize=3 nbInferences=0 nbTooLargeKeys=0
6.64 => wckTime=5.581 cpuTime=5.48 mem=28M939
8.61
8.61 search
8.61 run=3 nbConstraintChecks=3185765 nbValidityChecks=11008 nbPropagations=8149 nbRevisions=25861
8.61 nbUselessRevisions=19865 nbAssignments=1495 nbFailedAssignments=4 nbBacktracks=443 nbVisitedNodes=1505
8.61 nbRestartNogoods=3 mapSize=5 nbInferences=0 nbTooLargeKeys=0
8.61 => wckTime=7.552 cpuTime=7.43 mem=28M939
12.39
12.39 search
12.39 run=4 nbConstraintChecks=5030942 nbValidityChecks=17087 nbPropagations=11783 nbRevisions=42324
12.39 nbUselessRevisions=33152 nbAssignments=1744 nbFailedAssignments=6 nbBacktracks=507 nbVisitedNodes=1760
12.39 nbRestartNogoods=4 mapSize=10 nbInferences=1 nbTooLargeKeys=0
12.39 => wckTime=11.331 cpuTime=11.16 mem=28M939
16.17
16.17 search
16.17 run=5 nbConstraintChecks=6876055 nbValidityChecks=23053 nbPropagations=16110 nbRevisions=64019
16.17 nbUselessRevisions=50925 nbAssignments=2011 nbFailedAssignments=8 nbBacktracks=588 nbVisitedNodes=2033
16.17 nbRestartNogoods=5 mapSize=15 nbInferences=2 nbTooLargeKeys=0
16.17 => wckTime=15.116 cpuTime=14.9 mem=28M939
22.31
22.31 search
22.31 run=6 nbConstraintChecks=9901179 nbValidityChecks=31768 nbPropagations=21310 nbRevisions=93287
22.31 nbUselessRevisions=75319 nbAssignments=2395 nbFailedAssignments=11 nbBacktracks=705 nbVisitedNodes=2426
22.31 nbRestartNogoods=6 mapSize=22 nbInferences=4 nbTooLargeKeys=0
22.31 => wckTime=21.256 cpuTime=20.98 mem=28M939
28.07
28.07 search
28.07 run=7 nbConstraintChecks=12664026 nbValidityChecks=39944 nbPropagations=27364 nbRevisions=129635
28.07 nbUselessRevisions=105843 nbAssignments=2813 nbFailedAssignments=14 nbBacktracks=933 nbVisitedNodes=2853
28.07 nbRestartNogoods=8 mapSize=29 nbInferences=5 nbTooLargeKeys=0
28.07 => wckTime=27.011 cpuTime=26.68 mem=29M915
42.32
42.32 search
42.32 run=8 nbConstraintChecks=19757139 nbValidityChecks=70895 nbPropagations=35884 nbRevisions=192482
42.32 nbUselessRevisions=160239 nbAssignments=3374 nbFailedAssignments=21 nbBacktracks=1244 nbVisitedNodes=3449
42.32 nbRestartNogoods=10 mapSize=60 nbInferences=23 nbTooLargeKeys=0
42.32 => wckTime=41.263 cpuTime=40.8 mem=29M915
46.01
46.01 search
46.01 run=9 nbConstraintChecks=21339754 nbValidityChecks=75953 nbPropagations=45066 nbRevisions=259492
46.01 nbUselessRevisions=218106 nbAssignments=3984 nbFailedAssignments=24 nbBacktracks=1628 nbVisitedNodes=4065
46.01 nbRestartNogoods=14 mapSize=65 nbInferences=23 nbTooLargeKeys=0
46.01 => wckTime=44.951 cpuTime=44.44 mem=30M890
119.21
119.21 search
119.21 run=10 nbConstraintChecks=58909333 nbValidityChecks=159412 nbPropagations=58609 nbRevisions=398726
119.21 nbUselessRevisions=342184 nbAssignments=4835 nbFailedAssignments=84 nbBacktracks=2236 nbVisitedNodes=5064
119.21 nbRestartNogoods=15 mapSize=193 nbInferences=24 nbTooLargeKeys=0
119.21 => wckTime=118.154 cpuTime=116.97 mem=30M890
128.53
128.53 search
128.53 run=11 nbConstraintChecks=63117467 nbValidityChecks=175595 nbPropagations=73642 nbRevisions=550344
128.53 nbUselessRevisions=476990 nbAssignments=6009 nbFailedAssignments=92 nbBacktracks=3151 nbVisitedNodes=6255
128.53 nbRestartNogoods=16 mapSize=208 nbInferences=24 nbTooLargeKeys=0
128.53 => wckTime=127.472 cpuTime=126.2 mem=32M840
162.06
162.06 search
162.06 run=12 nbConstraintChecks=79727015 nbValidityChecks=280549 nbPropagations=96589 nbRevisions=789177
162.06 nbUselessRevisions=686619 nbAssignments=7736 nbFailedAssignments=181 nbBacktracks=4449 nbVisitedNodes=8162
162.06 nbRestartNogoods=18 mapSize=383 nbInferences=24 nbTooLargeKeys=0
162.06 => wckTime=161.001 cpuTime=159.42 mem=33M815
356.21
356.21 search
356.21 run=13 nbConstraintChecks=178595274 nbValidityChecks=763232 nbPropagations=168269 nbRevisions=1413268
356.21 nbUselessRevisions=1210168 nbAssignments=10472 nbFailedAssignments=600 nbBacktracks=6399 nbVisitedNodes=11663
356.21 nbRestartNogoods=23 mapSize=1138 nbInferences=136 nbTooLargeKeys=0
356.21 => wckTime=355.157 cpuTime=351.79 mem=36M741
364.50
364.50 search
364.50 run=14 nbConstraintChecks=182180794 nbValidityChecks=883734 nbPropagations=254575 nbRevisions=2103780
364.50 nbUselessRevisions=1781596 nbAssignments=14059 nbFailedAssignments=912 nbBacktracks=9331 nbVisitedNodes=16007
364.50 nbRestartNogoods=27 mapSize=1889 nbInferences=136 nbTooLargeKeys=0
364.50 => wckTime=363.444 cpuTime=359.99 mem=39M666
382.95
382.95 search
382.95 run=15 nbConstraintChecks=190647800 nbValidityChecks=1055041 nbPropagations=361176 nbRevisions=2892007
382.95 nbUselessRevisions=2423961 nbAssignments=19217 nbFailedAssignments=1354 nbBacktracks=13714 nbVisitedNodes=22139
382.95 nbRestartNogoods=29 mapSize=2855 nbInferences=136 nbTooLargeKeys=0
382.95 => wckTime=381.896 cpuTime=378.28 mem=45M517
443.58
443.58 search
443.58 run=16 nbConstraintChecks=221738932 nbValidityChecks=1351908 nbPropagations=495907 nbRevisions=3869981
443.58 nbUselessRevisions=3220097 nbAssignments=26610 nbFailedAssignments=1890 nbBacktracks=20291 nbVisitedNodes=30657
443.58 nbRestartNogoods=32 mapSize=3967 nbInferences=136 nbTooLargeKeys=0
443.58 => wckTime=442.52 cpuTime=438.55 mem=11M391
888.70
888.70 search
888.70 run=17 nbConstraintChecks=467640621 nbValidityChecks=1684291 nbPropagations=671417 nbRevisions=5025671
888.70 nbUselessRevisions=4140175 nbAssignments=37355 nbFailedAssignments=2462 nbBacktracks=30191 nbVisitedNodes=42703
888.70 nbRestartNogoods=35 mapSize=5266 nbInferences=136 nbTooLargeKeys=0
888.70 => wckTime=887.644 cpuTime=883.18 mem=21M338
1114.49
1114.49 search
1114.49 run=18 nbConstraintChecks=588114801 nbValidityChecks=2164792 nbPropagations=903847 nbRevisions=6436507
1114.49 nbUselessRevisions=5241003 nbAssignments=53549 nbFailedAssignments=3550 nbBacktracks=44971 nbVisitedNodes=61232
1114.49 nbRestartNogoods=37 mapSize=7590 nbInferences=136 nbTooLargeKeys=0
1114.49 => wckTime=1113.432 cpuTime=1108.73 mem=36M258
1171.02
1171.02 search
1171.02 run=19 nbConstraintChecks=613802417 nbValidityChecks=2886078 nbPropagations=1239225 nbRevisions=8228147
1171.02 nbUselessRevisions=6586329 nbAssignments=78330 nbFailedAssignments=5836 nbBacktracks=67140 nbVisitedNodes=91446
1171.02 nbRestartNogoods=42 mapSize=13015 nbInferences=136 nbTooLargeKeys=0
1171.02 => wckTime=1169.961 cpuTime=1165.12 mem=20M618
1781.55
1781.55 search
1781.55 run=20 nbConstraintChecks=935973103 nbValidityChecks=3878654 nbPropagations=1709354 nbRevisions=10536537
1781.55 nbUselessRevisions=8267934 nbAssignments=114224 nbFailedAssignments=8164 nbBacktracks=100405
1781.55 nbVisitedNodes=132514 nbRestartNogoods=46 mapSize=18186 nbInferences=136 nbTooLargeKeys=0
1781.55 => wckTime=1780.497 cpuTime=1774.98 mem=54M673
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node11/watcher-210249-1168075040 -o ROOT/results/node11/solver-210249-1168075040 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210249-1168075040/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: 1.31 1.67 1.86 3/93 28764
/proc/meminfo: memFree=1524664/2055920 swapFree=4192812/4192956
[pid=28763] ppid=28761 vsize=18540 CPUtime=0
/proc/28763/stat : 28763 (runsolver) R 28761 28763 28528 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155899639 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 262910045479 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/28763/statm: 4635 279 244 17 0 2626 0
[startup+0.102272 s]
/proc/loadavg: 1.31 1.67 1.86 3/93 28764
/proc/meminfo: memFree=1524664/2055920 swapFree=4192812/4192956
[pid=28763] ppid=28761 vsize=913068 CPUtime=0.08
/proc/28763/stat : 28763 (java) S 28761 28763 28528 0 -1 0 2887 0 1 0 7 1 0 0 19 0 8 0 155899639 934981632 2633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28763/statm: 228267 2633 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.510352 s]
/proc/loadavg: 1.31 1.67 1.86 3/93 28764
/proc/meminfo: memFree=1524664/2055920 swapFree=4192812/4192956
[pid=28763] ppid=28761 vsize=915328 CPUtime=0.48
/proc/28763/stat : 28763 (java) R 28761 28763 28528 0 -1 0 6584 0 1 0 45 3 0 0 18 0 8 0 155899639 937295872 6323 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072916950 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28763/statm: 228832 6323 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33351 s]
/proc/loadavg: 1.44 1.69 1.87 3/100 28771
/proc/meminfo: memFree=1488704/2055920 swapFree=4192812/4192956
[pid=28763] ppid=28761 vsize=915560 CPUtime=1.3
/proc/28763/stat : 28763 (java) R 28761 28763 28528 0 -1 0 11762 0 1 0 121 9 0 0 24 0 8 0 155899639 937533440 11500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073900012 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28763/statm: 228890 11500 2529 14 0 215360 0
[pid=28763/tid=28765] ppid=28761 vsize=915560 CPUtime=0.04
/proc/28763/task/28765/stat : 28765 (java) S 28761 28763 28528 0 -1 64 560 0 0 0 4 0 0 0 16 0 8 0 155899644 937533440 11500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28766] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28766/stat : 28766 (java) S 28761 28763 28528 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155899644 937533440 11500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28767] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28767/stat : 28767 (java) S 28761 28763 28528 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155899644 937533440 11500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28768] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28768/stat : 28768 (java) S 28761 28763 28528 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155899648 937533440 11500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28769] ppid=28761 vsize=915560 CPUtime=0.24
/proc/28763/task/28769/stat : 28769 (java) S 28761 28763 28528 0 -1 64 399 0 0 0 23 1 0 0 15 0 8 0 155899648 937533440 11500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28770] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28770/stat : 28770 (java) S 28761 28763 28528 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155899648 937533440 11500 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28771] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28771/stat : 28771 (java) S 28761 28763 28528 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155899648 937533440 11500 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) 915560
[startup+2.98684 s]
/proc/loadavg: 1.44 1.69 1.87 3/100 28771
/proc/meminfo: memFree=1488192/2055920 swapFree=4192812/4192956
[pid=28763] ppid=28761 vsize=915560 CPUtime=2.94
/proc/28763/stat : 28763 (java) R 28761 28763 28528 0 -1 0 11921 0 1 0 285 9 0 0 25 0 8 0 155899639 937533440 11657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073943342 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28763/statm: 228890 11657 2533 14 0 215360 0
[pid=28763/tid=28765] ppid=28761 vsize=915560 CPUtime=0.04
/proc/28763/task/28765/stat : 28765 (java) S 28761 28763 28528 0 -1 64 561 0 0 0 4 0 0 0 16 0 8 0 155899644 937533440 11657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28766] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28766/stat : 28766 (java) S 28761 28763 28528 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155899644 937533440 11657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28767] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28767/stat : 28767 (java) S 28761 28763 28528 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155899644 937533440 11657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28768] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28768/stat : 28768 (java) S 28761 28763 28528 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155899648 937533440 11657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28769] ppid=28761 vsize=915560 CPUtime=0.25
/proc/28763/task/28769/stat : 28769 (java) S 28761 28763 28528 0 -1 64 404 0 0 0 24 1 0 0 16 0 8 0 155899648 937533440 11657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28770] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28770/stat : 28770 (java) S 28761 28763 28528 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155899648 937533440 11657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28771] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28771/stat : 28771 (java) S 28761 28763 28528 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155899648 937533440 11657 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915560
[startup+6.26749 s]
/proc/loadavg: 1.49 1.70 1.87 3/100 28771
/proc/meminfo: memFree=1487552/2055920 swapFree=4192812/4192956
[pid=28763] ppid=28761 vsize=915560 CPUtime=6.18
/proc/28763/stat : 28763 (java) R 28761 28763 28528 0 -1 0 11997 0 1 0 609 9 0 0 25 0 8 0 155899639 937533440 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073707357 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28763/statm: 228890 11730 2533 14 0 215360 0
[pid=28763/tid=28765] ppid=28761 vsize=915560 CPUtime=0.04
/proc/28763/task/28765/stat : 28765 (java) S 28761 28763 28528 0 -1 64 561 0 0 0 4 0 0 0 17 0 8 0 155899644 937533440 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28766] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28766/stat : 28766 (java) S 28761 28763 28528 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155899644 937533440 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28767] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28767/stat : 28767 (java) S 28761 28763 28528 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155899644 937533440 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28768] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28768/stat : 28768 (java) S 28761 28763 28528 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155899648 937533440 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28769] ppid=28761 vsize=915560 CPUtime=0.26
/proc/28763/task/28769/stat : 28769 (java) S 28761 28763 28528 0 -1 64 410 0 0 0 25 1 0 0 15 0 8 0 155899648 937533440 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28770] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28770/stat : 28770 (java) S 28761 28763 28528 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155899648 937533440 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28771] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28771/stat : 28771 (java) S 28761 28763 28528 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155899648 937533440 11730 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 915560
[startup+12.7568 s]
/proc/loadavg: 1.53 1.70 1.87 3/100 28771
/proc/meminfo: memFree=1487232/2055920 swapFree=4192812/4192956
[pid=28763] ppid=28761 vsize=915560 CPUtime=12.62
/proc/28763/stat : 28763 (java) R 28761 28763 28528 0 -1 0 12120 0 1 0 1252 10 0 0 25 0 8 0 155899639 937533440 11850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073700271 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28763/statm: 228890 11850 2533 14 0 215360 0
[pid=28763/tid=28765] ppid=28761 vsize=915560 CPUtime=0.04
/proc/28763/task/28765/stat : 28765 (java) S 28761 28763 28528 0 -1 64 561 0 0 0 4 0 0 0 17 0 8 0 155899644 937533440 11850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28766] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28766/stat : 28766 (java) S 28761 28763 28528 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155899644 937533440 11850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28767] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28767/stat : 28767 (java) S 28761 28763 28528 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155899644 937533440 11850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28768] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28768/stat : 28768 (java) S 28761 28763 28528 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155899648 937533440 11850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28769] ppid=28761 vsize=915560 CPUtime=0.28
/proc/28763/task/28769/stat : 28769 (java) S 28761 28763 28528 0 -1 64 421 0 0 0 27 1 0 0 16 0 8 0 155899648 937533440 11850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28770] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28770/stat : 28770 (java) S 28761 28763 28528 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155899648 937533440 11850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28771] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28771/stat : 28771 (java) S 28761 28763 28528 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155899648 937533440 11850 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915560
[startup+25.6033 s]
/proc/loadavg: 1.60 1.71 1.87 3/100 28771
/proc/meminfo: memFree=1486528/2055920 swapFree=4192812/4192956
[pid=28763] ppid=28761 vsize=915560 CPUtime=25.34
/proc/28763/stat : 28763 (java) R 28761 28763 28528 0 -1 0 12282 0 1 0 2524 10 0 0 25 0 8 0 155899639 937533440 12010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073707296 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28763/statm: 228890 12010 2533 14 0 215360 0
[pid=28763/tid=28765] ppid=28761 vsize=915560 CPUtime=0.04
/proc/28763/task/28765/stat : 28765 (java) S 28761 28763 28528 0 -1 64 561 0 0 0 4 0 0 0 16 0 8 0 155899644 937533440 12010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28766] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28766/stat : 28766 (java) S 28761 28763 28528 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155899644 937533440 12010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28767] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28767/stat : 28767 (java) S 28761 28763 28528 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155899644 937533440 12010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28768] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28768/stat : 28768 (java) S 28761 28763 28528 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155899648 937533440 12010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28769] ppid=28761 vsize=915560 CPUtime=0.28
/proc/28763/task/28769/stat : 28769 (java) S 28761 28763 28528 0 -1 64 423 0 0 0 27 1 0 0 16 0 8 0 155899648 937533440 12010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28770] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28770/stat : 28770 (java) S 28761 28763 28528 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155899648 937533440 12010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28771] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28771/stat : 28771 (java) S 28761 28763 28528 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155899648 937533440 12010 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 915560
[startup+51.2094 s]
/proc/loadavg: 1.76 1.74 1.87 3/100 28771
/proc/meminfo: memFree=1485248/2055920 swapFree=4192812/4192956
[pid=28763] ppid=28761 vsize=915560 CPUtime=50.7
/proc/28763/stat : 28763 (java) R 28761 28763 28528 0 -1 0 12610 0 1 0 5060 10 0 0 25 0 8 0 155899639 937533440 12336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073705255 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28763/statm: 228890 12336 2533 14 0 215360 0
[pid=28763/tid=28765] ppid=28761 vsize=915560 CPUtime=0.04
/proc/28763/task/28765/stat : 28765 (java) S 28761 28763 28528 0 -1 64 561 0 0 0 4 0 0 0 16 0 8 0 155899644 937533440 12336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28766] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28766/stat : 28766 (java) S 28761 28763 28528 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155899644 937533440 12336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28767] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28767/stat : 28767 (java) S 28761 28763 28528 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155899644 937533440 12336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28768] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28768/stat : 28768 (java) S 28761 28763 28528 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155899648 937533440 12336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28769] ppid=28761 vsize=915560 CPUtime=0.3
/proc/28763/task/28769/stat : 28769 (java) S 28761 28763 28528 0 -1 64 428 0 0 0 29 1 0 0 15 0 8 0 155899648 937533440 12336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28770] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28770/stat : 28770 (java) S 28761 28763 28528 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155899648 937533440 12336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28771] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28771/stat : 28771 (java) S 28761 28763 28528 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155899648 937533440 12336 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 915560
[startup+102.415 s]
/proc/loadavg: 1.89 1.78 1.88 3/100 28773
/proc/meminfo: memFree=1484792/2055920 swapFree=4192812/4192956
[pid=28763] ppid=28761 vsize=915560 CPUtime=101.44
/proc/28763/stat : 28763 (java) R 28761 28763 28528 0 -1 0 12678 0 1 0 10133 11 0 0 25 0 8 0 155899639 937533440 12404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073704544 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/28763/statm: 228890 12404 2533 14 0 215360 0
[pid=28763/tid=28765] ppid=28761 vsize=915560 CPUtime=0.04
/proc/28763/task/28765/stat : 28765 (java) S 28761 28763 28528 0 -1 64 561 0 0 0 4 0 0 0 16 0 8 0 155899644 937533440 12404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28766] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28766/stat : 28766 (java) S 28761 28763 28528 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155899644 937533440 12404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28767] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28767/stat : 28767 (java) S 28761 28763 28528 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155899644 937533440 12404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28768] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28768/stat : 28768 (java) S 28761 28763 28528 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155899648 937533440 12404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28769] ppid=28761 vsize=915560 CPUtime=0.3
/proc/28763/task/28769/stat : 28769 (java) S 28761 28763 28528 0 -1 64 429 0 0 0 29 1 0 0 16 0 8 0 155899648 937533440 12404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28770] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28770/stat : 28770 (java) S 28761 28763 28528 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155899648 937533440 12404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28771] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28771/stat : 28771 (java) S 28761 28763 28528 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155899648 937533440 12404 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.44
Current children cumulated vsize (KiB) 915560
[startup+162.469 s]
/proc/loadavg: 2.03 1.83 1.89 3/100 28773
/proc/meminfo: memFree=1482112/2055920 swapFree=4192812/4192956
[pid=28763] ppid=28761 vsize=915560 CPUtime=160.94
/proc/28763/stat : 28763 (java) R 28761 28763 28528 0 -1 0 13433 0 1 0 16083 11 0 0 25 0 8 0 155899639 937533440 13159 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073704544 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1418
Current children cumulated vsize (KiB) 915560
[startup+1483 s]
/proc/loadavg: 2.00 1.99 1.92 3/100 28887
/proc/meminfo: memFree=1331456/2055920 swapFree=4192812/4192956
[pid=28763] ppid=28761 vsize=915560 CPUtime=1477.96
/proc/28763/stat : 28763 (java) R 28761 28763 28528 0 -1 0 22885 0 1 0 147771 25 0 0 25 0 8 0 155899639 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073940966 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28763/statm: 228890 22607 2537 14 0 215360 0
[pid=28763/tid=28765] ppid=28761 vsize=915560 CPUtime=0.11
/proc/28763/task/28765/stat : 28765 (java) S 28761 28763 28528 0 -1 64 5812 0 0 0 9 2 0 0 16 0 8 0 155899644 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28763/tid=28766] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28766/stat : 28766 (java) S 28761 28763 28528 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155899644 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28767] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28767/stat : 28767 (java) S 28761 28763 28528 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155899644 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28768] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28768/stat : 28768 (java) S 28761 28763 28528 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155899648 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28769] ppid=28761 vsize=915560 CPUtime=0.3
/proc/28763/task/28769/stat : 28769 (java) S 28761 28763 28528 0 -1 64 431 0 0 0 29 1 0 0 16 0 8 0 155899648 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28763/tid=28770] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28770/stat : 28770 (java) S 28761 28763 28528 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155899648 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28771] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28771/stat : 28771 (java) S 28761 28763 28528 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155899648 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1477.96
Current children cumulated vsize (KiB) 915560
[startup+1543.02 s]
/proc/loadavg: 2.08 2.00 1.93 3/100 28887
/proc/meminfo: memFree=1331392/2055920 swapFree=4192812/4192956
[pid=28763] ppid=28761 vsize=915560 CPUtime=1537.89
/proc/28763/stat : 28763 (java) R 28761 28763 28528 0 -1 0 22885 0 1 0 153763 26 0 0 25 0 8 0 155899639 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073705356 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28763/statm: 228890 22607 2537 14 0 215360 0
[pid=28763/tid=28765] ppid=28761 vsize=915560 CPUtime=0.11
/proc/28763/task/28765/stat : 28765 (java) S 28761 28763 28528 0 -1 64 5812 0 0 0 9 2 0 0 16 0 8 0 155899644 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28763/tid=28766] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28766/stat : 28766 (java) S 28761 28763 28528 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155899644 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28767] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28767/stat : 28767 (java) S 28761 28763 28528 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155899644 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28768] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28768/stat : 28768 (java) S 28761 28763 28528 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155899648 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28769] ppid=28761 vsize=915560 CPUtime=0.3
/proc/28763/task/28769/stat : 28769 (java) S 28761 28763 28528 0 -1 64 431 0 0 0 29 1 0 0 16 0 8 0 155899648 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28763/tid=28770] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28770/stat : 28770 (java) S 28761 28763 28528 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155899648 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28771] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28771/stat : 28771 (java) S 28761 28763 28528 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155899648 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1537.89
Current children cumulated vsize (KiB) 915560
[startup+1603.03 s]
/proc/loadavg: 2.03 2.00 1.93 3/100 28887
/proc/meminfo: memFree=1331392/2055920 swapFree=4192812/4192956
[pid=28763] ppid=28761 vsize=915560 CPUtime=1597.84
/proc/28763/stat : 28763 (java) R 28761 28763 28528 0 -1 0 22885 0 1 0 159758 26 0 0 25 0 8 0 155899639 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073705367 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28763/statm: 228890 22607 2537 14 0 215360 0
[pid=28763/tid=28765] ppid=28761 vsize=915560 CPUtime=0.11
/proc/28763/task/28765/stat : 28765 (java) S 28761 28763 28528 0 -1 64 5812 0 0 0 9 2 0 0 16 0 8 0 155899644 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28763/tid=28766] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28766/stat : 28766 (java) S 28761 28763 28528 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155899644 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28767] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28767/stat : 28767 (java) S 28761 28763 28528 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155899644 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28768] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28768/stat : 28768 (java) S 28761 28763 28528 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155899648 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28769] ppid=28761 vsize=915560 CPUtime=0.3
/proc/28763/task/28769/stat : 28769 (java) S 28761 28763 28528 0 -1 64 431 0 0 0 29 1 0 0 16 0 8 0 155899648 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28763/tid=28770] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28770/stat : 28770 (java) S 28761 28763 28528 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155899648 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28771] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28771/stat : 28771 (java) S 28761 28763 28528 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155899648 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1597.84
Current children cumulated vsize (KiB) 915560
[startup+1663.03 s]
/proc/loadavg: 2.06 2.01 1.93 3/100 28887
/proc/meminfo: memFree=1331328/2055920 swapFree=4192812/4192956
[pid=28763] ppid=28761 vsize=915560 CPUtime=1657.79
/proc/28763/stat : 28763 (java) R 28761 28763 28528 0 -1 0 22885 0 1 0 165753 26 0 0 25 0 8 0 155899639 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073705248 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28763/statm: 228890 22607 2537 14 0 215360 0
[pid=28763/tid=28765] ppid=28761 vsize=915560 CPUtime=0.11
/proc/28763/task/28765/stat : 28765 (java) S 28761 28763 28528 0 -1 64 5812 0 0 0 9 2 0 0 16 0 8 0 155899644 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28763/tid=28766] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28766/stat : 28766 (java) S 28761 28763 28528 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155899644 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28767] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28767/stat : 28767 (java) S 28761 28763 28528 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155899644 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28768] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28768/stat : 28768 (java) S 28761 28763 28528 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155899648 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28769] ppid=28761 vsize=915560 CPUtime=0.3
/proc/28763/task/28769/stat : 28769 (java) S 28761 28763 28528 0 -1 64 431 0 0 0 29 1 0 0 16 0 8 0 155899648 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28763/tid=28770] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28770/stat : 28770 (java) S 28761 28763 28528 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155899648 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28771] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28771/stat : 28771 (java) S 28761 28763 28528 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155899648 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1657.79
Current children cumulated vsize (KiB) 915560
[startup+1723.03 s]
/proc/loadavg: 2.02 2.01 1.93 3/100 28887
/proc/meminfo: memFree=1331328/2055920 swapFree=4192812/4192956
[pid=28763] ppid=28761 vsize=915560 CPUtime=1717.7
/proc/28763/stat : 28763 (java) R 28761 28763 28528 0 -1 0 22885 0 1 0 171744 26 0 0 25 0 8 0 155899639 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073700307 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28763/statm: 228890 22607 2537 14 0 215360 0
[pid=28763/tid=28765] ppid=28761 vsize=915560 CPUtime=0.11
/proc/28763/task/28765/stat : 28765 (java) S 28761 28763 28528 0 -1 64 5812 0 0 0 9 2 0 0 16 0 8 0 155899644 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28763/tid=28766] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28766/stat : 28766 (java) S 28761 28763 28528 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155899644 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28767] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28767/stat : 28767 (java) S 28761 28763 28528 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155899644 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28768] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28768/stat : 28768 (java) S 28761 28763 28528 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155899648 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28769] ppid=28761 vsize=915560 CPUtime=0.3
/proc/28763/task/28769/stat : 28769 (java) S 28761 28763 28528 0 -1 64 431 0 0 0 29 1 0 0 16 0 8 0 155899648 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28763/tid=28770] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28770/stat : 28770 (java) S 28761 28763 28528 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155899648 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28771] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28771/stat : 28771 (java) S 28761 28763 28528 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155899648 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1717.7
Current children cumulated vsize (KiB) 915560
[startup+1783.04 s]
/proc/loadavg: 2.01 2.00 1.93 3/100 28887
/proc/meminfo: memFree=1331264/2055920 swapFree=4192812/4192956
[pid=28763] ppid=28761 vsize=915560 CPUtime=1777.66
/proc/28763/stat : 28763 (java) R 28761 28763 28528 0 -1 0 22885 0 1 0 177740 26 0 0 25 0 8 0 155899639 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073710432 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28763/statm: 228890 22607 2537 14 0 215360 0
[pid=28763/tid=28765] ppid=28761 vsize=915560 CPUtime=0.11
/proc/28763/task/28765/stat : 28765 (java) S 28761 28763 28528 0 -1 64 5812 0 0 0 9 2 0 0 16 0 8 0 155899644 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28763/tid=28766] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28766/stat : 28766 (java) S 28761 28763 28528 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155899644 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28767] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28767/stat : 28767 (java) S 28761 28763 28528 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155899644 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28768] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28768/stat : 28768 (java) S 28761 28763 28528 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155899648 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28769] ppid=28761 vsize=915560 CPUtime=0.3
/proc/28763/task/28769/stat : 28769 (java) S 28761 28763 28528 0 -1 64 431 0 0 0 29 1 0 0 16 0 8 0 155899648 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28763/tid=28770] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28770/stat : 28770 (java) S 28761 28763 28528 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155899648 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28771] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28771/stat : 28771 (java) S 28761 28763 28528 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155899648 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1777.66
Current children cumulated vsize (KiB) 915560
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1805.48 s]
/proc/loadavg: 2.00 2.00 1.93 3/100 28887
/proc/meminfo: memFree=1331264/2055920 swapFree=4192812/4192956
[pid=28763] ppid=28761 vsize=915560 CPUtime=1800.06
/proc/28763/stat : 28763 (java) R 28761 28763 28528 0 -1 0 22885 0 1 0 179980 26 0 0 25 0 8 0 155899639 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073707761 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/28763/statm: 228890 22607 2537 14 0 215360 0
[pid=28763/tid=28765] ppid=28761 vsize=915560 CPUtime=0.11
/proc/28763/task/28765/stat : 28765 (java) S 28761 28763 28528 0 -1 64 5812 0 0 0 9 2 0 0 16 0 8 0 155899644 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=28763/tid=28766] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28766/stat : 28766 (java) S 28761 28763 28528 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155899644 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28767] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28767/stat : 28767 (java) S 28761 28763 28528 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155899644 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28768] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28768/stat : 28768 (java) S 28761 28763 28528 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155899648 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28769] ppid=28761 vsize=915560 CPUtime=0.3
/proc/28763/task/28769/stat : 28769 (java) S 28761 28763 28528 0 -1 64 431 0 0 0 29 1 0 0 16 0 8 0 155899648 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=28763/tid=28770] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28770/stat : 28770 (java) S 28761 28763 28528 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155899648 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=28763/tid=28771] ppid=28761 vsize=915560 CPUtime=0
/proc/28763/task/28771/stat : 28771 (java) S 28761 28763 28528 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155899648 937533440 22607 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 915560
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1805.57
CPU time (s): 1800.15
CPU user time (s): 1799.87
CPU system time (s): 0.283956
CPU usage (%): 99.7001
Max. virtual memory (cumulated for all children) (KiB): 915560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.87
system time used= 0.283956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22901
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= 37887
involuntary context switches= 60486
runsolver used 2.27465 s user time and 5.72113 s system time
The end
Begin job on node11 on Sat Jan 6 09:17:26 UTC 2007
IDJOB= 210249
IDBENCH= 4605
FILE ID= node11/210249-1168075040
PBS_JOBID= 3475788
Free space on /tmp= 66314 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/fpga/fpga-20-19.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210249-1168075040/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node11/watcher-210249-1168075040 -o ROOT/results/node11/solver-210249-1168075040 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210249-1168075040/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e422289bc6969984a6f7ba5d137fd82b
RANDOM SEED= 387856443
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.261
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.261
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1525144 kB
Buffers: 38628 kB
Cached: 228680 kB
SwapCached: 0 kB
Active: 250544 kB
Inactive: 195972 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1525144 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1856 kB
Writeback: 0 kB
Mapped: 208260 kB
Slab: 68504 kB
Committed_AS: 5098948 kB
PageTables: 2648 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= 66311 MiB
End job on node11 on Sat Jan 6 09:47:32 UTC 2007